1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 2201 (#equs: 1)
#decisions: 188642; #end-nodes: 16407;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 123 (103)
#axs: 254773, #non-axs: 5711
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: 5425 (#equs: 2)
Time taken: 9 min, 34 sec
2:
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) R 7292 7293 20115 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846043494 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7293/statm): 174 3 169 147 0 27 0
[pid=7293] 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=7294
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=7294) exited with status: 0
New process pid=7295
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=7295) exited with status: 0
New process pid=7296
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/wulflinc28/normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 0.82 1.02 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7492 0 0 0 934 37 0 0 25 0 1 0 1846043504 35483648 6922 4294967295 134512640 134702520 3221223936 3221145052 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 8663 6922 413 48 0 8615 0
[pid=7296] vsize: 34652
Current children cumulated CPU time (s) 9.74
Current children cumulated vsize (Kb) 36780
[startup+20.0045 s]
Raw data (loadavg): 0.84 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 1933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3221125052 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 19.74
Current children cumulated vsize (Kb) 38392
[startup+30.0062 s]
Raw data (loadavg): 0.87 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 2933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3220744412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 29.74
Current children cumulated vsize (Kb) 38392
[startup+40.0069 s]
Raw data (loadavg): 0.89 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 3933 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3220326512 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 39.74
Current children cumulated vsize (Kb) 38392
[startup+50.0076 s]
Raw data (loadavg): 0.90 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 4934 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3219853692 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 49.75
Current children cumulated vsize (Kb) 38392
[startup+60.0082 s]
Raw data (loadavg): 0.92 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 7895 0 0 0 5934 38 0 0 25 0 1 0 1846043504 37134336 7325 4294967295 134512640 134702520 3221223936 3219278332 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9066 7325 413 48 0 9018 0
[pid=7296] vsize: 36264
Current children cumulated CPU time (s) 59.75
Current children cumulated vsize (Kb) 38392
[startup+70.0079 s]
Raw data (loadavg): 0.93 1.01 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8058 0 0 0 6934 38 0 0 25 0 1 0 1846043504 37801984 7488 4294967295 134512640 134702520 3221223936 3218413372 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 9229 7488 413 48 0 9181 0
[pid=7296] vsize: 36916
Current children cumulated CPU time (s) 69.75
Current children cumulated vsize (Kb) 39044
[startup+80.0096 s]
Raw data (loadavg): 0.94 1.01 1.01 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8692 0 0 0 7925 42 0 0 25 0 1 0 1846043504 82526208 8108 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20148 8108 413 48 0 20100 0
[pid=7296] vsize: 80592
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 82720
[startup+90.0103 s]
Raw data (loadavg): 0.95 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8765 0 0 0 8880 58 0 0 25 0 1 0 1846043504 82661376 8181 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20181 8181 413 48 0 20133 0
[pid=7296] vsize: 80724
Current children cumulated CPU time (s) 89.41
Current children cumulated vsize (Kb) 82852
[startup+100.01 s]
Raw data (loadavg): 0.96 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8799 0 0 0 9840 71 0 0 25 0 1 0 1846043504 82661376 8215 4294967295 134512640 134702520 3221223936 3221223216 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20181 8215 413 48 0 20133 0
[pid=7296] vsize: 80724
Current children cumulated CPU time (s) 99.14
Current children cumulated vsize (Kb) 82852
[startup+110.012 s]
Raw data (loadavg): 0.96 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8823 0 0 0 10787 89 0 0 25 0 1 0 1846043504 82796544 8239 4294967295 134512640 134702520 3221223936 3221223216 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8239 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 108.79
Current children cumulated vsize (Kb) 82984
[startup+120.012 s]
Raw data (loadavg): 0.97 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8833 0 0 0 11744 104 0 0 25 0 1 0 1846043504 82796544 8249 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8249 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 118.51
Current children cumulated vsize (Kb) 82984
[startup+130.013 s]
Raw data (loadavg): 0.97 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8845 0 0 0 12712 116 0 0 25 0 1 0 1846043504 82796544 8261 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8261 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 128.31
Current children cumulated vsize (Kb) 82984
[startup+140.015 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 13694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220595692 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 138.18
Current children cumulated vsize (Kb) 82984
[startup+150.015 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 14694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220913772 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 148.18
Current children cumulated vsize (Kb) 82984
[startup+160.016 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 15694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3221163852 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 158.18
Current children cumulated vsize (Kb) 82984
[startup+170.017 s]
Raw data (loadavg): 0.98 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 16694 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3220179052 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 168.18
Current children cumulated vsize (Kb) 82984
[startup+180.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8851 0 0 0 17695 121 0 0 25 0 1 0 1846043504 82796544 8267 4294967295 134512640 134702520 3221223936 3221152032 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20214 8267 413 48 0 20166 0
[pid=7296] vsize: 80856
Current children cumulated CPU time (s) 178.19
Current children cumulated vsize (Kb) 82984
[startup+190.019 s]
Raw data (loadavg): 0.99 1.00 1.00 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 8861 0 0 0 18646 137 0 0 25 0 1 0 1846043504 84123648 8273 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8273 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (Kb) 84280
[startup+200.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8865 0 0 0 19598 154 0 0 25 0 1 0 1846043504 84123648 8277 4294967295 134512640 134702520 3221223936 3221223216 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8277 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 197.55
Current children cumulated vsize (Kb) 84280
[startup+210.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8876 0 0 0 20557 167 0 0 19 0 1 0 1846043504 84123648 8288 4294967295 134512640 134702520 3221223936 3221223216 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8288 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 207.27
Current children cumulated vsize (Kb) 84280
[startup+220.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 21518 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3221166092 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 217.02
Current children cumulated vsize (Kb) 84280
[startup+230.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 22518 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220827692 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 227.02
Current children cumulated vsize (Kb) 84280
[startup+240.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 23519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220465312 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 237.03
Current children cumulated vsize (Kb) 84280
[startup+250.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 24519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3220068332 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 247.03
Current children cumulated vsize (Kb) 84280
[startup+260.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 25519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3219622412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 257.03
Current children cumulated vsize (Kb) 84280
[startup+270.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 26519 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3219093132 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 267.03
Current children cumulated vsize (Kb) 84280
[startup+280.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 27520 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3218398732 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 277.04
Current children cumulated vsize (Kb) 84280
[startup+290.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 8886 0 0 0 28520 181 0 0 25 0 1 0 1846043504 84123648 8298 4294967295 134512640 134702520 3221223936 3217051696 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20538 8298 413 48 0 20490 0
[pid=7296] vsize: 82152
Current children cumulated CPU time (s) 287.04
Current children cumulated vsize (Kb) 84280
[startup+300.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 29520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3220976192 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 297.04
Current children cumulated vsize (Kb) 84892
[startup+310.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 30520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3220504332 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 307.04
Current children cumulated vsize (Kb) 84892
[startup+320.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 31520 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3219931392 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 317.04
Current children cumulated vsize (Kb) 84892
[startup+330.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 32521 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3219103372 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 327.05
Current children cumulated vsize (Kb) 84892
[startup+340.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9039 0 0 0 33521 181 0 0 25 0 1 0 1846043504 84750336 8451 4294967295 134512640 134702520 3221223936 3221134572 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8451 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 337.05
Current children cumulated vsize (Kb) 84892
[startup+350.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9053 0 0 0 34499 188 0 0 25 0 1 0 1846043504 84750336 8452 4294967295 134512640 134702520 3221223936 3221223216 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20691 8452 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 346.9
Current children cumulated vsize (Kb) 84892
[startup+360.035 s]
Raw data (loadavg): 1.07 1.02 1.01 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 9058 0 0 0 35456 204 0 0 18 0 1 0 1846043504 84750336 8457 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8457 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 356.63
Current children cumulated vsize (Kb) 84892
[startup+370.036 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9071 0 0 0 36407 221 0 0 25 0 1 0 1846043504 84750336 8470 4294967295 134512640 134702520 3221223936 3221223216 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7296/statm): 20691 8470 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 366.31
Current children cumulated vsize (Kb) 84892
[startup+380.037 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 37398 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3220347852 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 376.25
Current children cumulated vsize (Kb) 84892
[startup+390.038 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 38398 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3220657932 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 386.25
Current children cumulated vsize (Kb) 84892
[startup+400.039 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 39399 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3221198752 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 396.26
Current children cumulated vsize (Kb) 84892
[startup+410.039 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9075 0 0 0 40399 224 0 0 25 0 1 0 1846043504 84750336 8474 4294967295 134512640 134702520 3221223936 3221129772 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20691 8474 413 48 0 20643 0
[pid=7296] vsize: 82764
Current children cumulated CPU time (s) 406.26
Current children cumulated vsize (Kb) 84892
[startup+420.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9094 0 0 0 41387 228 0 0 25 0 1 0 1846043504 84885504 8480 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8480 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 416.18
Current children cumulated vsize (Kb) 85024
[startup+430.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9113 0 0 0 42346 242 0 0 25 0 1 0 1846043504 84885504 8499 4294967295 134512640 134702520 3221223936 3221223216 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8499 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 425.91
Current children cumulated vsize (Kb) 85024
[startup+440.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9133 0 0 0 43299 256 0 0 25 0 1 0 1846043504 84885504 8519 4294967295 134512640 134702520 3221223936 3221223216 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8519 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 435.58
Current children cumulated vsize (Kb) 85024
[startup+450.042 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 44295 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3221069132 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 445.55
Current children cumulated vsize (Kb) 85024
[startup+460.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 45296 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3220940832 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 455.56
Current children cumulated vsize (Kb) 85024
[startup+470.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9135 0 0 0 46296 257 0 0 25 0 1 0 1846043504 84885504 8521 4294967295 134512640 134702520 3221223936 3220917772 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8521 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 465.56
Current children cumulated vsize (Kb) 85024
[startup+480.045 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9157 0 0 0 47274 265 0 0 25 0 1 0 1846043504 84885504 8530 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8530 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 475.42
Current children cumulated vsize (Kb) 85024
[startup+490.046 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9177 0 0 0 48231 280 0 0 25 0 1 0 1846043504 84885504 8550 4294967295 134512640 134702520 3221223936 3221223056 134572603 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8550 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 485.14
Current children cumulated vsize (Kb) 85024
[startup+500.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 49195 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3220738432 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 494.92
Current children cumulated vsize (Kb) 85024
[startup+510.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 50196 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3221199552 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 504.93
Current children cumulated vsize (Kb) 85024
[startup+520.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9194 0 0 0 51196 294 0 0 25 0 1 0 1846043504 84885504 8567 4294967295 134512640 134702520 3221223936 3220970252 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8567 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 514.93
Current children cumulated vsize (Kb) 85024
[startup+530.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9216 0 0 0 52173 301 0 0 25 0 1 0 1846043504 84885504 8576 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8576 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 524.77
Current children cumulated vsize (Kb) 85024
[startup+540.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9235 0 0 0 53141 313 0 0 25 0 1 0 1846043504 84885504 8595 4294967295 134512640 134702520 3221223936 3221223216 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8595 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 534.57
Current children cumulated vsize (Kb) 85024
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) T 7293 7293 20115 0 -1 0 9258 0 0 0 54105 326 0 0 25 0 1 0 1846043504 84885504 8618 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8618 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 544.34
Current children cumulated vsize (Kb) 85024
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 55096 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3221218572 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 554.28
Current children cumulated vsize (Kb) 85024
[startup+570.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 56097 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3221146412 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 564.29
Current children cumulated vsize (Kb) 85024
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7296
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1846043494 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/7293/statm): 532 242 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7296/stat): 7296 (vallst) R 7293 7293 20115 0 -1 0 9261 0 0 0 57097 329 0 0 25 0 1 0 1846043504 84885504 8621 4294967295 134512640 134702520 3221223936 3220472512 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7296/statm): 20724 8621 413 48 0 20676 0
[pid=7296] vsize: 82896
Current children cumulated CPU time (s) 574.29
Current children cumulated vsize (Kb) 85024
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=7296) exited with status: 2
New process pid=7297
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=7297) exited with status: 0
New process pid=7298
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+590.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6148 0 0 0 672 33 0 0 25 0 1 0 1846101788 33103872 6119 4294967295 134512640 134702520 3221223712 3221146116 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8082 6119 413 48 0 8034 0
[pid=7298] vsize: 32328
Current children cumulated CPU time (s) 584.06
Current children cumulated vsize (Kb) 34456
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6170 0 0 0 1672 33 0 0 25 0 1 0 1846101788 33193984 6141 4294967295 134512640 134702520 3221223712 3220721308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8104 6141 413 48 0 8056 0
[pid=7298] vsize: 32416
Current children cumulated CPU time (s) 594.06
Current children cumulated vsize (Kb) 34544
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6290 0 0 0 2672 33 0 0 25 0 1 0 1846101788 33685504 6261 4294967295 134512640 134702520 3221223712 3220228668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8224 6261 413 48 0 8176 0
[pid=7298] vsize: 32896
Current children cumulated CPU time (s) 604.06
Current children cumulated vsize (Kb) 35024
[startup+620.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6437 0 0 0 3671 34 0 0 25 0 1 0 1846101788 34287616 6408 4294967295 134512640 134702520 3221223712 3219627388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 8371 6408 413 48 0 8323 0
[pid=7298] vsize: 33484
Current children cumulated CPU time (s) 614.06
Current children cumulated vsize (Kb) 35612
[startup+630.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 6673 0 0 0 4669 34 0 0 25 0 1 0 1846101788 35254272 6644 4294967295 134512640 134702520 3221223712 3218658268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 8607 6644 413 48 0 8559 0
[pid=7298] vsize: 34428
Current children cumulated CPU time (s) 624.04
Current children cumulated vsize (Kb) 36556
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 5668 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3221050908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 634.05
Current children cumulated vsize (Kb) 38784
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 6669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3220550288 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 644.06
Current children cumulated vsize (Kb) 38784
[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 7669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3219938748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 654.06
Current children cumulated vsize (Kb) 38784
[startup+670.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 8669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3218909308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 664.06
Current children cumulated vsize (Kb) 38784
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7230 0 0 0 9669 36 0 0 25 0 1 0 1846101788 37535744 7201 4294967295 134512640 134702520 3221223712 3221038908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 9164 7201 413 48 0 9116 0
[pid=7298] vsize: 36656
Current children cumulated CPU time (s) 674.06
Current children cumulated vsize (Kb) 38784
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7582 0 0 0 10652 43 0 0 25 0 1 0 1846101788 81039360 7540 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19785 7540 413 48 0 19737 0
[pid=7298] vsize: 79140
Current children cumulated CPU time (s) 683.96
Current children cumulated vsize (Kb) 81268
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7626 0 0 0 11602 60 0 0 25 0 1 0 1846101788 81174528 7584 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7584 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 693.63
Current children cumulated vsize (Kb) 81400
[startup+710.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7646 0 0 0 12558 78 0 0 25 0 1 0 1846101788 81174528 7604 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7604 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 703.37
Current children cumulated vsize (Kb) 81400
[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 13532 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3220977868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 713.21
Current children cumulated vsize (Kb) 81400
[startup+730.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 14533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3220400588 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 723.22
Current children cumulated vsize (Kb) 81400
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 15533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3219579948 134531184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 733.22
Current children cumulated vsize (Kb) 81400
[startup+750.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 16533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3221007488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 743.22
Current children cumulated vsize (Kb) 81400
[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7656 0 0 0 17533 88 0 0 25 0 1 0 1846101788 81174528 7614 4294967295 134512640 134702520 3221223712 3221027808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7614 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 753.22
Current children cumulated vsize (Kb) 81400
[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7671 0 0 0 18518 94 0 0 25 0 1 0 1846101788 81174528 7616 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7616 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 763.13
Current children cumulated vsize (Kb) 81400
[startup+780.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7684 0 0 0 19473 110 0 0 25 0 1 0 1846101788 81174528 7629 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19818 7629 413 48 0 19770 0
[pid=7298] vsize: 79272
Current children cumulated CPU time (s) 772.84
Current children cumulated vsize (Kb) 81400
[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7700 0 0 0 20433 124 0 0 25 0 1 0 1846101788 81309696 7645 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7645 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 782.58
Current children cumulated vsize (Kb) 81532
[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7709 0 0 0 21413 130 0 0 25 0 1 0 1846101788 81309696 7654 4294967295 134512640 134702520 3221223712 3220247788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7654 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 792.44
Current children cumulated vsize (Kb) 81532
[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7709 0 0 0 22414 130 0 0 25 0 1 0 1846101788 81309696 7654 4294967295 134512640 134702520 3221223712 3221079328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7654 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (Kb) 81532
[startup+820.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7723 0 0 0 23406 133 0 0 25 0 1 0 1846101788 81309696 7655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7655 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 812.4
Current children cumulated vsize (Kb) 81532
[startup+830.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7735 0 0 0 24372 145 0 0 25 0 1 0 1846101788 81309696 7667 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7667 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (Kb) 81532
[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7757 0 0 0 25322 161 0 0 25 0 1 0 1846101788 81309696 7689 4294967295 134512640 134702520 3221223712 3221222976 134553196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7689 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 831.84
Current children cumulated vsize (Kb) 81532
[startup+850.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7773 0 0 0 26271 179 0 0 25 0 1 0 1846101788 81309696 7705 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7705 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 841.51
Current children cumulated vsize (Kb) 81532
[startup+860.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 27256 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221044288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 851.41
Current children cumulated vsize (Kb) 81532
[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 28256 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3220722988 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 861.41
Current children cumulated vsize (Kb) 81532
[startup+880.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 29257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3220217868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 871.42
Current children cumulated vsize (Kb) 81532
[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 30257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3219560288 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 881.42
Current children cumulated vsize (Kb) 81532
[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 31257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3218264592 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 891.42
Current children cumulated vsize (Kb) 81532
[startup+910.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7778 0 0 0 32257 184 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221107328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 901.42
Current children cumulated vsize (Kb) 81532
[startup+920.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7791 0 0 0 33255 185 0 0 25 0 1 0 1846101788 81309696 7710 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7710 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 911.41
Current children cumulated vsize (Kb) 81532
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7795 0 0 0 34222 196 0 0 25 0 1 0 1846101788 81309696 7714 4294967295 134512640 134702520 3221223712 3221222832 134573399 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/7298/statm): 19851 7714 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 921.19
Current children cumulated vsize (Kb) 81532
[startup+940.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7808 0 0 0 35188 209 0 0 25 0 1 0 1846101788 81309696 7727 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/7298/statm): 19851 7727 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 930.98
Current children cumulated vsize (Kb) 81532
[startup+950.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7823 0 0 0 36156 219 0 0 25 0 1 0 1846101788 81309696 7742 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7742 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 940.76
Current children cumulated vsize (Kb) 81532
[startup+960.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 37148 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220958828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 950.71
Current children cumulated vsize (Kb) 81532
[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 38149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220644108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 960.72
Current children cumulated vsize (Kb) 81532
[startup+980.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 39149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220229888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 970.72
Current children cumulated vsize (Kb) 81532
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 40149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3219603628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 980.72
Current children cumulated vsize (Kb) 81532
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 41149 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3218533708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 990.72
Current children cumulated vsize (Kb) 81532
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 42150 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3221071808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 1000.73
Current children cumulated vsize (Kb) 81532
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7825 0 0 0 43150 222 0 0 25 0 1 0 1846101788 81309696 7744 4294967295 134512640 134702520 3221223712 3220897228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19851 7744 413 48 0 19803 0
[pid=7298] vsize: 79404
Current children cumulated CPU time (s) 1010.73
Current children cumulated vsize (Kb) 81532
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7849 0 0 0 44135 227 0 0 25 0 1 0 1846101788 81444864 7755 4294967295 134512640 134702520 3221223712 3221222992 134553264 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7755 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1020.63
Current children cumulated vsize (Kb) 81664
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7874 0 0 0 45096 240 0 0 25 0 1 0 1846101788 81444864 7780 4294967295 134512640 134702520 3221223712 3221222992 134553162 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7780 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1030.37
Current children cumulated vsize (Kb) 81664
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 7901 0 0 0 46062 252 0 0 25 0 1 0 1846101788 81444864 7807 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7807 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1040.15
Current children cumulated vsize (Kb) 81664
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 47043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3221035148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1050.01
Current children cumulated vsize (Kb) 81664
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 48043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3220650832 134611991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 81664
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 49043 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3220225708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 81664
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 50044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3219734668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1080.02
Current children cumulated vsize (Kb) 81664
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 51044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3219110668 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1090.02
Current children cumulated vsize (Kb) 81664
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 7913 0 0 0 52044 257 0 0 25 0 1 0 1846101788 81444864 7819 4294967295 134512640 134702520 3221223712 3218070988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19884 7819 413 48 0 19836 0
[pid=7298] vsize: 79536
Current children cumulated CPU time (s) 1100.02
Current children cumulated vsize (Kb) 81664
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 53044 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220950988 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1110.03
Current children cumulated vsize (Kb) 82108
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 54045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220162028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1120.04
Current children cumulated vsize (Kb) 82108
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 55045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220379648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1130.04
Current children cumulated vsize (Kb) 82108
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8024 0 0 0 56045 258 0 0 25 0 1 0 1846101788 81899520 7930 4294967295 134512640 134702520 3221223712 3220827628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7930 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 82108
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 8052 0 0 0 57012 269 0 0 25 0 1 0 1846101788 81899520 7945 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7945 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1149.82
Current children cumulated vsize (Kb) 82108
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8075 0 0 0 57974 284 0 0 25 0 1 0 1846101788 81899520 7968 4294967295 134512640 134702520 3221223712 3221222832 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 19995 7968 413 48 0 19947 0
[pid=7298] vsize: 79980
Current children cumulated CPU time (s) 1159.59
Current children cumulated vsize (Kb) 82108
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) T 7293 7293 20115 0 -1 0 8102 0 0 0 58939 297 0 0 25 0 1 0 1846101788 82034688 7995 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 7995 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1169.37
Current children cumulated vsize (Kb) 82240
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 59913 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3221114348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1179.2
Current children cumulated vsize (Kb) 82240
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 60913 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3220752128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1189.2
Current children cumulated vsize (Kb) 82240
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 61914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3220338188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (Kb) 82240
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 62914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3219868288 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 82240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 7298
Raw data (/proc/7293/stat): 7293 (vallstSAT2005PB) S 7292 7293 20115 0 -1 0 378 9649 0 0 2 1 57346 352 19 0 1 0 1846043494 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/7293/statm): 532 248 485 147 0 385 0
[pid=7293] vsize: 2128
Raw data (/proc/7298/stat): 7298 (vallst) R 7293 7293 20115 0 -1 0 8120 0 0 0 62914 306 0 0 25 0 1 0 1846101788 82034688 8013 4294967295 134512640 134702520 3221223712 3219868288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/7298/statm): 20028 8013 413 48 0 19980 0
[pid=7298] vsize: 80112
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 82240
Sending SIGTERM to -7293
Sleeping 2 seconds
New process pid=7300
New process pid=7301
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/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/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/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/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/7256/stat
open syscall for file /proc/7256/status
open syscall for file /proc/7256/cmdline
open syscall for file /proc/7256/environ
open syscall for file /proc/7292/stat
open syscall for file /proc/7292/status
open syscall for file /proc/7292/cmdline
open syscall for file /proc/7292/environ
open syscall for file /proc/7293/stat
open syscall for file /proc/7293/status
open syscall for file /proc/7293/cmdline
open syscall for file /proc/7293/environ
open syscall for file /proc/7298/stat
open syscall for file /proc/7298/status
open syscall for file /proc/7298/cmdline
open syscall for file /proc/7298/environ
open syscall for file /proc/7300/stat
open syscall for file /proc/7300/status
open syscall for file /proc/7300/cmdline
open syscall for file /proc/7300/environ
open syscall for file /proc/7301/stat
open syscall for file /proc/7301/status
open syscall for file /proc/7301/cmdline
open syscall for file /proc/7301/environ
One traced child (pid=7300) exited with status: 0
One traced child (pid=7301) exited with status: 0
New process pid=7302
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=7302) exited with status: 0
New process pid=7303
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=7303) exited with status: 0
One traced child (pid=7293) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -7293
One traced child (pid=7298) 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.13
CPU time (s): 634.226
CPU user time (s): 631.142
CPU system time (s): 3.08353
CPU usage (%): 51.8951
Max. virtual memory (cumulated for all children) (Kb): 85024