1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 1789; #end-nodes: 1212;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 1130 / 1602 (80)
#axs: 9672, #non-axs: 294
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 473 (444:>=*);
#decisions: 304246; #end-nodes: 185983;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 10167, #non-axs: 323
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 473 (444:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 336 (#equs: 495)
Time taken: 5 min, 21 sec
2:
seed: 0
Nr of vars set: 336 (#equs: 0)
Nr of vars set: 336 (#equs: 0)
#decisions: 902375; #end-nodes: 454736;
#proof improvement attempts: 0; #restarts: 1420
Current batch, end-nodes: 18793 / 21594 (475)
#axs: 1410, #non-axs: 62362
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 22, end (keep): 37
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 423 (#equs: 0)
Time taken: 8 min, 33 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.026s 0m0.013s
13m20.241s 0m34.890s
s UNSATISFIABLE
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/8712/stat): 8712 (vallstSAT2005PB) R 8711 8712 1333 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787555378 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8712/statm): 174 3 169 147 0 27 0
[pid=8712] 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=8713
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=8713) exited with status: 0
New process pid=8714
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=8714) exited with status: 0
New process pid=8715
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/wulflinc13/normalized-ii32a1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 364 0 0 0 786 71 0 0 17 0 1 0 1787555387 2899968 334 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 708 334 413 48 0 660 0
[pid=8715] vsize: 2832
Current children cumulated CPU time (s) 8.58
Current children cumulated vsize (Kb) 4960
[startup+20.0038 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 599 0 0 0 1594 136 0 0 25 0 1 0 1787555387 4837376 569 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1181 569 413 48 0 1133 0
[pid=8715] vsize: 4724
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (Kb) 6852
[startup+30.0044 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 956 0 0 0 2521 164 0 0 25 0 1 0 1787555387 5107712 926 4294967295 134512640 134702520 3221223968 3221223088 134578861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1247 926 413 48 0 1199 0
[pid=8715] vsize: 4988
Current children cumulated CPU time (s) 26.86
Current children cumulated vsize (Kb) 7116
[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 993 0 0 0 3459 184 0 0 25 0 1 0 1787555387 5115904 963 4294967295 134512640 134702520 3221223968 3221223248 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1249 963 413 48 0 1201 0
[pid=8715] vsize: 4996
Current children cumulated CPU time (s) 36.44
Current children cumulated vsize (Kb) 7124
[startup+50.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1040 0 0 0 4386 209 0 0 19 0 1 0 1787555387 5505024 1010 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1344 1010 413 48 0 1296 0
[pid=8715] vsize: 5376
Current children cumulated CPU time (s) 45.96
Current children cumulated vsize (Kb) 7504
[startup+60.0074 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1050 0 0 0 5305 236 0 0 25 0 1 0 1787555387 5509120 1020 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1345 1020 413 48 0 1297 0
[pid=8715] vsize: 5380
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (Kb) 7508
[startup+70.0081 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1063 0 0 0 6220 266 0 0 25 0 1 0 1787555387 5521408 1033 4294967295 134512640 134702520 3221223968 3221222864 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1348 1033 413 48 0 1300 0
[pid=8715] vsize: 5392
Current children cumulated CPU time (s) 64.87
Current children cumulated vsize (Kb) 7520
[startup+80.0097 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1067 0 0 0 7125 298 0 0 25 0 1 0 1787555387 5656576 1037 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1381 1037 413 48 0 1333 0
[pid=8715] vsize: 5524
Current children cumulated CPU time (s) 74.24
Current children cumulated vsize (Kb) 7652
[startup+90.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1067 0 0 0 8095 309 0 0 25 0 1 0 1787555387 5656576 1037 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1381 1037 413 48 0 1333 0
[pid=8715] vsize: 5524
Current children cumulated CPU time (s) 84.05
Current children cumulated vsize (Kb) 7652
[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1072 0 0 0 9044 326 0 0 25 0 1 0 1787555387 5672960 1042 4294967295 134512640 134702520 3221223968 3221222864 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1042 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 93.71
Current children cumulated vsize (Kb) 7668
[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1073 0 0 0 9977 353 0 0 25 0 1 0 1787555387 5672960 1043 4294967295 134512640 134702520 3221223968 3221223360 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1043 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 103.31
Current children cumulated vsize (Kb) 7668
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1074 0 0 0 10934 369 0 0 25 0 1 0 1787555387 5672960 1044 4294967295 134512640 134702520 3221223968 3221222736 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1044 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 113.04
Current children cumulated vsize (Kb) 7668
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1074 0 0 0 11895 382 0 0 25 0 1 0 1787555387 5672960 1044 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1044 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 122.78
Current children cumulated vsize (Kb) 7668
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1075 0 0 0 12823 404 0 0 25 0 1 0 1787555387 5672960 1045 4294967295 134512640 134702520 3221223968 3221222864 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1045 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 132.28
Current children cumulated vsize (Kb) 7668
[startup+150.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1075 0 0 0 13775 422 0 0 25 0 1 0 1787555387 5672960 1045 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1045 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 141.98
Current children cumulated vsize (Kb) 7668
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 14743 434 0 0 25 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221223248 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 151.78
Current children cumulated vsize (Kb) 7668
[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 15675 458 0 0 23 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (Kb) 7668
[startup+180.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1076 0 0 0 16613 479 0 0 25 0 1 0 1787555387 5672960 1046 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1046 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 170.93
Current children cumulated vsize (Kb) 7668
[startup+190.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1077 0 0 0 17582 490 0 0 25 0 1 0 1787555387 5672960 1047 4294967295 134512640 134702520 3221223968 3221222736 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1047 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 180.73
Current children cumulated vsize (Kb) 7668
[startup+200.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1077 0 0 0 18508 517 0 0 25 0 1 0 1787555387 5672960 1047 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1047 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 190.26
Current children cumulated vsize (Kb) 7668
[startup+210.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1079 0 0 0 19430 544 0 0 22 0 1 0 1787555387 5672960 1049 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1049 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 199.75
Current children cumulated vsize (Kb) 7668
[startup+220.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1080 0 0 0 20388 557 0 0 25 0 1 0 1787555387 5672960 1050 4294967295 134512640 134702520 3221223968 3221222736 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1050 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 209.46
Current children cumulated vsize (Kb) 7668
[startup+230.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1080 0 0 0 21353 569 0 0 25 0 1 0 1787555387 5672960 1050 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 1385 1050 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 219.23
Current children cumulated vsize (Kb) 7668
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1081 0 0 0 22276 598 0 0 25 0 1 0 1787555387 5672960 1051 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1051 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 228.75
Current children cumulated vsize (Kb) 7668
[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1081 0 0 0 23206 622 0 0 25 0 1 0 1787555387 5672960 1051 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1051 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 238.29
Current children cumulated vsize (Kb) 7668
[startup+260.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1082 0 0 0 24179 632 0 0 25 0 1 0 1787555387 5672960 1052 4294967295 134512640 134702520 3221223968 3221222736 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1052 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 248.12
Current children cumulated vsize (Kb) 7668
[startup+270.026 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1082 0 0 0 25102 658 0 0 25 0 1 0 1787555387 5672960 1052 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1052 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 257.61
Current children cumulated vsize (Kb) 7668
[startup+280.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1083 0 0 0 26018 687 0 0 25 0 1 0 1787555387 5672960 1053 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1053 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 267.06
Current children cumulated vsize (Kb) 7668
[startup+290.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1084 0 0 0 26958 708 0 0 25 0 1 0 1787555387 5672960 1054 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1054 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 276.67
Current children cumulated vsize (Kb) 7668
[startup+300.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1084 0 0 0 27923 720 0 0 25 0 1 0 1787555387 5672960 1054 4294967295 134512640 134702520 3221223968 3221223248 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1054 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 286.44
Current children cumulated vsize (Kb) 7668
[startup+310.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1085 0 0 0 28846 748 0 0 25 0 1 0 1787555387 5672960 1055 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1055 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 295.95
Current children cumulated vsize (Kb) 7668
[startup+320.031 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) T 8712 8712 1333 0 -1 0 1087 0 0 0 29748 779 0 0 25 0 1 0 1787555387 5672960 1057 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1057 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 305.28
Current children cumulated vsize (Kb) 7668
[startup+330.032 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 8715
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 330 232 0 0 1 0 0 0 16 0 1 0 1787555378 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 242 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8715/stat): 8715 (vallst) R 8712 8712 1333 0 -1 0 1087 0 0 0 30709 792 0 0 25 0 1 0 1787555387 5672960 1057 4294967295 134512640 134702520 3221223968 3221222736 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8715/statm): 1385 1057 413 48 0 1337 0
[pid=8715] vsize: 5540
Current children cumulated CPU time (s) 315.02
Current children cumulated vsize (Kb) 7668
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=8715) exited with status: 2
New process pid=8716
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=8716) exited with status: 0
New process pid=8717
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+340.033 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 244 0 0 0 290 19 0 0 24 0 1 0 1787589037 2666496 215 4294967295 134512640 134702520 3221223712 3221222720 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 651 215 413 48 0 603 0
[pid=8717] vsize: 2604
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (Kb) 4732
[startup+350.034 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 244 0 0 0 1206 50 0 0 25 0 1 0 1787589037 2666496 215 4294967295 134512640 134702520 3221223712 3221222720 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 651 215 413 48 0 603 0
[pid=8717] vsize: 2604
Current children cumulated CPU time (s) 334.02
Current children cumulated vsize (Kb) 4732
[startup+360.035 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 293 0 0 0 2057 98 0 0 21 0 1 0 1787589037 4280320 264 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 264 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 343.01
Current children cumulated vsize (Kb) 6308
[startup+370.036 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 297 0 0 0 2901 148 0 0 19 0 1 0 1787589037 4280320 268 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 268 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 351.95
Current children cumulated vsize (Kb) 6308
[startup+380.036 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 297 0 0 0 3812 177 0 0 25 0 1 0 1787589037 4280320 268 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 268 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 361.35
Current children cumulated vsize (Kb) 6308
[startup+390.036 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 300 0 0 0 4643 232 0 0 19 0 1 0 1787589037 4280320 271 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 271 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 370.21
Current children cumulated vsize (Kb) 6308
[startup+400.038 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 303 0 0 0 5489 285 0 0 25 0 1 0 1787589037 4280320 274 4294967295 134512640 134702520 3221223712 3221222480 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 274 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 379.2
Current children cumulated vsize (Kb) 6308
[startup+410.038 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 303 0 0 0 6409 312 0 0 25 0 1 0 1787589037 4280320 274 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 274 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 6308
[startup+420.038 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 310 0 0 0 7227 371 0 0 23 0 1 0 1787589037 4280320 281 4294967295 134512640 134702520 3221223712 3221222480 134553045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 281 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 397.44
Current children cumulated vsize (Kb) 6308
[startup+430.04 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 311 0 0 0 8072 422 0 0 25 0 1 0 1787589037 4280320 282 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 282 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 406.4
Current children cumulated vsize (Kb) 6308
[startup+440.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 311 0 0 0 8986 453 0 0 25 0 1 0 1787589037 4280320 282 4294967295 134512640 134702520 3221223712 3221222480 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 282 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 415.85
Current children cumulated vsize (Kb) 6308
[startup+450.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 317 0 0 0 9785 523 0 0 24 0 1 0 1787589037 4280320 288 4294967295 134512640 134702520 3221223712 3221222480 134557208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 288 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 424.54
Current children cumulated vsize (Kb) 6308
[startup+460.042 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 320 0 0 0 10626 577 0 0 25 0 1 0 1787589037 4280320 291 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 291 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 433.49
Current children cumulated vsize (Kb) 6308
[startup+470.042 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 320 0 0 0 11537 607 0 0 24 0 1 0 1787589037 4280320 291 4294967295 134512640 134702520 3221223712 3221222352 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 291 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 442.9
Current children cumulated vsize (Kb) 6308
[startup+480.043 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 340 0 0 0 12327 675 0 0 25 0 1 0 1787589037 4280320 311 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1045 311 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 451.48
Current children cumulated vsize (Kb) 6308
[startup+490.044 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 343 0 0 0 13165 730 0 0 25 0 1 0 1787589037 4280320 314 4294967295 134512640 134702520 3221223712 3221222480 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 314 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 460.41
Current children cumulated vsize (Kb) 6308
[startup+500.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 343 0 0 0 14078 762 0 0 23 0 1 0 1787589037 4280320 314 4294967295 134512640 134702520 3221223712 3221222480 134552197 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 314 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 6308
[startup+510.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 344 0 0 0 14854 840 0 0 21 0 1 0 1787589037 4280320 315 4294967295 134512640 134702520 3221223712 3221222444 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1045 315 413 48 0 997 0
[pid=8717] vsize: 4180
Current children cumulated CPU time (s) 478.4
Current children cumulated vsize (Kb) 6308
[startup+520.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 345 0 0 0 15687 896 0 0 25 0 1 0 1787589037 4407296 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 316 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 487.29
Current children cumulated vsize (Kb) 6432
[startup+530.047 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 345 0 0 0 16602 923 0 0 25 0 1 0 1787589037 4407296 316 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 316 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 496.71
Current children cumulated vsize (Kb) 6432
[startup+540.048 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 346 0 0 0 17375 997 0 0 22 0 1 0 1787589037 4407296 317 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 317 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 505.18
Current children cumulated vsize (Kb) 6432
[startup+550.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 347 0 0 0 18199 1053 0 0 25 0 1 0 1787589037 4407296 318 4294967295 134512640 134702520 3221223712 3221222480 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 318 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 513.98
Current children cumulated vsize (Kb) 6432
[startup+560.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 347 0 0 0 19112 1083 0 0 25 0 1 0 1787589037 4407296 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 318 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 523.41
Current children cumulated vsize (Kb) 6432
[startup+570.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 351 0 0 0 19875 1163 0 0 17 0 1 0 1787589037 4407296 322 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 322 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 531.84
Current children cumulated vsize (Kb) 6432
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 360 0 0 0 20685 1229 0 0 20 0 1 0 1787589037 4407296 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 331 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 540.6
Current children cumulated vsize (Kb) 6432
[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 360 0 0 0 21602 1259 0 0 25 0 1 0 1787589037 4407296 331 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 331 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 550.07
Current children cumulated vsize (Kb) 6432
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 364 0 0 0 22385 1328 0 0 22 0 1 0 1787589037 4407296 335 4294967295 134512640 134702520 3221223712 3221222608 134552799 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 335 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 558.59
Current children cumulated vsize (Kb) 6432
[startup+610.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 366 0 0 0 23152 1408 0 0 25 0 1 0 1787589037 4407296 337 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 337 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 567.06
Current children cumulated vsize (Kb) 6432
[startup+620.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 366 0 0 0 24070 1436 0 0 25 0 1 0 1787589037 4407296 337 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 337 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 576.52
Current children cumulated vsize (Kb) 6432
[startup+630.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 368 0 0 0 24891 1494 0 0 20 0 1 0 1787589037 4407296 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 339 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 585.31
Current children cumulated vsize (Kb) 6432
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 373 0 0 0 25638 1578 0 0 21 0 1 0 1787589037 4407296 344 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 344 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 593.62
Current children cumulated vsize (Kb) 6432
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 373 0 0 0 26547 1610 0 0 25 0 1 0 1787589037 4407296 344 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 344 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 603.03
Current children cumulated vsize (Kb) 6432
[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 375 0 0 0 27371 1665 0 0 19 0 1 0 1787589037 4407296 346 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 346 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 611.82
Current children cumulated vsize (Kb) 6432
[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 28138 1746 0 0 25 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 620.3
Current children cumulated vsize (Kb) 6432
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 28988 1799 0 0 25 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 629.33
Current children cumulated vsize (Kb) 6432
[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 380 0 0 0 29858 1841 0 0 21 0 1 0 1787589037 4407296 351 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 351 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 638.45
Current children cumulated vsize (Kb) 6432
[startup+700.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 384 0 0 0 30608 1925 0 0 18 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 646.79
Current children cumulated vsize (Kb) 6432
[startup+710.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 384 0 0 0 31412 1989 0 0 25 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221222608 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 655.47
Current children cumulated vsize (Kb) 6432
[startup+720.065 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 384 0 0 0 32324 2018 0 0 25 0 1 0 1787589037 4407296 355 4294967295 134512640 134702520 3221223712 3221222480 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 355 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 664.88
Current children cumulated vsize (Kb) 6432
[startup+730.065 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 388 0 0 0 33071 2099 0 0 17 0 1 0 1787589037 4407296 359 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 359 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 673.16
Current children cumulated vsize (Kb) 6432
[startup+740.066 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 390 0 0 0 33805 2186 0 0 16 0 1 0 1787589037 4407296 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1076 361 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 681.37
Current children cumulated vsize (Kb) 6432
[startup+750.067 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 390 0 0 0 34723 2216 0 0 25 0 1 0 1787589037 4407296 361 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1076 361 413 48 0 1028 0
[pid=8717] vsize: 4304
Current children cumulated CPU time (s) 690.85
Current children cumulated vsize (Kb) 6432
[startup+760.067 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 611 0 0 0 35516 2281 0 0 23 0 1 0 1787589037 5361664 582 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1309 582 413 48 0 1261 0
[pid=8717] vsize: 5236
Current children cumulated CPU time (s) 699.43
Current children cumulated vsize (Kb) 7364
[startup+770.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1075 0 0 0 36362 2332 0 0 25 0 1 0 1787589037 7208960 1046 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1760 1046 413 48 0 1712 0
[pid=8717] vsize: 7040
Current children cumulated CPU time (s) 708.4
Current children cumulated vsize (Kb) 9168
[startup+780.069 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 1340 0 0 0 37270 2365 0 0 25 0 1 0 1787589037 8380416 1311 4294967295 134512640 134702520 3221223712 3221223104 134604355 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2046 1311 413 48 0 1998 0
[pid=8717] vsize: 8184
Current children cumulated CPU time (s) 717.81
Current children cumulated vsize (Kb) 10312
[startup+790.069 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1534 0 0 0 38200 2386 0 0 25 0 1 0 1787589037 9306112 1505 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2272 1505 413 48 0 2224 0
[pid=8717] vsize: 9088
Current children cumulated CPU time (s) 727.32
Current children cumulated vsize (Kb) 11216
[startup+800.071 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1628 0 0 0 39109 2419 0 0 22 0 1 0 1787589037 6029312 758 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1472 758 413 48 0 1424 0
[pid=8717] vsize: 5888
Current children cumulated CPU time (s) 736.74
Current children cumulated vsize (Kb) 8016
[startup+810.072 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1628 0 0 0 40020 2451 0 0 25 0 1 0 1787589037 6029312 758 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 1472 758 413 48 0 1424 0
[pid=8717] vsize: 5888
Current children cumulated CPU time (s) 746.17
Current children cumulated vsize (Kb) 8016
[startup+820.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 1922 0 0 0 40813 2523 0 0 23 0 1 0 1787589037 7258112 1052 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 1772 1052 413 48 0 1724 0
[pid=8717] vsize: 7088
Current children cumulated CPU time (s) 754.82
Current children cumulated vsize (Kb) 9216
[startup+830.073 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 2203 0 0 0 41693 2564 0 0 17 0 1 0 1787589037 8282112 1333 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8717/statm): 2022 1333 413 48 0 1974 0
[pid=8717] vsize: 8088
Current children cumulated CPU time (s) 764.03
Current children cumulated vsize (Kb) 10216
[startup+840.074 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 2360 0 0 0 42623 2589 0 0 25 0 1 0 1787589037 9043968 1490 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2208 1490 413 48 0 2160 0
[pid=8717] vsize: 8832
Current children cumulated CPU time (s) 773.58
Current children cumulated vsize (Kb) 10960
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 2520 0 0 0 43565 2609 0 0 25 0 1 0 1787589037 9658368 1650 4294967295 134512640 134702520 3221223712 3221223104 134603625 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2358 1650 413 48 0 2310 0
[pid=8717] vsize: 9432
Current children cumulated CPU time (s) 783.2
Current children cumulated vsize (Kb) 11560
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) T 8712 8712 1333 0 -1 0 2871 0 0 0 44513 2629 0 0 25 0 1 0 1787589037 10436608 2001 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2548 2001 413 48 0 2500 0
[pid=8717] vsize: 10192
Current children cumulated CPU time (s) 792.88
Current children cumulated vsize (Kb) 12320
[startup+870.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3104 0 0 0 45475 2644 0 0 25 0 1 0 1787589037 11051008 2234 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2698 2234 413 48 0 2650 0
[pid=8717] vsize: 10792
Current children cumulated CPU time (s) 802.65
Current children cumulated vsize (Kb) 12920
[startup+880.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3311 0 0 0 46437 2657 0 0 25 0 1 0 1787589037 11624448 2441 4294967295 134512640 134702520 3221223712 3221223104 134603373 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2838 2441 413 48 0 2790 0
[pid=8717] vsize: 11352
Current children cumulated CPU time (s) 812.4
Current children cumulated vsize (Kb) 13480
[startup+890.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3432 0 0 0 47400 2672 0 0 25 0 1 0 1787589037 12238848 2562 4294967295 134512640 134702520 3221223712 3221223104 134604379 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 2988 2562 413 48 0 2940 0
[pid=8717] vsize: 11952
Current children cumulated CPU time (s) 822.18
Current children cumulated vsize (Kb) 14080
[startup+900.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8717
Raw data (/proc/8712/stat): 8712 (vallstSAT2005PB) S 8711 8712 1333 0 -1 0 378 1462 0 0 2 0 31346 798 19 0 1 0 1787555378 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8712/statm): 532 248 485 147 0 385 0
[pid=8712] vsize: 2128
Raw data (/proc/8717/stat): 8717 (vallst) R 8712 8712 1333 0 -1 0 3552 0 0 0 48366 2685 0 0 25 0 1 0 1787589037 12648448 2682 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8717/statm): 3088 2682 413 48 0 3040 0
[pid=8717] vsize: 12352
Current children cumulated CPU time (s) 831.97
Current children cumulated vsize (Kb) 14480
One traced child (pid=8717) exited with status: 0
New process pid=8718
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc13/normalized-ii32a1.opb
One traced child (pid=8718) exited with status: 0
New process pid=8719
One traced child (pid=8719) exited with status: 127
New process pid=8720
New process pid=8721
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/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/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/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/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/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/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/8675/stat
open syscall for file /proc/8675/status
open syscall for file /proc/8675/cmdline
open syscall for file /proc/8675/environ
open syscall for file /proc/8711/stat
open syscall for file /proc/8711/status
open syscall for file /proc/8711/cmdline
open syscall for file /proc/8711/environ
open syscall for file /proc/8712/stat
open syscall for file /proc/8712/status
open syscall for file /proc/8712/cmdline
open syscall for file /proc/8712/environ
open syscall for file /proc/8720/stat
open syscall for file /proc/8720/status
open syscall for file /proc/8720/cmdline
open syscall for file /proc/8720/environ
open syscall for file /proc/8721/stat
open syscall for file /proc/8721/status
open syscall for file /proc/8721/cmdline
open syscall for file /proc/8721/environ
One traced child (pid=8720) exited with status: 0
One traced child (pid=8721) exited with status: 0
New process pid=8722
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=8722) exited with status: 0
New process pid=8723
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=8723) exited with status: 0
One traced child (pid=8712) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 903.787
CPU time (s): 835.244
CPU user time (s): 800.296
CPU system time (s): 34.9477
CPU usage (%): 92.4161
Max. virtual memory (cumulated for all children) (Kb): 14480