1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 531136; #end-nodes: 246395;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 1005 (175)
#axs: 1652, #non-axs: 7171
tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 16
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: 1553 (#equs: 5)
Time taken: 6 min, 13 sec
2:
seed: 0
Nr of vars set: 1553 (#equs: 0)
Nr of vars set: 1553 (#equs: 0)
#decisions: 1367101; #end-nodes: 643845;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 306 (287)
#axs: 1629, #non-axs: 3133
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8; meta: start: 14, end (keep): 20
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1575 (#equs: 1)
Time taken: 12 min, 49 sec
3:
seed: 0
Nr of vars set: 1575 (#equs: 0)
Nr of vars set: 1576 (#equs: 0)
Interupt request received.
#decisions: 116006; #end-nodes: 47362;
#proof improvement attempts: 0; #restarts: 87
Current batch, end-nodes: 1152 / 2099 (181)
#axs: 1628, #non-axs: 3264
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 6, end: 8; meta: start: 14, end (keep): 20
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 6170 (#equs: 0)
Time taken in seconds: 62
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/10385/stat): 10385 (vallstSAT2005PB) R 10384 10385 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1847672061 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10385/statm): 174 3 169 147 0 27 0
[pid=10385] 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=10386
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=10386) exited with status: 0
New process pid=10387
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=10387) exited with status: 0
New process pid=10388
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0033 s]
Raw data (loadavg): 0.87 0.95 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1122 0 0 0 892 38 0 0 25 0 1 0 1847672069 6574080 1038 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 1605 1038 413 48 0 1557 0
[pid=10388] vsize: 6420
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (Kb) 8548
[startup+20.004 s]
Raw data (loadavg): 0.89 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1174 0 0 0 1759 85 0 0 23 0 1 0 1847672069 12619776 1090 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3081 1090 413 48 0 3033 0
[pid=10388] vsize: 12324
Current children cumulated CPU time (s) 18.45
Current children cumulated vsize (Kb) 14452
[startup+30.0047 s]
Raw data (loadavg): 0.90 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1255 0 0 0 2658 121 0 0 25 0 1 0 1847672069 12709888 1171 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3103 1171 413 48 0 3055 0
[pid=10388] vsize: 12412
Current children cumulated CPU time (s) 27.8
Current children cumulated vsize (Kb) 14540
[startup+40.0053 s]
Raw data (loadavg): 0.92 0.96 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1302 0 0 0 3568 152 0 0 25 0 1 0 1847672069 12709888 1218 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3103 1218 413 48 0 3055 0
[pid=10388] vsize: 12412
Current children cumulated CPU time (s) 37.21
Current children cumulated vsize (Kb) 14540
[startup+50.007 s]
Raw data (loadavg): 0.93 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1507 0 0 0 4470 189 0 0 24 0 1 0 1847672069 12845056 1423 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3136 1423 413 48 0 3088 0
[pid=10388] vsize: 12544
Current children cumulated CPU time (s) 46.6
Current children cumulated vsize (Kb) 14672
[startup+60.0077 s]
Raw data (loadavg): 0.94 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1523 0 0 0 5378 220 0 0 25 0 1 0 1847672069 12980224 1439 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3169 1439 413 48 0 3121 0
[pid=10388] vsize: 12676
Current children cumulated CPU time (s) 55.99
Current children cumulated vsize (Kb) 14804
[startup+70.0084 s]
Raw data (loadavg): 0.95 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1524 0 0 0 6274 257 0 0 25 0 1 0 1847672069 12980224 1440 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3169 1440 413 48 0 3121 0
[pid=10388] vsize: 12676
Current children cumulated CPU time (s) 65.32
Current children cumulated vsize (Kb) 14804
[startup+80.0091 s]
Raw data (loadavg): 0.96 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 1541 0 0 0 7168 293 0 0 25 0 1 0 1847672069 12988416 1457 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3171 1457 413 48 0 3123 0
[pid=10388] vsize: 12684
Current children cumulated CPU time (s) 74.62
Current children cumulated vsize (Kb) 14812
[startup+90.0098 s]
Raw data (loadavg): 0.96 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2062 0 0 0 8079 325 0 0 25 0 1 0 1847672069 13123584 1978 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3204 1978 413 48 0 3156 0
[pid=10388] vsize: 12816
Current children cumulated CPU time (s) 84.05
Current children cumulated vsize (Kb) 14944
[startup+100.011 s]
Raw data (loadavg): 0.97 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2209 0 0 0 8997 353 0 0 25 0 1 0 1847672069 13258752 2125 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3237 2125 413 48 0 3189 0
[pid=10388] vsize: 12948
Current children cumulated CPU time (s) 93.51
Current children cumulated vsize (Kb) 15076
[startup+110.012 s]
Raw data (loadavg): 0.97 0.96 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2469 0 0 0 9909 381 0 0 25 0 1 0 1847672069 13258752 2385 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3237 2385 413 48 0 3189 0
[pid=10388] vsize: 12948
Current children cumulated CPU time (s) 102.91
Current children cumulated vsize (Kb) 15076
[startup+120.013 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2848 0 0 0 10829 410 0 0 25 0 1 0 1847672069 13393920 2764 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2764 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 112.4
Current children cumulated vsize (Kb) 15208
[startup+130.014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2850 0 0 0 11734 442 0 0 17 0 1 0 1847672069 13393920 2766 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2766 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 121.77
Current children cumulated vsize (Kb) 15208
[startup+140.014 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2854 0 0 0 12635 477 0 0 24 0 1 0 1847672069 13393920 2770 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3270 2770 413 48 0 3222 0
[pid=10388] vsize: 13080
Current children cumulated CPU time (s) 131.13
Current children cumulated vsize (Kb) 15208
[startup+150.015 s]
Raw data (loadavg): 0.98 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2863 0 0 0 13541 509 0 0 25 0 1 0 1847672069 13545472 2779 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3307 2779 413 48 0 3259 0
[pid=10388] vsize: 13228
Current children cumulated CPU time (s) 140.51
Current children cumulated vsize (Kb) 15356
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2912 0 0 0 14452 539 0 0 25 0 1 0 1847672069 13680640 2828 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10388/statm): 3340 2828 413 48 0 3292 0
[pid=10388] vsize: 13360
Current children cumulated CPU time (s) 149.92
Current children cumulated vsize (Kb) 15488
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2943 0 0 0 15387 563 0 0 25 0 1 0 1847672069 13815808 2859 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3373 2859 413 48 0 3325 0
[pid=10388] vsize: 13492
Current children cumulated CPU time (s) 159.51
Current children cumulated vsize (Kb) 15620
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 2957 0 0 0 16312 588 0 0 25 0 1 0 1847672069 13815808 2873 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/10388/statm): 3373 2873 413 48 0 3325 0
[pid=10388] vsize: 13492
Current children cumulated CPU time (s) 169.01
Current children cumulated vsize (Kb) 15620
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 2994 0 0 0 17227 619 0 0 25 0 1 0 1847672069 13950976 2910 4294967295 134512640 134702520 3221223952 3221223232 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2910 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 178.47
Current children cumulated vsize (Kb) 15752
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3000 0 0 0 18147 646 0 0 25 0 1 0 1847672069 13950976 2916 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2916 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 187.94
Current children cumulated vsize (Kb) 15752
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3005 0 0 0 19050 680 0 0 25 0 1 0 1847672069 13950976 2921 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3406 2921 413 48 0 3358 0
[pid=10388] vsize: 13624
Current children cumulated CPU time (s) 197.31
Current children cumulated vsize (Kb) 15752
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3019 0 0 0 19950 715 0 0 25 0 1 0 1847672069 14086144 2935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2935 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 206.66
Current children cumulated vsize (Kb) 15884
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) R 10385 10385 20115 0 -1 0 3030 0 0 0 20869 745 0 0 25 0 1 0 1847672069 14086144 2946 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2946 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 216.15
Current children cumulated vsize (Kb) 15884
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.98 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3030 0 0 0 21776 778 0 0 22 0 1 0 1847672069 14086144 2946 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3439 2946 413 48 0 3391 0
[pid=10388] vsize: 13756
Current children cumulated CPU time (s) 225.55
Current children cumulated vsize (Kb) 15884
[startup+250.022 s]
Raw data (loadavg): 1.07 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3050 0 0 0 22697 805 0 0 25 0 1 0 1847672069 14221312 2966 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 2966 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 235.03
Current children cumulated vsize (Kb) 16016
[startup+260.022 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3060 0 0 0 23614 833 0 0 25 0 1 0 1847672069 14221312 2976 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 2976 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 244.48
Current children cumulated vsize (Kb) 16016
[startup+270.022 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3117 0 0 0 24527 862 0 0 23 0 1 0 1847672069 14221312 3033 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3472 3033 413 48 0 3424 0
[pid=10388] vsize: 13888
Current children cumulated CPU time (s) 253.9
Current children cumulated vsize (Kb) 16016
[startup+280.023 s]
Raw data (loadavg): 1.04 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3188 0 0 0 25443 894 0 0 25 0 1 0 1847672069 14356480 3104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3505 3104 413 48 0 3457 0
[pid=10388] vsize: 14020
Current children cumulated CPU time (s) 263.38
Current children cumulated vsize (Kb) 16148
[startup+290.024 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3270 0 0 0 26366 921 0 0 25 0 1 0 1847672069 15179776 3186 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3706 3186 413 48 0 3658 0
[pid=10388] vsize: 14824
Current children cumulated CPU time (s) 272.88
Current children cumulated vsize (Kb) 16952
[startup+300.024 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3355 0 0 0 27284 950 0 0 25 0 1 0 1847672069 15179776 3271 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3706 3271 413 48 0 3658 0
[pid=10388] vsize: 14824
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (Kb) 16952
[startup+310.025 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3424 0 0 0 28218 972 0 0 25 0 1 0 1847672069 15314944 3340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3739 3340 413 48 0 3691 0
[pid=10388] vsize: 14956
Current children cumulated CPU time (s) 291.91
Current children cumulated vsize (Kb) 17084
[startup+320.025 s]
Raw data (loadavg): 1.02 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3480 0 0 0 29151 994 0 0 25 0 1 0 1847672069 15450112 3396 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 3772 3396 413 48 0 3724 0
[pid=10388] vsize: 15088
Current children cumulated CPU time (s) 301.46
Current children cumulated vsize (Kb) 17216
[startup+330.025 s]
Raw data (loadavg): 1.02 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3579 0 0 0 30081 1020 0 0 25 0 1 0 1847672069 16408576 3495 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4006 3495 413 48 0 3958 0
[pid=10388] vsize: 16024
Current children cumulated CPU time (s) 311.02
Current children cumulated vsize (Kb) 18152
[startup+340.026 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3670 0 0 0 31022 1039 0 0 25 0 1 0 1847672069 16678912 3586 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4072 3586 413 48 0 4024 0
[pid=10388] vsize: 16288
Current children cumulated CPU time (s) 320.62
Current children cumulated vsize (Kb) 18416
[startup+350.027 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3746 0 0 0 31954 1063 0 0 25 0 1 0 1847672069 16678912 3662 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4072 3662 413 48 0 4024 0
[pid=10388] vsize: 16288
Current children cumulated CPU time (s) 330.18
Current children cumulated vsize (Kb) 18416
[startup+360.027 s]
Raw data (loadavg): 1.01 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3824 0 0 0 32887 1086 0 0 25 0 1 0 1847672069 16814080 3740 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4105 3740 413 48 0 4057 0
[pid=10388] vsize: 16420
Current children cumulated CPU time (s) 339.74
Current children cumulated vsize (Kb) 18548
[startup+370.028 s]
Raw data (loadavg): 1.01 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3861 0 0 0 33825 1106 0 0 25 0 1 0 1847672069 17784832 3777 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4342 3777 413 48 0 4294 0
[pid=10388] vsize: 17368
Current children cumulated CPU time (s) 349.32
Current children cumulated vsize (Kb) 19496
[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3869 0 0 0 34760 1131 0 0 25 0 1 0 1847672069 17788928 3785 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4343 3785 413 48 0 4295 0
[pid=10388] vsize: 17372
Current children cumulated CPU time (s) 358.92
Current children cumulated vsize (Kb) 19500
[startup+390.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10388
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1847672061 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 242 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10388/stat): 10388 (vallst) T 10385 10385 20115 0 -1 0 3872 0 0 0 35683 1161 0 0 25 0 1 0 1847672069 17788928 3788 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10388/statm): 4343 3788 413 48 0 4295 0
[pid=10388] vsize: 17372
Current children cumulated CPU time (s) 368.45
Current children cumulated vsize (Kb) 19500
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=10388) exited with status: 2
New process pid=10389
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=10389) exited with status: 0
New process pid=10390
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+400.031 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1022 0 0 0 403 13 0 0 25 0 1 0 1847711632 6324224 992 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 1544 992 413 48 0 1496 0
[pid=10390] vsize: 6176
Current children cumulated CPU time (s) 377.98
Current children cumulated vsize (Kb) 8304
[startup+410.032 s]
Raw data (loadavg): 1.00 0.99 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1045 0 0 0 1335 36 0 0 25 0 1 0 1847711632 6488064 1015 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 1584 1015 413 48 0 1536 0
[pid=10390] vsize: 6336
Current children cumulated CPU time (s) 387.53
Current children cumulated vsize (Kb) 8464
[startup+420.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 1250 0 0 0 2251 67 0 0 20 0 1 0 1847711632 12083200 1220 4294967295 134512640 134702520 3221223712 3221222832 134573359 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 2950 1220 413 48 0 2902 0
[pid=10390] vsize: 11800
Current children cumulated CPU time (s) 397
Current children cumulated vsize (Kb) 13928
[startup+430.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 1280 0 0 0 3160 100 0 0 25 0 1 0 1847711632 12226560 1250 4294967295 134512640 134702520 3221223712 3221003808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 2985 1250 413 48 0 2937 0
[pid=10390] vsize: 11940
Current children cumulated CPU time (s) 406.42
Current children cumulated vsize (Kb) 14068
[startup+440.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 1522 0 0 0 4063 136 0 0 25 0 1 0 1847711632 12361728 1492 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3018 1492 413 48 0 2970 0
[pid=10390] vsize: 12072
Current children cumulated CPU time (s) 415.81
Current children cumulated vsize (Kb) 14200
[startup+450.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2305 0 0 0 4953 178 0 0 25 0 1 0 1847711632 12632064 2275 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3084 2275 413 48 0 3036 0
[pid=10390] vsize: 12336
Current children cumulated CPU time (s) 425.13
Current children cumulated vsize (Kb) 14464
[startup+460.037 s]
Raw data (loadavg): 1.07 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2632 0 0 0 5862 207 0 0 25 0 1 0 1847711632 12767232 2602 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3117 2602 413 48 0 3069 0
[pid=10390] vsize: 12468
Current children cumulated CPU time (s) 434.51
Current children cumulated vsize (Kb) 14596
[startup+470.038 s]
Raw data (loadavg): 1.06 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2683 0 0 0 6769 242 0 0 25 0 1 0 1847711632 13037568 2653 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2653 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 443.93
Current children cumulated vsize (Kb) 14860
[startup+480.04 s]
Raw data (loadavg): 1.05 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2693 0 0 0 7690 270 0 0 25 0 1 0 1847711632 13037568 2663 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2663 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 453.42
Current children cumulated vsize (Kb) 14860
[startup+490.04 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2693 0 0 0 8605 299 0 0 25 0 1 0 1847711632 13037568 2663 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2663 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 462.86
Current children cumulated vsize (Kb) 14860
[startup+500.042 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2696 0 0 0 9510 332 0 0 25 0 1 0 1847711632 13037568 2666 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3183 2666 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 472.24
Current children cumulated vsize (Kb) 14860
[startup+510.043 s]
Raw data (loadavg): 1.03 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2701 0 0 0 10405 370 0 0 25 0 1 0 1847711632 13037568 2671 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3183 2671 413 48 0 3135 0
[pid=10390] vsize: 12732
Current children cumulated CPU time (s) 481.57
Current children cumulated vsize (Kb) 14860
[startup+520.043 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2709 0 0 0 11302 408 0 0 25 0 1 0 1847711632 13148160 2679 4294967295 134512640 134702520 3221223712 3221111648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2679 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 490.92
Current children cumulated vsize (Kb) 14968
[startup+530.044 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2715 0 0 0 12202 445 0 0 25 0 1 0 1847711632 13148160 2685 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2685 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 500.29
Current children cumulated vsize (Kb) 14968
[startup+540.045 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2718 0 0 0 13121 473 0 0 25 0 1 0 1847711632 13148160 2688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2688 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 509.76
Current children cumulated vsize (Kb) 14968
[startup+550.045 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2718 0 0 0 14021 507 0 0 25 0 1 0 1847711632 13148160 2688 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2688 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 519.1
Current children cumulated vsize (Kb) 14968
[startup+560.046 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2721 0 0 0 14909 545 0 0 25 0 1 0 1847711632 13148160 2691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2691 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 528.36
Current children cumulated vsize (Kb) 14968
[startup+570.047 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2728 0 0 0 15802 582 0 0 25 0 1 0 1847711632 13148160 2698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3210 2698 413 48 0 3162 0
[pid=10390] vsize: 12840
Current children cumulated CPU time (s) 537.66
Current children cumulated vsize (Kb) 14968
[startup+580.048 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 2743 0 0 0 16708 615 0 0 20 0 1 0 1847711632 13279232 2713 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3242 2713 413 48 0 3194 0
[pid=10390] vsize: 12968
Current children cumulated CPU time (s) 547.05
Current children cumulated vsize (Kb) 15096
[startup+590.048 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2760 0 0 0 17610 650 0 0 25 0 1 0 1847711632 13279232 2730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3242 2730 413 48 0 3194 0
[pid=10390] vsize: 12968
Current children cumulated CPU time (s) 556.42
Current children cumulated vsize (Kb) 15096
[startup+600.05 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2767 0 0 0 18507 686 0 0 21 0 1 0 1847711632 13418496 2737 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3276 2737 413 48 0 3228 0
[pid=10390] vsize: 13104
Current children cumulated CPU time (s) 565.75
Current children cumulated vsize (Kb) 15232
[startup+610.051 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2769 0 0 0 19423 715 0 0 25 0 1 0 1847711632 13418496 2739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3276 2739 413 48 0 3228 0
[pid=10390] vsize: 13104
Current children cumulated CPU time (s) 575.2
Current children cumulated vsize (Kb) 15232
[startup+620.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2786 0 0 0 20327 750 0 0 25 0 1 0 1847711632 13385728 2756 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3268 2756 413 48 0 3220 0
[pid=10390] vsize: 13072
Current children cumulated CPU time (s) 584.59
Current children cumulated vsize (Kb) 15200
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2826 0 0 0 21251 777 0 0 25 0 1 0 1847711632 13520896 2796 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3301 2796 413 48 0 3253 0
[pid=10390] vsize: 13204
Current children cumulated CPU time (s) 594.1
Current children cumulated vsize (Kb) 15332
[startup+640.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2876 0 0 0 22178 802 0 0 25 0 1 0 1847711632 13791232 2846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3367 2846 413 48 0 3319 0
[pid=10390] vsize: 13468
Current children cumulated CPU time (s) 603.62
Current children cumulated vsize (Kb) 15596
[startup+650.054 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2904 0 0 0 23099 829 0 0 25 0 1 0 1847711632 13926400 2874 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3400 2874 413 48 0 3352 0
[pid=10390] vsize: 13600
Current children cumulated CPU time (s) 613.1
Current children cumulated vsize (Kb) 15728
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2920 0 0 0 24031 851 0 0 25 0 1 0 1847711632 13926400 2890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3400 2890 413 48 0 3352 0
[pid=10390] vsize: 13600
Current children cumulated CPU time (s) 622.64
Current children cumulated vsize (Kb) 15728
[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 2925 0 0 0 24924 889 0 0 25 0 1 0 1847711632 14073856 2895 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3436 2895 413 48 0 3388 0
[pid=10390] vsize: 13744
Current children cumulated CPU time (s) 631.95
Current children cumulated vsize (Kb) 15872
[startup+680.057 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3010 0 0 0 25805 930 0 0 25 0 1 0 1847711632 14045184 2980 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3429 2980 413 48 0 3381 0
[pid=10390] vsize: 13716
Current children cumulated CPU time (s) 641.17
Current children cumulated vsize (Kb) 15844
[startup+690.058 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3078 0 0 0 26713 962 0 0 23 0 1 0 1847711632 14802944 3048 4294967295 134512640 134702520 3221223712 3221205568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3614 3048 413 48 0 3566 0
[pid=10390] vsize: 14456
Current children cumulated CPU time (s) 650.57
Current children cumulated vsize (Kb) 16584
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3136 0 0 0 27630 993 0 0 25 0 1 0 1847711632 14938112 3106 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3647 3106 413 48 0 3599 0
[pid=10390] vsize: 14588
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 16716
[startup+710.059 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3222 0 0 0 28554 1022 0 0 25 0 1 0 1847711632 15073280 3192 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3680 3192 413 48 0 3632 0
[pid=10390] vsize: 14720
Current children cumulated CPU time (s) 669.58
Current children cumulated vsize (Kb) 16848
[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3256 0 0 0 29472 1050 0 0 25 0 1 0 1847711632 15073280 3226 4294967295 134512640 134702520 3221223712 3221222992 134550704 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3680 3226 413 48 0 3632 0
[pid=10390] vsize: 14720
Current children cumulated CPU time (s) 679.04
Current children cumulated vsize (Kb) 16848
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3323 0 0 0 30392 1079 0 0 25 0 1 0 1847711632 15831040 3293 4294967295 134512640 134702520 3221223712 3221156608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3865 3293 413 48 0 3817 0
[pid=10390] vsize: 15460
Current children cumulated CPU time (s) 688.53
Current children cumulated vsize (Kb) 17588
[startup+740.062 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3337 0 0 0 31324 1103 0 0 25 0 1 0 1847711632 15966208 3307 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3898 3307 413 48 0 3850 0
[pid=10390] vsize: 15592
Current children cumulated CPU time (s) 698.09
Current children cumulated vsize (Kb) 17720
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3384 0 0 0 32256 1127 0 0 21 0 1 0 1847711632 15966208 3354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/10390/statm): 3898 3354 413 48 0 3850 0
[pid=10390] vsize: 15592
Current children cumulated CPU time (s) 707.65
Current children cumulated vsize (Kb) 17720
[startup+760.064 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3457 0 0 0 33170 1157 0 0 25 0 1 0 1847711632 16101376 3427 4294967295 134512640 134702520 3221223712 3221093388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3427 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 717.09
Current children cumulated vsize (Kb) 17852
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3461 0 0 0 34090 1185 0 0 25 0 1 0 1847711632 16101376 3431 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3431 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 726.57
Current children cumulated vsize (Kb) 17852
[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3461 0 0 0 35006 1215 0 0 25 0 1 0 1847711632 16101376 3431 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3431 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 736.03
Current children cumulated vsize (Kb) 17852
[startup+790.068 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3473 0 0 0 35947 1237 0 0 25 0 1 0 1847711632 16101376 3443 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3443 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 745.66
Current children cumulated vsize (Kb) 17852
[startup+800.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3476 0 0 0 36855 1268 0 0 25 0 1 0 1847711632 16101376 3446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3931 3446 413 48 0 3883 0
[pid=10390] vsize: 15724
Current children cumulated CPU time (s) 755.05
Current children cumulated vsize (Kb) 17852
[startup+810.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3487 0 0 0 37765 1300 0 0 25 0 1 0 1847711632 16236544 3457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3457 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 764.47
Current children cumulated vsize (Kb) 17984
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3506 0 0 0 38686 1329 0 0 25 0 1 0 1847711632 16236544 3476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3476 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 773.97
Current children cumulated vsize (Kb) 17984
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3509 0 0 0 39604 1358 0 0 25 0 1 0 1847711632 16236544 3479 4294967295 134512640 134702520 3221223712 3221222736 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3479 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 783.44
Current children cumulated vsize (Kb) 17984
[startup+840.072 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3513 0 0 0 40513 1390 0 0 21 0 1 0 1847711632 16236544 3483 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3964 3483 413 48 0 3916 0
[pid=10390] vsize: 15856
Current children cumulated CPU time (s) 792.85
Current children cumulated vsize (Kb) 17984
[startup+850.073 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3517 0 0 0 41432 1421 0 0 25 0 1 0 1847711632 16359424 3487 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3487 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 802.35
Current children cumulated vsize (Kb) 18104
[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3525 0 0 0 42339 1453 0 0 25 0 1 0 1847711632 16359424 3495 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3495 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 811.74
Current children cumulated vsize (Kb) 18104
[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3533 0 0 0 43255 1482 0 0 21 0 1 0 1847711632 16359424 3503 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3503 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 821.19
Current children cumulated vsize (Kb) 18104
[startup+880.075 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3541 0 0 0 44190 1506 0 0 25 0 1 0 1847711632 16359424 3511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 3994 3511 413 48 0 3946 0
[pid=10390] vsize: 15976
Current children cumulated CPU time (s) 830.78
Current children cumulated vsize (Kb) 18104
[startup+890.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3551 0 0 0 45106 1535 0 0 25 0 1 0 1847711632 16494592 3521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4027 3521 413 48 0 3979 0
[pid=10390] vsize: 16108
Current children cumulated CPU time (s) 840.23
Current children cumulated vsize (Kb) 18236
[startup+900.078 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3582 0 0 0 46036 1559 0 0 25 0 1 0 1847711632 16629760 3552 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3552 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 18368
[startup+910.079 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3591 0 0 0 46959 1582 0 0 25 0 1 0 1847711632 16629760 3561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3561 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 859.23
Current children cumulated vsize (Kb) 18368
[startup+920.08 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3593 0 0 0 47873 1612 0 0 25 0 1 0 1847711632 16629760 3563 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4060 3563 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 868.67
Current children cumulated vsize (Kb) 18368
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3602 0 0 0 48804 1637 0 0 25 0 1 0 1847711632 16629760 3572 4294967295 134512640 134702520 3221223712 3220978668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4060 3572 413 48 0 4012 0
[pid=10390] vsize: 16240
Current children cumulated CPU time (s) 878.23
Current children cumulated vsize (Kb) 18368
[startup+940.082 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3607 0 0 0 49722 1665 0 0 25 0 1 0 1847711632 16777216 3577 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4096 3577 413 48 0 4048 0
[pid=10390] vsize: 16384
Current children cumulated CPU time (s) 887.69
Current children cumulated vsize (Kb) 18512
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3607 0 0 0 50630 1696 0 0 25 0 1 0 1847711632 16715776 3577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3577 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 897.08
Current children cumulated vsize (Kb) 18452
[startup+960.085 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3609 0 0 0 51533 1732 0 0 25 0 1 0 1847711632 16715776 3579 4294967295 134512640 134702520 3221223712 3221222832 134573384 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4081 3579 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 906.47
Current children cumulated vsize (Kb) 18452
[startup+970.085 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3614 0 0 0 52443 1764 0 0 25 0 1 0 1847711632 16715776 3584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3584 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 915.89
Current children cumulated vsize (Kb) 18452
[startup+980.086 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3615 0 0 0 53344 1796 0 0 18 0 1 0 1847711632 16715776 3585 4294967295 134512640 134702520 3221223712 3221192608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4081 3585 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 925.22
Current children cumulated vsize (Kb) 18452
[startup+990.087 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3617 0 0 0 54255 1826 0 0 25 0 1 0 1847711632 16715776 3587 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4081 3587 413 48 0 4033 0
[pid=10390] vsize: 16324
Current children cumulated CPU time (s) 934.63
Current children cumulated vsize (Kb) 18452
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3640 0 0 0 55183 1853 0 0 25 0 1 0 1847711632 16850944 3610 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3610 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 944.18
Current children cumulated vsize (Kb) 18584
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3647 0 0 0 56095 1884 0 0 21 0 1 0 1847711632 16850944 3617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3617 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 953.61
Current children cumulated vsize (Kb) 18584
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3649 0 0 0 57010 1913 0 0 25 0 1 0 1847711632 16850944 3619 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3619 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 963.05
Current children cumulated vsize (Kb) 18584
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3657 0 0 0 57915 1947 0 0 25 0 1 0 1847711632 16850944 3627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4114 3627 413 48 0 4066 0
[pid=10390] vsize: 16456
Current children cumulated CPU time (s) 972.44
Current children cumulated vsize (Kb) 18584
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3662 0 0 0 58824 1979 0 0 25 0 1 0 1847711632 16953344 3632 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3632 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 981.85
Current children cumulated vsize (Kb) 18684
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3670 0 0 0 59734 2014 0 0 25 0 1 0 1847711632 16953344 3640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3640 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 991.3
Current children cumulated vsize (Kb) 18684
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3678 0 0 0 60644 2046 0 0 25 0 1 0 1847711632 16953344 3648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3648 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 1000.72
Current children cumulated vsize (Kb) 18684
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3692 0 0 0 61564 2074 0 0 25 0 1 0 1847711632 16953344 3662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4139 3662 413 48 0 4091 0
[pid=10390] vsize: 16556
Current children cumulated CPU time (s) 1010.2
Current children cumulated vsize (Kb) 18684
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3695 0 0 0 62443 2114 0 0 25 0 1 0 1847711632 17088512 3665 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3665 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1019.39
Current children cumulated vsize (Kb) 18816
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3702 0 0 0 63360 2142 0 0 25 0 1 0 1847711632 17088512 3672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3672 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1028.84
Current children cumulated vsize (Kb) 18816
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3702 0 0 0 64271 2172 0 0 25 0 1 0 1847711632 17088512 3672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4172 3672 413 48 0 4124 0
[pid=10390] vsize: 16688
Current children cumulated CPU time (s) 1038.25
Current children cumulated vsize (Kb) 18816
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) R 10385 10385 20115 0 -1 0 3703 0 0 0 65155 2214 0 0 25 0 1 0 1847711632 17092608 3673 4294967295 134512640 134702520 3221223712 3221222992 134553093 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10390/statm): 4173 3673 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1047.51
Current children cumulated vsize (Kb) 18820
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3707 0 0 0 66042 2254 0 0 25 0 1 0 1847711632 17092608 3677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3677 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1056.78
Current children cumulated vsize (Kb) 18820
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3714 0 0 0 66956 2286 0 0 25 0 1 0 1847711632 17092608 3684 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3684 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1066.24
Current children cumulated vsize (Kb) 18820
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3716 0 0 0 67847 2324 0 0 25 0 1 0 1847711632 17092608 3686 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3686 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1075.53
Current children cumulated vsize (Kb) 18820
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3721 0 0 0 68744 2358 0 0 25 0 1 0 1847711632 17092608 3691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3691 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1084.84
Current children cumulated vsize (Kb) 18820
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3723 0 0 0 69620 2400 0 0 18 0 1 0 1847711632 17092608 3693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4173 3693 413 48 0 4125 0
[pid=10390] vsize: 16692
Current children cumulated CPU time (s) 1094.02
Current children cumulated vsize (Kb) 18820
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3726 0 0 0 70510 2440 0 0 25 0 1 0 1847711632 17211392 3696 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3696 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1103.32
Current children cumulated vsize (Kb) 18936
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3730 0 0 0 71405 2476 0 0 25 0 1 0 1847711632 17211392 3700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3700 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1112.63
Current children cumulated vsize (Kb) 18936
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3732 0 0 0 72306 2509 0 0 25 0 1 0 1847711632 17211392 3702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3702 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (Kb) 18936
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3732 0 0 0 73200 2546 0 0 25 0 1 0 1847711632 17211392 3702 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3702 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1131.28
Current children cumulated vsize (Kb) 18936
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10390
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 378 4247 0 0 2 1 36200 1179 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10390/stat): 10390 (vallst) T 10385 10385 20115 0 -1 0 3736 0 0 0 74121 2573 0 0 25 0 1 0 1847711632 17211392 3706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10390/statm): 4202 3706 413 48 0 4154 0
[pid=10390] vsize: 16808
Current children cumulated CPU time (s) 1140.76
Current children cumulated vsize (Kb) 18936
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=10390) exited with status: 2
New process pid=10391
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=10391) exited with status: 0
New process pid=10392
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+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 998 0 0 0 631 24 0 0 25 0 1 0 1847793395 5967872 969 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 1457 969 413 48 0 1409 0
[pid=10392] vsize: 5828
Current children cumulated CPU time (s) 1150.19
Current children cumulated vsize (Kb) 7956
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 999 0 0 0 1542 55 0 0 25 0 1 0 1847793395 5967872 970 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 1457 970 413 48 0 1409 0
[pid=10392] vsize: 5828
Current children cumulated CPU time (s) 1159.61
Current children cumulated vsize (Kb) 7956
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 1235 0 0 0 2425 94 0 0 25 0 1 0 1847793395 10469376 1206 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2556 1206 413 48 0 2508 0
[pid=10392] vsize: 10224
Current children cumulated CPU time (s) 1168.83
Current children cumulated vsize (Kb) 12352
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) R 10385 10385 20115 0 -1 0 1349 0 0 0 3311 136 0 0 25 0 1 0 1847793395 10588160 1320 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/10392/statm): 2585 1320 413 48 0 2537 0
[pid=10392] vsize: 10340
Current children cumulated CPU time (s) 1178.11
Current children cumulated vsize (Kb) 12468
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 1611 0 0 0 4191 175 0 0 19 0 1 0 1847793395 10723328 1582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2618 1582 413 48 0 2570 0
[pid=10392] vsize: 10472
Current children cumulated CPU time (s) 1187.3
Current children cumulated vsize (Kb) 12600
[startup+1270.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2249 0 0 0 5092 212 0 0 25 0 1 0 1847793395 10964992 2220 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2220 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1196.68
Current children cumulated vsize (Kb) 12836
[startup+1280.11 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2268 0 0 0 5980 249 0 0 24 0 1 0 1847793395 10964992 2239 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2239 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1205.93
Current children cumulated vsize (Kb) 12836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/57 10392
Raw data (/proc/10385/stat): 10385 (vallstSAT2005PB) S 10384 10385 20115 0 -1 0 417 8127 0 0 2 1 110597 3764 19 0 1 0 1847672061 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/10385/statm): 532 248 485 147 0 385 0
[pid=10385] vsize: 2128
Raw data (/proc/10392/stat): 10392 (vallst) T 10385 10385 20115 0 -1 0 2268 0 0 0 5980 249 0 0 24 0 1 0 1847793395 10964992 2239 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/10392/statm): 2677 2239 413 48 0 2629 0
[pid=10392] vsize: 10708
Current children cumulated CPU time (s) 1205.93
Current children cumulated vsize (Kb) 12836
Sending SIGTERM to -10385
Sleeping 2 seconds
New process pid=10394
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=10395
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/10348/stat
open syscall for file /proc/10348/status
open syscall for file /proc/10348/cmdline
open syscall for file /proc/10348/environ
open syscall for file /proc/10384/stat
open syscall for file /proc/10384/status
open syscall for file /proc/10384/cmdline
open syscall for file /proc/10384/environ
open syscall for file /proc/10385/stat
open syscall for file /proc/10385/status
open syscall for file /proc/10385/cmdline
open syscall for file /proc/10385/environ
open syscall for file /proc/10392/stat
open syscall for file /proc/10392/status
open syscall for file /proc/10392/cmdline
open syscall for file /proc/10392/environ
open syscall for file /proc/10394/stat
open syscall for file /proc/10394/status
open syscall for file /proc/10394/cmdline
open syscall for file /proc/10394/environ
open syscall for file /proc/10395/stat
open syscall for file /proc/10395/status
open syscall for file /proc/10395/cmdline
open syscall for file /proc/10395/environ
One traced child (pid=10394) exited with status: 0
One traced child (pid=10395) exited with status: 0
New process pid=10396
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=10392) exited with status: 3
One traced child (pid=10396) exited with status: 0
New process pid=10397
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=10397) exited with status: 0
One traced child (pid=10385) 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.62
CPU time (s): 1206.41
CPU user time (s): 1166.16
CPU system time (s): 40.2549
CPU usage (%): 94.2054
Max. virtual memory (cumulated for all children) (Kb): 19500