1:
seed: 0
Nr of vars set: 448 (#equs: 0)
Nr of vars set: 1648 (#equs: 3)
#decisions: 935701; #end-nodes: 92088;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 223 (223)
#axs: 372, #non-axs: 2713
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 22, end (keep): 34
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: 1651 (#equs: 3)
Time taken: 5 min, 29 sec
2:
seed: 0
Nr of vars set: 1651 (#equs: 0)
Nr of vars set: 1651 (#equs: 0)
Interupt request received.
#decisions: 5389879; #end-nodes: 712204;
#proof improvement attempts: 0; #restarts: 1910
Current batch, end-nodes: 196 / 612 (597)
#axs: 367, #non-axs: 1412
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2822 (#equs: 0)
Time taken: 14 min, 37 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (5474) - No such process
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/5469/stat): 5469 (vallstSAT2005PB) R 5468 5469 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19808658 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5469/statm): 174 3 169 147 0 27 0
[pid=5469] 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=5470
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=5470) exited with status: 0
New process pid=5471
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=5471) exited with status: 0
New process pid=5472
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/wulflinc5/normalized-mps-v2-13-7-dcmulti.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.004 s]
Raw data (loadavg): 0.72 0.91 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 830 0 0 0 957 12 0 0 25 0 1 0 19808665 4481024 741 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1094 741 413 48 0 1046 0
[pid=5472] vsize: 4376
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (Kb) 6504
[startup+20.0047 s]
Raw data (loadavg): 0.76 0.91 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 873 0 0 0 1919 25 0 0 25 0 1 0 19808665 6635520 784 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1620 784 413 48 0 1572 0
[pid=5472] vsize: 6480
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (Kb) 8608
[startup+30.0065 s]
Raw data (loadavg): 0.80 0.91 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 879 0 0 0 2806 61 0 0 25 0 1 0 19808665 6660096 790 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 790 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 28.7
Current children cumulated vsize (Kb) 8632
[startup+40.0072 s]
Raw data (loadavg): 0.83 0.92 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 883 0 0 0 3710 95 0 0 25 0 1 0 19808665 6660096 794 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 794 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (Kb) 8632
[startup+50.0079 s]
Raw data (loadavg): 0.85 0.92 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 886 0 0 0 4591 133 0 0 24 0 1 0 19808665 6660096 797 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 797 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 47.27
Current children cumulated vsize (Kb) 8632
[startup+60.0086 s]
Raw data (loadavg): 0.88 0.92 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 887 0 0 0 5463 179 0 0 25 0 1 0 19808665 6660096 798 4294967295 134512640 134702520 3221223952 3221222976 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 798 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 56.45
Current children cumulated vsize (Kb) 8632
[startup+70.0094 s]
Raw data (loadavg): 0.89 0.92 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 887 0 0 0 6430 189 0 0 25 0 1 0 19808665 6660096 798 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 798 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 66.22
Current children cumulated vsize (Kb) 8632
[startup+80.0101 s]
Raw data (loadavg): 0.91 0.92 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 888 0 0 0 7325 224 0 0 25 0 1 0 19808665 6660096 799 4294967295 134512640 134702520 3221223952 3221222976 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 799 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 75.52
Current children cumulated vsize (Kb) 8632
[startup+90.0108 s]
Raw data (loadavg): 0.92 0.93 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 891 0 0 0 8165 274 0 0 22 0 1 0 19808665 6660096 802 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 802 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 84.42
Current children cumulated vsize (Kb) 8632
[startup+100.011 s]
Raw data (loadavg): 0.93 0.93 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 902 0 0 0 9029 320 0 0 25 0 1 0 19808665 6660096 813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 813 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 8632
[startup+110.012 s]
Raw data (loadavg): 0.94 0.93 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 902 0 0 0 9845 386 0 0 23 0 1 0 19808665 6660096 813 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 813 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (Kb) 8632
[startup+120.013 s]
Raw data (loadavg): 0.95 0.93 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 902 0 0 0 10791 404 0 0 25 0 1 0 19808665 6660096 813 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 813 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 111.98
Current children cumulated vsize (Kb) 8632
[startup+130.014 s]
Raw data (loadavg): 0.96 0.93 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 902 0 0 0 11729 425 0 0 22 0 1 0 19808665 6660096 813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 813 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (Kb) 8632
[startup+140.015 s]
Raw data (loadavg): 0.96 0.93 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 902 0 0 0 12585 474 0 0 22 0 1 0 19808665 6660096 813 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 813 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 130.62
Current children cumulated vsize (Kb) 8632
[startup+150.015 s]
Raw data (loadavg): 0.97 0.94 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 908 0 0 0 13416 530 0 0 22 0 1 0 19808665 6660096 819 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 819 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 139.49
Current children cumulated vsize (Kb) 8632
[startup+160.016 s]
Raw data (loadavg): 0.97 0.94 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 911 0 0 0 14303 565 0 0 23 0 1 0 19808665 6660096 822 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 822 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 148.71
Current children cumulated vsize (Kb) 8632
[startup+170.017 s]
Raw data (loadavg): 0.98 0.94 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 911 0 0 0 15227 590 0 0 25 0 1 0 19808665 6660096 822 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 822 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 158.2
Current children cumulated vsize (Kb) 8632
[startup+180.018 s]
Raw data (loadavg): 0.98 0.94 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 911 0 0 0 16197 599 0 0 24 0 1 0 19808665 6660096 822 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 822 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 167.99
Current children cumulated vsize (Kb) 8632
[startup+190.019 s]
Raw data (loadavg): 0.98 0.94 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 914 0 0 0 17030 654 0 0 22 0 1 0 19808665 6660096 825 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 825 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 176.87
Current children cumulated vsize (Kb) 8632
[startup+200.02 s]
Raw data (loadavg): 0.98 0.94 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 914 0 0 0 17883 704 0 0 23 0 1 0 19808665 6660096 825 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 825 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 185.9
Current children cumulated vsize (Kb) 8632
[startup+210.021 s]
Raw data (loadavg): 0.99 0.95 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 914 0 0 0 18702 766 0 0 22 0 1 0 19808665 6660096 825 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 825 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 194.71
Current children cumulated vsize (Kb) 8632
[startup+220.021 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 926 0 0 0 19565 811 0 0 25 0 1 0 19808665 6660096 837 4294967295 134512640 134702520 3221223952 3221222976 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 837 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (Kb) 8632
[startup+230.022 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 926 0 0 0 20533 822 0 0 25 0 1 0 19808665 6660096 837 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 837 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 213.58
Current children cumulated vsize (Kb) 8632
[startup+240.023 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 926 0 0 0 21406 865 0 0 21 0 1 0 19808665 6660096 837 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 837 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 222.74
Current children cumulated vsize (Kb) 8632
[startup+250.024 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 926 0 0 0 22258 915 0 0 22 0 1 0 19808665 6660096 837 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 837 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 231.76
Current children cumulated vsize (Kb) 8632
[startup+260.024 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 938 0 0 0 23099 968 0 0 24 0 1 0 19808665 6660096 849 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 849 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 240.7
Current children cumulated vsize (Kb) 8632
[startup+270.025 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 956 0 0 0 23916 1027 0 0 20 0 1 0 19808665 6660096 867 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 867 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 249.46
Current children cumulated vsize (Kb) 8632
[startup+280.026 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 963 0 0 0 24784 1071 0 0 25 0 1 0 19808665 6660096 874 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 874 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 258.58
Current children cumulated vsize (Kb) 8632
[startup+290.027 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 964 0 0 0 25749 1083 0 0 25 0 1 0 19808665 6660096 875 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 875 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 8632
[startup+300.027 s]
Raw data (loadavg): 0.99 0.95 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 964 0 0 0 26642 1121 0 0 23 0 1 0 19808665 6660096 875 4294967295 134512640 134702520 3221223952 3221195888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 875 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 277.66
Current children cumulated vsize (Kb) 8632
[startup+310.028 s]
Raw data (loadavg): 0.99 0.95 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 968 0 0 0 27507 1171 0 0 24 0 1 0 19808665 6660096 879 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5472/statm): 1626 879 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 286.81
Current children cumulated vsize (Kb) 8632
[startup+320.029 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 969 0 0 0 28339 1225 0 0 22 0 1 0 19808665 6660096 880 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 880 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 295.67
Current children cumulated vsize (Kb) 8632
[startup+330.029 s]
Raw data (loadavg): 0.99 0.96 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 973 0 0 0 29173 1281 0 0 18 0 1 0 19808665 6660096 884 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 884 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 304.57
Current children cumulated vsize (Kb) 8632
[startup+340.03 s]
Raw data (loadavg): 0.99 0.96 0.97 1/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) T 5469 5469 4060 0 -1 0 975 0 0 0 30013 1335 0 0 22 0 1 0 19808665 6660096 886 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1626 886 413 48 0 1578 0
[pid=5472] vsize: 6504
Current children cumulated CPU time (s) 313.51
Current children cumulated vsize (Kb) 8632
[startup+350.031 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 5472
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 19808658 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 242 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5472/stat): 5472 (vallst) R 5469 5469 4060 0 -1 0 979 0 0 0 30977 1348 0 0 25 0 1 0 19808665 6819840 890 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5472/statm): 1665 890 413 48 0 1617 0
[pid=5472] vsize: 6660
Current children cumulated CPU time (s) 323.28
Current children cumulated vsize (Kb) 8788
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=5472) exited with status: 2
New process pid=5473
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=5473) exited with status: 0
New process pid=5474
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+360.033 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 669 0 0 0 279 17 0 0 25 0 1 0 19844342 4411392 639 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1077 639 413 48 0 1029 0
[pid=5474] vsize: 4308
Current children cumulated CPU time (s) 332.98
Current children cumulated vsize (Kb) 6436
[startup+370.033 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 673 0 0 0 1221 37 0 0 25 0 1 0 19844342 4411392 643 4294967295 134512640 134702520 3221223712 3221222848 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1077 643 413 48 0 1029 0
[pid=5474] vsize: 4308
Current children cumulated CPU time (s) 342.6
Current children cumulated vsize (Kb) 6436
[startup+380.034 s]
Raw data (loadavg): 0.99 0.96 0.97 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 728 0 0 0 2014 106 0 0 17 0 1 0 19844342 6713344 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1639 698 413 48 0 1591 0
[pid=5474] vsize: 6556
Current children cumulated CPU time (s) 351.22
Current children cumulated vsize (Kb) 8684
[startup+390.035 s]
Raw data (loadavg): 0.99 0.96 0.97 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 739 0 0 0 2741 195 0 0 24 0 1 0 19844342 6713344 709 4294967295 134512640 134702520 3221223712 3221108928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1639 709 413 48 0 1591 0
[pid=5474] vsize: 6556
Current children cumulated CPU time (s) 359.38
Current children cumulated vsize (Kb) 8684
[startup+400.035 s]
Raw data (loadavg): 1.15 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 748 0 0 0 3434 292 0 0 25 0 1 0 19844342 6717440 718 4294967295 134512640 134702520 3221223712 3221053232 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1640 718 413 48 0 1592 0
[pid=5474] vsize: 6560
Current children cumulated CPU time (s) 367.28
Current children cumulated vsize (Kb) 8688
[startup+410.035 s]
Raw data (loadavg): 1.12 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 751 0 0 0 4345 320 0 0 25 0 1 0 19844342 6717440 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1640 721 413 48 0 1592 0
[pid=5474] vsize: 6560
Current children cumulated CPU time (s) 376.67
Current children cumulated vsize (Kb) 8688
[startup+420.036 s]
Raw data (loadavg): 1.10 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 753 0 0 0 5174 377 0 0 25 0 1 0 19844342 6717440 723 4294967295 134512640 134702520 3221223712 3221222736 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1640 723 413 48 0 1592 0
[pid=5474] vsize: 6560
Current children cumulated CPU time (s) 385.53
Current children cumulated vsize (Kb) 8688
[startup+430.038 s]
Raw data (loadavg): 1.09 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 758 0 0 0 5879 472 0 0 16 0 1 0 19844342 6717440 728 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1640 728 413 48 0 1592 0
[pid=5474] vsize: 6560
Current children cumulated CPU time (s) 393.53
Current children cumulated vsize (Kb) 8688
[startup+440.039 s]
Raw data (loadavg): 1.07 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 765 0 0 0 6549 577 0 0 18 0 1 0 19844342 6717440 735 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1640 735 413 48 0 1592 0
[pid=5474] vsize: 6560
Current children cumulated CPU time (s) 401.28
Current children cumulated vsize (Kb) 8688
[startup+450.039 s]
Raw data (loadavg): 1.06 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 768 0 0 0 7377 626 0 0 25 0 1 0 19844342 6868992 738 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1677 738 413 48 0 1629 0
[pid=5474] vsize: 6708
Current children cumulated CPU time (s) 410.05
Current children cumulated vsize (Kb) 8836
[startup+460.041 s]
Raw data (loadavg): 1.05 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 770 0 0 0 8289 654 0 0 19 0 1 0 19844342 6807552 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 740 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 419.45
Current children cumulated vsize (Kb) 8776
[startup+470.042 s]
Raw data (loadavg): 1.04 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 777 0 0 0 8975 754 0 0 18 0 1 0 19844342 6807552 747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 747 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 427.31
Current children cumulated vsize (Kb) 8776
[startup+480.042 s]
Raw data (loadavg): 1.04 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 780 0 0 0 9672 855 0 0 16 0 1 0 19844342 6807552 750 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 750 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 435.29
Current children cumulated vsize (Kb) 8776
[startup+490.043 s]
Raw data (loadavg): 1.03 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 785 0 0 0 10413 936 0 0 25 0 1 0 19844342 6807552 755 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1662 755 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 443.51
Current children cumulated vsize (Kb) 8776
[startup+500.044 s]
Raw data (loadavg): 1.03 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 787 0 0 0 11353 954 0 0 25 0 1 0 19844342 6807552 757 4294967295 134512640 134702520 3221223712 3221222608 134552513 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 757 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 453.09
Current children cumulated vsize (Kb) 8776
[startup+510.045 s]
Raw data (loadavg): 1.02 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 788 0 0 0 12106 1036 0 0 18 0 1 0 19844342 6807552 758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 758 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 461.44
Current children cumulated vsize (Kb) 8776
[startup+520.045 s]
Raw data (loadavg): 1.02 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 791 0 0 0 12793 1138 0 0 17 0 1 0 19844342 6807552 761 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1662 761 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 469.33
Current children cumulated vsize (Kb) 8776
[startup+530.047 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 801 0 0 0 13494 1236 0 0 19 0 1 0 19844342 6807552 771 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1662 771 413 48 0 1614 0
[pid=5474] vsize: 6648
Current children cumulated CPU time (s) 477.32
Current children cumulated vsize (Kb) 8776
[startup+540.049 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 805 0 0 0 14360 1281 0 0 25 0 1 0 19844342 6971392 775 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1702 775 413 48 0 1654 0
[pid=5474] vsize: 6808
Current children cumulated CPU time (s) 486.43
Current children cumulated vsize (Kb) 8936
[startup+550.05 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 807 0 0 0 15240 1323 0 0 18 0 1 0 19844342 6909952 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1687 777 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 495.65
Current children cumulated vsize (Kb) 8876
[startup+560.05 s]
Raw data (loadavg): 1.01 1.00 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 808 0 0 0 15943 1423 0 0 18 0 1 0 19844342 6909952 778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1687 778 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 503.68
Current children cumulated vsize (Kb) 8876
[startup+570.051 s]
Raw data (loadavg): 1.01 1.00 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 816 0 0 0 16627 1527 0 0 18 0 1 0 19844342 6909952 786 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1687 786 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 511.56
Current children cumulated vsize (Kb) 8876
[startup+580.051 s]
Raw data (loadavg): 1.08 1.01 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 820 0 0 0 17356 1614 0 0 24 0 1 0 19844342 6909952 790 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1687 790 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (Kb) 8876
[startup+590.052 s]
Raw data (loadavg): 1.07 1.01 0.98 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 820 0 0 0 18296 1632 0 0 25 0 1 0 19844342 6909952 790 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1687 790 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 529.3
Current children cumulated vsize (Kb) 8876
[startup+600.052 s]
Raw data (loadavg): 1.06 1.01 0.98 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 829 0 0 0 19094 1696 0 0 18 0 1 0 19844342 6909952 799 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1687 799 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 537.92
Current children cumulated vsize (Kb) 8876
[startup+610.054 s]
Raw data (loadavg): 1.12 1.03 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 834 0 0 0 19795 1792 0 0 18 0 1 0 19844342 6909952 804 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1687 804 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 545.89
Current children cumulated vsize (Kb) 8876
[startup+620.055 s]
Raw data (loadavg): 1.10 1.03 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 841 0 0 0 20503 1892 0 0 18 0 1 0 19844342 6909952 811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1687 811 413 48 0 1639 0
[pid=5474] vsize: 6748
Current children cumulated CPU time (s) 553.97
Current children cumulated vsize (Kb) 8876
[startup+630.054 s]
Raw data (loadavg): 1.08 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 844 0 0 0 21305 1958 0 0 25 0 1 0 19844342 7073792 814 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1727 814 413 48 0 1679 0
[pid=5474] vsize: 6908
Current children cumulated CPU time (s) 562.65
Current children cumulated vsize (Kb) 9036
[startup+640.055 s]
Raw data (loadavg): 1.07 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 846 0 0 0 22257 1975 0 0 25 0 1 0 19844342 7073792 816 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1727 816 413 48 0 1679 0
[pid=5474] vsize: 6908
Current children cumulated CPU time (s) 572.34
Current children cumulated vsize (Kb) 9036
[startup+650.056 s]
Raw data (loadavg): 1.13 1.04 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 858 0 0 0 22963 2070 0 0 25 0 1 0 19844342 7012352 828 4294967295 134512640 134702520 3221223712 3221053568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1712 828 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 580.35
Current children cumulated vsize (Kb) 8976
[startup+660.057 s]
Raw data (loadavg): 1.11 1.04 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 879 0 0 0 23660 2174 0 0 18 0 1 0 19844342 7012352 849 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1712 849 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 588.36
Current children cumulated vsize (Kb) 8976
[startup+670.058 s]
Raw data (loadavg): 1.10 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 888 0 0 0 24394 2259 0 0 18 0 1 0 19844342 7012352 858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1712 858 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 596.55
Current children cumulated vsize (Kb) 8976
[startup+680.058 s]
Raw data (loadavg): 1.08 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 902 0 0 0 25224 2316 0 0 25 0 1 0 19844342 7012352 872 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1712 872 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 605.42
Current children cumulated vsize (Kb) 8976
[startup+690.059 s]
Raw data (loadavg): 1.07 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 904 0 0 0 26158 2338 0 0 21 0 1 0 19844342 7012352 874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1712 874 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 614.98
Current children cumulated vsize (Kb) 8976
[startup+700.06 s]
Raw data (loadavg): 1.06 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 919 0 0 0 26853 2438 0 0 20 0 1 0 19844342 7012352 889 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1712 889 413 48 0 1664 0
[pid=5474] vsize: 6848
Current children cumulated CPU time (s) 622.93
Current children cumulated vsize (Kb) 8976
[startup+710.061 s]
Raw data (loadavg): 1.05 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 922 0 0 0 27612 2516 0 0 20 0 1 0 19844342 7118848 892 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 892 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 631.3
Current children cumulated vsize (Kb) 9080
[startup+720.062 s]
Raw data (loadavg): 1.04 1.03 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 927 0 0 0 28307 2614 0 0 19 0 1 0 19844342 7118848 897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 897 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (Kb) 9080
[startup+730.063 s]
Raw data (loadavg): 1.03 1.03 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 931 0 0 0 29086 2683 0 0 25 0 1 0 19844342 7118848 901 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 901 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 647.71
Current children cumulated vsize (Kb) 9080
[startup+740.063 s]
Raw data (loadavg): 1.03 1.02 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 932 0 0 0 30027 2701 0 0 25 0 1 0 19844342 7118848 902 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 902 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 657.3
Current children cumulated vsize (Kb) 9080
[startup+750.063 s]
Raw data (loadavg): 1.02 1.02 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 950 0 0 0 30843 2766 0 0 23 0 1 0 19844342 7118848 920 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 920 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 666.11
Current children cumulated vsize (Kb) 9080
[startup+760.064 s]
Raw data (loadavg): 1.02 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 952 0 0 0 31533 2865 0 0 19 0 1 0 19844342 7118848 922 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1738 922 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 674
Current children cumulated vsize (Kb) 9080
[startup+770.065 s]
Raw data (loadavg): 1.02 1.02 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 959 0 0 0 32297 2938 0 0 19 0 1 0 19844342 7118848 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1738 929 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 682.37
Current children cumulated vsize (Kb) 9080
[startup+780.065 s]
Raw data (loadavg): 1.01 1.02 0.99 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 961 0 0 0 33010 3034 0 0 19 0 1 0 19844342 7118848 931 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1738 931 413 48 0 1690 0
[pid=5474] vsize: 6952
Current children cumulated CPU time (s) 690.46
Current children cumulated vsize (Kb) 9080
[startup+790.066 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 964 0 0 0 33923 3061 0 0 25 0 1 0 19844342 7274496 934 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1776 934 413 48 0 1728 0
[pid=5474] vsize: 7104
Current children cumulated CPU time (s) 699.86
Current children cumulated vsize (Kb) 9232
[startup+800.067 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 966 0 0 0 34787 3106 0 0 20 0 1 0 19844342 7213056 936 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 936 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 708.95
Current children cumulated vsize (Kb) 9172
[startup+810.069 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 969 0 0 0 35536 3193 0 0 25 0 1 0 19844342 7213056 939 4294967295 134512640 134702520 3221223712 3221222736 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 939 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 717.31
Current children cumulated vsize (Kb) 9172
[startup+820.069 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 971 0 0 0 36255 3286 0 0 19 0 1 0 19844342 7213056 941 4294967295 134512640 134702520 3221223712 3221222992 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 941 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 725.43
Current children cumulated vsize (Kb) 9172
[startup+830.069 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 973 0 0 0 37015 3365 0 0 21 0 1 0 19844342 7213056 943 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1761 943 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 733.82
Current children cumulated vsize (Kb) 9172
[startup+840.071 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 976 0 0 0 37802 3431 0 0 25 0 1 0 19844342 7213056 946 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 946 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 742.35
Current children cumulated vsize (Kb) 9172
[startup+850.072 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 978 0 0 0 38752 3447 0 0 25 0 1 0 19844342 7213056 948 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1761 948 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 752.01
Current children cumulated vsize (Kb) 9172
[startup+860.072 s]
Raw data (loadavg): 1.12 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 980 0 0 0 39433 3553 0 0 17 0 1 0 19844342 7213056 950 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 950 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 759.88
Current children cumulated vsize (Kb) 9172
[startup+870.073 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 984 0 0 0 40145 3643 0 0 17 0 1 0 19844342 7213056 954 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1761 954 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 767.9
Current children cumulated vsize (Kb) 9172
[startup+880.073 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 985 0 0 0 40771 3759 0 0 18 0 1 0 19844342 7213056 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1761 955 413 48 0 1713 0
[pid=5474] vsize: 7044
Current children cumulated CPU time (s) 775.32
Current children cumulated vsize (Kb) 9172
[startup+890.073 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 989 0 0 0 41493 3853 0 0 19 0 1 0 19844342 7348224 959 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1794 959 413 48 0 1746 0
[pid=5474] vsize: 7176
Current children cumulated CPU time (s) 783.48
Current children cumulated vsize (Kb) 9304
[startup+900.074 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 989 0 0 0 42424 3874 0 0 25 0 1 0 19844342 7348224 959 4294967295 134512640 134702520 3221223712 3221222608 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1794 959 413 48 0 1746 0
[pid=5474] vsize: 7176
Current children cumulated CPU time (s) 793
Current children cumulated vsize (Kb) 9304
[startup+910.076 s]
Raw data (loadavg): 1.13 1.05 1.01 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 991 0 0 0 43233 3936 0 0 23 0 1 0 19844342 7315456 961 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1786 961 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 801.71
Current children cumulated vsize (Kb) 9272
[startup+920.077 s]
Raw data (loadavg): 1.11 1.05 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 995 0 0 0 43912 4041 0 0 25 0 1 0 19844342 7315456 965 4294967295 134512640 134702520 3221223712 3221128128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1786 965 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 809.55
Current children cumulated vsize (Kb) 9272
[startup+930.076 s]
Raw data (loadavg): 1.09 1.05 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 997 0 0 0 44601 4143 0 0 18 0 1 0 19844342 7315456 967 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1786 967 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 817.46
Current children cumulated vsize (Kb) 9272
[startup+940.078 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 998 0 0 0 45242 4265 0 0 17 0 1 0 19844342 7315456 968 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1786 968 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 825.09
Current children cumulated vsize (Kb) 9272
[startup+950.079 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1001 0 0 0 46161 4292 0 0 25 0 1 0 19844342 7315456 971 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1786 971 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 834.55
Current children cumulated vsize (Kb) 9272
[startup+960.081 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1013 0 0 0 47004 4344 0 0 19 0 1 0 19844342 7315456 983 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1786 983 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 843.5
Current children cumulated vsize (Kb) 9272
[startup+970.081 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1017 0 0 0 47723 4436 0 0 18 0 1 0 19844342 7315456 987 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1786 987 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 851.61
Current children cumulated vsize (Kb) 9272
[startup+980.082 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1018 0 0 0 48431 4528 0 0 25 0 1 0 19844342 7315456 988 4294967295 134512640 134702520 3221223712 3221222736 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1786 988 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 859.61
Current children cumulated vsize (Kb) 9272
[startup+990.083 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1021 0 0 0 49064 4651 0 0 17 0 1 0 19844342 7315456 991 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1786 991 413 48 0 1738 0
[pid=5474] vsize: 7144
Current children cumulated CPU time (s) 867.17
Current children cumulated vsize (Kb) 9272
[startup+1000.08 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1024 0 0 0 49922 4702 0 0 25 0 1 0 19844342 7479296 994 4294967295 134512640 134702520 3221223712 3221222608 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1826 994 413 48 0 1778 0
[pid=5474] vsize: 7304
Current children cumulated CPU time (s) 876.26
Current children cumulated vsize (Kb) 9432
[startup+1010.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1026 0 0 0 50810 4738 0 0 17 0 1 0 19844342 7413760 996 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 996 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 885.5
Current children cumulated vsize (Kb) 9368
[startup+1020.09 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1031 0 0 0 51479 4848 0 0 22 0 1 0 19844342 7413760 1001 4294967295 134512640 134702520 3221223712 3221171008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1810 1001 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 893.29
Current children cumulated vsize (Kb) 9368
[startup+1030.09 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1033 0 0 0 52166 4953 0 0 18 0 1 0 19844342 7413760 1003 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1003 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 901.21
Current children cumulated vsize (Kb) 9368
[startup+1040.09 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1052 0 0 0 52824 5069 0 0 19 0 1 0 19844342 7413760 1022 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1022 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 908.95
Current children cumulated vsize (Kb) 9368
[startup+1050.09 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1056 0 0 0 53551 5159 0 0 22 0 1 0 19844342 7413760 1026 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1026 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 917.12
Current children cumulated vsize (Kb) 9368
[startup+1060.09 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1057 0 0 0 54487 5181 0 0 25 0 1 0 19844342 7413760 1027 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1027 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 926.7
Current children cumulated vsize (Kb) 9368
[startup+1070.09 s]
Raw data (loadavg): 1.04 1.04 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1058 0 0 0 55231 5262 0 0 18 0 1 0 19844342 7413760 1028 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1028 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 934.95
Current children cumulated vsize (Kb) 9368
[startup+1080.09 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1060 0 0 0 55934 5360 0 0 19 0 1 0 19844342 7413760 1030 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1030 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 942.96
Current children cumulated vsize (Kb) 9368
[startup+1090.09 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1063 0 0 0 56560 5478 0 0 17 0 1 0 19844342 7413760 1033 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1810 1033 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 950.4
Current children cumulated vsize (Kb) 9368
[startup+1100.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1064 0 0 0 57228 5586 0 0 19 0 1 0 19844342 7413760 1034 4294967295 134512640 134702520 3221223712 3221208128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1810 1034 413 48 0 1762 0
[pid=5474] vsize: 7240
Current children cumulated CPU time (s) 958.16
Current children cumulated vsize (Kb) 9368
[startup+1110.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1069 0 0 0 57978 5670 0 0 25 0 1 0 19844342 7557120 1039 4294967295 134512640 134702520 3221223712 3221222608 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1845 1039 413 48 0 1797 0
[pid=5474] vsize: 7380
Current children cumulated CPU time (s) 966.5
Current children cumulated vsize (Kb) 9508
[startup+1120.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1070 0 0 0 58915 5691 0 0 25 0 1 0 19844342 7557120 1040 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1845 1040 413 48 0 1797 0
[pid=5474] vsize: 7380
Current children cumulated CPU time (s) 976.08
Current children cumulated vsize (Kb) 9508
[startup+1130.1 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1072 0 0 0 59697 5764 0 0 25 0 1 0 19844342 7524352 1042 4294967295 134512640 134702520 3221223712 3221222736 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1837 1042 413 48 0 1789 0
[pid=5474] vsize: 7348
Current children cumulated CPU time (s) 984.63
Current children cumulated vsize (Kb) 9476
[startup+1140.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1076 0 0 0 60334 5882 0 0 18 0 1 0 19844342 7524352 1046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1837 1046 413 48 0 1789 0
[pid=5474] vsize: 7348
Current children cumulated CPU time (s) 992.18
Current children cumulated vsize (Kb) 9476
[startup+1150.1 s]
Raw data (loadavg): 1.09 1.04 1.01 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1080 0 0 0 61001 5986 0 0 18 0 1 0 19844342 7524352 1050 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1837 1050 413 48 0 1789 0
[pid=5474] vsize: 7348
Current children cumulated CPU time (s) 999.89
Current children cumulated vsize (Kb) 9476
[startup+1160.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1084 0 0 0 61703 6083 0 0 25 0 1 0 19844342 7524352 1054 4294967295 134512640 134702520 3221223712 3221222736 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1837 1054 413 48 0 1789 0
[pid=5474] vsize: 7348
Current children cumulated CPU time (s) 1007.88
Current children cumulated vsize (Kb) 9476
[startup+1170.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1086 0 0 0 62460 6161 0 0 25 0 1 0 19844342 7659520 1056 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1870 1056 413 48 0 1822 0
[pid=5474] vsize: 7480
Current children cumulated CPU time (s) 1016.23
Current children cumulated vsize (Kb) 9608
[startup+1180.1 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1088 0 0 0 63398 6181 0 0 25 0 1 0 19844342 7659520 1058 4294967295 134512640 134702520 3221223712 3221222608 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1870 1058 413 48 0 1822 0
[pid=5474] vsize: 7480
Current children cumulated CPU time (s) 1025.81
Current children cumulated vsize (Kb) 9608
[startup+1190.1 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1089 0 0 0 64130 6268 0 0 25 0 1 0 19844342 7593984 1059 4294967295 134512640 134702520 3221223712 3221222736 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1059 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1034
Current children cumulated vsize (Kb) 9544
[startup+1200.1 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1102 0 0 0 64789 6383 0 0 18 0 1 0 19844342 7593984 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1072 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1041.74
Current children cumulated vsize (Kb) 9544
[startup+1210.1 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1104 0 0 0 65418 6498 0 0 18 0 1 0 19844342 7593984 1074 4294967295 134512640 134702520 3221223712 3221208608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1074 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1049.18
Current children cumulated vsize (Kb) 9544
[startup+1220.1 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1108 0 0 0 66133 6593 0 0 18 0 1 0 19844342 7593984 1078 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1078 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1057.28
Current children cumulated vsize (Kb) 9544
[startup+1230.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1111 0 0 0 66937 6661 0 0 25 0 1 0 19844342 7593984 1081 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1081 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1066
Current children cumulated vsize (Kb) 9544
[startup+1240.1 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1113 0 0 0 67890 6676 0 0 25 0 1 0 19844342 7593984 1083 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1854 1083 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1075.68
Current children cumulated vsize (Kb) 9544
[startup+1250.1 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1127 0 0 0 68587 6778 0 0 18 0 1 0 19844342 7593984 1097 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1854 1097 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1083.67
Current children cumulated vsize (Kb) 9544
[startup+1260.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1137 0 0 0 69252 6890 0 0 18 0 1 0 19844342 7593984 1107 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1854 1107 413 48 0 1806 0
[pid=5474] vsize: 7416
Current children cumulated CPU time (s) 1091.44
Current children cumulated vsize (Kb) 9544
[startup+1270.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1142 0 0 0 69975 6978 0 0 18 0 1 0 19844342 7700480 1112 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1112 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (Kb) 9648
[startup+1280.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1145 0 0 0 70642 7080 0 0 18 0 1 0 19844342 7700480 1115 4294967295 134512640 134702520 3221223712 3221217888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1115 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1107.24
Current children cumulated vsize (Kb) 9648
[startup+1290.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1148 0 0 0 71564 7109 0 0 25 0 1 0 19844342 7700480 1118 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1118 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1116.75
Current children cumulated vsize (Kb) 9648
[startup+1300.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1150 0 0 0 72398 7163 0 0 19 0 1 0 19844342 7700480 1120 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1120 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1125.63
Current children cumulated vsize (Kb) 9648
[startup+1310.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1150 0 0 0 73060 7283 0 0 18 0 1 0 19844342 7700480 1120 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1120 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1133.45
Current children cumulated vsize (Kb) 9648
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1255 0 0 0 73765 7381 0 0 25 0 1 0 19844342 7700480 1225 4294967295 134512640 134702520 3221223712 3221099808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1880 1225 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1141.48
Current children cumulated vsize (Kb) 9648
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1255 0 0 0 74444 7486 0 0 25 0 1 0 19844342 7700480 1225 4294967295 134512640 134702520 3221223712 3221085868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1225 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1149.32
Current children cumulated vsize (Kb) 9648
[startup+1340.11 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1259 0 0 0 75140 7588 0 0 18 0 1 0 19844342 7700480 1229 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1880 1229 413 48 0 1832 0
[pid=5474] vsize: 7520
Current children cumulated CPU time (s) 1157.3
Current children cumulated vsize (Kb) 9648
[startup+1350.11 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1265 0 0 0 76002 7632 0 0 25 0 1 0 19844342 7852032 1235 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1917 1235 413 48 0 1869 0
[pid=5474] vsize: 7668
Current children cumulated CPU time (s) 1166.36
Current children cumulated vsize (Kb) 9796
[startup+1360.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1267 0 0 0 76921 7656 0 0 19 0 1 0 19844342 7790592 1237 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1902 1237 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1175.79
Current children cumulated vsize (Kb) 9736
[startup+1370.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1267 0 0 0 77592 7765 0 0 18 0 1 0 19844342 7790592 1237 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1902 1237 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1183.59
Current children cumulated vsize (Kb) 9736
[startup+1380.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) R 5469 5469 4060 0 -1 0 1270 0 0 0 78312 7858 0 0 25 0 1 0 19844342 7790592 1240 4294967295 134512640 134702520 3221223712 3221222736 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1902 1240 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1191.72
Current children cumulated vsize (Kb) 9736
[startup+1390.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1272 0 0 0 78986 7967 0 0 20 0 1 0 19844342 7790592 1242 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5474/statm): 1902 1242 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1199.55
Current children cumulated vsize (Kb) 9736
[startup+1400.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1274 0 0 0 79631 8083 0 0 18 0 1 0 19844342 7790592 1244 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1902 1244 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 9736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1400.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5474
Raw data (/proc/5469/stat): 5469 (vallstSAT2005PB) S 5468 5469 4060 0 -1 0 378 1354 0 0 2 1 31646 1353 19 0 1 0 19808658 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5469/statm): 532 248 485 147 0 385 0
[pid=5469] vsize: 2128
Raw data (/proc/5474/stat): 5474 (vallst) T 5469 5469 4060 0 -1 0 1274 0 0 0 79631 8083 0 0 18 0 1 0 19844342 7790592 1244 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5474/statm): 1902 1244 413 48 0 1854 0
[pid=5474] vsize: 7608
Current children cumulated CPU time (s) 1207.16
Current children cumulated vsize (Kb) 9736
Sending SIGTERM to -5469
Sleeping 2 seconds
New process pid=5476
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5477
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5430/stat
open syscall for file /proc/5430/status
open syscall for file /proc/5430/cmdline
open syscall for file /proc/5430/environ
open syscall for file /proc/5468/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/5468/status
open syscall for file /proc/5468/cmdline
open syscall for file /proc/5468/environ
open syscall for file /proc/5469/stat
open syscall for file /proc/5469/status
open syscall for file /proc/5469/cmdline
open syscall for file /proc/5469/environ
open syscall for file /proc/5474/stat
open syscall for file /proc/5474/status
open syscall for file /proc/5474/cmdline
open syscall for file /proc/5474/environ
open syscall for file /proc/5476/stat
One traced child (pid=5474) exited with status: 3
open syscall for file /proc/5476/status
open syscall for file /proc/5476/cmdline
open syscall for file /proc/5476/environ
open syscall for file /proc/5477/stat
open syscall for file /proc/5477/status
open syscall for file /proc/5477/cmdline
open syscall for file /proc/5477/environ
One traced child (pid=5476) exited with status: 0
One traced child (pid=5477) exited with status: 0
New process pid=5478
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=5478) exited with status: 0
New process pid=5479
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=5479) exited with status: 0
One traced child (pid=5469) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1400.6
CPU time (s): 1207.38
CPU user time (s): 1112.92
CPU system time (s): 94.4576
CPU usage (%): 86.2039
Max. virtual memory (cumulated for all children) (Kb): 9796