1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 433839; #end-nodes: 198171;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 1226 (175)
#axs: 1652, #non-axs: 4829
tight: meta-meta: start: 4, end: 5; meta: start: 11, end (keep): 21
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 43
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: 1539 (#equs: 5)
Time taken: 5 min, 13 sec
2:
seed: 0
Nr of vars set: 1539 (#equs: 0)
Nr of vars set: 1539 (#equs: 0)
#decisions: 1468211; #end-nodes: 710409;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 418 (287)
#axs: 1628, #non-axs: 2730
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8; meta: start: 18, end (keep): 28
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1571 (#equs: 0)
Time taken: 14 min, 9 sec
3:
seed: 0
Nr of vars set: 1571 (#equs: 0)
Nr of vars set: 1572 (#equs: 0)
Interupt request received.
#decisions: 60256; #end-nodes: 28602;
#proof improvement attempts: 0; #restarts: 34
Current batch, end-nodes: 15330 / 16275 (168)
#axs: 1628, #non-axs: 2912
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8; meta: start: 18, end (keep): 28
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3453 (#equs: 0)
Time taken in seconds: 42
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/6034/stat): 6034 (vallstSAT2005PB) R 6033 6034 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19772467 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6034/statm): 174 3 169 147 0 27 0
[pid=6034] 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=6035
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=6035) exited with status: 0
New process pid=6036
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=6036) exited with status: 0
New process pid=6037
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/wulflinc22/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0023 s]
Raw data (loadavg): 0.77 0.85 0.87 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1156 0 0 0 895 36 0 0 25 0 1 0 19772477 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 1620 1055 413 48 0 1572 0
[pid=6037] vsize: 6480
Current children cumulated CPU time (s) 9.32
Current children cumulated vsize (Kb) 8608
[startup+20.004 s]
Raw data (loadavg): 0.81 0.86 0.87 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 1210 0 0 0 1761 82 0 0 23 0 1 0 19772477 12681216 1109 4294967295 134512640 134702520 3221223952 3221223232 134554394 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3096 1109 413 48 0 3048 0
[pid=6037] vsize: 12384
Current children cumulated CPU time (s) 18.44
Current children cumulated vsize (Kb) 14512
[startup+30.0048 s]
Raw data (loadavg): 0.84 0.86 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 1289 0 0 0 2653 121 0 0 25 0 1 0 19772477 12771328 1188 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3118 1188 413 48 0 3070 0
[pid=6037] vsize: 12472
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (Kb) 14600
[startup+40.0044 s]
Raw data (loadavg): 0.86 0.86 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1314 0 0 0 3561 150 0 0 25 0 1 0 19772477 12771328 1213 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3118 1213 413 48 0 3070 0
[pid=6037] vsize: 12472
Current children cumulated CPU time (s) 37.12
Current children cumulated vsize (Kb) 14600
[startup+50.0052 s]
Raw data (loadavg): 0.88 0.87 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 1678 0 0 0 4458 187 0 0 25 0 1 0 19772477 12906496 1577 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3151 1577 413 48 0 3103 0
[pid=6037] vsize: 12604
Current children cumulated CPU time (s) 46.46
Current children cumulated vsize (Kb) 14732
[startup+60.0059 s]
Raw data (loadavg): 0.90 0.87 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2809 0 0 0 5371 217 0 0 25 0 1 0 19772477 13176832 2708 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3217 2708 413 48 0 3169 0
[pid=6037] vsize: 12868
Current children cumulated CPU time (s) 55.89
Current children cumulated vsize (Kb) 14996
[startup+70.0076 s]
Raw data (loadavg): 0.91 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2833 0 0 0 6280 249 0 0 25 0 1 0 19772477 13312000 2732 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3250 2732 413 48 0 3202 0
[pid=6037] vsize: 13000
Current children cumulated CPU time (s) 65.3
Current children cumulated vsize (Kb) 15128
[startup+80.0083 s]
Raw data (loadavg): 0.93 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2834 0 0 0 7178 287 0 0 25 0 1 0 19772477 13312000 2733 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3250 2733 413 48 0 3202 0
[pid=6037] vsize: 13000
Current children cumulated CPU time (s) 74.66
Current children cumulated vsize (Kb) 15128
[startup+90.008 s]
Raw data (loadavg): 0.94 0.88 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2842 0 0 0 8073 324 0 0 25 0 1 0 19772477 13316096 2741 4294967295 134512640 134702520 3221223952 3221196208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3251 2741 413 48 0 3203 0
[pid=6037] vsize: 13004
Current children cumulated CPU time (s) 83.98
Current children cumulated vsize (Kb) 15132
[startup+100.009 s]
Raw data (loadavg): 0.95 0.89 0.88 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2850 0 0 0 8987 355 0 0 25 0 1 0 19772477 13455360 2749 4294967295 134512640 134702520 3221223952 3221222976 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3285 2749 413 48 0 3237 0
[pid=6037] vsize: 13140
Current children cumulated CPU time (s) 93.43
Current children cumulated vsize (Kb) 15268
[startup+110.009 s]
Raw data (loadavg): 0.95 0.89 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2871 0 0 0 9893 389 0 0 25 0 1 0 19772477 13455360 2770 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3285 2770 413 48 0 3237 0
[pid=6037] vsize: 13140
Current children cumulated CPU time (s) 102.83
Current children cumulated vsize (Kb) 15268
[startup+120.011 s]
Raw data (loadavg): 0.96 0.89 0.88 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 2892 0 0 0 10805 419 0 0 25 0 1 0 19772477 13590528 2791 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3318 2791 413 48 0 3270 0
[pid=6037] vsize: 13272
Current children cumulated CPU time (s) 112.25
Current children cumulated vsize (Kb) 15400
[startup+130.012 s]
Raw data (loadavg): 0.97 0.89 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2959 0 0 0 11751 439 0 0 25 0 1 0 19772477 13860864 2858 4294967295 134512640 134702520 3221223952 3221074928 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3384 2858 413 48 0 3336 0
[pid=6037] vsize: 13536
Current children cumulated CPU time (s) 121.91
Current children cumulated vsize (Kb) 15664
[startup+140.012 s]
Raw data (loadavg): 0.97 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 2990 0 0 0 12662 469 0 0 25 0 1 0 19772477 13864960 2889 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3385 2889 413 48 0 3337 0
[pid=6037] vsize: 13540
Current children cumulated CPU time (s) 131.32
Current children cumulated vsize (Kb) 15668
[startup+150.012 s]
Raw data (loadavg): 0.98 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3017 0 0 0 13583 495 0 0 24 0 1 0 19772477 14000128 2916 4294967295 134512640 134702520 3221223952 3221222848 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3418 2916 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 140.79
Current children cumulated vsize (Kb) 15800
[startup+160.013 s]
Raw data (loadavg): 0.98 0.90 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3018 0 0 0 14495 527 0 0 25 0 1 0 19772477 14000128 2917 4294967295 134512640 134702520 3221223952 3221222848 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3418 2917 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 150.23
Current children cumulated vsize (Kb) 15800
[startup+170.014 s]
Raw data (loadavg): 0.98 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3018 0 0 0 15401 558 0 0 25 0 1 0 19772477 14000128 2917 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3418 2917 413 48 0 3370 0
[pid=6037] vsize: 13672
Current children cumulated CPU time (s) 159.6
Current children cumulated vsize (Kb) 15800
[startup+180.014 s]
Raw data (loadavg): 0.98 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3040 0 0 0 16315 587 0 0 25 0 1 0 19772477 14135296 2939 4294967295 134512640 134702520 3221223952 3221174108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3451 2939 413 48 0 3403 0
[pid=6037] vsize: 13804
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (Kb) 15932
[startup+190.015 s]
Raw data (loadavg): 0.99 0.91 0.89 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3049 0 0 0 17220 621 0 0 25 0 1 0 19772477 14135296 2948 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3451 2948 413 48 0 3403 0
[pid=6037] vsize: 13804
Current children cumulated CPU time (s) 178.42
Current children cumulated vsize (Kb) 15932
[startup+200.016 s]
Raw data (loadavg): 0.99 0.91 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3053 0 0 0 18138 647 0 0 25 0 1 0 19772477 14237696 2952 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3476 2952 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 187.86
Current children cumulated vsize (Kb) 16032
[startup+210.017 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3060 0 0 0 19044 679 0 0 25 0 1 0 19772477 14237696 2959 4294967295 134512640 134702520 3221223952 3221223232 134553168 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2959 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 197.24
Current children cumulated vsize (Kb) 16032
[startup+220.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3070 0 0 0 19956 710 0 0 25 0 1 0 19772477 14237696 2969 4294967295 134512640 134702520 3221223952 3221222976 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2969 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 206.67
Current children cumulated vsize (Kb) 16032
[startup+230.019 s]
Raw data (loadavg): 0.99 0.92 0.89 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3073 0 0 0 20869 740 0 0 25 0 1 0 19772477 14237696 2972 4294967295 134512640 134702520 3221223952 3221222816 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2972 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 216.1
Current children cumulated vsize (Kb) 16032
[startup+240.019 s]
Raw data (loadavg): 0.99 0.92 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3073 0 0 0 21760 781 0 0 25 0 1 0 19772477 14237696 2972 4294967295 134512640 134702520 3221223952 3221223248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 2972 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 225.42
Current children cumulated vsize (Kb) 16032
[startup+250.02 s]
Raw data (loadavg): 0.99 0.92 0.90 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3127 0 0 0 22671 813 0 0 25 0 1 0 19772477 14237696 3026 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 3026 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 234.85
Current children cumulated vsize (Kb) 16032
[startup+260.021 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3192 0 0 0 23592 844 0 0 25 0 1 0 19772477 14237696 3091 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3476 3091 413 48 0 3428 0
[pid=6037] vsize: 13904
Current children cumulated CPU time (s) 244.37
Current children cumulated vsize (Kb) 16032
[startup+270.022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3291 0 0 0 24508 875 0 0 25 0 1 0 19772477 15196160 3190 4294967295 134512640 134702520 3221223952 3221223072 134573680 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3710 3190 413 48 0 3662 0
[pid=6037] vsize: 14840
Current children cumulated CPU time (s) 253.84
Current children cumulated vsize (Kb) 16968
[startup+280.022 s]
Raw data (loadavg): 0.99 0.93 0.90 1/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3350 0 0 0 25424 903 0 0 25 0 1 0 19772477 15335424 3249 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3744 3249 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 263.28
Current children cumulated vsize (Kb) 17104
[startup+290.023 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3402 0 0 0 26353 924 0 0 25 0 1 0 19772477 15335424 3301 4294967295 134512640 134702520 3221223952 3221167088 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3744 3301 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 272.78
Current children cumulated vsize (Kb) 17104
[startup+300.024 s]
Raw data (loadavg): 0.99 0.93 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3452 0 0 0 27283 948 0 0 25 0 1 0 19772477 15335424 3351 4294967295 134512640 134702520 3221223952 3221223072 134572146 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 3744 3351 413 48 0 3696 0
[pid=6037] vsize: 14976
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (Kb) 17104
[startup+310.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) T 6034 6034 4060 0 -1 0 3519 0 0 0 28222 970 0 0 25 0 1 0 19772477 15470592 3418 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6037/statm): 3777 3418 413 48 0 3729 0
[pid=6037] vsize: 15108
Current children cumulated CPU time (s) 291.93
Current children cumulated vsize (Kb) 17236
[startup+320.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3557 0 0 0 29164 990 0 0 25 0 1 0 19772477 16429056 3456 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 4011 3456 413 48 0 3963 0
[pid=6037] vsize: 16044
Current children cumulated CPU time (s) 301.55
Current children cumulated vsize (Kb) 18172
[startup+330.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/56 6037
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19772467 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 242 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6037/stat): 6037 (vallst) R 6034 6034 4060 0 -1 0 3560 0 0 0 30085 1017 0 0 25 0 1 0 19772477 16429056 3459 4294967295 134512640 134702520 3221223952 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6037/statm): 4011 3459 413 48 0 3963 0
[pid=6037] vsize: 16044
Current children cumulated CPU time (s) 311.03
Current children cumulated vsize (Kb) 18172
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=6037) exited with status: 2
New process pid=6038
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=6038) exited with status: 0
New process pid=6039
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+340.026 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 1013 0 0 0 608 19 0 0 25 0 1 0 19805817 6201344 983 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 1514 983 413 48 0 1466 0
[pid=6039] vsize: 6056
Current children cumulated CPU time (s) 320.56
Current children cumulated vsize (Kb) 8184
[startup+350.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 1014 0 0 0 1530 45 0 0 25 0 1 0 19805817 6201344 984 4294967295 134512640 134702520 3221223712 3221222848 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 1514 984 413 48 0 1466 0
[pid=6039] vsize: 6056
Current children cumulated CPU time (s) 330.04
Current children cumulated vsize (Kb) 8184
[startup+360.027 s]
Raw data (loadavg): 0.99 0.94 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 1324 0 0 0 2443 77 0 0 25 0 1 0 19805817 11661312 1294 4294967295 134512640 134702520 3221223712 3221002688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 2847 1294 413 48 0 2799 0
[pid=6039] vsize: 11388
Current children cumulated CPU time (s) 339.49
Current children cumulated vsize (Kb) 13516
[startup+370.029 s]
Raw data (loadavg): 0.99 0.94 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 1381 0 0 0 3336 112 0 0 25 0 1 0 19805817 11796480 1351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 2880 1351 413 48 0 2832 0
[pid=6039] vsize: 11520
Current children cumulated CPU time (s) 348.77
Current children cumulated vsize (Kb) 13648
[startup+380.03 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2521 0 0 0 4250 146 0 0 25 0 1 0 19805817 12201984 2491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 2979 2491 413 48 0 2931 0
[pid=6039] vsize: 11916
Current children cumulated CPU time (s) 358.25
Current children cumulated vsize (Kb) 14044
[startup+390.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2543 0 0 0 5163 178 0 0 25 0 1 0 19805817 12337152 2513 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3012 2513 413 48 0 2964 0
[pid=6039] vsize: 12048
Current children cumulated CPU time (s) 367.7
Current children cumulated vsize (Kb) 14176
[startup+400.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2552 0 0 0 6073 211 0 0 25 0 1 0 19805817 12496896 2522 4294967295 134512640 134702520 3221223712 3221222608 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3051 2522 413 48 0 3003 0
[pid=6039] vsize: 12204
Current children cumulated CPU time (s) 377.13
Current children cumulated vsize (Kb) 14332
[startup+410.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2553 0 0 0 6985 245 0 0 25 0 1 0 19805817 12496896 2523 4294967295 134512640 134702520 3221223712 3221222608 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3051 2523 413 48 0 3003 0
[pid=6039] vsize: 12204
Current children cumulated CPU time (s) 386.59
Current children cumulated vsize (Kb) 14332
[startup+420.033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2558 0 0 0 7877 283 0 0 25 0 1 0 19805817 12435456 2528 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3036 2528 413 48 0 2988 0
[pid=6039] vsize: 12144
Current children cumulated CPU time (s) 395.89
Current children cumulated vsize (Kb) 14272
[startup+430.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2620 0 0 0 8788 315 0 0 25 0 1 0 19805817 12705792 2590 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3102 2590 413 48 0 3054 0
[pid=6039] vsize: 12408
Current children cumulated CPU time (s) 405.32
Current children cumulated vsize (Kb) 14536
[startup+440.034 s]
Raw data (loadavg): 0.99 0.95 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2664 0 0 0 9680 354 0 0 25 0 1 0 19805817 12840960 2634 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3135 2634 413 48 0 3087 0
[pid=6039] vsize: 12540
Current children cumulated CPU time (s) 414.63
Current children cumulated vsize (Kb) 14668
[startup+450.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2676 0 0 0 10582 389 0 0 25 0 1 0 19805817 12840960 2646 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3135 2646 413 48 0 3087 0
[pid=6039] vsize: 12540
Current children cumulated CPU time (s) 424
Current children cumulated vsize (Kb) 14668
[startup+460.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2690 0 0 0 11477 427 0 0 25 0 1 0 19805817 12976128 2660 4294967295 134512640 134702520 3221223712 3221196768 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3168 2660 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 433.33
Current children cumulated vsize (Kb) 14800
[startup+470.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2696 0 0 0 12380 459 0 0 25 0 1 0 19805817 12976128 2666 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3168 2666 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 442.68
Current children cumulated vsize (Kb) 14800
[startup+480.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2706 0 0 0 13276 495 0 0 25 0 1 0 19805817 12976128 2676 4294967295 134512640 134702520 3221223712 3221222992 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3168 2676 413 48 0 3120 0
[pid=6039] vsize: 12672
Current children cumulated CPU time (s) 452
Current children cumulated vsize (Kb) 14800
[startup+490.038 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2718 0 0 0 14177 532 0 0 25 0 1 0 19805817 13123584 2688 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2688 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 461.38
Current children cumulated vsize (Kb) 14944
[startup+500.038 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2721 0 0 0 15087 565 0 0 25 0 1 0 19805817 13123584 2691 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3204 2691 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 470.81
Current children cumulated vsize (Kb) 14944
[startup+510.039 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2721 0 0 0 15984 603 0 0 25 0 1 0 19805817 13123584 2691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2691 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 480.16
Current children cumulated vsize (Kb) 14944
[startup+520.04 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2723 0 0 0 16877 639 0 0 25 0 1 0 19805817 13123584 2693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2693 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 489.45
Current children cumulated vsize (Kb) 14944
[startup+530.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2746 0 0 0 17803 663 0 0 25 0 1 0 19805817 13123584 2716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3204 2716 413 48 0 3156 0
[pid=6039] vsize: 12816
Current children cumulated CPU time (s) 498.95
Current children cumulated vsize (Kb) 14944
[startup+540.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2763 0 0 0 18720 692 0 0 25 0 1 0 19805817 13258752 2733 4294967295 134512640 134702520 3221223712 3221222992 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3237 2733 413 48 0 3189 0
[pid=6039] vsize: 12948
Current children cumulated CPU time (s) 508.41
Current children cumulated vsize (Kb) 15076
[startup+550.042 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2777 0 0 0 19629 724 0 0 25 0 1 0 19805817 13258752 2747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3237 2747 413 48 0 3189 0
[pid=6039] vsize: 12948
Current children cumulated CPU time (s) 517.82
Current children cumulated vsize (Kb) 15076
[startup+560.043 s]
Raw data (loadavg): 0.99 0.96 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2791 0 0 0 20540 753 0 0 25 0 1 0 19805817 13393920 2761 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2761 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 527.22
Current children cumulated vsize (Kb) 15208
[startup+570.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2793 0 0 0 21431 789 0 0 25 0 1 0 19805817 13393920 2763 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2763 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 536.49
Current children cumulated vsize (Kb) 15208
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2808 0 0 0 22325 827 0 0 25 0 1 0 19805817 13393920 2778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3270 2778 413 48 0 3222 0
[pid=6039] vsize: 13080
Current children cumulated CPU time (s) 545.81
Current children cumulated vsize (Kb) 15208
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2819 0 0 0 23244 855 0 0 25 0 1 0 19805817 13529088 2789 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3303 2789 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 555.28
Current children cumulated vsize (Kb) 15340
[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2824 0 0 0 24161 885 0 0 25 0 1 0 19805817 13529088 2794 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3303 2794 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 564.75
Current children cumulated vsize (Kb) 15340
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2824 0 0 0 25055 920 0 0 25 0 1 0 19805817 13529088 2794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3303 2794 413 48 0 3255 0
[pid=6039] vsize: 13212
Current children cumulated CPU time (s) 574.04
Current children cumulated vsize (Kb) 15340
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 2844 0 0 0 25941 961 0 0 25 0 1 0 19805817 13533184 2814 4294967295 134512640 134702520 3221223712 3221222832 134573689 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3304 2814 413 48 0 3256 0
[pid=6039] vsize: 13216
Current children cumulated CPU time (s) 583.31
Current children cumulated vsize (Kb) 15344
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 2937 0 0 0 26866 988 0 0 25 0 1 0 19805817 13668352 2907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3337 2907 413 48 0 3289 0
[pid=6039] vsize: 13348
Current children cumulated CPU time (s) 592.83
Current children cumulated vsize (Kb) 15476
[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3004 0 0 0 27777 1016 0 0 25 0 1 0 19805817 14385152 2974 4294967295 134512640 134702520 3221223712 3221222992 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3512 2974 413 48 0 3464 0
[pid=6039] vsize: 14048
Current children cumulated CPU time (s) 602.22
Current children cumulated vsize (Kb) 16176
[startup+650.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3081 0 0 0 28684 1051 0 0 25 0 1 0 19805817 14385152 3051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3512 3051 413 48 0 3464 0
[pid=6039] vsize: 14048
Current children cumulated CPU time (s) 611.64
Current children cumulated vsize (Kb) 16176
[startup+660.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3162 0 0 0 29622 1071 0 0 25 0 1 0 19805817 14520320 3132 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3545 3132 413 48 0 3497 0
[pid=6039] vsize: 14180
Current children cumulated CPU time (s) 621.22
Current children cumulated vsize (Kb) 16308
[startup+670.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3207 0 0 0 30547 1098 0 0 25 0 1 0 19805817 14655488 3177 4294967295 134512640 134702520 3221223712 3221222992 134557527 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3578 3177 413 48 0 3530 0
[pid=6039] vsize: 14312
Current children cumulated CPU time (s) 630.74
Current children cumulated vsize (Kb) 16440
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3288 0 0 0 31470 1124 0 0 25 0 1 0 19805817 15507456 3258 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3786 3258 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 640.23
Current children cumulated vsize (Kb) 17272
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3351 0 0 0 32398 1147 0 0 25 0 1 0 19805817 15507456 3321 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3786 3321 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 649.74
Current children cumulated vsize (Kb) 17272
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3365 0 0 0 33315 1177 0 0 25 0 1 0 19805817 15507456 3335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3786 3335 413 48 0 3738 0
[pid=6039] vsize: 15144
Current children cumulated CPU time (s) 659.21
Current children cumulated vsize (Kb) 17272
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3449 0 0 0 34246 1201 0 0 25 0 1 0 19805817 15642624 3419 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 3819 3419 413 48 0 3771 0
[pid=6039] vsize: 15276
Current children cumulated CPU time (s) 668.76
Current children cumulated vsize (Kb) 17404
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3491 0 0 0 35198 1218 0 0 25 0 1 0 19805817 15777792 3461 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 3852 3461 413 48 0 3804 0
[pid=6039] vsize: 15408
Current children cumulated CPU time (s) 678.45
Current children cumulated vsize (Kb) 17536
[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3525 0 0 0 36130 1243 0 0 25 0 1 0 19805817 16494592 3495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4027 3495 413 48 0 3979 0
[pid=6039] vsize: 16108
Current children cumulated CPU time (s) 688.02
Current children cumulated vsize (Kb) 18236
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3537 0 0 0 37060 1268 0 0 25 0 1 0 19805817 16629760 3507 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3507 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 697.57
Current children cumulated vsize (Kb) 18368
[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3553 0 0 0 38003 1289 0 0 25 0 1 0 19805817 16629760 3523 4294967295 134512640 134702520 3221223712 3221222736 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3523 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 707.21
Current children cumulated vsize (Kb) 18368
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3556 0 0 0 38925 1314 0 0 25 0 1 0 19805817 16629760 3526 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4060 3526 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 716.68
Current children cumulated vsize (Kb) 18368
[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3556 0 0 0 39828 1347 0 0 25 0 1 0 19805817 16629760 3526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3526 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 726.04
Current children cumulated vsize (Kb) 18368
[startup+780.059 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3559 0 0 0 40741 1380 0 0 21 0 1 0 19805817 16629760 3529 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3529 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 735.5
Current children cumulated vsize (Kb) 18368
[startup+790.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3566 0 0 0 41657 1409 0 0 25 0 1 0 19805817 16629760 3536 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4060 3536 413 48 0 4012 0
[pid=6039] vsize: 16240
Current children cumulated CPU time (s) 744.95
Current children cumulated vsize (Kb) 18368
[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3577 0 0 0 42589 1433 0 0 25 0 1 0 19805817 16764928 3547 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4093 3547 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 754.51
Current children cumulated vsize (Kb) 18500
[startup+810.061 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3583 0 0 0 43508 1462 0 0 25 0 1 0 19805817 16764928 3553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4093 3553 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 763.99
Current children cumulated vsize (Kb) 18500
[startup+820.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3594 0 0 0 44431 1488 0 0 25 0 1 0 19805817 16764928 3564 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4093 3564 413 48 0 4045 0
[pid=6039] vsize: 16372
Current children cumulated CPU time (s) 773.48
Current children cumulated vsize (Kb) 18500
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3610 0 0 0 45361 1513 0 0 25 0 1 0 19805817 16900096 3580 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4126 3580 413 48 0 4078 0
[pid=6039] vsize: 16504
Current children cumulated CPU time (s) 783.03
Current children cumulated vsize (Kb) 18632
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3620 0 0 0 46298 1535 0 0 25 0 1 0 19805817 16900096 3590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4126 3590 413 48 0 4078 0
[pid=6039] vsize: 16504
Current children cumulated CPU time (s) 792.62
Current children cumulated vsize (Kb) 18632
[startup+850.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3629 0 0 0 47229 1560 0 0 25 0 1 0 19805817 17035264 3599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3599 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 802.18
Current children cumulated vsize (Kb) 18764
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3638 0 0 0 48149 1589 0 0 25 0 1 0 19805817 17035264 3608 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3608 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 811.67
Current children cumulated vsize (Kb) 18764
[startup+870.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3640 0 0 0 49080 1614 0 0 25 0 1 0 19805817 17035264 3610 4294967295 134512640 134702520 3221223712 3221222992 134557285 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3610 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 821.23
Current children cumulated vsize (Kb) 18764
[startup+880.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3646 0 0 0 50011 1638 0 0 25 0 1 0 19805817 17035264 3616 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3616 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 830.78
Current children cumulated vsize (Kb) 18764
[startup+890.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3652 0 0 0 50952 1657 0 0 25 0 1 0 19805817 17035264 3622 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4159 3622 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 840.38
Current children cumulated vsize (Kb) 18764
[startup+900.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3663 0 0 0 51875 1686 0 0 25 0 1 0 19805817 17035264 3633 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4159 3633 413 48 0 4111 0
[pid=6039] vsize: 16636
Current children cumulated CPU time (s) 849.9
Current children cumulated vsize (Kb) 18764
[startup+910.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3682 0 0 0 52810 1708 0 0 25 0 1 0 19805817 17170432 3652 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4192 3652 413 48 0 4144 0
[pid=6039] vsize: 16768
Current children cumulated CPU time (s) 859.47
Current children cumulated vsize (Kb) 18896
[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3707 0 0 0 53757 1727 0 0 25 0 1 0 19805817 17305600 3677 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3677 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 869.13
Current children cumulated vsize (Kb) 19028
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3711 0 0 0 54687 1752 0 0 25 0 1 0 19805817 17305600 3681 4294967295 134512640 134702520 3221223712 3221222992 134557206 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3681 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 878.68
Current children cumulated vsize (Kb) 19028
[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3713 0 0 0 55602 1782 0 0 25 0 1 0 19805817 17305600 3683 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3683 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 888.13
Current children cumulated vsize (Kb) 19028
[startup+950.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3722 0 0 0 56536 1806 0 0 23 0 1 0 19805817 17305600 3692 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4225 3692 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 897.71
Current children cumulated vsize (Kb) 19028
[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3728 0 0 0 57464 1832 0 0 25 0 1 0 19805817 17305600 3698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4225 3698 413 48 0 4177 0
[pid=6039] vsize: 16900
Current children cumulated CPU time (s) 907.25
Current children cumulated vsize (Kb) 19028
[startup+970.073 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3734 0 0 0 58389 1859 0 0 25 0 1 0 19805817 17465344 3704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3704 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 916.77
Current children cumulated vsize (Kb) 19184
[startup+980.074 s]
Raw data (loadavg): 1.06 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3737 0 0 0 59313 1887 0 0 25 0 1 0 19805817 17465344 3707 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3707 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 926.29
Current children cumulated vsize (Kb) 19184
[startup+990.074 s]
Raw data (loadavg): 1.05 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3739 0 0 0 60219 1923 0 0 25 0 1 0 19805817 17465344 3709 4294967295 134512640 134702520 3221223712 3221222992 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3709 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 935.71
Current children cumulated vsize (Kb) 19184
[startup+1000.08 s]
Raw data (loadavg): 1.04 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3741 0 0 0 61122 1957 0 0 25 0 1 0 19805817 17465344 3711 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3711 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 945.08
Current children cumulated vsize (Kb) 19184
[startup+1010.08 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3746 0 0 0 62033 1988 0 0 25 0 1 0 19805817 17465344 3716 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3716 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 954.5
Current children cumulated vsize (Kb) 19184
[startup+1020.08 s]
Raw data (loadavg): 1.03 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3747 0 0 0 62922 2025 0 0 25 0 1 0 19805817 17465344 3717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3717 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 963.76
Current children cumulated vsize (Kb) 19184
[startup+1030.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3755 0 0 0 63834 2059 0 0 25 0 1 0 19805817 17465344 3725 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3725 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 973.22
Current children cumulated vsize (Kb) 19184
[startup+1040.08 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3758 0 0 0 64722 2099 0 0 25 0 1 0 19805817 17465344 3728 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4264 3728 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 982.5
Current children cumulated vsize (Kb) 19184
[startup+1050.08 s]
Raw data (loadavg): 1.02 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3760 0 0 0 65627 2134 0 0 25 0 1 0 19805817 17465344 3730 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3730 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 991.9
Current children cumulated vsize (Kb) 19184
[startup+1060.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3762 0 0 0 66499 2177 0 0 25 0 1 0 19805817 17465344 3732 4294967295 134512640 134702520 3221223712 3221206848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3732 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 1001.05
Current children cumulated vsize (Kb) 19184
[startup+1070.08 s]
Raw data (loadavg): 1.01 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3767 0 0 0 67398 2213 0 0 25 0 1 0 19805817 17465344 3737 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4264 3737 413 48 0 4216 0
[pid=6039] vsize: 17056
Current children cumulated CPU time (s) 1010.4
Current children cumulated vsize (Kb) 19184
[startup+1080.08 s]
Raw data (loadavg): 1.01 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3769 0 0 0 68314 2240 0 0 25 0 1 0 19805817 17612800 3739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4300 3739 413 48 0 4252 0
[pid=6039] vsize: 17200
Current children cumulated CPU time (s) 1019.83
Current children cumulated vsize (Kb) 19328
[startup+1090.08 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3769 0 0 0 69204 2279 0 0 25 0 1 0 19805817 17551360 3739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3739 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1029.12
Current children cumulated vsize (Kb) 19268
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3771 0 0 0 70121 2310 0 0 25 0 1 0 19805817 17551360 3741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3741 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1038.6
Current children cumulated vsize (Kb) 19268
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3774 0 0 0 71020 2345 0 0 25 0 1 0 19805817 17551360 3744 4294967295 134512640 134702520 3221223712 3221222992 134551048 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3744 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1047.94
Current children cumulated vsize (Kb) 19268
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3781 0 0 0 71926 2379 0 0 25 0 1 0 19805817 17551360 3751 4294967295 134512640 134702520 3221223712 3221222676 134550176 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3751 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1057.34
Current children cumulated vsize (Kb) 19268
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3783 0 0 0 72813 2417 0 0 25 0 1 0 19805817 17551360 3753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4285 3753 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1066.59
Current children cumulated vsize (Kb) 19268
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3784 0 0 0 73715 2450 0 0 25 0 1 0 19805817 17551360 3754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3754 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1075.94
Current children cumulated vsize (Kb) 19268
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3789 0 0 0 74617 2487 0 0 25 0 1 0 19805817 17551360 3759 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4285 3759 413 48 0 4237 0
[pid=6039] vsize: 17140
Current children cumulated CPU time (s) 1085.33
Current children cumulated vsize (Kb) 19268
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3797 0 0 0 75509 2523 0 0 25 0 1 0 19805817 17686528 3767 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3767 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1094.61
Current children cumulated vsize (Kb) 19400
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) T 6034 6034 4060 0 -1 0 3803 0 0 0 76419 2551 0 0 25 0 1 0 19805817 17686528 3773 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6039/statm): 4318 3773 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1103.99
Current children cumulated vsize (Kb) 19400
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3806 0 0 0 77325 2584 0 0 25 0 1 0 19805817 17686528 3776 4294967295 134512640 134702520 3221223712 3221222992 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3776 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1113.38
Current children cumulated vsize (Kb) 19400
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3810 0 0 0 78210 2626 0 0 25 0 1 0 19805817 17686528 3780 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3780 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1122.65
Current children cumulated vsize (Kb) 19400
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 79113 2656 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1131.98
Current children cumulated vsize (Kb) 19400
[startup+1210.09 s]
Raw data (loadavg): 1.07 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 80009 2694 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222736 134553458 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1141.32
Current children cumulated vsize (Kb) 19400
[startup+1220.09 s]
Raw data (loadavg): 1.06 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3812 0 0 0 80892 2736 0 0 25 0 1 0 19805817 17686528 3782 4294967295 134512640 134702520 3221223712 3221222736 134552372 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3782 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 19400
[startup+1230.09 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 6039
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 378 3935 0 0 1 1 30395 1032 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6039/stat): 6039 (vallst) R 6034 6034 4060 0 -1 0 3816 0 0 0 81805 2766 0 0 25 0 1 0 19805817 17686528 3786 4294967295 134512640 134702520 3221223712 3221222608 134551079 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6039/statm): 4318 3786 413 48 0 4270 0
[pid=6039] vsize: 17272
Current children cumulated CPU time (s) 1160
Current children cumulated vsize (Kb) 19400
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=6039) exited with status: 2
New process pid=6040
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=6040) exited with status: 0
New process pid=6041
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+1240.09 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 996 0 0 0 475 18 0 0 25 0 1 0 19895974 5959680 967 4294967295 134512640 134702520 3221223712 3221222848 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 1455 967 413 48 0 1407 0
[pid=6041] vsize: 5820
Current children cumulated CPU time (s) 1169.46
Current children cumulated vsize (Kb) 7948
[startup+1250.09 s]
Raw data (loadavg): 1.04 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 998 0 0 0 1397 46 0 0 25 0 1 0 19895974 5959680 969 4294967295 134512640 134702520 3221223712 3221223152 134617852 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 1455 969 413 48 0 1407 0
[pid=6041] vsize: 5820
Current children cumulated CPU time (s) 1178.96
Current children cumulated vsize (Kb) 7948
[startup+1260.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 1754 0 0 0 2287 87 0 0 25 0 1 0 19895974 10588160 1725 4294967295 134512640 134702520 3221223712 3221194528 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6041/statm): 2585 1725 413 48 0 2537 0
[pid=6041] vsize: 10340
Current children cumulated CPU time (s) 1188.27
Current children cumulated vsize (Kb) 12468
[startup+1270.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 1998 0 0 0 3188 120 0 0 25 0 1 0 19895974 10727424 1969 4294967295 134512640 134702520 3221223712 3221223104 134603635 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2619 1969 413 48 0 2571 0
[pid=6041] vsize: 10476
Current children cumulated CPU time (s) 1197.61
Current children cumulated vsize (Kb) 12604
[startup+1280.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 2283 0 0 0 4098 152 0 0 25 0 1 0 19895974 10997760 2254 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2685 2254 413 48 0 2637 0
[pid=6041] vsize: 10740
Current children cumulated CPU time (s) 1207.03
Current children cumulated vsize (Kb) 12868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/56 6041
Raw data (/proc/6034/stat): 6034 (vallstSAT2005PB) S 6033 6034 4060 0 -1 0 417 7895 0 0 1 2 112638 3812 19 0 1 0 19772467 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6034/statm): 532 248 485 147 0 385 0
[pid=6034] vsize: 2128
Raw data (/proc/6041/stat): 6041 (vallst) R 6034 6034 4060 0 -1 0 2283 0 0 0 4098 152 0 0 25 0 1 0 19895974 10997760 2254 4294967295 134512640 134702520 3221223712 3221222992 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6041/statm): 2685 2254 413 48 0 2637 0
[pid=6041] vsize: 10740
Current children cumulated CPU time (s) 1207.03
Current children cumulated vsize (Kb) 12868
Sending SIGTERM to -6034
Sleeping 2 seconds
New process pid=6043
New process pid=6044
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/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/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/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/5995/stat
open syscall for file /proc/5995/status
open syscall for file /proc/5995/cmdline
open syscall for file /proc/5995/environ
open syscall for file /proc/6033/stat
open syscall for file /proc/6033/status
open syscall for file /proc/6033/cmdline
open syscall for file /proc/6033/environ
open syscall for file /proc/6034/stat
open syscall for file /proc/6034/status
open syscall for file /proc/6034/cmdline
open syscall for file /proc/6034/environ
open syscall for file /proc/6041/stat
open syscall for file /proc/6041/status
open syscall for file /proc/6041/cmdline
open syscall for file /proc/6041/environ
open syscall for file /proc/6043/stat
open syscall for file /proc/6043/status
open syscall for file /proc/6043/cmdline
open syscall for file /proc/6043/environ
open syscall for file /proc/6044/stat
open syscall for file /proc/6044/status
open syscall for file /proc/6044/cmdline
open syscall for file /proc/6044/environ
One traced child (pid=6043) exited with status: 0
One traced child (pid=6044) exited with status: 0
New process pid=6045
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6041) exited with status: 3
One traced child (pid=6045) exited with status: 0
New process pid=6046
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=6046) exited with status: 0
One traced child (pid=6034) 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): 1280.58
CPU time (s): 1207.5
CPU user time (s): 1167.74
CPU system time (s): 39.758
CPU usage (%): 94.293
Max. virtual memory (cumulated for all children) (Kb): 19400