1:
seed: 0
Nr of vars set: 1385 (#equs: 0)
Nr of vars set: 9703 (#equs: 0)
#decisions: 828174; #end-nodes: 14391;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 166 (103)
#axs: 30333, #non-axs: 8299
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 9876 (#equs: 0)
Time taken: 9 min, 3 sec
2:
seed: 0
Nr of vars set: 9876 (#equs: 0)
Nr of vars set: 9876 (#equs: 0)
#decisions: 766557; #end-nodes: 17884;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 227 (143)
#axs: 28974, #non-axs: 14002
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: 10051 (#equs: 0)
Time taken: 9 min, 5 sec
3:
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) R 25435 25436 9854 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1789434653 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/25436/statm): 174 3 169 147 0 27 0
[pid=25436] 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=25437
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=25437) exited with status: 0
New process pid=25438
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=25438) exited with status: 0
New process pid=25439
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/wulflinc11/normalized-mps-v2-20-10-atlanta-ip.opb
[startup+10.0033 s]
Raw data (loadavg): 0.89 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 3994 0 0 0 956 21 0 0 25 0 1 0 1789434660 25559040 3641 4294967295 134512640 134702520 3221223952 3221223540 1074898590 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25439/statm): 6240 3641 413 48 0 6192 0
[pid=25439] vsize: 24960
Current children cumulated CPU time (s) 9.78
Current children cumulated vsize (Kb) 27088
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.0051 s]
Raw data (loadavg): 0.91 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 1931 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221188928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 29032
[startup+30.0059 s]
Raw data (loadavg): 0.92 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 2931 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221094988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (Kb) 29032
[startup+40.0066 s]
Raw data (loadavg): 0.93 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 3932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3221001568 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 39.7
Current children cumulated vsize (Kb) 29032
[startup+50.0094 s]
Raw data (loadavg): 0.94 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 4932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220901388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 29032
[startup+60.0102 s]
Raw data (loadavg): 0.95 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 5932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220792608 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 59.7
Current children cumulated vsize (Kb) 29032
[startup+70.011 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 6932 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220672608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 29032
[startup+80.0118 s]
Raw data (loadavg): 0.96 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 7933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220538048 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 79.71
Current children cumulated vsize (Kb) 29032
[startup+90.0126 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 8933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220382688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 89.71
Current children cumulated vsize (Kb) 29032
[startup+100.013 s]
Raw data (loadavg): 0.97 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 9933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3220193068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 99.71
Current children cumulated vsize (Kb) 29032
[startup+110.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5798 0 0 0 10933 37 0 0 25 0 1 0 1789434660 27549696 5238 4294967295 134512640 134702520 3221223952 3219940128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 6726 5238 413 48 0 6678 0
[pid=25439] vsize: 26904
Current children cumulated CPU time (s) 109.71
Current children cumulated vsize (Kb) 29032
[startup+120.016 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5839 0 0 0 11753 93 0 0 17 0 1 0 1789434660 55111680 5279 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13455 5279 413 48 0 13407 0
[pid=25439] vsize: 53820
Current children cumulated CPU time (s) 118.47
Current children cumulated vsize (Kb) 55948
[startup+130.017 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 5843 0 0 0 12341 226 0 0 25 0 1 0 1789434660 55111680 5283 4294967295 134512640 134702520 3221223952 3221039568 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13455 5283 413 48 0 13407 0
[pid=25439] vsize: 53820
Current children cumulated CPU time (s) 125.68
Current children cumulated vsize (Kb) 55948
[startup+140.018 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 13341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3221103388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 135.68
Current children cumulated vsize (Kb) 57416
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 14341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3221011068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 145.68
Current children cumulated vsize (Kb) 57416
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 15341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3220680048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 155.68
Current children cumulated vsize (Kb) 57416
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6210 0 0 0 16341 226 0 0 25 0 1 0 1789434660 56614912 5650 4294967295 134512640 134702520 3221223952 3220166288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5650 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 165.68
Current children cumulated vsize (Kb) 57416
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6211 0 0 0 16992 340 0 0 17 0 1 0 1789434660 56614912 5651 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5651 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 173.33
Current children cumulated vsize (Kb) 57416
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 17731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3221053788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (Kb) 57416
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 18730 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3220575068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 191.54
Current children cumulated vsize (Kb) 57416
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 19731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3219996508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 201.55
Current children cumulated vsize (Kb) 57416
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6214 0 0 0 20731 423 0 0 25 0 1 0 1789434660 56614912 5654 4294967295 134512640 134702520 3221223952 3219225632 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13822 5654 413 48 0 13774 0
[pid=25439] vsize: 55288
Current children cumulated CPU time (s) 211.55
Current children cumulated vsize (Kb) 57416
[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6283 0 0 0 21731 423 0 0 25 0 1 0 1789434660 56897536 5723 4294967295 134512640 134702520 3221223952 3217825628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 13891 5723 413 48 0 13843 0
[pid=25439] vsize: 55564
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (Kb) 57692
[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 22731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3221026608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 231.56
Current children cumulated vsize (Kb) 58944
[startup+250.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 23731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3220699068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 241.56
Current children cumulated vsize (Kb) 58944
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6596 0 0 0 24731 424 0 0 25 0 1 0 1789434660 58179584 6036 4294967295 134512640 134702520 3221223952 3220199388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6036 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 251.56
Current children cumulated vsize (Kb) 58944
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6601 0 0 0 25412 526 0 0 17 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 259.39
Current children cumulated vsize (Kb) 58944
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 26289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220938268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 268.55
Current children cumulated vsize (Kb) 58944
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 27289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220439228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 278.55
Current children cumulated vsize (Kb) 58944
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 28289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3219823868 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 288.55
Current children cumulated vsize (Kb) 58944
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 29289 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3218960988 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 298.55
Current children cumulated vsize (Kb) 58944
[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 30290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3216849308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 308.56
Current children cumulated vsize (Kb) 58944
[startup+330.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 31290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220950108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 318.56
Current children cumulated vsize (Kb) 58944
[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 32290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3220596188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 328.56
Current children cumulated vsize (Kb) 58944
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6601 0 0 0 33290 565 0 0 25 0 1 0 1789434660 58179584 6041 4294967295 134512640 134702520 3221223952 3219953628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6041 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 338.56
Current children cumulated vsize (Kb) 58944
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6602 0 0 0 33824 712 0 0 17 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 345.37
Current children cumulated vsize (Kb) 58944
[startup+370.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 34726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220901308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 354.7
Current children cumulated vsize (Kb) 58944
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 35726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220395868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (Kb) 58944
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 36726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3219767068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 374.7
Current children cumulated vsize (Kb) 58944
[startup+400.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 37726 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3218867568 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 384.7
Current children cumulated vsize (Kb) 58944
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 38727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3221205792 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 394.71
Current children cumulated vsize (Kb) 58944
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 39727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220925468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 404.71
Current children cumulated vsize (Kb) 58944
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 40727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3220561948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 414.71
Current children cumulated vsize (Kb) 58944
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6602 0 0 0 41727 743 0 0 25 0 1 0 1789434660 58179584 6042 4294967295 134512640 134702520 3221223952 3219806608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6042 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 424.71
Current children cumulated vsize (Kb) 58944
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 42278 885 0 0 20 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3221115548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 431.64
Current children cumulated vsize (Kb) 58944
[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 43277 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3219274908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 441.63
Current children cumulated vsize (Kb) 58944
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 44278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3221064208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 451.64
Current children cumulated vsize (Kb) 58944
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 45278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3220749468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 461.64
Current children cumulated vsize (Kb) 58944
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6627 0 0 0 46278 885 0 0 25 0 1 0 1789434660 58179584 6067 4294967295 134512640 134702520 3221223952 3220294588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6067 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 471.64
Current children cumulated vsize (Kb) 58944
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) T 25436 25436 9854 0 -1 0 6629 0 0 0 47006 971 0 0 17 0 1 0 1789434660 58179584 6069 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6069 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 479.78
Current children cumulated vsize (Kb) 58944
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 47675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221216028 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 487.55
Current children cumulated vsize (Kb) 58944
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 48674 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221140188 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 497.54
Current children cumulated vsize (Kb) 58944
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 49675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3218873308 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 507.55
Current children cumulated vsize (Kb) 58944
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 50675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3221025648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 517.55
Current children cumulated vsize (Kb) 58944
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 51675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3220718288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 527.55
Current children cumulated vsize (Kb) 58944
[startup+560.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25439
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1789434653 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/25436/statm): 532 242 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25439/stat): 25439 (vallst) R 25436 25436 9854 0 -1 0 6658 0 0 0 52675 1079 0 0 25 0 1 0 1789434660 58179584 6098 4294967295 134512640 134702520 3221223952 3220285628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25439/statm): 14204 6098 413 48 0 14156 0
[pid=25439] vsize: 56816
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (Kb) 58944
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=25439) exited with status: 2
New process pid=25440
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=25440) exited with status: 0
New process pid=25441
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+570.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 3010 0 0 0 186 16 0 0 25 0 1 0 1789491455 21045248 2982 4294967295 134512640 134702520 3221223712 3221223204 1074898590 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5138 2982 413 48 0 5090 0
[pid=25441] vsize: 20552
Current children cumulated CPU time (s) 547.42
Current children cumulated vsize (Kb) 22680
[startup+580.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 1173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3221172508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 557.37
Current children cumulated vsize (Kb) 24460
[startup+590.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 2173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3221084028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 567.37
Current children cumulated vsize (Kb) 24460
[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 3173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220996188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 577.37
Current children cumulated vsize (Kb) 24460
[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 4173 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220902588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 587.37
Current children cumulated vsize (Kb) 24460
[startup+620.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 5174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220802288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 597.38
Current children cumulated vsize (Kb) 24460
[startup+630.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 6174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220693648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 607.38
Current children cumulated vsize (Kb) 24460
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 7174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220573488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 617.38
Current children cumulated vsize (Kb) 24460
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 8174 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220438288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 627.38
Current children cumulated vsize (Kb) 24460
[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 9175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220281468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 637.39
Current children cumulated vsize (Kb) 24460
[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 10175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3220089148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 647.39
Current children cumulated vsize (Kb) 24460
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4371 0 0 0 11175 24 0 0 25 0 1 0 1789491455 22867968 4342 4294967295 134512640 134702520 3221223712 3219817308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 5583 4342 413 48 0 5535 0
[pid=25441] vsize: 22332
Current children cumulated CPU time (s) 657.39
Current children cumulated vsize (Kb) 24460
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 4771 0 0 0 11924 102 0 0 18 0 1 0 1789491455 47460352 4741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/25441/statm): 11587 4741 413 48 0 11539 0
[pid=25441] vsize: 46348
Current children cumulated CPU time (s) 665.66
Current children cumulated vsize (Kb) 48476
[startup+700.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 4803 0 0 0 12640 193 0 0 25 0 1 0 1789491455 47460352 4773 4294967295 134512640 134702520 3221223712 3220953388 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11587 4773 413 48 0 11539 0
[pid=25441] vsize: 46348
Current children cumulated CPU time (s) 673.73
Current children cumulated vsize (Kb) 48476
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 13639 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3221145072 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 683.73
Current children cumulated vsize (Kb) 50048
[startup+720.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 14639 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3221024608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 693.73
Current children cumulated vsize (Kb) 50048
[startup+730.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 15640 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3220708928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 703.74
Current children cumulated vsize (Kb) 50048
[startup+740.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5196 0 0 0 16640 194 0 0 25 0 1 0 1789491455 49070080 5166 4294967295 134512640 134702520 3221223712 3220251008 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 11980 5166 413 48 0 11932 0
[pid=25441] vsize: 47920
Current children cumulated CPU time (s) 713.74
Current children cumulated vsize (Kb) 50048
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5222 0 0 0 17466 249 0 0 18 0 1 0 1789491455 49205248 5191 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5191 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 722.55
Current children cumulated vsize (Kb) 50180
[startup+760.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 18221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220727476 134611987 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 730.86
Current children cumulated vsize (Kb) 50180
[startup+770.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 19221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220481388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 740.86
Current children cumulated vsize (Kb) 50180
[startup+780.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 20221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220977388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 750.86
Current children cumulated vsize (Kb) 50180
[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 21221 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220647148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 760.86
Current children cumulated vsize (Kb) 50180
[startup+800.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5243 0 0 0 22222 325 0 0 25 0 1 0 1789491455 49205248 5212 4294967295 134512640 134702520 3221223712 3220136748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12013 5212 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 770.87
Current children cumulated vsize (Kb) 50180
[startup+810.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5258 0 0 0 22950 409 0 0 17 0 1 0 1789491455 49205248 5226 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25441/statm): 12013 5226 413 48 0 11965 0
[pid=25441] vsize: 48052
Current children cumulated CPU time (s) 778.99
Current children cumulated vsize (Kb) 50180
[startup+820.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 23649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3221148908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 786.91
Current children cumulated vsize (Kb) 50312
[startup+830.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 24649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3220685708 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 796.91
Current children cumulated vsize (Kb) 50312
[startup+840.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 25649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3220131308 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 806.91
Current children cumulated vsize (Kb) 50312
[startup+850.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 26649 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3219413068 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 816.91
Current children cumulated vsize (Kb) 50312
[startup+860.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5277 0 0 0 27650 502 0 0 25 0 1 0 1789491455 49340416 5245 4294967295 134512640 134702520 3221223712 3218221228 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12046 5245 413 48 0 11998 0
[pid=25441] vsize: 48184
Current children cumulated CPU time (s) 826.92
Current children cumulated vsize (Kb) 50312
[startup+870.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 28649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3221104128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 836.92
Current children cumulated vsize (Kb) 51900
[startup+880.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 29649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3220805712 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 51900
[startup+890.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5674 0 0 0 30649 503 0 0 25 0 1 0 1789491455 50966528 5642 4294967295 134512640 134702520 3221223712 3220398508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5642 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 856.92
Current children cumulated vsize (Kb) 51900
[startup+900.076 s]
Raw data (loadavg): 1.07 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5681 0 0 0 31566 533 0 0 17 0 1 0 1789491455 50966528 5648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5648 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 866.39
Current children cumulated vsize (Kb) 51900
[startup+910.077 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5696 0 0 0 32158 660 0 0 20 0 1 0 1789491455 50966528 5663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5663 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 51900
[startup+920.078 s]
Raw data (loadavg): 1.05 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 33031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3221171316 134612020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 882.72
Current children cumulated vsize (Kb) 51900
[startup+930.079 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 34031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220282828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 892.72
Current children cumulated vsize (Kb) 51900
[startup+940.078 s]
Raw data (loadavg): 1.04 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 35031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3221081728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 902.72
Current children cumulated vsize (Kb) 51900
[startup+950.079 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 36031 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220895468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 912.72
Current children cumulated vsize (Kb) 51900
[startup+960.08 s]
Raw data (loadavg): 1.03 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 37032 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220559788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 922.73
Current children cumulated vsize (Kb) 51900
[startup+970.081 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5698 0 0 0 38032 701 0 0 25 0 1 0 1789491455 50966528 5665 4294967295 134512640 134702520 3221223712 3220026348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12443 5665 413 48 0 12395 0
[pid=25441] vsize: 49772
Current children cumulated CPU time (s) 932.73
Current children cumulated vsize (Kb) 51900
[startup+980.082 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5752 0 0 0 38843 758 0 0 22 0 1 0 1789491455 51101696 5718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5718 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 941.41
Current children cumulated vsize (Kb) 52032
[startup+990.082 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 39690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3221087948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 950.38
Current children cumulated vsize (Kb) 52032
[startup+1000.08 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 40690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220610828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 960.38
Current children cumulated vsize (Kb) 52032
[startup+1010.08 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 41690 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220032428 134531184 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 970.38
Current children cumulated vsize (Kb) 52032
[startup+1020.09 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 42691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3219268428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 980.39
Current children cumulated vsize (Kb) 52032
[startup+1030.09 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 43691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3217920908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 990.39
Current children cumulated vsize (Kb) 52032
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 44691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3221062348 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1000.39
Current children cumulated vsize (Kb) 52032
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 45691 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220760288 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1010.39
Current children cumulated vsize (Kb) 52032
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5781 0 0 0 46692 808 0 0 25 0 1 0 1789491455 51101696 5747 4294967295 134512640 134702520 3221223712 3220342848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5747 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1020.4
Current children cumulated vsize (Kb) 52032
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5789 0 0 0 47564 849 0 0 21 0 1 0 1789491455 51101696 5754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5754 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1029.53
Current children cumulated vsize (Kb) 52032
[startup+1080.09 s]
Raw data (loadavg): 1.08 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) T 25436 25436 9854 0 -1 0 5834 0 0 0 48281 937 0 0 19 0 1 0 1789491455 51101696 5799 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5799 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1037.58
Current children cumulated vsize (Kb) 52032
[startup+1090.09 s]
Raw data (loadavg): 1.07 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 49133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220771156 134611987 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1046.58
Current children cumulated vsize (Kb) 52032
[startup+1100.09 s]
Raw data (loadavg): 1.06 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 50133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220662208 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1056.58
Current children cumulated vsize (Kb) 52032
[startup+1110.09 s]
Raw data (loadavg): 1.05 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 51133 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220991328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1066.58
Current children cumulated vsize (Kb) 52032
[startup+1120.1 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 52134 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220669708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1076.59
Current children cumulated vsize (Kb) 52032
[startup+1130.1 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 25441
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 378 7033 0 0 1 1 53440 1098 18 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25441/stat): 25441 (vallst) R 25436 25436 9854 0 -1 0 5859 0 0 0 53134 985 0 0 25 0 1 0 1789491455 51101696 5824 4294967295 134512640 134702520 3221223712 3220192448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25441/statm): 12476 5824 413 48 0 12428 0
[pid=25441] vsize: 49904
Current children cumulated CPU time (s) 1086.59
Current children cumulated vsize (Kb) 52032
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=25441) exited with status: 2
New process pid=25442
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=25442) exited with status: 0
New process pid=25443
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+1140.1 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4162 0 0 0 356 21 0 0 25 0 1 0 1789548288 21340160 4134 4294967295 134512640 134702520 3221223712 3221222908 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5210 4134 413 48 0 5162 0
[pid=25443] vsize: 20840
Current children cumulated CPU time (s) 1096.41
Current children cumulated vsize (Kb) 22968
[startup+1150.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 1356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3221154428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1106.41
Current children cumulated vsize (Kb) 24036
[startup+1160.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 2356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3221068688 134612033 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1116.41
Current children cumulated vsize (Kb) 24036
[startup+1170.1 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 3356 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220981328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1126.41
Current children cumulated vsize (Kb) 24036
[startup+1180.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 4357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220888368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1136.42
Current children cumulated vsize (Kb) 24036
[startup+1190.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 5357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220788508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1146.42
Current children cumulated vsize (Kb) 24036
[startup+1200.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 6357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220680528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1156.42
Current children cumulated vsize (Kb) 24036
[startup+1210.1 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 7357 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220561488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1166.42
Current children cumulated vsize (Kb) 24036
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 8358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220427728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1176.43
Current children cumulated vsize (Kb) 24036
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 9358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220273168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1186.43
Current children cumulated vsize (Kb) 24036
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4429 0 0 0 10358 21 0 0 25 0 1 0 1789548288 22433792 4401 4294967295 134512640 134702520 3221223712 3220083888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5477 4401 413 48 0 5429 0
[pid=25443] vsize: 21908
Current children cumulated CPU time (s) 1196.43
Current children cumulated vsize (Kb) 24036
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4430 0 0 0 11358 21 0 0 25 0 1 0 1789548288 22437888 4402 4294967295 134512640 134702520 3221223712 3219819868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5478 4402 413 48 0 5430 0
[pid=25443] vsize: 21912
Current children cumulated CPU time (s) 1206.43
Current children cumulated vsize (Kb) 24040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 25443
Raw data (/proc/25436/stat): 25436 (vallstSAT2005PB) S 25435 25436 9854 0 -1 0 417 13037 0 0 1 2 107158 2103 19 0 1 0 1789434653 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/25436/statm): 532 248 485 147 0 385 0
[pid=25436] vsize: 2128
Raw data (/proc/25443/stat): 25443 (vallst) R 25436 25436 9854 0 -1 0 4430 0 0 0 11359 21 0 0 25 0 1 0 1789548288 22437888 4402 4294967295 134512640 134702520 3221223712 3219819888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/25443/statm): 5478 4402 413 48 0 5430 0
[pid=25443] vsize: 21912
Current children cumulated CPU time (s) 1206.44
Current children cumulated vsize (Kb) 24040
Sending SIGTERM to -25436
Sleeping 2 seconds
New process pid=25445
New process pid=25446
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/21244/stat
open syscall for file /proc/21244/status
open syscall for file /proc/21244/cmdline
open syscall for file /proc/21244/environ
open syscall for file /proc/22265/stat
open syscall for file /proc/22265/status
open syscall for file /proc/22265/cmdline
open syscall for file /proc/22265/environ
open syscall for file /proc/22292/stat
open syscall for file /proc/22292/status
open syscall for file /proc/22292/cmdline
open syscall for file /proc/22292/environ
open syscall for file /proc/22316/stat
open syscall for file /proc/22316/status
open syscall for file /proc/22316/cmdline
open syscall for file /proc/22316/environ
open syscall for file /proc/1196/stat
open syscall for file /proc/1196/status
open syscall for file /proc/1196/cmdline
open syscall for file /proc/1196/environ
open syscall for file /proc/32112/stat
open syscall for file /proc/32112/status
open syscall for file /proc/32112/cmdline
open syscall for file /proc/32112/environ
open syscall for file /proc/23586/stat
open syscall for file /proc/23586/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/23586/cmdline
open syscall for file /proc/23586/environ
open syscall for file /proc/23621/stat
open syscall for file /proc/23621/status
open syscall for file /proc/23621/cmdline
open syscall for file /proc/23621/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/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/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/9855/stat
open syscall for file /proc/9855/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/9855/cmdline
open syscall for file /proc/9855/environ
open syscall for file /proc/9864/stat
open syscall for file /proc/9864/status
open syscall for file /proc/9864/cmdline
open syscall for file /proc/9864/environ
open syscall for file /proc/25399/stat
open syscall for file /proc/25399/status
open syscall for file /proc/25399/cmdline
open syscall for file /proc/25399/environ
open syscall for file /proc/25435/stat
open syscall for file /proc/25435/status
open syscall for file /proc/25435/cmdline
open syscall for file /proc/25435/environ
open syscall for file /proc/25436/stat
open syscall for file /proc/25436/status
open syscall for file /proc/25436/cmdline
open syscall for file /proc/25436/environ
open syscall for file /proc/25443/stat
open syscall for file /proc/25443/status
open syscall for file /proc/25443/cmdline
open syscall for file /proc/25443/environ
open syscall for file /proc/25445/stat
open syscall for file /proc/25445/status
open syscall for file /proc/25445/cmdline
open syscall for file /proc/25445/environ
open syscall for file /proc/25446/stat
open syscall for file /proc/25446/status
open syscall for file /proc/25446/cmdline
open syscall for file /proc/25446/environ
One traced child (pid=25445) exited with status: 0
One traced child (pid=25446) exited with status: 0
New process pid=25447
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=25447) exited with status: 0
New process pid=25448
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=25448) exited with status: 0
One traced child (pid=25436) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -25436
One traced child (pid=25443) 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): 1252.12
CPU time (s): 115.817
CPU user time (s): 115.592
CPU system time (s): 0.224965
CPU usage (%): 9.24967
Max. virtual memory (cumulated for all children) (Kb): 58944