1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 3363 (#equs: 6)
#decisions: 250906; #end-nodes: 12863;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 117 (103)
#axs: 218790, #non-axs: 5468
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)
seed: 0
Nr of vars set: 4978 (#equs: 12)
Time taken: 8 min, 50 sec
2:
seed: 0
Nr of vars set: 4978 (#equs: 0)
Nr of vars set: 4978 (#equs: 0)
#decisions: 224993; #end-nodes: 18040;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 167 (143)
#axs: 203824, #non-axs: 11678
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)
seed: 0
Nr of vars set: 5050 (#equs: 0)
Time taken: 9 min, 42 sec
3:
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/31401/stat): 31401 (vallstSAT2005PB) R 31400 31401 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846049118 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/31401/statm): 174 3 169 147 0 27 0
[pid=31401] 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=31402
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=31402) exited with status: 0
New process pid=31403
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=31403) exited with status: 0
New process pid=31404
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/wulflinc24/normalized-ooo.ex.mem.LdValue.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 1.02 1.11 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6921 0 0 0 939 36 0 0 25 0 1 0 1846049127 32661504 6361 4294967295 134512640 134702520 3221223952 3221145548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 7974 6361 413 48 0 7926 0
[pid=31404] vsize: 31896
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 34024
[startup+20.0053 s]
Raw data (loadavg): 1.02 1.11 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6921 0 0 0 1939 36 0 0 25 0 1 0 1846049127 32661504 6361 4294967295 134512640 134702520 3221223952 3220609708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 7974 6361 413 48 0 7926 0
[pid=31404] vsize: 31896
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 34024
[startup+30.006 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 6976 0 0 0 2939 37 0 0 25 0 1 0 1846049127 32886784 6416 4294967295 134512640 134702520 3221223952 3219842828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8029 6416 413 48 0 7981 0
[pid=31404] vsize: 32116
Current children cumulated CPU time (s) 29.78
Current children cumulated vsize (Kb) 34244
[startup+40.0077 s]
Raw data (loadavg): 1.01 1.10 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 3937 38 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3221175788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (Kb) 36848
[startup+50.0094 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 4937 38 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3220526988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (Kb) 36848
[startup+60.0101 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7627 0 0 0 5937 39 0 0 25 0 1 0 1846049127 35553280 7067 4294967295 134512640 134702520 3221223952 3219254348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 8680 7067 413 48 0 8632 0
[pid=31404] vsize: 34720
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 36848
[startup+70.0109 s]
Raw data (loadavg): 1.01 1.09 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7790 0 0 0 6861 64 0 0 25 0 1 0 1846049127 75530240 7215 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18440 7215 413 48 0 18392 0
[pid=31404] vsize: 73760
Current children cumulated CPU time (s) 69.27
Current children cumulated vsize (Kb) 75888
[startup+80.0125 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 7818 0 0 0 7730 106 0 0 25 0 1 0 1846049127 75665408 7243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7243 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 78.38
Current children cumulated vsize (Kb) 76020
[startup+90.0142 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 8704 115 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3219880028 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 88.21
Current children cumulated vsize (Kb) 76020
[startup+100.015 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 9703 115 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3221149148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (Kb) 76020
[startup+110.016 s]
Raw data (loadavg): 1.00 1.08 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 10703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3220626908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 108.21
Current children cumulated vsize (Kb) 76020
[startup+120.017 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 11703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3219921468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 118.21
Current children cumulated vsize (Kb) 76020
[startup+130.018 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7824 0 0 0 12703 116 0 0 25 0 1 0 1846049127 75665408 7249 4294967295 134512640 134702520 3221223952 3218056348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7249 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 128.21
Current children cumulated vsize (Kb) 76020
[startup+140.02 s]
Raw data (loadavg): 1.00 1.07 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7845 0 0 0 13638 137 0 0 25 0 1 0 1846049127 75665408 7254 4294967295 134512640 134702520 3221223952 3221223072 134572157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7254 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 137.77
Current children cumulated vsize (Kb) 76020
[startup+150.021 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7871 0 0 0 14553 165 0 0 21 0 1 0 1846049127 75665408 7280 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7280 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 147.2
Current children cumulated vsize (Kb) 76020
[startup+160.022 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 15524 174 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3221098748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 157
Current children cumulated vsize (Kb) 76020
[startup+170.023 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 16524 174 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3220740028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 167
Current children cumulated vsize (Kb) 76020
[startup+180.024 s]
Raw data (loadavg): 1.00 1.06 1.07 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7875 0 0 0 17524 175 0 0 25 0 1 0 1846049127 75665408 7284 4294967295 134512640 134702520 3221223952 3219612188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7284 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 177.01
Current children cumulated vsize (Kb) 76020
[startup+190.024 s]
Raw data (loadavg): 1.00 1.05 1.07 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 7892 0 0 0 18492 184 0 0 25 0 1 0 1846049127 75665408 7286 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7286 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 186.78
Current children cumulated vsize (Kb) 76020
[startup+200.025 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7910 0 0 0 19410 211 0 0 25 0 1 0 1846049127 75665408 7304 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18473 7304 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 196.23
Current children cumulated vsize (Kb) 76020
[startup+210.026 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 20365 228 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3221100668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 205.95
Current children cumulated vsize (Kb) 76020
[startup+220.027 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 21365 229 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220815868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 215.96
Current children cumulated vsize (Kb) 76020
[startup+230.028 s]
Raw data (loadavg): 1.00 1.05 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 22365 229 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220492348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 225.96
Current children cumulated vsize (Kb) 76020
[startup+240.03 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 23364 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3220053468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 235.96
Current children cumulated vsize (Kb) 76020
[startup+250.03 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 24365 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3219540508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 245.97
Current children cumulated vsize (Kb) 76020
[startup+260.031 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 25365 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3218930748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 255.97
Current children cumulated vsize (Kb) 76020
[startup+270.032 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 7922 0 0 0 26364 230 0 0 25 0 1 0 1846049127 75665408 7316 4294967295 134512640 134702520 3221223952 3218130908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18473 7316 413 48 0 18425 0
[pid=31404] vsize: 73892
Current children cumulated CPU time (s) 265.96
Current children cumulated vsize (Kb) 76020
[startup+280.033 s]
Raw data (loadavg): 1.00 1.04 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8247 0 0 0 27364 231 0 0 25 0 1 0 1846049127 76996608 7641 4294967295 134512640 134702520 3221223952 3221215068 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18798 7641 413 48 0 18750 0
[pid=31404] vsize: 75192
Current children cumulated CPU time (s) 275.97
Current children cumulated vsize (Kb) 77320
[startup+290.034 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8269 0 0 0 28346 237 0 0 25 0 1 0 1846049127 76996608 7648 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18798 7648 413 48 0 18750 0
[pid=31404] vsize: 75192
Current children cumulated CPU time (s) 285.85
Current children cumulated vsize (Kb) 77320
[startup+300.035 s]
Raw data (loadavg): 1.00 1.03 1.06 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8281 0 0 0 29270 263 0 0 25 0 1 0 1846049127 77131776 7660 4294967295 134512640 134702520 3221223952 3221223232 134552757 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7660 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 295.35
Current children cumulated vsize (Kb) 77452
[startup+310.036 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 30203 284 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221129468 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 304.89
Current children cumulated vsize (Kb) 77452
[startup+320.037 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 31203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3220265788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 314.9
Current children cumulated vsize (Kb) 77452
[startup+330.038 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 32203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221207728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 324.9
Current children cumulated vsize (Kb) 77452
[startup+340.039 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 33203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3221122588 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 334.9
Current children cumulated vsize (Kb) 77452
[startup+350.039 s]
Raw data (loadavg): 1.00 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8294 0 0 0 34203 285 0 0 25 0 1 0 1846049127 77131776 7673 4294967295 134512640 134702520 3221223952 3220832208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7673 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 344.9
Current children cumulated vsize (Kb) 77452
[startup+360.04 s]
Raw data (loadavg): 1.00 1.02 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8327 0 0 0 35118 316 0 0 25 0 1 0 1846049127 77131776 7691 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18831 7691 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 354.36
Current children cumulated vsize (Kb) 77452
[startup+370.042 s]
Raw data (loadavg): 1.00 1.02 1.05 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 8349 0 0 0 36035 344 0 0 25 0 1 0 1846049127 77131776 7713 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7713 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 363.81
Current children cumulated vsize (Kb) 77452
[startup+380.043 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 37008 353 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3220511068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 373.63
Current children cumulated vsize (Kb) 77452
[startup+390.044 s]
Raw data (loadavg): 1.06 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 38008 353 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221199228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 383.63
Current children cumulated vsize (Kb) 77452
[startup+400.045 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 39008 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221111228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 393.64
Current children cumulated vsize (Kb) 77452
[startup+410.046 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 40008 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3221017168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 403.64
Current children cumulated vsize (Kb) 77452
[startup+420.046 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8358 0 0 0 41009 354 0 0 25 0 1 0 1846049127 77131776 7722 4294967295 134512640 134702520 3221223952 3220592048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7722 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 413.65
Current children cumulated vsize (Kb) 77452
[startup+430.047 s]
Raw data (loadavg): 1.10 1.05 1.05 1/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) T 31401 31401 20728 0 -1 0 8391 0 0 0 41923 384 0 0 25 0 1 0 1846049127 77131776 7740 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18831 7740 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 423.09
Current children cumulated vsize (Kb) 77452
[startup+440.049 s]
Raw data (loadavg): 1.09 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 42861 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3221190268 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 432.66
Current children cumulated vsize (Kb) 77452
[startup+450.049 s]
Raw data (loadavg): 1.07 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 43862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220823388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 442.67
Current children cumulated vsize (Kb) 77452
[startup+460.05 s]
Raw data (loadavg): 1.06 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 44862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220418108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 452.67
Current children cumulated vsize (Kb) 77452
[startup+470.051 s]
Raw data (loadavg): 1.05 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 45862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3219960668 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 462.67
Current children cumulated vsize (Kb) 77452
[startup+480.051 s]
Raw data (loadavg): 1.04 1.04 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 46862 403 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3219419552 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 472.67
Current children cumulated vsize (Kb) 77452
[startup+490.052 s]
Raw data (loadavg): 1.04 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 47862 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3218774108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 482.68
Current children cumulated vsize (Kb) 77452
[startup+500.053 s]
Raw data (loadavg): 1.03 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 48863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3217840668 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 492.69
Current children cumulated vsize (Kb) 77452
[startup+510.054 s]
Raw data (loadavg): 1.02 1.03 1.05 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 49863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220974268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 502.69
Current children cumulated vsize (Kb) 77452
[startup+520.054 s]
Raw data (loadavg): 1.02 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 50863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3220154428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 512.69
Current children cumulated vsize (Kb) 77452
[startup+530.055 s]
Raw data (loadavg): 1.02 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8411 0 0 0 51863 404 0 0 25 0 1 0 1846049127 77131776 7760 4294967295 134512640 134702520 3221223952 3221150108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31404/statm): 18831 7760 413 48 0 18783 0
[pid=31404] vsize: 75324
Current children cumulated CPU time (s) 522.69
Current children cumulated vsize (Kb) 77452
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+540.057 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 31404
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1846049118 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 242 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31404/stat): 31404 (vallst) R 31401 31401 20728 0 -1 0 8428 0 0 0 52842 419 0 0 25 0 1 0 1846049127 77135872 7762 4294967295 134512640 134702520 3221223952 3221222040 1074339326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31404/statm): 18832 7762 413 48 0 18784 0
[pid=31404] vsize: 75328
Current children cumulated CPU time (s) 532.63
Current children cumulated vsize (Kb) 77456
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31404) exited with status: 2
New process pid=31405
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=31405) exited with status: 0
New process pid=31406
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+550.057 s]
Raw data (loadavg): 1.01 1.03 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 5726 0 0 0 903 29 0 0 25 0 1 0 1846103185 30720000 5697 4294967295 134512640 134702520 3221223712 3220987228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 7500 5697 413 48 0 7452 0
[pid=31406] vsize: 30000
Current children cumulated CPU time (s) 542.46
Current children cumulated vsize (Kb) 32128
[startup+560.058 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 5726 0 0 0 1903 29 0 0 25 0 1 0 1846103185 30720000 5697 4294967295 134512640 134702520 3221223712 3220531068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 7500 5697 413 48 0 7452 0
[pid=31406] vsize: 30000
Current children cumulated CPU time (s) 552.46
Current children cumulated vsize (Kb) 32128
[startup+570.06 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6131 0 0 0 2901 31 0 0 25 0 1 0 1846103185 32378880 6102 4294967295 134512640 134702520 3221223712 3221127888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 7905 6102 413 48 0 7857 0
[pid=31406] vsize: 31620
Current children cumulated CPU time (s) 562.46
Current children cumulated vsize (Kb) 33748
[startup+580.061 s]
Raw data (loadavg): 1.01 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6470 0 0 0 3873 40 0 0 25 0 1 0 1846103185 72085504 6439 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17599 6439 413 48 0 17551 0
[pid=31406] vsize: 70396
Current children cumulated CPU time (s) 572.27
Current children cumulated vsize (Kb) 72524
[startup+590.062 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6519 0 0 0 4812 62 0 0 25 0 1 0 1846103185 72085504 6488 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 17599 6488 413 48 0 17551 0
[pid=31406] vsize: 70396
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (Kb) 72524
[startup+600.064 s]
Raw data (loadavg): 1.00 1.02 1.04 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 6552 0 0 0 5750 84 0 0 25 0 1 0 1846103185 72220672 6521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6521 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 591.48
Current children cumulated vsize (Kb) 72656
[startup+610.065 s]
Raw data (loadavg): 1.00 1.02 1.04 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 6740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220932428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 601.41
Current children cumulated vsize (Kb) 72656
[startup+620.065 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 7740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220520908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 611.41
Current children cumulated vsize (Kb) 72656
[startup+630.066 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 8740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3220050832 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 621.41
Current children cumulated vsize (Kb) 72656
[startup+640.067 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 9740 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3219488108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 631.41
Current children cumulated vsize (Kb) 72656
[startup+650.067 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6555 0 0 0 10741 87 0 0 25 0 1 0 1846103185 72220672 6524 4294967295 134512640 134702520 3221223712 3218715488 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17632 6524 413 48 0 17584 0
[pid=31406] vsize: 70528
Current children cumulated CPU time (s) 641.42
Current children cumulated vsize (Kb) 72656
[startup+660.068 s]
Raw data (loadavg): 1.00 1.02 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 6781 0 0 0 11741 87 0 0 25 0 1 0 1846103185 73146368 6750 4294967295 134512640 134702520 3221223712 3217375008 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 17858 6750 413 48 0 17810 0
[pid=31406] vsize: 71432
Current children cumulated CPU time (s) 651.42
Current children cumulated vsize (Kb) 73560
[startup+670.07 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7053 0 0 0 12740 88 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3220573548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 661.42
Current children cumulated vsize (Kb) 74648
[startup+680.071 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7053 0 0 0 13741 88 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3221168928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 671.43
Current children cumulated vsize (Kb) 74648
[startup+690.071 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7055 0 0 0 14735 91 0 0 25 0 1 0 1846103185 74260480 7022 4294967295 134512640 134702520 3221223712 3221222832 134573365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7022 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 681.4
Current children cumulated vsize (Kb) 74648
[startup+700.072 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7079 0 0 0 15657 119 0 0 25 0 1 0 1846103185 74260480 7046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7046 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 690.9
Current children cumulated vsize (Kb) 74648
[startup+710.073 s]
Raw data (loadavg): 1.00 1.01 1.03 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7098 0 0 0 16597 139 0 0 25 0 1 0 1846103185 74260480 7065 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18130 7065 413 48 0 18082 0
[pid=31406] vsize: 72520
Current children cumulated CPU time (s) 700.5
Current children cumulated vsize (Kb) 74648
[startup+720.074 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 17566 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3221059468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 710.3
Current children cumulated vsize (Kb) 74780
[startup+730.075 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 18566 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3220663948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 720.3
Current children cumulated vsize (Kb) 74780
[startup+740.077 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 19567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3220215148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 730.31
Current children cumulated vsize (Kb) 74780
[startup+750.077 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 20567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3219689728 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 740.31
Current children cumulated vsize (Kb) 74780
[startup+760.078 s]
Raw data (loadavg): 1.00 1.01 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 21567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3219013228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 750.31
Current children cumulated vsize (Kb) 74780
[startup+770.08 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 22567 150 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3217964608 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 760.31
Current children cumulated vsize (Kb) 74780
[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7108 0 0 0 23567 151 0 0 25 0 1 0 1846103185 74395648 7075 4294967295 134512640 134702520 3221223712 3221148928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7075 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 770.32
Current children cumulated vsize (Kb) 74780
[startup+790.081 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7111 0 0 0 24561 153 0 0 25 0 1 0 1846103185 74395648 7076 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7076 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 780.28
Current children cumulated vsize (Kb) 74780
[startup+800.082 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7125 0 0 0 25508 171 0 0 25 0 1 0 1846103185 74395648 7090 4294967295 134512640 134702520 3221223712 3221222992 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7090 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 789.93
Current children cumulated vsize (Kb) 74780
[startup+810.083 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7144 0 0 0 26454 190 0 0 25 0 1 0 1846103185 74395648 7109 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7109 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 799.58
Current children cumulated vsize (Kb) 74780
[startup+820.084 s]
Raw data (loadavg): 1.00 1.00 1.02 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 27441 195 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3220575628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 809.5
Current children cumulated vsize (Kb) 74780
[startup+830.085 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 28441 195 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3221221408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 819.5
Current children cumulated vsize (Kb) 74780
[startup+840.087 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7147 0 0 0 29441 196 0 0 25 0 1 0 1846103185 74395648 7112 4294967295 134512640 134702520 3221223712 3221040128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18163 7112 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 829.51
Current children cumulated vsize (Kb) 74780
[startup+850.087 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7159 0 0 0 30428 201 0 0 25 0 1 0 1846103185 74395648 7122 4294967295 134512640 134702520 3221223712 3221222832 134572119 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7122 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 839.43
Current children cumulated vsize (Kb) 74780
[startup+860.088 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7195 0 0 0 31365 223 0 0 25 0 1 0 1846103185 74395648 7158 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7158 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 849.02
Current children cumulated vsize (Kb) 74780
[startup+870.09 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7221 0 0 0 32304 247 0 0 25 0 1 0 1846103185 74395648 7184 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18163 7184 413 48 0 18115 0
[pid=31406] vsize: 72652
Current children cumulated CPU time (s) 858.65
Current children cumulated vsize (Kb) 74780
[startup+880.091 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 33287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3220809876 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 868.54
Current children cumulated vsize (Kb) 74912
[startup+890.093 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 34287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3221212608 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (Kb) 74912
[startup+900.094 s]
Raw data (loadavg): 1.00 1.00 1.01 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7228 0 0 0 35287 253 0 0 25 0 1 0 1846103185 74530816 7191 4294967295 134512640 134702520 3221223712 3220753888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7191 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 888.54
Current children cumulated vsize (Kb) 74912
[startup+910.095 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7277 0 0 0 36234 272 0 0 25 0 1 0 1846103185 74530816 7238 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18196 7238 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 898.2
Current children cumulated vsize (Kb) 74912
[startup+920.095 s]
Raw data (loadavg): 1.00 1.00 1.01 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7307 0 0 0 37180 290 0 0 25 0 1 0 1846103185 74530816 7268 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18196 7268 413 48 0 18148 0
[pid=31406] vsize: 72784
Current children cumulated CPU time (s) 907.84
Current children cumulated vsize (Kb) 74912
[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 38139 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3221093068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 75044
[startup+940.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 39140 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220703628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 927.56
Current children cumulated vsize (Kb) 75044
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 40140 302 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220259948 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 937.56
Current children cumulated vsize (Kb) 75044
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 41140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3219742828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 947.57
Current children cumulated vsize (Kb) 75044
[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 42140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3219085068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 957.57
Current children cumulated vsize (Kb) 75044
[startup+980.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 43140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3218072288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 967.57
Current children cumulated vsize (Kb) 75044
[startup+990.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 44141 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220174508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 977.58
Current children cumulated vsize (Kb) 75044
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7323 0 0 0 45140 303 0 0 25 0 1 0 1846103185 74665984 7284 4294967295 134512640 134702520 3221223712 3220802528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7284 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 987.57
Current children cumulated vsize (Kb) 75044
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7346 0 0 0 46086 321 0 0 25 0 1 0 1846103185 74665984 7305 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7305 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 997.21
Current children cumulated vsize (Kb) 75044
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7370 0 0 0 47011 345 0 0 25 0 1 0 1846103185 74665984 7329 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7329 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1006.7
Current children cumulated vsize (Kb) 75044
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7395 0 0 0 47951 367 0 0 21 0 1 0 1846103185 74665984 7354 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7354 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1016.32
Current children cumulated vsize (Kb) 75044
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 48899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221154348 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1025.98
Current children cumulated vsize (Kb) 75044
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 49899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220770676 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1035.98
Current children cumulated vsize (Kb) 75044
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 50899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220335628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1045.98
Current children cumulated vsize (Kb) 75044
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 51899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3219832108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1055.98
Current children cumulated vsize (Kb) 75044
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 52899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3219203328 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1065.98
Current children cumulated vsize (Kb) 75044
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 53899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3218255788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1075.98
Current children cumulated vsize (Kb) 75044
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 54899 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221055148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1085.98
Current children cumulated vsize (Kb) 75044
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 55900 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3220303468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1095.99
Current children cumulated vsize (Kb) 75044
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) R 31401 31401 20728 0 -1 0 7429 0 0 0 56900 385 0 0 25 0 1 0 1846103185 74665984 7388 4294967295 134512640 134702520 3221223712 3221165228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31406/statm): 18229 7388 413 48 0 18181 0
[pid=31406] vsize: 72916
Current children cumulated CPU time (s) 1105.99
Current children cumulated vsize (Kb) 75044
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31406
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 378 8801 0 0 1 1 52886 426 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31406/stat): 31406 (vallst) T 31401 31401 20728 0 -1 0 7434 0 0 0 57891 392 0 0 25 0 1 0 1846103185 74670080 7391 4294967295 134512640 134702520 3221223712 3221221616 1074898718 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31406/statm): 18230 7391 413 48 0 18182 0
[pid=31406] vsize: 72920
Current children cumulated CPU time (s) 1115.97
Current children cumulated vsize (Kb) 75048
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31406) exited with status: 2
New process pid=31407
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=31407) exited with status: 0
New process pid=31408
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+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 5808 0 0 0 789 30 0 0 25 0 1 0 1846162312 30363648 5780 4294967295 134512640 134702520 3221223712 3220744192 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7413 5780 413 48 0 7365 0
[pid=31408] vsize: 29652
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (Kb) 31780
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 5812 0 0 0 1788 30 0 0 25 0 1 0 1846162312 30380032 5784 4294967295 134512640 134702520 3221223712 3220519548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7417 5784 413 48 0 7369 0
[pid=31408] vsize: 29668
Current children cumulated CPU time (s) 1135.75
Current children cumulated vsize (Kb) 31796
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6194 0 0 0 2788 31 0 0 25 0 1 0 1846162312 31944704 6166 4294967295 134512640 134702520 3221223712 3221084348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 7799 6166 413 48 0 7751 0
[pid=31408] vsize: 31196
Current children cumulated CPU time (s) 1145.76
Current children cumulated vsize (Kb) 33324
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6554 0 0 0 3758 42 0 0 25 0 1 0 1846162312 70975488 6524 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31408/statm): 17328 6524 413 48 0 17280 0
[pid=31408] vsize: 69312
Current children cumulated CPU time (s) 1155.57
Current children cumulated vsize (Kb) 71440
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6625 0 0 0 4656 76 0 0 25 0 1 0 1846162312 71110656 6595 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31408/statm): 17361 6595 413 48 0 17313 0
[pid=31408] vsize: 69444
Current children cumulated CPU time (s) 1164.89
Current children cumulated vsize (Kb) 71572
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6647 0 0 0 5559 109 0 0 25 0 1 0 1846162312 71110656 6617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17361 6617 413 48 0 17313 0
[pid=31408] vsize: 69444
Current children cumulated CPU time (s) 1174.25
Current children cumulated vsize (Kb) 71572
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) T 31401 31401 20728 0 -1 0 6669 0 0 0 6468 140 0 0 20 0 1 0 1846162312 71245824 6639 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6639 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1183.65
Current children cumulated vsize (Kb) 71704
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 7439 149 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3221021408 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1193.45
Current children cumulated vsize (Kb) 71704
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 8439 150 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3220721068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 71704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31408
Raw data (/proc/31401/stat): 31401 (vallstSAT2005PB) S 31400 31401 20728 0 -1 0 417 16376 0 0 1 1 110923 832 19 0 1 0 1846049118 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/31401/statm): 532 248 485 147 0 385 0
[pid=31401] vsize: 2128
Raw data (/proc/31408/stat): 31408 (vallst) R 31401 31401 20728 0 -1 0 6678 0 0 0 8439 150 0 0 25 0 1 0 1846162312 71245824 6648 4294967295 134512640 134702520 3221223712 3220721068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31408/statm): 17394 6648 413 48 0 17346 0
[pid=31408] vsize: 69576
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 71704
Sending SIGTERM to -31401
Sleeping 2 seconds
New process pid=31410
New process pid=31411
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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/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/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/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/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/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/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/31364/stat
open syscall for file /proc/31364/status
open syscall for file /proc/31364/cmdline
open syscall for file /proc/31364/environ
open syscall for file /proc/31400/stat
open syscall for file /proc/31400/status
open syscall for file /proc/31400/cmdline
open syscall for file /proc/31400/environ
open syscall for file /proc/31401/stat
open syscall for file /proc/31401/status
open syscall for file /proc/31401/cmdline
open syscall for file /proc/31401/environ
open syscall for file /proc/31408/stat
open syscall for file /proc/31408/status
open syscall for file /proc/31408/cmdline
open syscall for file /proc/31408/environ
open syscall for file /proc/31410/stat
open syscall for file /proc/31410/status
open syscall for file /proc/31410/cmdline
open syscall for file /proc/31410/environ
open syscall for file /proc/31411/stat
open syscall for file /proc/31411/status
open syscall for file /proc/31411/cmdline
open syscall for file /proc/31411/environ
One traced child (pid=31410) exited with status: 0
One traced child (pid=31411) exited with status: 0
New process pid=31412
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=31412) exited with status: 0
New process pid=31413
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=31413) exited with status: 0
One traced child (pid=31401) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -31401
One traced child (pid=31408) 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): 1222.15
CPU time (s): 87.9096
CPU user time (s): 86.3869
CPU system time (s): 1.52277
CPU usage (%): 7.19306
Max. virtual memory (cumulated for all children) (Kb): 77456