1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
#decisions: 533888; #end-nodes: 112163;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 249 (247)
#axs: 292, #non-axs: 369
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 5 min, 38 sec
2:
seed: 0
Nr of vars set: 192 (#equs: 0)
Nr of vars set: 192 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 192 (#equs: 0)
Time taken: 14 min, 27 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/4849/stat): 4849 (vallstSAT2005PB) R 4848 4849 4060 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 19862772 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/4849/statm): 174 3 169 147 0 27 0
[pid=4849] 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=4850
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=4850) exited with status: 0
New process pid=4851
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=4851) exited with status: 0
New process pid=4852
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/wulflinc18/normalized-mps-v2-13-7-mod010.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0024 s]
Raw data (loadavg): 0.95 1.00 0.97 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 391 0 0 0 784 70 0 0 22 0 1 0 19862781 2928640 361 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 715 361 413 48 0 667 0
[pid=4852] vsize: 2860
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (Kb) 4988
[startup+20.0033 s]
Raw data (loadavg): 1.04 1.01 0.97 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 486 0 0 0 1584 139 0 0 24 0 1 0 19862781 4321280 456 4294967295 134512640 134702520 3221223952 3221223352 134607284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1055 456 413 48 0 1007 0
[pid=4852] vsize: 4220
Current children cumulated CPU time (s) 17.25
Current children cumulated vsize (Kb) 6348
[startup+30.0042 s]
Raw data (loadavg): 1.10 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 505 0 0 0 2399 199 0 0 22 0 1 0 19862781 4345856 475 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1061 475 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 26
Current children cumulated vsize (Kb) 6372
[startup+40.0052 s]
Raw data (loadavg): 1.09 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 514 0 0 0 3224 260 0 0 24 0 1 0 19862781 4345856 484 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 484 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 34.86
Current children cumulated vsize (Kb) 6372
[startup+50.0061 s]
Raw data (loadavg): 1.07 1.03 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 527 0 0 0 4055 316 0 0 25 0 1 0 19862781 4345856 497 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 497 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 43.73
Current children cumulated vsize (Kb) 6372
[startup+60.006 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 528 0 0 0 4844 386 0 0 22 0 1 0 19862781 4345856 498 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 498 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 52.32
Current children cumulated vsize (Kb) 6372
[startup+70.0079 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 528 0 0 0 5645 453 0 0 24 0 1 0 19862781 4345856 498 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1061 498 413 48 0 1013 0
[pid=4852] vsize: 4244
Current children cumulated CPU time (s) 61
Current children cumulated vsize (Kb) 6372
[startup+80.0088 s]
Raw data (loadavg): 1.12 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 538 0 0 0 6475 507 0 0 23 0 1 0 19862781 4472832 508 4294967295 134512640 134702520 3221223952 3221223232 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 508 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 6496
[startup+90.0098 s]
Raw data (loadavg): 1.10 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 550 0 0 0 7302 565 0 0 23 0 1 0 19862781 4472832 520 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 520 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 78.69
Current children cumulated vsize (Kb) 6496
[startup+100.011 s]
Raw data (loadavg): 1.09 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 8137 618 0 0 24 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 87.57
Current children cumulated vsize (Kb) 6496
[startup+110.012 s]
Raw data (loadavg): 1.15 1.05 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 8929 691 0 0 22 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 96.22
Current children cumulated vsize (Kb) 6496
[startup+120.013 s]
Raw data (loadavg): 1.12 1.05 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 572 0 0 0 9724 761 0 0 24 0 1 0 19862781 4472832 542 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 542 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 104.87
Current children cumulated vsize (Kb) 6496
[startup+130.013 s]
Raw data (loadavg): 1.10 1.05 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 585 0 0 0 10551 821 0 0 23 0 1 0 19862781 4472832 555 4294967295 134512640 134702520 3221223952 3221223436 134608157 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1092 555 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 113.74
Current children cumulated vsize (Kb) 6496
[startup+140.014 s]
Raw data (loadavg): 1.09 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 591 0 0 0 11387 874 0 0 19 0 1 0 19862781 4472832 561 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 561 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 122.63
Current children cumulated vsize (Kb) 6496
[startup+150.015 s]
Raw data (loadavg): 1.07 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 774 0 0 0 12231 926 0 0 25 0 1 0 19862781 4472832 744 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 744 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 131.59
Current children cumulated vsize (Kb) 6496
[startup+160.016 s]
Raw data (loadavg): 1.06 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 13022 999 0 0 22 0 1 0 19862781 4472832 745 4294967295 134512640 134702520 3221223952 3221222848 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 745 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 140.23
Current children cumulated vsize (Kb) 6496
[startup+170.017 s]
Raw data (loadavg): 1.05 1.04 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 13825 1068 0 0 25 0 1 0 19862781 4472832 745 4294967295 134512640 134702520 3221223952 3221223420 1074230080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 745 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 148.95
Current children cumulated vsize (Kb) 6496
[startup+180.018 s]
Raw data (loadavg): 1.04 1.04 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 780 0 0 0 14648 1128 0 0 23 0 1 0 19862781 4472832 750 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1092 750 413 48 0 1044 0
[pid=4852] vsize: 4368
Current children cumulated CPU time (s) 157.78
Current children cumulated vsize (Kb) 6496
[startup+190.02 s]
Raw data (loadavg): 1.04 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 804 0 0 0 15490 1185 0 0 20 0 1 0 19862781 4612096 774 4294967295 134512640 134702520 3221223952 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1126 774 413 48 0 1078 0
[pid=4852] vsize: 4504
Current children cumulated CPU time (s) 166.77
Current children cumulated vsize (Kb) 6632
[startup+200.021 s]
Raw data (loadavg): 1.03 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 809 0 0 0 16321 1241 0 0 25 0 1 0 19862781 4591616 779 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 779 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 175.64
Current children cumulated vsize (Kb) 6612
[startup+210.021 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 811 0 0 0 17128 1307 0 0 22 0 1 0 19862781 4591616 781 4294967295 134512640 134702520 3221223952 3221222848 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 781 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 184.37
Current children cumulated vsize (Kb) 6612
[startup+220.023 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 811 0 0 0 17927 1376 0 0 22 0 1 0 19862781 4591616 781 4294967295 134512640 134702520 3221223952 3221223232 134552891 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 781 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 193.05
Current children cumulated vsize (Kb) 6612
[startup+230.024 s]
Raw data (loadavg): 1.02 1.03 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 815 0 0 0 18775 1425 0 0 25 0 1 0 19862781 4591616 785 4294967295 134512640 134702520 3221223952 3221222976 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 785 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 202.02
Current children cumulated vsize (Kb) 6612
[startup+240.025 s]
Raw data (loadavg): 1.01 1.03 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 820 0 0 0 19609 1482 0 0 25 0 1 0 19862781 4591616 790 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 790 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 210.93
Current children cumulated vsize (Kb) 6612
[startup+250.026 s]
Raw data (loadavg): 1.01 1.03 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 824 0 0 0 20450 1536 0 0 23 0 1 0 19862781 4591616 794 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 794 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (Kb) 6612
[startup+260.026 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 826 0 0 0 21273 1595 0 0 22 0 1 0 19862781 4591616 796 4294967295 134512640 134702520 3221223952 3221222848 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 796 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 6612
[startup+270.027 s]
Raw data (loadavg): 1.01 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 826 0 0 0 22070 1665 0 0 22 0 1 0 19862781 4591616 796 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 796 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 237.37
Current children cumulated vsize (Kb) 6612
[startup+280.028 s]
Raw data (loadavg): 1.01 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 828 0 0 0 22911 1719 0 0 25 0 1 0 19862781 4591616 798 4294967295 134512640 134702520 3221223952 3221223352 134607258 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1121 798 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 246.32
Current children cumulated vsize (Kb) 6612
[startup+290.03 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 832 0 0 0 23763 1768 0 0 25 0 1 0 19862781 4591616 802 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1121 802 413 48 0 1073 0
[pid=4852] vsize: 4484
Current children cumulated CPU time (s) 255.33
Current children cumulated vsize (Kb) 6612
[startup+300.031 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 836 0 0 0 24604 1821 0 0 24 0 1 0 19862781 4722688 806 4294967295 134512640 134702520 3221223952 3221223072 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 806 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 264.27
Current children cumulated vsize (Kb) 6740
[startup+310.032 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 840 0 0 0 25453 1872 0 0 24 0 1 0 19862781 4722688 810 4294967295 134512640 134702520 3221223952 3221222848 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 810 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 273.27
Current children cumulated vsize (Kb) 6740
[startup+320.033 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 840 0 0 0 26254 1939 0 0 22 0 1 0 19862781 4722688 810 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 810 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 281.95
Current children cumulated vsize (Kb) 6740
[startup+330.034 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 841 0 0 0 27082 1998 0 0 25 0 1 0 19862781 4722688 811 4294967295 134512640 134702520 3221223952 3221223352 134607270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 811 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 290.82
Current children cumulated vsize (Kb) 6740
[startup+340.036 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 845 0 0 0 27927 2053 0 0 23 0 1 0 19862781 4722688 815 4294967295 134512640 134702520 3221223952 3221222976 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 815 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 299.82
Current children cumulated vsize (Kb) 6740
[startup+350.037 s]
Raw data (loadavg): 1.00 1.02 0.99 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 848 0 0 0 28780 2102 0 0 25 0 1 0 19862781 4722688 818 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 818 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 308.84
Current children cumulated vsize (Kb) 6740
[startup+360.038 s]
Raw data (loadavg): 1.00 1.02 0.99 2/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) R 4849 4849 4060 0 -1 0 852 0 0 0 29625 2155 0 0 23 0 1 0 19862781 4722688 822 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4852/statm): 1153 822 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 317.82
Current children cumulated vsize (Kb) 6740
[startup+370.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 856 0 0 0 30464 2212 0 0 21 0 1 0 19862781 4722688 826 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 826 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 326.78
Current children cumulated vsize (Kb) 6740
[startup+380.04 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4852
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19862772 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 242 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4852/stat): 4852 (vallst) T 4849 4849 4060 0 -1 0 856 0 0 0 31259 2280 0 0 21 0 1 0 19862781 4722688 826 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4852/statm): 1153 826 413 48 0 1105 0
[pid=4852] vsize: 4612
Current children cumulated CPU time (s) 335.41
Current children cumulated vsize (Kb) 6740
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=4852) exited with status: 2
New process pid=4853
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=4853) exited with status: 0
New process pid=4854
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+390.041 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 351 0 0 0 537 36 0 0 23 0 1 0 19901134 2711552 321 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 662 321 413 48 0 614 0
[pid=4854] vsize: 2648
Current children cumulated CPU time (s) 344.21
Current children cumulated vsize (Kb) 4776
[startup+400.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 351 0 0 0 1349 100 0 0 23 0 1 0 19901134 2711552 321 4294967295 134512640 134702520 3221223712 3221222848 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 662 321 413 48 0 614 0
[pid=4854] vsize: 2648
Current children cumulated CPU time (s) 352.97
Current children cumulated vsize (Kb) 4776
[startup+410.042 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 523 0 0 0 2181 157 0 0 25 0 1 0 19901134 3993600 493 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 975 493 413 48 0 927 0
[pid=4854] vsize: 3900
Current children cumulated CPU time (s) 361.86
Current children cumulated vsize (Kb) 6028
[startup+420.043 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 543 0 0 0 3019 215 0 0 25 0 1 0 19901134 3993600 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 975 513 413 48 0 927 0
[pid=4854] vsize: 3900
Current children cumulated CPU time (s) 370.82
Current children cumulated vsize (Kb) 6028
[startup+430.045 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 554 0 0 0 3857 273 0 0 24 0 1 0 19901134 4120576 524 4294967295 134512640 134702520 3221223712 3221223112 134607256 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 524 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 379.78
Current children cumulated vsize (Kb) 6152
[startup+440.046 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 619 0 0 0 4682 337 0 0 17 0 1 0 19901134 4120576 589 4294967295 134512640 134702520 3221223712 3221222608 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 589 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 388.67
Current children cumulated vsize (Kb) 6152
[startup+450.047 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 619 0 0 0 5503 400 0 0 23 0 1 0 19901134 4120576 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1006 589 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 397.51
Current children cumulated vsize (Kb) 6152
[startup+460.048 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 706 0 0 0 6350 452 0 0 23 0 1 0 19901134 4120576 676 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 676 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 406.5
Current children cumulated vsize (Kb) 6152
[startup+470.05 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 715 0 0 0 7190 506 0 0 25 0 1 0 19901134 4120576 685 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 685 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 415.44
Current children cumulated vsize (Kb) 6152
[startup+480.051 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 720 0 0 0 8033 561 0 0 25 0 1 0 19901134 4120576 690 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 690 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 424.42
Current children cumulated vsize (Kb) 6152
[startup+490.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 724 0 0 0 8855 624 0 0 23 0 1 0 19901134 4120576 694 4294967295 134512640 134702520 3221223712 3221222576 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 694 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 433.27
Current children cumulated vsize (Kb) 6152
[startup+500.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 724 0 0 0 9661 689 0 0 23 0 1 0 19901134 4120576 694 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1006 694 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 441.98
Current children cumulated vsize (Kb) 6152
[startup+510.053 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 727 0 0 0 10496 743 0 0 24 0 1 0 19901134 4120576 697 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1006 697 413 48 0 958 0
[pid=4854] vsize: 4024
Current children cumulated CPU time (s) 450.87
Current children cumulated vsize (Kb) 6152
[startup+520.055 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 730 0 0 0 11334 798 0 0 25 0 1 0 19901134 4235264 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 700 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 459.8
Current children cumulated vsize (Kb) 6264
[startup+530.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 737 0 0 0 12178 852 0 0 25 0 1 0 19901134 4235264 707 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 707 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 468.78
Current children cumulated vsize (Kb) 6264
[startup+540.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 741 0 0 0 13002 913 0 0 17 0 1 0 19901134 4235264 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1034 711 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 477.63
Current children cumulated vsize (Kb) 6264
[startup+550.062 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 741 0 0 0 13810 982 0 0 23 0 1 0 19901134 4235264 711 4294967295 134512640 134702520 3221223712 3221222608 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 711 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 486.4
Current children cumulated vsize (Kb) 6264
[startup+560.062 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 744 0 0 0 14655 1035 0 0 25 0 1 0 19901134 4235264 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 714 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 495.38
Current children cumulated vsize (Kb) 6264
[startup+570.064 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 751 0 0 0 15498 1092 0 0 23 0 1 0 19901134 4235264 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1034 721 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 504.38
Current children cumulated vsize (Kb) 6264
[startup+580.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 756 0 0 0 16341 1143 0 0 25 0 1 0 19901134 4235264 726 4294967295 134512640 134702520 3221223712 3221223112 134607278 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1034 726 413 48 0 986 0
[pid=4854] vsize: 4136
Current children cumulated CPU time (s) 513.32
Current children cumulated vsize (Kb) 6264
[startup+590.065 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 759 0 0 0 17165 1204 0 0 23 0 1 0 19901134 4354048 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 729 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (Kb) 6380
[startup+600.066 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 759 0 0 0 17976 1268 0 0 23 0 1 0 19901134 4354048 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 729 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 530.92
Current children cumulated vsize (Kb) 6380
[startup+610.067 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 761 0 0 0 18812 1325 0 0 24 0 1 0 19901134 4354048 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 731 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 539.85
Current children cumulated vsize (Kb) 6380
[startup+620.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 765 0 0 0 19671 1374 0 0 25 0 1 0 19901134 4354048 735 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 735 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 548.93
Current children cumulated vsize (Kb) 6380
[startup+630.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 769 0 0 0 20514 1425 0 0 25 0 1 0 19901134 4354048 739 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1063 739 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 557.87
Current children cumulated vsize (Kb) 6380
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 773 0 0 0 21367 1478 0 0 25 0 1 0 19901134 4354048 743 4294967295 134512640 134702520 3221223712 3221223112 134607244 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 743 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 566.93
Current children cumulated vsize (Kb) 6380
[startup+650.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 775 0 0 0 22185 1543 0 0 23 0 1 0 19901134 4354048 745 4294967295 134512640 134702520 3221223712 3221222912 134617475 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 745 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 575.76
Current children cumulated vsize (Kb) 6380
[startup+660.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 777 0 0 0 23001 1606 0 0 25 0 1 0 19901134 4354048 747 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 747 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 584.55
Current children cumulated vsize (Kb) 6380
[startup+670.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 780 0 0 0 23856 1655 0 0 25 0 1 0 19901134 4354048 750 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 750 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 593.59
Current children cumulated vsize (Kb) 6380
[startup+680.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 785 0 0 0 24701 1707 0 0 25 0 1 0 19901134 4354048 755 4294967295 134512640 134702520 3221223712 3221223112 134607263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1063 755 413 48 0 1015 0
[pid=4854] vsize: 4252
Current children cumulated CPU time (s) 602.56
Current children cumulated vsize (Kb) 6380
[startup+690.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 789 0 0 0 25551 1756 0 0 24 0 1 0 19901134 4472832 759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 759 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 611.55
Current children cumulated vsize (Kb) 6496
[startup+700.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 791 0 0 0 26388 1814 0 0 23 0 1 0 19901134 4472832 761 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 761 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 620.5
Current children cumulated vsize (Kb) 6496
[startup+710.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 791 0 0 0 27205 1874 0 0 23 0 1 0 19901134 4472832 761 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 761 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 629.27
Current children cumulated vsize (Kb) 6496
[startup+720.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 794 0 0 0 28042 1929 0 0 24 0 1 0 19901134 4472832 764 4294967295 134512640 134702520 3221223712 3221222608 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 764 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 638.19
Current children cumulated vsize (Kb) 6496
[startup+730.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 797 0 0 0 28901 1976 0 0 25 0 1 0 19901134 4472832 767 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 767 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 647.25
Current children cumulated vsize (Kb) 6496
[startup+740.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 802 0 0 0 29766 2022 0 0 25 0 1 0 19901134 4472832 772 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 772 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 656.36
Current children cumulated vsize (Kb) 6496
[startup+750.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 807 0 0 0 30624 2073 0 0 25 0 1 0 19901134 4472832 777 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 777 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 665.45
Current children cumulated vsize (Kb) 6496
[startup+760.082 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 808 0 0 0 31457 2132 0 0 24 0 1 0 19901134 4472832 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1092 778 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 674.37
Current children cumulated vsize (Kb) 6496
[startup+770.083 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 808 0 0 0 32274 2194 0 0 23 0 1 0 19901134 4472832 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 778 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 683.16
Current children cumulated vsize (Kb) 6496
[startup+780.084 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 811 0 0 0 33124 2246 0 0 25 0 1 0 19901134 4472832 781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1092 781 413 48 0 1044 0
[pid=4854] vsize: 4368
Current children cumulated CPU time (s) 692.18
Current children cumulated vsize (Kb) 6496
[startup+790.085 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 816 0 0 0 33979 2294 0 0 25 0 1 0 19901134 4591616 786 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1121 786 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 701.21
Current children cumulated vsize (Kb) 6612
[startup+800.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 823 0 0 0 34834 2344 0 0 24 0 1 0 19901134 4591616 793 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 793 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 710.26
Current children cumulated vsize (Kb) 6612
[startup+810.087 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 840 0 0 0 35698 2391 0 0 25 0 1 0 19901134 4591616 810 4294967295 134512640 134702520 3221223712 3221223196 134608128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 810 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (Kb) 6612
[startup+820.089 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 848 0 0 0 36517 2453 0 0 23 0 1 0 19901134 4591616 818 4294967295 134512640 134702520 3221223712 3221222608 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 818 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 728.18
Current children cumulated vsize (Kb) 6612
[startup+830.09 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 848 0 0 0 37335 2516 0 0 24 0 1 0 19901134 4591616 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 818 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 736.99
Current children cumulated vsize (Kb) 6612
[startup+840.091 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 852 0 0 0 38199 2565 0 0 25 0 1 0 19901134 4591616 822 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 822 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 746.12
Current children cumulated vsize (Kb) 6612
[startup+850.092 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 862 0 0 0 39055 2615 0 0 25 0 1 0 19901134 4591616 832 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1121 832 413 48 0 1073 0
[pid=4854] vsize: 4484
Current children cumulated CPU time (s) 755.18
Current children cumulated vsize (Kb) 6612
[startup+860.093 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 878 0 0 0 39919 2661 0 0 24 0 1 0 19901134 4841472 848 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1182 848 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 764.28
Current children cumulated vsize (Kb) 6856
[startup+870.095 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 883 0 0 0 40758 2715 0 0 23 0 1 0 19901134 4841472 853 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 853 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 773.21
Current children cumulated vsize (Kb) 6856
[startup+880.096 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 883 0 0 0 41581 2774 0 0 23 0 1 0 19901134 4841472 853 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 853 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 782.03
Current children cumulated vsize (Kb) 6856
[startup+890.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 884 0 0 0 42436 2821 0 0 25 0 1 0 19901134 4841472 854 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 854 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 791.05
Current children cumulated vsize (Kb) 6856
[startup+900.097 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 889 0 0 0 43316 2863 0 0 22 0 1 0 19901134 4841472 859 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 859 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 800.27
Current children cumulated vsize (Kb) 6856
[startup+910.098 s]
Raw data (loadavg): 1.09 1.02 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 898 0 0 0 44181 2908 0 0 25 0 1 0 19901134 4841472 868 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 868 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 809.37
Current children cumulated vsize (Kb) 6856
[startup+920.099 s]
Raw data (loadavg): 1.08 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 903 0 0 0 45048 2954 0 0 25 0 1 0 19901134 4841472 873 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 873 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 818.5
Current children cumulated vsize (Kb) 6856
[startup+930.101 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 905 0 0 0 45875 3012 0 0 23 0 1 0 19901134 4841472 875 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1182 875 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 827.35
Current children cumulated vsize (Kb) 6856
[startup+940.102 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 905 0 0 0 46703 3068 0 0 25 0 1 0 19901134 4841472 875 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1182 875 413 48 0 1134 0
[pid=4854] vsize: 4728
Current children cumulated CPU time (s) 836.19
Current children cumulated vsize (Kb) 6856
[startup+950.103 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 911 0 0 0 47572 3112 0 0 25 0 1 0 19901134 4976640 881 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 881 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 845.32
Current children cumulated vsize (Kb) 6988
[startup+960.104 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 916 0 0 0 48426 3161 0 0 25 0 1 0 19901134 4976640 886 4294967295 134512640 134702520 3221223712 3221222992 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 886 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 854.35
Current children cumulated vsize (Kb) 6988
[startup+970.106 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 919 0 0 0 49290 3209 0 0 25 0 1 0 19901134 4976640 889 4294967295 134512640 134702520 3221223712 3221222832 134573701 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 889 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 863.47
Current children cumulated vsize (Kb) 6988
[startup+980.107 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 925 0 0 0 50141 3261 0 0 23 0 1 0 19901134 4976640 895 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 895 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 872.5
Current children cumulated vsize (Kb) 6988
[startup+990.108 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 925 0 0 0 50960 3327 0 0 23 0 1 0 19901134 4976640 895 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 895 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 881.35
Current children cumulated vsize (Kb) 6988
[startup+1000.11 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 926 0 0 0 51809 3381 0 0 25 0 1 0 19901134 4976640 896 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1215 896 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 890.38
Current children cumulated vsize (Kb) 6988
[startup+1010.11 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 929 0 0 0 52670 3429 0 0 24 0 1 0 19901134 4976640 899 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 899 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 899.47
Current children cumulated vsize (Kb) 6988
[startup+1020.11 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 934 0 0 0 53537 3474 0 0 25 0 1 0 19901134 4976640 904 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 904 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (Kb) 6988
[startup+1030.11 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 937 0 0 0 54405 3520 0 0 25 0 1 0 19901134 4976640 907 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1215 907 413 48 0 1167 0
[pid=4854] vsize: 4860
Current children cumulated CPU time (s) 917.73
Current children cumulated vsize (Kb) 6988
[startup+1040.11 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 940 0 0 0 55278 3562 0 0 25 0 1 0 19901134 5091328 910 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 910 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 926.88
Current children cumulated vsize (Kb) 7100
[startup+1050.12 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 941 0 0 0 56101 3622 0 0 23 0 1 0 19901134 5091328 911 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 911 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 935.71
Current children cumulated vsize (Kb) 7100
[startup+1060.12 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 942 0 0 0 56927 3682 0 0 25 0 1 0 19901134 5091328 912 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 912 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 944.57
Current children cumulated vsize (Kb) 7100
[startup+1070.12 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 943 0 0 0 57787 3728 0 0 25 0 1 0 19901134 5091328 913 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 913 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 953.63
Current children cumulated vsize (Kb) 7100
[startup+1080.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 947 0 0 0 58650 3775 0 0 25 0 1 0 19901134 5091328 917 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 917 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 962.73
Current children cumulated vsize (Kb) 7100
[startup+1090.12 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 948 0 0 0 59516 3824 0 0 25 0 1 0 19901134 5091328 918 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 918 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 971.88
Current children cumulated vsize (Kb) 7100
[startup+1100.12 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 950 0 0 0 60378 3873 0 0 24 0 1 0 19901134 5091328 920 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 920 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 980.99
Current children cumulated vsize (Kb) 7100
[startup+1110.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 953 0 0 0 61235 3922 0 0 23 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 990.05
Current children cumulated vsize (Kb) 7100
[startup+1120.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 953 0 0 0 62036 3991 0 0 23 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 998.75
Current children cumulated vsize (Kb) 7100
[startup+1130.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 953 0 0 0 62877 4044 0 0 25 0 1 0 19901134 5091328 923 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 923 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1007.69
Current children cumulated vsize (Kb) 7100
[startup+1140.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 954 0 0 0 63736 4093 0 0 25 0 1 0 19901134 5091328 924 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 924 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1016.77
Current children cumulated vsize (Kb) 7100
[startup+1150.13 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 957 0 0 0 64599 4142 0 0 25 0 1 0 19901134 5091328 927 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1243 927 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1025.89
Current children cumulated vsize (Kb) 7100
[startup+1160.13 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 959 0 0 0 65467 4186 0 0 25 0 1 0 19901134 5091328 929 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 929 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1035.01
Current children cumulated vsize (Kb) 7100
[startup+1170.13 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 963 0 0 0 66344 4228 0 0 25 0 1 0 19901134 5091328 933 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1243 933 413 48 0 1195 0
[pid=4854] vsize: 4972
Current children cumulated CPU time (s) 1044.2
Current children cumulated vsize (Kb) 7100
[startup+1180.13 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 967 0 0 0 67205 4275 0 0 25 0 1 0 19901134 5206016 937 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 937 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1053.28
Current children cumulated vsize (Kb) 7212
[startup+1190.13 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 970 0 0 0 68026 4335 0 0 23 0 1 0 19901134 5206016 940 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 940 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (Kb) 7212
[startup+1200.13 s]
Raw data (loadavg): 1.12 1.04 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 970 0 0 0 68830 4403 0 0 23 0 1 0 19901134 5206016 940 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 940 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1070.81
Current children cumulated vsize (Kb) 7212
[startup+1210.13 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 972 0 0 0 69682 4451 0 0 25 0 1 0 19901134 5206016 942 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 942 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1079.81
Current children cumulated vsize (Kb) 7212
[startup+1220.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 974 0 0 0 70534 4503 0 0 25 0 1 0 19901134 5206016 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 944 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1088.85
Current children cumulated vsize (Kb) 7212
[startup+1230.13 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 976 0 0 0 71399 4549 0 0 25 0 1 0 19901134 5206016 946 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 946 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1097.96
Current children cumulated vsize (Kb) 7212
[startup+1240.13 s]
Raw data (loadavg): 1.14 1.05 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 982 0 0 0 72279 4587 0 0 25 0 1 0 19901134 5206016 952 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 952 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1107.14
Current children cumulated vsize (Kb) 7212
[startup+1250.13 s]
Raw data (loadavg): 1.12 1.05 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 985 0 0 0 73142 4636 0 0 25 0 1 0 19901134 5206016 955 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 955 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1116.26
Current children cumulated vsize (Kb) 7212
[startup+1260.13 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 986 0 0 0 73991 4687 0 0 23 0 1 0 19901134 5206016 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 956 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1125.26
Current children cumulated vsize (Kb) 7212
[startup+1270.14 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 986 0 0 0 74797 4753 0 0 23 0 1 0 19901134 5206016 956 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 956 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1133.98
Current children cumulated vsize (Kb) 7212
[startup+1280.14 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 987 0 0 0 75641 4807 0 0 25 0 1 0 19901134 5206016 957 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 957 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1142.96
Current children cumulated vsize (Kb) 7212
[startup+1290.14 s]
Raw data (loadavg): 1.06 1.04 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 992 0 0 0 76509 4852 0 0 25 0 1 0 19901134 5206016 962 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1271 962 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1152.09
Current children cumulated vsize (Kb) 7212
[startup+1300.14 s]
Raw data (loadavg): 1.05 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 995 0 0 0 77379 4893 0 0 25 0 1 0 19901134 5206016 965 4294967295 134512640 134702520 3221223712 3221223196 134608143 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1271 965 413 48 0 1223 0
[pid=4854] vsize: 5084
Current children cumulated CPU time (s) 1161.2
Current children cumulated vsize (Kb) 7212
[startup+1310.14 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 999 0 0 0 78244 4938 0 0 25 0 1 0 19901134 5332992 969 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 969 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1170.3
Current children cumulated vsize (Kb) 7336
[startup+1320.14 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1001 0 0 0 79100 4989 0 0 25 0 1 0 19901134 5332992 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 971 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1179.37
Current children cumulated vsize (Kb) 7336
[startup+1330.14 s]
Raw data (loadavg): 1.10 1.05 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 1004 0 0 0 79972 5033 0 0 25 0 1 0 19901134 5332992 974 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 974 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1188.53
Current children cumulated vsize (Kb) 7336
[startup+1340.14 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) R 4849 4849 4060 0 -1 0 1005 0 0 0 80795 5094 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222608 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1197.37
Current children cumulated vsize (Kb) 7336
[startup+1350.14 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1005 0 0 0 81593 5163 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1206.04
Current children cumulated vsize (Kb) 7336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.15 s]
Raw data (loadavg): 1.07 1.05 1.00 1/56 4854
Raw data (/proc/4849/stat): 4849 (vallstSAT2005PB) S 4848 4849 4060 0 -1 0 378 1231 0 0 1 1 31541 2305 18 0 1 0 19862772 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4849/statm): 532 248 485 147 0 385 0
[pid=4849] vsize: 2128
Raw data (/proc/4854/stat): 4854 (vallst) T 4849 4849 4060 0 -1 0 1005 0 0 0 81593 5163 0 0 23 0 1 0 19901134 5332992 975 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4854/statm): 1302 975 413 48 0 1254 0
[pid=4854] vsize: 5208
Current children cumulated CPU time (s) 1206.04
Current children cumulated vsize (Kb) 7336
Sending SIGTERM to -4849
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4856
New process pid=4857
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
One traced child (pid=4854) exited with status: 3
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4810/stat
open syscall for file /proc/4810/status
open syscall for file /proc/4810/cmdline
open syscall for file /proc/4810/environ
open syscall for file /proc/4848/stat
open syscall for file /proc/4848/status
open syscall for file /proc/4848/cmdline
open syscall for file /proc/4848/environ
open syscall for file /proc/4849/stat
open syscall for file /proc/4849/status
open syscall for file /proc/4849/cmdline
open syscall for file /proc/4849/environ
open syscall for file /proc/4856/stat
open syscall for file /proc/4856/status
open syscall for file /proc/4856/cmdline
open syscall for file /proc/4856/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
One traced child (pid=4856) exited with status: 0
One traced child (pid=4857) exited with status: 0
New process pid=4858
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=4858) exited with status: 0
New process pid=4859
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=4859) exited with status: 0
One traced child (pid=4849) 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): 1350.64
CPU time (s): 1206.21
CPU user time (s): 1131.45
CPU system time (s): 74.7636
CPU usage (%): 89.3068
Max. virtual memory (cumulated for all children) (Kb): 7336