1:
seed: 0
Nr of vars set: 200 (#equs: 0)
Nr of vars set: 200 (#equs: 0)
#decisions: 28716; #end-nodes: 10273;
#proof improvement attempts: 0; #restarts: 109
Current batch, end-nodes: 96 / 107 (107)
#axs: 331, #non-axs: 0
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: 40745 (954:>=*);
#decisions: 34; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 331, #non-axs: 0
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: 40769 (930:>=*);
#decisions: 293196; #end-nodes: 134984;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 331, #non-axs: 0
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:) 40769 (930:>=*)
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: 200 (#equs: 0)
Time taken: 5 min, 6 sec
2:
seed: 0
Nr of vars set: 200 (#equs: 0)
Nr of vars set: 200 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 200 (#equs: 0)
Time taken: 14 min, 57 sec
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/3416/stat): 3416 (vallstSAT2005PB) R 3415 3416 20728 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853057479 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/3416/statm): 174 3 169 147 0 27 0
[pid=3416] 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=3417
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=3417) exited with status: 0
New process pid=3418
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=3418) exited with status: 0
New process pid=3419
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/wulflinc24/normalized-mps-v2-20-10-10teams.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 0.93 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 345 0 0 0 693 100 0 0 19 0 1 0 1853057486 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 677 315 413 48 0 629 0
[pid=3419] vsize: 2708
Current children cumulated CPU time (s) 7.95
Current children cumulated vsize (Kb) 4836
[startup+20.0051 s]
Raw data (loadavg): 0.94 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 345 0 0 0 1382 203 0 0 19 0 1 0 1853057486 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 677 315 413 48 0 629 0
[pid=3419] vsize: 2708
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (Kb) 4836
[startup+30.0058 s]
Raw data (loadavg): 0.95 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 419 0 0 0 2080 307 0 0 18 0 1 0 1853057486 3878912 389 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 947 389 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (Kb) 5916
[startup+40.0065 s]
Raw data (loadavg): 0.96 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 421 0 0 0 2772 418 0 0 19 0 1 0 1853057486 3878912 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 947 391 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 31.92
Current children cumulated vsize (Kb) 5916
[startup+50.0072 s]
Raw data (loadavg): 0.96 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 421 0 0 0 3456 523 0 0 19 0 1 0 1853057486 3878912 391 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 947 391 413 48 0 899 0
[pid=3419] vsize: 3788
Current children cumulated CPU time (s) 39.81
Current children cumulated vsize (Kb) 5916
[startup+60.0079 s]
Raw data (loadavg): 0.97 0.97 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 427 0 0 0 4188 611 0 0 18 0 1 0 1853057486 3883008 397 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 397 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 48.01
Current children cumulated vsize (Kb) 5920
[startup+70.0087 s]
Raw data (loadavg): 1.05 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 431 0 0 0 4969 685 0 0 19 0 1 0 1853057486 3883008 401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 401 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 56.56
Current children cumulated vsize (Kb) 5920
[startup+80.0094 s]
Raw data (loadavg): 1.04 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 436 0 0 0 5755 763 0 0 22 0 1 0 1853057486 3883008 406 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 406 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 65.2
Current children cumulated vsize (Kb) 5920
[startup+90.0101 s]
Raw data (loadavg): 1.03 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 436 0 0 0 6534 840 0 0 21 0 1 0 1853057486 3883008 406 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 406 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 73.76
Current children cumulated vsize (Kb) 5920
[startup+100.011 s]
Raw data (loadavg): 1.03 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 453 0 0 0 7322 916 0 0 23 0 1 0 1853057486 3883008 423 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 423 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 82.4
Current children cumulated vsize (Kb) 5920
[startup+110.012 s]
Raw data (loadavg): 1.02 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 455 0 0 0 8105 992 0 0 22 0 1 0 1853057486 3883008 425 4294967295 134512640 134702520 3221223952 3221222848 134553168 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 425 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 90.99
Current children cumulated vsize (Kb) 5920
[startup+120.012 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 455 0 0 0 8880 1068 0 0 17 0 1 0 1853057486 3883008 425 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 425 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 99.5
Current children cumulated vsize (Kb) 5920
[startup+130.013 s]
Raw data (loadavg): 1.02 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 461 0 0 0 9676 1137 0 0 22 0 1 0 1853057486 3883008 431 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 431 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 108.15
Current children cumulated vsize (Kb) 5920
[startup+140.015 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 473 0 0 0 10471 1203 0 0 22 0 1 0 1853057486 3883008 443 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 443 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (Kb) 5920
[startup+150.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 488 0 0 0 11264 1273 0 0 18 0 1 0 1853057486 3883008 458 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 458 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 125.39
Current children cumulated vsize (Kb) 5920
[startup+160.015 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 488 0 0 0 12043 1350 0 0 22 0 1 0 1853057486 3883008 458 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 458 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 133.95
Current children cumulated vsize (Kb) 5920
[startup+170.017 s]
Raw data (loadavg): 1.01 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 490 0 0 0 12832 1423 0 0 22 0 1 0 1853057486 3883008 460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 460 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 142.57
Current children cumulated vsize (Kb) 5920
[startup+180.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 492 0 0 0 13625 1491 0 0 19 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221222976 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 151.18
Current children cumulated vsize (Kb) 5920
[startup+190.018 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 492 0 0 0 14408 1567 0 0 19 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 159.77
Current children cumulated vsize (Kb) 5920
[startup+200.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 492 0 0 0 15206 1637 0 0 23 0 1 0 1853057486 3883008 462 4294967295 134512640 134702520 3221223952 3221175708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 462 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 168.45
Current children cumulated vsize (Kb) 5920
[startup+210.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 500 0 0 0 16001 1706 0 0 22 0 1 0 1853057486 3883008 470 4294967295 134512640 134702520 3221223952 3221223232 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 948 470 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 177.09
Current children cumulated vsize (Kb) 5920
[startup+220.02 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 521 0 0 0 16806 1770 0 0 22 0 1 0 1853057486 3883008 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 491 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 185.78
Current children cumulated vsize (Kb) 5920
[startup+230.021 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 521 0 0 0 17585 1844 0 0 19 0 1 0 1853057486 3883008 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 491 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 194.31
Current children cumulated vsize (Kb) 5920
[startup+240.023 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 522 0 0 0 18374 1916 0 0 21 0 1 0 1853057486 3883008 492 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 948 492 413 48 0 900 0
[pid=3419] vsize: 3792
Current children cumulated CPU time (s) 202.92
Current children cumulated vsize (Kb) 5920
[startup+250.023 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 523 0 0 0 19177 1981 0 0 23 0 1 0 1853057486 4005888 493 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 493 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 211.6
Current children cumulated vsize (Kb) 6040
[startup+260.024 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 531 0 0 0 19973 2052 0 0 22 0 1 0 1853057486 4005888 501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 501 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (Kb) 6040
[startup+270.025 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 531 0 0 0 20758 2124 0 0 21 0 1 0 1853057486 4005888 501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 501 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 228.84
Current children cumulated vsize (Kb) 6040
[startup+280.025 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 532 0 0 0 21554 2191 0 0 22 0 1 0 1853057486 4005888 502 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 502 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 237.47
Current children cumulated vsize (Kb) 6040
[startup+290.027 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 668 0 0 0 22359 2255 0 0 23 0 1 0 1853057486 4005888 638 4294967295 134512640 134702520 3221223952 3221223072 134591562 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 638 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 246.16
Current children cumulated vsize (Kb) 6040
[startup+300.028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 672 0 0 0 23174 2317 0 0 18 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221222848 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 254.93
Current children cumulated vsize (Kb) 6040
[startup+310.029 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 672 0 0 0 23950 2392 0 0 21 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 263.44
Current children cumulated vsize (Kb) 6040
[startup+320.03 s]
Raw data (loadavg): 1.00 0.99 0.98 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 672 0 0 0 24739 2468 0 0 24 0 1 0 1853057486 4005888 642 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 642 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 272.09
Current children cumulated vsize (Kb) 6040
[startup+330.031 s]
Raw data (loadavg): 1.00 0.99 0.98 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 675 0 0 0 25535 2538 0 0 21 0 1 0 1853057486 4005888 645 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 645 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 280.75
Current children cumulated vsize (Kb) 6040
[startup+340.032 s]
Raw data (loadavg): 1.07 1.00 0.99 2/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) R 3416 3416 20728 0 -1 0 677 0 0 0 26342 2607 0 0 23 0 1 0 1853057486 4005888 647 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3419/statm): 978 647 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 289.51
Current children cumulated vsize (Kb) 6040
[startup+350.033 s]
Raw data (loadavg): 1.06 1.00 0.99 1/57 3419
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1853057479 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/3416/statm): 532 242 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3419/stat): 3419 (vallst) T 3416 3416 20728 0 -1 0 678 0 0 0 27140 2677 0 0 22 0 1 0 1853057486 4005888 648 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3419/statm): 978 648 413 48 0 930 0
[pid=3419] vsize: 3912
Current children cumulated CPU time (s) 298.19
Current children cumulated vsize (Kb) 6040
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=3419) exited with status: 2
New process pid=3420
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=3420) exited with status: 0
New process pid=3421
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+360.034 s]
Raw data (loadavg): 1.05 1.00 0.99 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 307 0 0 0 26 2 0 0 20 0 1 0 1853093455 2494464 278 4294967295 134512640 134702520 3221223712 3221222976 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 609 278 413 48 0 561 0
[pid=3421] vsize: 2436
Current children cumulated CPU time (s) 306.79
Current children cumulated vsize (Kb) 4564
[startup+370.035 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 308 0 0 0 785 86 0 0 21 0 1 0 1853093455 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 609 279 413 48 0 561 0
[pid=3421] vsize: 2436
Current children cumulated CPU time (s) 315.22
Current children cumulated vsize (Kb) 4564
[startup+380.035 s]
Raw data (loadavg): 1.04 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 397 0 0 0 1548 170 0 0 21 0 1 0 1853093455 3338240 368 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 815 368 413 48 0 767 0
[pid=3421] vsize: 3260
Current children cumulated CPU time (s) 323.69
Current children cumulated vsize (Kb) 5388
[startup+390.037 s]
Raw data (loadavg): 1.03 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 415 0 0 0 2332 243 0 0 22 0 1 0 1853093455 3469312 386 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 386 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 332.26
Current children cumulated vsize (Kb) 5516
[startup+400.038 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 420 0 0 0 3120 315 0 0 21 0 1 0 1853093455 3469312 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 391 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (Kb) 5516
[startup+410.038 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 420 0 0 0 3905 386 0 0 21 0 1 0 1853093455 3469312 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 391 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 349.42
Current children cumulated vsize (Kb) 5516
[startup+420.04 s]
Raw data (loadavg): 1.09 1.02 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 430 0 0 0 4690 457 0 0 22 0 1 0 1853093455 3469312 401 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 401 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (Kb) 5516
[startup+430.041 s]
Raw data (loadavg): 1.08 1.02 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 442 0 0 0 5474 527 0 0 22 0 1 0 1853093455 3469312 413 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 413 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 366.52
Current children cumulated vsize (Kb) 5516
[startup+440.043 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 443 0 0 0 6252 603 0 0 21 0 1 0 1853093455 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 414 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 375.06
Current children cumulated vsize (Kb) 5516
[startup+450.043 s]
Raw data (loadavg): 1.05 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 443 0 0 0 7026 677 0 0 21 0 1 0 1853093455 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 414 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 383.54
Current children cumulated vsize (Kb) 5516
[startup+460.044 s]
Raw data (loadavg): 1.04 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 457 0 0 0 7820 746 0 0 22 0 1 0 1853093455 3469312 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 428 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 392.17
Current children cumulated vsize (Kb) 5516
[startup+470.046 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 564 0 0 0 8611 817 0 0 22 0 1 0 1853093455 3469312 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 535 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 400.79
Current children cumulated vsize (Kb) 5516
[startup+480.046 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 565 0 0 0 9384 891 0 0 21 0 1 0 1853093455 3469312 536 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 536 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 409.26
Current children cumulated vsize (Kb) 5516
[startup+490.048 s]
Raw data (loadavg): 1.10 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 565 0 0 0 10157 967 0 0 23 0 1 0 1853093455 3469312 536 4294967295 134512640 134702520 3221223712 3221222992 134552186 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 536 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 417.75
Current children cumulated vsize (Kb) 5516
[startup+500.049 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 568 0 0 0 10944 1043 0 0 22 0 1 0 1853093455 3469312 539 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 539 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 426.38
Current children cumulated vsize (Kb) 5516
[startup+510.05 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 571 0 0 0 11745 1112 0 0 21 0 1 0 1853093455 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 542 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 435.08
Current children cumulated vsize (Kb) 5516
[startup+520.05 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 571 0 0 0 12520 1194 0 0 21 0 1 0 1853093455 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 847 542 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 443.65
Current children cumulated vsize (Kb) 5516
[startup+530.051 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 573 0 0 0 13308 1265 0 0 22 0 1 0 1853093455 3469312 544 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 544 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 452.24
Current children cumulated vsize (Kb) 5516
[startup+540.053 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 575 0 0 0 14107 1332 0 0 22 0 1 0 1853093455 3469312 546 4294967295 134512640 134702520 3221223712 3221223260 1074652272 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 847 546 413 48 0 799 0
[pid=3421] vsize: 3388
Current children cumulated CPU time (s) 460.9
Current children cumulated vsize (Kb) 5516
[startup+550.053 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 580 0 0 0 14910 1400 0 0 22 0 1 0 1853093455 3592192 551 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 551 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 469.61
Current children cumulated vsize (Kb) 5636
[startup+560.054 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 580 0 0 0 15697 1474 0 0 22 0 1 0 1853093455 3592192 551 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 551 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 478.22
Current children cumulated vsize (Kb) 5636
[startup+570.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 581 0 0 0 16481 1550 0 0 18 0 1 0 1853093455 3592192 552 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 552 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 486.82
Current children cumulated vsize (Kb) 5636
[startup+580.055 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 584 0 0 0 17285 1617 0 0 23 0 1 0 1853093455 3592192 555 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 555 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 495.53
Current children cumulated vsize (Kb) 5636
[startup+590.057 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 586 0 0 0 18088 1686 0 0 22 0 1 0 1853093455 3592192 557 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 557 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 504.25
Current children cumulated vsize (Kb) 5636
[startup+600.059 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 587 0 0 0 18862 1767 0 0 21 0 1 0 1853093455 3592192 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 558 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (Kb) 5636
[startup+610.059 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 587 0 0 0 19652 1834 0 0 23 0 1 0 1853093455 3592192 558 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 558 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 521.37
Current children cumulated vsize (Kb) 5636
[startup+620.061 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 589 0 0 0 20454 1901 0 0 22 0 1 0 1853093455 3592192 560 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 560 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 5636
[startup+630.062 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 591 0 0 0 21259 1971 0 0 22 0 1 0 1853093455 3592192 562 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 562 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 538.81
Current children cumulated vsize (Kb) 5636
[startup+640.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 592 0 0 0 22041 2043 0 0 21 0 1 0 1853093455 3592192 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 563 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 547.35
Current children cumulated vsize (Kb) 5636
[startup+650.063 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 592 0 0 0 22824 2113 0 0 21 0 1 0 1853093455 3592192 563 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 563 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 555.88
Current children cumulated vsize (Kb) 5636
[startup+660.064 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 594 0 0 0 23634 2176 0 0 23 0 1 0 1853093455 3592192 565 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 565 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (Kb) 5636
[startup+670.066 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 596 0 0 0 24437 2242 0 0 23 0 1 0 1853093455 3592192 567 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 567 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 573.3
Current children cumulated vsize (Kb) 5636
[startup+680.066 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 597 0 0 0 25237 2310 0 0 21 0 1 0 1853093455 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 568 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (Kb) 5636
[startup+690.068 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 597 0 0 0 26015 2386 0 0 21 0 1 0 1853093455 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 568 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 590.52
Current children cumulated vsize (Kb) 5636
[startup+700.069 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 598 0 0 0 26820 2453 0 0 19 0 1 0 1853093455 3592192 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 569 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 599.24
Current children cumulated vsize (Kb) 5636
[startup+710.069 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 601 0 0 0 27634 2520 0 0 24 0 1 0 1853093455 3592192 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 572 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 608.05
Current children cumulated vsize (Kb) 5636
[startup+720.07 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 28444 2586 0 0 23 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 616.81
Current children cumulated vsize (Kb) 5636
[startup+730.071 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 29228 2664 0 0 21 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 625.43
Current children cumulated vsize (Kb) 5636
[startup+740.072 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 603 0 0 0 30019 2737 0 0 23 0 1 0 1853093455 3592192 574 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 574 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 634.07
Current children cumulated vsize (Kb) 5636
[startup+750.072 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 604 0 0 0 30832 2799 0 0 24 0 1 0 1853093455 3592192 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 877 575 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 642.82
Current children cumulated vsize (Kb) 5636
[startup+760.073 s]
Raw data (loadavg): 1.08 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 606 0 0 0 31647 2862 0 0 25 0 1 0 1853093455 3592192 577 4294967295 134512640 134702520 3221223712 3221223272 134564449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 877 577 413 48 0 829 0
[pid=3421] vsize: 3508
Current children cumulated CPU time (s) 651.6
Current children cumulated vsize (Kb) 5636
[startup+770.075 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 607 0 0 0 32443 2931 0 0 21 0 1 0 1853093455 3727360 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 910 578 413 48 0 862 0
[pid=3421] vsize: 3640
Current children cumulated CPU time (s) 660.25
Current children cumulated vsize (Kb) 5768
[startup+780.075 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 607 0 0 0 33228 3006 0 0 21 0 1 0 1853093455 3727360 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 910 578 413 48 0 862 0
[pid=3421] vsize: 3640
Current children cumulated CPU time (s) 668.85
Current children cumulated vsize (Kb) 5768
[startup+790.076 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 657 0 0 0 34032 3076 0 0 25 0 1 0 1853093455 3895296 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 951 628 413 48 0 903 0
[pid=3421] vsize: 3804
Current children cumulated CPU time (s) 677.59
Current children cumulated vsize (Kb) 5932
[startup+800.078 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 782 0 0 0 34869 3132 0 0 22 0 1 0 1853093455 4284416 753 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1046 753 413 48 0 998 0
[pid=3421] vsize: 4184
Current children cumulated CPU time (s) 686.52
Current children cumulated vsize (Kb) 6312
[startup+810.078 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 821 0 0 0 35711 3187 0 0 25 0 1 0 1853093455 4509696 791 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 791 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 695.49
Current children cumulated vsize (Kb) 6532
[startup+820.079 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 36512 3251 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 704.14
Current children cumulated vsize (Kb) 6532
[startup+830.08 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 37293 3327 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 712.71
Current children cumulated vsize (Kb) 6532
[startup+840.081 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 38121 3382 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 721.54
Current children cumulated vsize (Kb) 6532
[startup+850.081 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 38958 3441 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 730.5
Current children cumulated vsize (Kb) 6532
[startup+860.082 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 39782 3503 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 739.36
Current children cumulated vsize (Kb) 6532
[startup+870.084 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 40564 3577 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 747.92
Current children cumulated vsize (Kb) 6532
[startup+880.084 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 41349 3653 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 756.53
Current children cumulated vsize (Kb) 6532
[startup+890.086 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 42175 3711 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 765.37
Current children cumulated vsize (Kb) 6532
[startup+900.088 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 43002 3770 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 774.23
Current children cumulated vsize (Kb) 6532
[startup+910.088 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 43843 3821 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 783.15
Current children cumulated vsize (Kb) 6532
[startup+920.089 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 44611 3899 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 791.61
Current children cumulated vsize (Kb) 6532
[startup+930.09 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 45400 3971 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 800.22
Current children cumulated vsize (Kb) 6532
[startup+940.091 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 46236 4029 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 809.16
Current children cumulated vsize (Kb) 6532
[startup+950.092 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 47078 4081 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 818.1
Current children cumulated vsize (Kb) 6532
[startup+960.093 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 47907 4137 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 826.95
Current children cumulated vsize (Kb) 6532
[startup+970.095 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 48698 4208 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 835.57
Current children cumulated vsize (Kb) 6532
[startup+980.095 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 49480 4284 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 844.15
Current children cumulated vsize (Kb) 6532
[startup+990.096 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 50316 4341 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 853.08
Current children cumulated vsize (Kb) 6532
[startup+1000.1 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 51145 4399 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 861.95
Current children cumulated vsize (Kb) 6532
[startup+1010.1 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 51976 4459 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 870.86
Current children cumulated vsize (Kb) 6532
[startup+1020.1 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 52781 4524 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 879.56
Current children cumulated vsize (Kb) 6532
[startup+1030.1 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 53568 4596 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 888.15
Current children cumulated vsize (Kb) 6532
[startup+1040.1 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 54392 4658 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 897.01
Current children cumulated vsize (Kb) 6532
[startup+1050.1 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 55203 4721 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222932 134550224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 905.75
Current children cumulated vsize (Kb) 6532
[startup+1060.1 s]
Raw data (loadavg): 1.09 1.05 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 56024 4778 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 914.53
Current children cumulated vsize (Kb) 6532
[startup+1070.1 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 56829 4845 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 923.25
Current children cumulated vsize (Kb) 6532
[startup+1080.1 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 57608 4917 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 931.76
Current children cumulated vsize (Kb) 6532
[startup+1090.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 58419 4980 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134557264 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 940.5
Current children cumulated vsize (Kb) 6532
[startup+1100.11 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 59251 5037 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 949.39
Current children cumulated vsize (Kb) 6532
[startup+1110.11 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 60073 5094 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 958.18
Current children cumulated vsize (Kb) 6532
[startup+1120.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 60894 5152 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 966.97
Current children cumulated vsize (Kb) 6532
[startup+1130.11 s]
Raw data (loadavg): 1.03 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 61675 5226 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 975.52
Current children cumulated vsize (Kb) 6532
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 62469 5295 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 984.15
Current children cumulated vsize (Kb) 6532
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 63283 5359 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 992.93
Current children cumulated vsize (Kb) 6532
[startup+1160.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 64115 5418 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (Kb) 6532
[startup+1170.11 s]
Raw data (loadavg): 1.09 1.05 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 64929 5485 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1010.65
Current children cumulated vsize (Kb) 6532
[startup+1180.11 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 65734 5553 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1019.38
Current children cumulated vsize (Kb) 6532
[startup+1190.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 66512 5630 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1027.93
Current children cumulated vsize (Kb) 6532
[startup+1200.12 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 67329 5695 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1036.75
Current children cumulated vsize (Kb) 6532
[startup+1210.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 68164 5751 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1045.66
Current children cumulated vsize (Kb) 6532
[startup+1220.12 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 68988 5810 0 0 24 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222832 134588546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1054.49
Current children cumulated vsize (Kb) 6532
[startup+1230.12 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 69821 5864 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1063.36
Current children cumulated vsize (Kb) 6532
[startup+1240.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 70594 5942 0 0 20 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1071.87
Current children cumulated vsize (Kb) 6532
[startup+1250.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 71391 6014 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1080.56
Current children cumulated vsize (Kb) 6532
[startup+1260.12 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 72218 6071 0 0 23 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1089.4
Current children cumulated vsize (Kb) 6532
[startup+1270.12 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 73040 6135 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1098.26
Current children cumulated vsize (Kb) 6532
[startup+1280.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 73869 6193 0 0 22 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1107.13
Current children cumulated vsize (Kb) 6532
[startup+1290.13 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 74687 6253 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1115.91
Current children cumulated vsize (Kb) 6532
[startup+1300.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 75474 6325 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1124.5
Current children cumulated vsize (Kb) 6532
[startup+1310.13 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 76289 6385 0 0 18 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1133.25
Current children cumulated vsize (Kb) 6532
[startup+1320.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 77110 6446 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1142.07
Current children cumulated vsize (Kb) 6532
[startup+1330.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 77947 6505 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 6532
[startup+1340.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) R 3416 3416 20728 0 -1 0 828 0 0 0 78760 6569 0 0 20 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1159.8
Current children cumulated vsize (Kb) 6532
[startup+1350.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 79572 6634 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1168.57
Current children cumulated vsize (Kb) 6532
[startup+1360.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 80352 6712 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1177.15
Current children cumulated vsize (Kb) 6532
[startup+1370.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 81167 6777 0 0 21 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1185.95
Current children cumulated vsize (Kb) 6532
[startup+1380.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 81999 6836 0 0 25 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1194.86
Current children cumulated vsize (Kb) 6532
[startup+1390.14 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 82829 6897 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1203.77
Current children cumulated vsize (Kb) 6532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1390.14 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 3421
Raw data (/proc/3416/stat): 3416 (vallstSAT2005PB) S 3415 3416 20728 0 -1 0 378 1053 0 0 2 1 27897 2751 17 0 1 0 1853057479 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/3416/statm): 532 248 485 147 0 385 0
[pid=3416] vsize: 2128
Raw data (/proc/3421/stat): 3421 (vallst) T 3416 3416 20728 0 -1 0 828 0 0 0 82829 6897 0 0 19 0 1 0 1853093455 4509696 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/3421/statm): 1101 798 413 48 0 1053 0
[pid=3421] vsize: 4404
Current children cumulated CPU time (s) 1203.77
Current children cumulated vsize (Kb) 6532
Sending SIGTERM to -3416
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=3423
New process pid=3424
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=3421) exited with status: 3
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/21148/stat
open syscall for file /proc/21148/status
open syscall for file /proc/21148/cmdline
open syscall for file /proc/21148/environ
open syscall for file /proc/557/stat
open syscall for file /proc/557/status
open syscall for file /proc/557/cmdline
open syscall for file /proc/557/environ
open syscall for file /proc/584/stat
open syscall for file /proc/584/status
open syscall for file /proc/584/cmdline
open syscall for file /proc/584/environ
open syscall for file /proc/608/stat
open syscall for file /proc/608/status
open syscall for file /proc/608/cmdline
open syscall for file /proc/608/environ
open syscall for file /proc/3751/stat
open syscall for file /proc/3751/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/3751/cmdline
open syscall for file /proc/3751/environ
open syscall for file /proc/3786/stat
open syscall for file /proc/3786/status
open syscall for file /proc/3786/cmdline
open syscall for file /proc/3786/environ
open syscall for file /proc/20728/stat
open syscall for file /proc/20728/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/20728/cmdline
open syscall for file /proc/20728/environ
open syscall for file /proc/20729/stat
open syscall for file /proc/20729/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/20729/cmdline
open syscall for file /proc/20729/environ
open syscall for file /proc/20738/stat
open syscall for file /proc/20738/status
open syscall for file /proc/20738/cmdline
open syscall for file /proc/20738/environ
open syscall for file /proc/3379/stat
open syscall for file /proc/3379/status
open syscall for file /proc/3379/cmdline
open syscall for file /proc/3379/environ
open syscall for file /proc/3415/stat
open syscall for file /proc/3415/status
open syscall for file /proc/3415/cmdline
open syscall for file /proc/3415/environ
open syscall for file /proc/3416/stat
open syscall for file /proc/3416/status
open syscall for file /proc/3416/cmdline
open syscall for file /proc/3416/environ
open syscall for file /proc/3423/stat
open syscall for file /proc/3423/status
open syscall for file /proc/3423/cmdline
open syscall for file /proc/3423/environ
open syscall for file /proc/3424/stat
open syscall for file /proc/3424/status
open syscall for file /proc/3424/cmdline
open syscall for file /proc/3424/environ
One traced child (pid=3423) exited with status: 0
One traced child (pid=3424) exited with status: 0
New process pid=3425
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=3425) exited with status: 0
New process pid=3426
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=3426) exited with status: 0
One traced child (pid=3416) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1390.64
CPU time (s): 1203.93
CPU user time (s): 1107.35
CPU system time (s): 96.5793
CPU usage (%): 86.5736
Max. virtual memory (cumulated for all children) (Kb): 6532