1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 7253 (#equs: 2786)
#decisions: 174583; #end-nodes: 24126;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 137 (127)
#axs: 63774, #non-axs: 6091
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: 7277 (#equs: 2791)
Time taken: 5 min, 3 sec
2:
seed: 0
Nr of vars set: 7277 (#equs: 0)
Nr of vars set: 7277 (#equs: 0)
#decisions: 268138; #end-nodes: 52927;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 197 (191)
#axs: 32105, #non-axs: 11327
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: 7316 (#equs: 5)
Time taken: 9 min, 3 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/14958/stat): 14958 (vallstSAT2005PB) R 14957 14958 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787807996 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/14958/statm): 174 3 169 147 0 27 0
[pid=14958] 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=14959
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=14959) exited with status: 0
New process pid=14960
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=14960) exited with status: 0
New process pid=14961
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/wulflinc15/normalized-ooo.burch_dill.8.accl.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0037 s]
Raw data (loadavg): 0.88 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2248 0 0 0 971 12 0 0 25 0 1 0 1787808003 11763712 2152 4294967295 134512640 134702520 3221223952 3221223216 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 2872 2152 413 48 0 2824 0
[pid=14961] vsize: 11488
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (Kb) 13616
[startup+20.0045 s]
Raw data (loadavg): 0.90 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2287 0 0 0 1892 37 0 0 21 0 1 0 1787808003 22102016 2191 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5396 2191 413 48 0 5348 0
[pid=14961] vsize: 21584
Current children cumulated CPU time (s) 19.31
Current children cumulated vsize (Kb) 23712
[startup+30.0063 s]
Raw data (loadavg): 0.91 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2300 0 0 0 2842 54 0 0 25 0 1 0 1787808003 22102016 2204 4294967295 134512640 134702520 3221223952 3220930756 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5396 2204 413 48 0 5348 0
[pid=14961] vsize: 21584
Current children cumulated CPU time (s) 28.98
Current children cumulated vsize (Kb) 23712
[startup+40.0072 s]
Raw data (loadavg): 0.93 0.99 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2315 0 0 0 3781 73 0 0 20 0 1 0 1787808003 22208512 2219 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2219 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 38.56
Current children cumulated vsize (Kb) 23816
[startup+50.008 s]
Raw data (loadavg): 0.94 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2321 0 0 0 4761 79 0 0 25 0 1 0 1787808003 22208512 2225 4294967295 134512640 134702520 3221223952 3221103568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2225 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 48.42
Current children cumulated vsize (Kb) 23816
[startup+60.0088 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2342 0 0 0 5716 94 0 0 25 0 1 0 1787808003 22208512 2246 4294967295 134512640 134702520 3221223952 3221068188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2246 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 58.12
Current children cumulated vsize (Kb) 23816
[startup+70.0096 s]
Raw data (loadavg): 0.95 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2342 0 0 0 6716 94 0 0 25 0 1 0 1787808003 22208512 2246 4294967295 134512640 134702520 3221223952 3220597148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2246 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 68.12
Current children cumulated vsize (Kb) 23816
[startup+80.011 s]
Raw data (loadavg): 0.96 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2366 0 0 0 7671 110 0 0 25 0 1 0 1787808003 22208512 2270 4294967295 134512640 134702520 3221223952 3221193808 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2270 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 77.83
Current children cumulated vsize (Kb) 23816
[startup+90.0122 s]
Raw data (loadavg): 0.97 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2366 0 0 0 8670 110 0 0 25 0 1 0 1787808003 22208512 2270 4294967295 134512640 134702520 3221223952 3220871728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2270 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 87.82
Current children cumulated vsize (Kb) 23816
[startup+100.013 s]
Raw data (loadavg): 0.97 0.99 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2370 0 0 0 9664 113 0 0 25 0 1 0 1787808003 22208512 2274 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2274 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 97.79
Current children cumulated vsize (Kb) 23816
[startup+110.014 s]
Raw data (loadavg): 0.97 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2399 0 0 0 10601 136 0 0 25 0 1 0 1787808003 22208512 2303 4294967295 134512640 134702520 3221223952 3221125148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5422 2303 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 107.39
Current children cumulated vsize (Kb) 23816
[startup+120.017 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2399 0 0 0 11601 136 0 0 25 0 1 0 1787808003 22208512 2303 4294967295 134512640 134702520 3221223952 3220696368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5422 2303 413 48 0 5374 0
[pid=14961] vsize: 21688
Current children cumulated CPU time (s) 117.39
Current children cumulated vsize (Kb) 23816
[startup+130.018 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2409 0 0 0 12557 153 0 0 21 0 1 0 1787808003 22302720 2313 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2313 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 127.12
Current children cumulated vsize (Kb) 23908
[startup+140.018 s]
Raw data (loadavg): 0.98 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2417 0 0 0 13541 159 0 0 25 0 1 0 1787808003 22302720 2321 4294967295 134512640 134702520 3221223952 3220963548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2321 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 137.02
Current children cumulated vsize (Kb) 23908
[startup+150.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2417 0 0 0 14541 159 0 0 25 0 1 0 1787808003 22302720 2321 4294967295 134512640 134702520 3221223952 3220430608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2321 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 147.02
Current children cumulated vsize (Kb) 23908
[startup+160.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2429 0 0 0 15480 177 0 0 25 0 1 0 1787808003 22302720 2333 4294967295 134512640 134702520 3221223952 3221201168 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2333 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 156.59
Current children cumulated vsize (Kb) 23908
[startup+170.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2429 0 0 0 16480 177 0 0 25 0 1 0 1787808003 22302720 2333 4294967295 134512640 134702520 3221223952 3220832208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2333 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 166.59
Current children cumulated vsize (Kb) 23908
[startup+180.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 17469 181 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 176.52
Current children cumulated vsize (Kb) 23908
[startup+190.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 18426 194 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221049328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 186.22
Current children cumulated vsize (Kb) 23908
[startup+200.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 19427 194 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220564528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 196.23
Current children cumulated vsize (Kb) 23908
[startup+210.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 20366 216 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3221114928 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 205.84
Current children cumulated vsize (Kb) 23908
[startup+220.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 21365 217 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220875388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 215.84
Current children cumulated vsize (Kb) 23908
[startup+230.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2431 0 0 0 22365 217 0 0 25 0 1 0 1787808003 22302720 2335 4294967295 134512640 134702520 3221223952 3220117948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2335 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 225.84
Current children cumulated vsize (Kb) 23908
[startup+240.026 s]
Raw data (loadavg): 1.07 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2460 0 0 0 23302 239 0 0 25 0 1 0 1787808003 22302720 2364 4294967295 134512640 134702520 3221223952 3221123228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2364 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 235.43
Current children cumulated vsize (Kb) 23908
[startup+250.026 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2460 0 0 0 24302 239 0 0 25 0 1 0 1787808003 22302720 2364 4294967295 134512640 134702520 3221223952 3220713488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2364 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 245.43
Current children cumulated vsize (Kb) 23908
[startup+260.027 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) T 14958 14958 31778 0 -1 0 2480 0 0 0 25280 247 0 0 25 0 1 0 1787808003 22302720 2384 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2384 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 255.29
Current children cumulated vsize (Kb) 23908
[startup+270.028 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2495 0 0 0 26261 254 0 0 25 0 1 0 1787808003 22302720 2399 4294967295 134512640 134702520 3221223952 3220969648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2399 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 265.17
Current children cumulated vsize (Kb) 23908
[startup+280.029 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2495 0 0 0 27261 254 0 0 25 0 1 0 1787808003 22302720 2399 4294967295 134512640 134702520 3221223952 3220398928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2399 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 275.17
Current children cumulated vsize (Kb) 23908
[startup+290.03 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2538 0 0 0 28186 280 0 0 25 0 1 0 1787808003 22302720 2442 4294967295 134512640 134702520 3221223952 3221216848 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14961/statm): 5445 2442 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 284.68
Current children cumulated vsize (Kb) 23908
[startup+300.031 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14961
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787807996 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 242 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14961/stat): 14961 (vallst) R 14958 14958 31778 0 -1 0 2538 0 0 0 29186 280 0 0 25 0 1 0 1787808003 22302720 2442 4294967295 134512640 134702520 3221223952 3220838608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14961/statm): 5445 2442 413 48 0 5397 0
[pid=14961] vsize: 21780
Current children cumulated CPU time (s) 294.68
Current children cumulated vsize (Kb) 23908
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=14961) exited with status: 2
New process pid=14962
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=14962) exited with status: 0
New process pid=14963
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+310.031 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 620 0 0 0 44 2 0 0 24 0 1 0 1787838953 3973120 592 4294967295 134512640 134702520 3221223712 3221223420 1074140573 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 970 592 413 48 0 922 0
[pid=14963] vsize: 3880
Current children cumulated CPU time (s) 304.61
Current children cumulated vsize (Kb) 6008
[startup+320.032 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1511 0 0 0 1037 7 0 0 25 0 1 0 1787838953 9793536 1482 4294967295 134512640 134702520 3221223712 3220990128 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 2391 1482 413 48 0 2343 0
[pid=14963] vsize: 9564
Current children cumulated CPU time (s) 314.59
Current children cumulated vsize (Kb) 11692
[startup+330.033 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1529 0 0 0 2038 7 0 0 25 0 1 0 1787838953 9867264 1500 4294967295 134512640 134702520 3221223712 3220628368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 2409 1500 413 48 0 2361 0
[pid=14963] vsize: 9636
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (Kb) 11764
[startup+340.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 2977 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3221135312 134612026 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 334.2
Current children cumulated vsize (Kb) 22896
[startup+350.034 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 3977 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3220947788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 344.2
Current children cumulated vsize (Kb) 22896
[startup+360.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1798 0 0 0 4976 28 0 0 25 0 1 0 1787838953 21266432 1769 4294967295 134512640 134702520 3221223712 3220587168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1769 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 354.19
Current children cumulated vsize (Kb) 22896
[startup+370.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 5921 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3221197708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 363.83
Current children cumulated vsize (Kb) 22896
[startup+380.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 6920 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3220907168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 373.82
Current children cumulated vsize (Kb) 22896
[startup+390.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1840 0 0 0 7920 47 0 0 25 0 1 0 1787838953 21266432 1811 4294967295 134512640 134702520 3221223712 3220483148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5192 1811 413 48 0 5144 0
[pid=14963] vsize: 20768
Current children cumulated CPU time (s) 383.82
Current children cumulated vsize (Kb) 22896
[startup+400.039 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 8843 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3221207968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 393.33
Current children cumulated vsize (Kb) 23008
[startup+410.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 9842 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3220922348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 403.32
Current children cumulated vsize (Kb) 23008
[startup+420.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1959 0 0 0 10842 75 0 0 25 0 1 0 1787838953 21381120 1930 4294967295 134512640 134702520 3221223712 3220538508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1930 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 413.32
Current children cumulated vsize (Kb) 23008
[startup+430.042 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 1997 0 0 0 11772 99 0 0 25 0 1 0 1787838953 21381120 1968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1968 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 422.86
Current children cumulated vsize (Kb) 23008
[startup+440.043 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1999 0 0 0 12769 100 0 0 25 0 1 0 1787838953 21381120 1970 4294967295 134512640 134702520 3221223712 3220952428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1970 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 432.84
Current children cumulated vsize (Kb) 23008
[startup+450.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 1999 0 0 0 13770 100 0 0 25 0 1 0 1787838953 21381120 1970 4294967295 134512640 134702520 3221223712 3220586368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5220 1970 413 48 0 5172 0
[pid=14963] vsize: 20880
Current children cumulated CPU time (s) 442.85
Current children cumulated vsize (Kb) 23008
[startup+460.045 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2030 0 0 0 14705 123 0 0 24 0 1 0 1787838953 21508096 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2001 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 452.43
Current children cumulated vsize (Kb) 23132
[startup+470.045 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2036 0 0 0 15697 125 0 0 25 0 1 0 1787838953 21508096 2007 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2007 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 462.37
Current children cumulated vsize (Kb) 23132
[startup+480.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2061 0 0 0 16641 144 0 0 25 0 1 0 1787838953 21508096 2032 4294967295 134512640 134702520 3221223712 3221110988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2032 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 472
Current children cumulated vsize (Kb) 23132
[startup+490.048 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2061 0 0 0 17641 144 0 0 25 0 1 0 1787838953 21508096 2032 4294967295 134512640 134702520 3221223712 3220800748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5251 2032 413 48 0 5203 0
[pid=14963] vsize: 21004
Current children cumulated CPU time (s) 482
Current children cumulated vsize (Kb) 23132
[startup+500.048 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2063 0 0 0 18629 148 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 491.92
Current children cumulated vsize (Kb) 23236
[startup+510.049 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2063 0 0 0 19578 165 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3221073068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 501.58
Current children cumulated vsize (Kb) 23236
[startup+520.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2063 0 0 0 20578 165 0 0 25 0 1 0 1787838953 21614592 2034 4294967295 134512640 134702520 3221223712 3220752268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5277 2034 413 48 0 5229 0
[pid=14963] vsize: 21108
Current children cumulated CPU time (s) 511.58
Current children cumulated vsize (Kb) 23236
[startup+530.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2064 0 0 0 21564 169 0 0 25 0 1 0 1787838953 21618688 2035 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2035 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 521.48
Current children cumulated vsize (Kb) 23240
[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2065 0 0 0 22521 183 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3221060108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 531.19
Current children cumulated vsize (Kb) 23240
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2065 0 0 0 23521 183 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3220728128 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 541.19
Current children cumulated vsize (Kb) 23240
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2065 0 0 0 24495 193 0 0 25 0 1 0 1787838953 21618688 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2036 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 551.03
Current children cumulated vsize (Kb) 23240
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2066 0 0 0 25462 203 0 0 25 0 1 0 1787838953 21618688 2037 4294967295 134512640 134702520 3221223712 3221030348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2037 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 560.8
Current children cumulated vsize (Kb) 23240
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2066 0 0 0 26462 203 0 0 25 0 1 0 1787838953 21618688 2037 4294967295 134512640 134702520 3221223712 3220687948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2037 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 570.8
Current children cumulated vsize (Kb) 23240
[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2068 0 0 0 27424 215 0 0 25 0 1 0 1787838953 21618688 2039 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2039 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 580.54
Current children cumulated vsize (Kb) 23240
[startup+600.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2070 0 0 0 28407 222 0 0 25 0 1 0 1787838953 21618688 2041 4294967295 134512640 134702520 3221223712 3221007648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5278 2041 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 590.44
Current children cumulated vsize (Kb) 23240
[startup+610.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2070 0 0 0 29407 222 0 0 25 0 1 0 1787838953 21618688 2041 4294967295 134512640 134702520 3221223712 3220655968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2041 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 600.44
Current children cumulated vsize (Kb) 23240
[startup+620.058 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2076 0 0 0 30365 237 0 0 25 0 1 0 1787838953 21618688 2047 4294967295 134512640 134702520 3221223712 3221222932 134549015 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2047 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 610.17
Current children cumulated vsize (Kb) 23240
[startup+630.06 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 31351 241 0 0 25 0 1 0 1787838953 21618688 2056 4294967295 134512640 134702520 3221223712 3221000288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2056 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 620.07
Current children cumulated vsize (Kb) 23240
[startup+640.06 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 32352 241 0 0 25 0 1 0 1787838953 21618688 2056 4294967295 134512640 134702520 3221223712 3220646508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2056 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 630.08
Current children cumulated vsize (Kb) 23240
[startup+650.06 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2131 0 0 0 33306 258 0 0 25 0 1 0 1787838953 21618688 2102 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2102 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 23240
[startup+660.061 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2149 0 0 0 34291 264 0 0 25 0 1 0 1787838953 21618688 2120 4294967295 134512640 134702520 3221223712 3220996768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2120 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 649.7
Current children cumulated vsize (Kb) 23240
[startup+670.062 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2149 0 0 0 35292 264 0 0 25 0 1 0 1787838953 21618688 2120 4294967295 134512640 134702520 3221223712 3220641568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5278 2120 413 48 0 5230 0
[pid=14963] vsize: 21112
Current children cumulated CPU time (s) 659.71
Current children cumulated vsize (Kb) 23240
[startup+680.063 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2150 0 0 0 36237 282 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 669.34
Current children cumulated vsize (Kb) 23348
[startup+690.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2150 0 0 0 37216 287 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3220997548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 679.18
Current children cumulated vsize (Kb) 23348
[startup+700.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2150 0 0 0 38216 287 0 0 25 0 1 0 1787838953 21729280 2121 4294967295 134512640 134702520 3221223712 3220642028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2121 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 689.18
Current children cumulated vsize (Kb) 23348
[startup+710.065 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2151 0 0 0 39160 306 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 698.81
Current children cumulated vsize (Kb) 23348
[startup+720.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2151 0 0 0 40145 312 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3221002988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 708.72
Current children cumulated vsize (Kb) 23348
[startup+730.068 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2151 0 0 0 41146 312 0 0 25 0 1 0 1787838953 21729280 2122 4294967295 134512640 134702520 3221223712 3220650368 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2122 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 718.73
Current children cumulated vsize (Kb) 23348
[startup+740.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2157 0 0 0 42094 330 0 0 25 0 1 0 1787838953 21729280 2128 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2128 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 728.39
Current children cumulated vsize (Kb) 23348
[startup+750.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2158 0 0 0 43068 339 0 0 25 0 1 0 1787838953 21729280 2129 4294967295 134512640 134702520 3221223712 3221028448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2129 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 738.22
Current children cumulated vsize (Kb) 23348
[startup+760.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2158 0 0 0 44068 339 0 0 25 0 1 0 1787838953 21729280 2129 4294967295 134512640 134702520 3221223712 3220693228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2129 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 748.22
Current children cumulated vsize (Kb) 23348
[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2167 0 0 0 45038 348 0 0 25 0 1 0 1787838953 21729280 2138 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5305 2138 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 758.01
Current children cumulated vsize (Kb) 23348
[startup+780.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2202 0 0 0 46004 362 0 0 25 0 1 0 1787838953 21729280 2173 4294967295 134512640 134702520 3221223712 3221057728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2173 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 767.81
Current children cumulated vsize (Kb) 23348
[startup+790.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2202 0 0 0 47004 362 0 0 25 0 1 0 1787838953 21729280 2173 4294967295 134512640 134702520 3221223712 3220725248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5305 2173 413 48 0 5257 0
[pid=14963] vsize: 21220
Current children cumulated CPU time (s) 777.81
Current children cumulated vsize (Kb) 23348
[startup+800.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) T 14958 14958 31778 0 -1 0 2227 0 0 0 47980 372 0 0 25 0 1 0 1787838953 21807104 2198 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5324 2198 413 48 0 5276 0
[pid=14963] vsize: 21296
Current children cumulated CPU time (s) 787.67
Current children cumulated vsize (Kb) 23424
[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 48924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3221129888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 797.3
Current children cumulated vsize (Kb) 24820
[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 49924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3220826048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 807.3
Current children cumulated vsize (Kb) 24820
[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2290 0 0 0 50924 391 0 0 25 0 1 0 1787838953 23236608 2261 4294967295 134512640 134702520 3221223712 3220142988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2261 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 817.3
Current children cumulated vsize (Kb) 24820
[startup+840.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 51853 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3221159648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 826.85
Current children cumulated vsize (Kb) 24820
[startup+850.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 52852 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3220855648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 836.84
Current children cumulated vsize (Kb) 24820
[startup+860.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14963
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 378 2917 0 0 1 1 30127 286 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14963/stat): 14963 (vallst) R 14958 14958 31778 0 -1 0 2355 0 0 0 53853 417 0 0 25 0 1 0 1787838953 23236608 2326 4294967295 134512640 134702520 3221223712 3220342048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14963/statm): 5673 2326 413 48 0 5625 0
[pid=14963] vsize: 22692
Current children cumulated CPU time (s) 846.85
Current children cumulated vsize (Kb) 24820
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=14963) exited with status: 2
New process pid=14964
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=14964) exited with status: 0
New process pid=14965
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+870.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1522 0 0 0 825 7 0 0 25 0 1 0 1787894178 8544256 1494 4294967295 134512640 134702520 3221223712 3221039728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 2086 1494 413 48 0 2038 0
[pid=14965] vsize: 8344
Current children cumulated CPU time (s) 856.78
Current children cumulated vsize (Kb) 10472
[startup+880.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1576 0 0 0 1824 7 0 0 25 0 1 0 1787894178 8765440 1548 4294967295 134512640 134702520 3221223712 3220714928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 2140 1548 413 48 0 2092 0
[pid=14965] vsize: 8560
Current children cumulated CPU time (s) 866.77
Current children cumulated vsize (Kb) 10688
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1864 0 0 0 2783 23 0 0 25 0 1 0 1787894178 17629184 1836 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4304 1836 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 876.52
Current children cumulated vsize (Kb) 19344
[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1893 0 0 0 3751 34 0 0 25 0 1 0 1787894178 17629184 1865 4294967295 134512640 134702520 3221223712 3221047488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4304 1865 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 886.31
Current children cumulated vsize (Kb) 19344
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1893 0 0 0 4751 34 0 0 25 0 1 0 1787894178 17629184 1865 4294967295 134512640 134702520 3221223712 3220717088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4304 1865 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 896.31
Current children cumulated vsize (Kb) 19344
[startup+920.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1933 0 0 0 5718 46 0 0 24 0 1 0 1787894178 17629184 1905 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4304 1905 413 48 0 4256 0
[pid=14965] vsize: 17216
Current children cumulated CPU time (s) 906.1
Current children cumulated vsize (Kb) 19344
[startup+930.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1957 0 0 0 6681 59 0 0 25 0 1 0 1787894178 17776640 1929 4294967295 134512640 134702520 3221223712 3221039008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4340 1929 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 915.86
Current children cumulated vsize (Kb) 19488
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 1957 0 0 0 7680 59 0 0 25 0 1 0 1787894178 17776640 1929 4294967295 134512640 134702520 3221223712 3220705088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1929 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 925.85
Current children cumulated vsize (Kb) 19488
[startup+950.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 1982 0 0 0 8640 74 0 0 25 0 1 0 1787894178 17776640 1954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1954 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 935.6
Current children cumulated vsize (Kb) 19488
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2004 0 0 0 9610 83 0 0 25 0 1 0 1787894178 17776640 1976 4294967295 134512640 134702520 3221223712 3221029568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4340 1976 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 945.39
Current children cumulated vsize (Kb) 19488
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2004 0 0 0 10609 83 0 0 25 0 1 0 1787894178 17776640 1976 4294967295 134512640 134702520 3221223712 3220690048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 1976 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 955.38
Current children cumulated vsize (Kb) 19488
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2029 0 0 0 11567 98 0 0 25 0 1 0 1787894178 17776640 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2001 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 965.11
Current children cumulated vsize (Kb) 19488
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2042 0 0 0 12543 107 0 0 25 0 1 0 1787894178 17776640 2014 4294967295 134512640 134702520 3221223712 3221026368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2014 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 974.96
Current children cumulated vsize (Kb) 19488
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2042 0 0 0 13544 107 0 0 25 0 1 0 1787894178 17776640 2014 4294967295 134512640 134702520 3221223712 3220688748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4340 2014 413 48 0 4292 0
[pid=14965] vsize: 17360
Current children cumulated CPU time (s) 984.97
Current children cumulated vsize (Kb) 19488
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2062 0 0 0 14506 119 0 0 25 0 1 0 1787894178 17879040 2034 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4365 2034 413 48 0 4317 0
[pid=14965] vsize: 17460
Current children cumulated CPU time (s) 994.71
Current children cumulated vsize (Kb) 19588
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 15475 129 0 0 25 0 1 0 1787894178 18923520 2057 4294967295 134512640 134702520 3221223712 3221041228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2057 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1004.5
Current children cumulated vsize (Kb) 20608
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2085 0 0 0 16476 129 0 0 25 0 1 0 1787894178 18923520 2057 4294967295 134512640 134702520 3221223712 3220709248 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2057 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1014.51
Current children cumulated vsize (Kb) 20608
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2096 0 0 0 17451 138 0 0 25 0 1 0 1787894178 18923520 2068 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/14965/statm): 4620 2068 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1024.35
Current children cumulated vsize (Kb) 20608
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2117 0 0 0 18416 151 0 0 25 0 1 0 1787894178 18923520 2089 4294967295 134512640 134702520 3221223712 3221064128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2089 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1034.13
Current children cumulated vsize (Kb) 20608
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2117 0 0 0 19417 151 0 0 25 0 1 0 1787894178 18923520 2089 4294967295 134512640 134702520 3221223712 3220738828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4620 2089 413 48 0 4572 0
[pid=14965] vsize: 18480
Current children cumulated CPU time (s) 1044.14
Current children cumulated vsize (Kb) 20608
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2119 0 0 0 20387 159 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1053.92
Current children cumulated vsize (Kb) 20692
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2119 0 0 0 21334 179 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3221106828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1063.59
Current children cumulated vsize (Kb) 20692
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2119 0 0 0 22334 179 0 0 25 0 1 0 1787894178 19009536 2091 4294967295 134512640 134702520 3221223712 3220794508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2091 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1073.59
Current children cumulated vsize (Kb) 20692
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2120 0 0 0 23326 182 0 0 25 0 1 0 1787894178 19009536 2092 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2092 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1083.54
Current children cumulated vsize (Kb) 20692
[startup+1110.1 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 24272 201 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3221097868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1093.19
Current children cumulated vsize (Kb) 20692
[startup+1120.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 25273 201 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3220782988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1103.2
Current children cumulated vsize (Kb) 20692
[startup+1130.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2121 0 0 0 26261 204 0 0 25 0 1 0 1787894178 19009536 2093 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2093 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1113.11
Current children cumulated vsize (Kb) 20692
[startup+1140.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2122 0 0 0 27206 222 0 0 25 0 1 0 1787894178 19009536 2094 4294967295 134512640 134702520 3221223712 3221109888 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2094 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1122.74
Current children cumulated vsize (Kb) 20692
[startup+1150.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2122 0 0 0 28206 222 0 0 25 0 1 0 1787894178 19009536 2094 4294967295 134512640 134702520 3221223712 3220798528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2094 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1132.74
Current children cumulated vsize (Kb) 20692
[startup+1160.11 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) T 14958 14958 31778 0 -1 0 2124 0 0 0 29201 224 0 0 25 0 1 0 1787894178 19009536 2096 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2096 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1142.71
Current children cumulated vsize (Kb) 20692
[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 30127 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3221163008 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1152.23
Current children cumulated vsize (Kb) 20692
[startup+1180.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 31127 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3220866048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1162.23
Current children cumulated vsize (Kb) 20692
[startup+1190.11 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2147 0 0 0 32128 250 0 0 25 0 1 0 1787894178 19009536 2119 4294967295 134512640 134702520 3221223712 3220370208 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2119 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1172.24
Current children cumulated vsize (Kb) 20692
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 33053 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3221197068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (Kb) 20692
[startup+1210.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 34054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220908768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1191.76
Current children cumulated vsize (Kb) 20692
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 35054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220500448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1201.76
Current children cumulated vsize (Kb) 20692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1220.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 14965
Raw data (/proc/14958/stat): 14958 (vallstSAT2005PB) S 14957 14958 31778 0 -1 0 417 5417 0 0 1 2 84134 709 19 0 1 0 1787807996 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/14958/statm): 532 248 485 147 0 385 0
[pid=14958] vsize: 2128
Raw data (/proc/14965/stat): 14965 (vallst) R 14958 14958 31778 0 -1 0 2204 0 0 0 35054 276 0 0 25 0 1 0 1787894178 19009536 2176 4294967295 134512640 134702520 3221223712 3220500428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/14965/statm): 4641 2176 413 48 0 4593 0
[pid=14965] vsize: 18564
Current children cumulated CPU time (s) 1201.76
Current children cumulated vsize (Kb) 20692
Sending SIGTERM to -14958
Sleeping 2 seconds
New process pid=14967
New process pid=14968
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/19225/stat
open syscall for file /proc/19225/status
open syscall for file /proc/19225/cmdline
open syscall for file /proc/19225/environ
open syscall for file /proc/19546/stat
open syscall for file /proc/19546/status
open syscall for file /proc/19546/cmdline
open syscall for file /proc/19546/environ
open syscall for file /proc/19573/stat
open syscall for file /proc/19573/status
open syscall for file /proc/19573/cmdline
open syscall for file /proc/19573/environ
open syscall for file /proc/19597/stat
open syscall for file /proc/19597/status
open syscall for file /proc/19597/cmdline
open syscall for file /proc/19597/environ
open syscall for file /proc/30224/stat
open syscall for file /proc/30224/status
open syscall for file /proc/30224/cmdline
open syscall for file /proc/30224/environ
open syscall for file /proc/30227/stat
open syscall for file /proc/30227/status
open syscall for file /proc/30227/cmdline
open syscall for file /proc/30227/environ
open syscall for file /proc/12024/stat
open syscall for file /proc/12024/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/12024/cmdline
open syscall for file /proc/12024/environ
open syscall for file /proc/12059/stat
open syscall for file /proc/12059/status
open syscall for file /proc/12059/cmdline
open syscall for file /proc/12059/environ
open syscall for file /proc/31778/stat
open syscall for file /proc/31778/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/31778/cmdline
open syscall for file /proc/31778/environ
open syscall for file /proc/31779/stat
open syscall for file /proc/31779/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/31779/cmdline
open syscall for file /proc/31779/environ
open syscall for file /proc/31788/stat
open syscall for file /proc/31788/status
open syscall for file /proc/31788/cmdline
open syscall for file /proc/31788/environ
open syscall for file /proc/14921/stat
open syscall for file /proc/14921/status
open syscall for file /proc/14921/cmdline
open syscall for file /proc/14921/environ
open syscall for file /proc/14957/stat
open syscall for file /proc/14957/status
open syscall for file /proc/14957/cmdline
open syscall for file /proc/14957/environ
open syscall for file /proc/14958/stat
open syscall for file /proc/14958/status
open syscall for file /proc/14958/cmdline
open syscall for file /proc/14958/environ
open syscall for file /proc/14965/stat
open syscall for file /proc/14965/status
open syscall for file /proc/14965/cmdline
open syscall for file /proc/14965/environ
open syscall for file /proc/14967/stat
open syscall for file /proc/14967/status
open syscall for file /proc/14967/cmdline
open syscall for file /proc/14967/environ
open syscall for file /proc/14968/stat
open syscall for file /proc/14968/status
open syscall for file /proc/14968/cmdline
open syscall for file /proc/14968/environ
One traced child (pid=14967) exited with status: 0
One traced child (pid=14968) exited with status: 0
New process pid=14969
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=14969) exited with status: 0
New process pid=14970
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=14970) exited with status: 0
One traced child (pid=14958) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -14958
One traced child (pid=14965) 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.12
CPU time (s): 355.317
CPU user time (s): 352.543
CPU system time (s): 2.77358
CPU usage (%): 29.0738
Max. virtual memory (cumulated for all children) (Kb): 24820