1:
seed: 0
Nr of vars set: 1292 (#equs: 0)
Nr of vars set: 2129 (#equs: 32)
#decisions: 308205; #end-nodes: 224146;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 343 (343)
#axs: 765, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: 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: 2151 (#equs: 32)
Time taken: 5 min, 14 sec
2:
seed: 0
Nr of vars set: 2151 (#equs: 0)
Nr of vars set: 2163 (#equs: 15)
#decisions: 1597887; #end-nodes: 1303974;
#proof improvement attempts: 0; #restarts: 2784
Current batch, end-nodes: 0 / 815 (815)
#axs: 749, #non-axs: 183
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 24, end (keep): 34
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 2165 (#equs: 17)
Time taken: 12 min, 3 sec
3:
seed: 0
Nr of vars set: 2165 (#equs: 0)
Nr of vars set: 2165 (#equs: 15)
Interupt request received.
#decisions: 234487; #end-nodes: 169478;
#proof improvement attempts: 0; #restarts: 688
Current batch, end-nodes: 155 / 332 (332)
#axs: 747, #non-axs: 291
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 24, end (keep): 34
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 2320 (#equs: 15)
Time taken: 2 min, 42 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/5539/stat): 5539 (vallstSAT2005PB) R 5538 5539 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20071100 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5539/statm): 174 3 169 147 0 27 0
[pid=5539] 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=5540
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=5540) exited with status: 0
New process pid=5541
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=5541) exited with status: 0
New process pid=5542
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/wulflinc23/normalized-mps-v2-13-7-set1ch.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 836 0 0 0 617 123 0 0 17 0 1 0 20071107 4550656 746 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1111 746 413 48 0 1063 0
[pid=5542] vsize: 4444
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (Kb) 6572
[startup+20.0044 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 836 0 0 0 1198 252 0 0 17 0 1 0 20071107 4550656 746 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1111 746 413 48 0 1063 0
[pid=5542] vsize: 4444
Current children cumulated CPU time (s) 14.53
Current children cumulated vsize (Kb) 6572
[startup+30.005 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 881 0 0 0 1959 329 0 0 19 0 1 0 20071107 6746112 791 4294967295 134512640 134702520 3221223952 3221179868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 791 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (Kb) 8716
[startup+40.0057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 883 0 0 0 2712 408 0 0 18 0 1 0 20071107 6746112 793 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 793 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 31.23
Current children cumulated vsize (Kb) 8716
[startup+50.0063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 883 0 0 0 3273 552 0 0 16 0 1 0 20071107 6746112 793 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 793 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (Kb) 8716
[startup+60.0069 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 886 0 0 0 4011 641 0 0 16 0 1 0 20071107 6746112 796 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 796 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 46.55
Current children cumulated vsize (Kb) 8716
[startup+70.0085 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 888 0 0 0 4856 690 0 0 15 0 1 0 20071107 6746112 798 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 798 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 55.49
Current children cumulated vsize (Kb) 8716
[startup+80.0092 s]
Raw data (loadavg): 1.15 1.04 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 888 0 0 0 5426 833 0 0 16 0 1 0 20071107 6746112 798 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 798 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 62.62
Current children cumulated vsize (Kb) 8716
[startup+90.0098 s]
Raw data (loadavg): 1.12 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 889 0 0 0 6076 954 0 0 18 0 1 0 20071107 6746112 799 4294967295 134512640 134702520 3221223952 3220977148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 799 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 70.33
Current children cumulated vsize (Kb) 8716
[startup+100.01 s]
Raw data (loadavg): 1.10 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 893 0 0 0 6965 991 0 0 17 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221135888 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 79.59
Current children cumulated vsize (Kb) 8716
[startup+110.012 s]
Raw data (loadavg): 1.16 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 893 0 0 0 7564 1127 0 0 16 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 86.94
Current children cumulated vsize (Kb) 8716
[startup+120.013 s]
Raw data (loadavg): 1.14 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 893 0 0 0 8148 1265 0 0 15 0 1 0 20071107 6746112 803 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 803 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 94.16
Current children cumulated vsize (Kb) 8716
[startup+130.013 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 897 0 0 0 9007 1312 0 0 17 0 1 0 20071107 6746112 807 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 807 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 103.22
Current children cumulated vsize (Kb) 8716
[startup+140.014 s]
Raw data (loadavg): 1.10 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 899 0 0 0 9708 1412 0 0 16 0 1 0 20071107 6746112 809 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 809 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 111.23
Current children cumulated vsize (Kb) 8716
[startup+150.015 s]
Raw data (loadavg): 1.08 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 899 0 0 0 10269 1562 0 0 16 0 1 0 20071107 6746112 809 4294967295 134512640 134702520 3221223952 3221222720 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 809 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 118.34
Current children cumulated vsize (Kb) 8716
[startup+160.014 s]
Raw data (loadavg): 1.07 1.04 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 900 0 0 0 11041 1641 0 0 17 0 1 0 20071107 6746112 810 4294967295 134512640 134702520 3221223952 3221097468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 810 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 8716
[startup+170.015 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 903 0 0 0 11849 1703 0 0 16 0 1 0 20071107 6746112 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 813 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 135.55
Current children cumulated vsize (Kb) 8716
[startup+180.016 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 903 0 0 0 12423 1846 0 0 16 0 1 0 20071107 6746112 813 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 813 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 142.72
Current children cumulated vsize (Kb) 8716
[startup+190.017 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 905 0 0 0 13079 1962 0 0 16 0 1 0 20071107 6746112 815 4294967295 134512640 134702520 3221223952 3221223352 134606953 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 815 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 150.44
Current children cumulated vsize (Kb) 8716
[startup+200.018 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 908 0 0 0 13961 1999 0 0 17 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221149168 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 159.63
Current children cumulated vsize (Kb) 8716
[startup+210.017 s]
Raw data (loadavg): 1.08 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 908 0 0 0 14570 2125 0 0 15 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 166.98
Current children cumulated vsize (Kb) 8716
[startup+220.018 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 908 0 0 0 15147 2267 0 0 16 0 1 0 20071107 6746112 818 4294967295 134512640 134702520 3221223952 3221222720 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 818 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 174.17
Current children cumulated vsize (Kb) 8716
[startup+230.018 s]
Raw data (loadavg): 1.06 1.04 1.00 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 912 0 0 0 15996 2314 0 0 18 0 1 0 20071107 6746112 822 4294967295 134512640 134702520 3221223952 3221021328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 822 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 183.13
Current children cumulated vsize (Kb) 8716
[startup+240.018 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 913 0 0 0 16719 2403 0 0 16 0 1 0 20071107 6746112 823 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 823 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 191.25
Current children cumulated vsize (Kb) 8716
[startup+250.019 s]
Raw data (loadavg): 1.19 1.07 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 913 0 0 0 17294 2541 0 0 15 0 1 0 20071107 6746112 823 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 823 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 198.38
Current children cumulated vsize (Kb) 8716
[startup+260.02 s]
Raw data (loadavg): 1.16 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 915 0 0 0 18028 2630 0 0 16 0 1 0 20071107 6746112 825 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 825 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 206.61
Current children cumulated vsize (Kb) 8716
[startup+270.02 s]
Raw data (loadavg): 1.13 1.07 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 918 0 0 0 18879 2681 0 0 16 0 1 0 20071107 6746112 828 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 828 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 215.63
Current children cumulated vsize (Kb) 8716
[startup+280.02 s]
Raw data (loadavg): 1.11 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 918 0 0 0 19445 2825 0 0 15 0 1 0 20071107 6746112 828 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1647 828 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 222.73
Current children cumulated vsize (Kb) 8716
[startup+290.021 s]
Raw data (loadavg): 1.09 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 919 0 0 0 20024 2965 0 0 16 0 1 0 20071107 6746112 829 4294967295 134512640 134702520 3221223952 3221206608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1647 829 413 48 0 1599 0
[pid=5542] vsize: 6588
Current children cumulated CPU time (s) 229.92
Current children cumulated vsize (Kb) 8716
[startup+300.021 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1073 0 0 0 20893 3009 0 0 17 0 1 0 20071107 7237632 983 4294967295 134512640 134702520 3221223952 3221213968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 983 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 239.05
Current children cumulated vsize (Kb) 9196
[startup+310.022 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1084 0 0 0 21597 3108 0 0 16 0 1 0 20071107 7237632 994 4294967295 134512640 134702520 3221223952 3221222816 134564351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 994 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 247.08
Current children cumulated vsize (Kb) 9196
[startup+320.022 s]
Raw data (loadavg): 1.06 1.05 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1084 0 0 0 22157 3254 0 0 15 0 1 0 20071107 7237632 994 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 994 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 254.14
Current children cumulated vsize (Kb) 9196
[startup+330.023 s]
Raw data (loadavg): 1.12 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1086 0 0 0 22906 3340 0 0 16 0 1 0 20071107 7237632 996 4294967295 134512640 134702520 3221223952 3221223072 134578604 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1767 996 413 48 0 1719 0
[pid=5542] vsize: 7068
Current children cumulated CPU time (s) 262.49
Current children cumulated vsize (Kb) 9196
[startup+340.024 s]
Raw data (loadavg): 1.10 1.07 1.01 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1110 0 0 0 23790 3379 0 0 17 0 1 0 20071107 7483392 1020 4294967295 134512640 134702520 3221223952 3221222976 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1827 1020 413 48 0 1779 0
[pid=5542] vsize: 7308
Current children cumulated CPU time (s) 271.72
Current children cumulated vsize (Kb) 9436
[startup+350.024 s]
Raw data (loadavg): 1.09 1.06 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1111 0 0 0 24332 3527 0 0 15 0 1 0 20071107 7483392 1021 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1827 1021 413 48 0 1779 0
[pid=5542] vsize: 7308
Current children cumulated CPU time (s) 278.62
Current children cumulated vsize (Kb) 9436
[startup+360.025 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1112 0 0 0 24915 3669 0 0 16 0 1 0 20071107 7536640 1022 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1022 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 285.87
Current children cumulated vsize (Kb) 9488
[startup+370.026 s]
Raw data (loadavg): 1.20 1.09 1.02 2/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) R 5539 5539 4060 0 -1 0 1120 0 0 0 25780 3712 0 0 17 0 1 0 20071107 7536640 1030 4294967295 134512640 134702520 3221223952 3221036188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1030 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 294.95
Current children cumulated vsize (Kb) 9488
[startup+380.026 s]
Raw data (loadavg): 1.17 1.09 1.02 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1143 0 0 0 26520 3797 0 0 16 0 1 0 20071107 7536640 1053 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5542/statm): 1840 1053 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 303.2
Current children cumulated vsize (Kb) 9488
[startup+390.027 s]
Raw data (loadavg): 1.14 1.08 1.02 1/56 5542
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 20071100 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 242 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5542/stat): 5542 (vallst) T 5539 5539 4060 0 -1 0 1143 0 0 0 27086 3938 0 0 16 0 1 0 20071107 7536640 1053 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5542/statm): 1840 1053 413 48 0 1792 0
[pid=5542] vsize: 7360
Current children cumulated CPU time (s) 310.27
Current children cumulated vsize (Kb) 9488
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=5542) exited with status: 2
New process pid=5543
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=5543) exited with status: 0
New process pid=5544
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+400.028 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 660 0 0 0 302 33 0 0 17 0 1 0 20110697 4206592 630 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1027 630 413 48 0 979 0
[pid=5544] vsize: 4108
Current children cumulated CPU time (s) 318.01
Current children cumulated vsize (Kb) 6236
[startup+410.027 s]
Raw data (loadavg): 1.18 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 660 0 0 0 742 211 0 0 16 0 1 0 20110697 4206592 630 4294967295 134512640 134702520 3221223712 3221222848 134553095 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1027 630 413 48 0 979 0
[pid=5544] vsize: 4108
Current children cumulated CPU time (s) 324.19
Current children cumulated vsize (Kb) 6236
[startup+420.028 s]
Raw data (loadavg): 1.23 1.11 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 711 0 0 0 1382 329 0 0 17 0 1 0 20110697 6283264 681 4294967295 134512640 134702520 3221223712 3221161568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 681 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 331.77
Current children cumulated vsize (Kb) 8264
[startup+430.028 s]
Raw data (loadavg): 1.19 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 725 0 0 0 2194 389 0 0 17 0 1 0 20110697 6283264 695 4294967295 134512640 134702520 3221223712 3221014188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 695 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 340.49
Current children cumulated vsize (Kb) 8264
[startup+440.029 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 725 0 0 0 2622 571 0 0 15 0 1 0 20110697 6283264 695 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1534 695 413 48 0 1486 0
[pid=5544] vsize: 6136
Current children cumulated CPU time (s) 346.59
Current children cumulated vsize (Kb) 8264
[startup+450.03 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 728 0 0 0 3196 708 0 0 16 0 1 0 20110697 6352896 698 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 698 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 353.7
Current children cumulated vsize (Kb) 8332
[startup+460.029 s]
Raw data (loadavg): 1.12 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 737 0 0 0 3966 787 0 0 16 0 1 0 20110697 6352896 707 4294967295 134512640 134702520 3221223712 3221219488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 707 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 362.19
Current children cumulated vsize (Kb) 8332
[startup+470.03 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 737 0 0 0 4479 943 0 0 16 0 1 0 20110697 6352896 707 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 707 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 368.88
Current children cumulated vsize (Kb) 8332
[startup+480.031 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 738 0 0 0 4978 1103 0 0 17 0 1 0 20110697 6352896 708 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1551 708 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 375.47
Current children cumulated vsize (Kb) 8332
[startup+490.031 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 749 0 0 0 5741 1181 0 0 16 0 1 0 20110697 6352896 719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1551 719 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 383.88
Current children cumulated vsize (Kb) 8332
[startup+500.032 s]
Raw data (loadavg): 1.06 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 751 0 0 0 6263 1340 0 0 16 0 1 0 20110697 6352896 721 4294967295 134512640 134702520 3221223712 3221222608 134553358 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1551 721 413 48 0 1503 0
[pid=5544] vsize: 6204
Current children cumulated CPU time (s) 390.69
Current children cumulated vsize (Kb) 8332
[startup+510.032 s]
Raw data (loadavg): 1.05 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 755 0 0 0 6748 1514 0 0 18 0 1 0 20110697 6365184 725 4294967295 134512640 134702520 3221223712 3220950348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1554 725 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 397.28
Current children cumulated vsize (Kb) 8344
[startup+520.032 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 769 0 0 0 7528 1584 0 0 17 0 1 0 20110697 6365184 739 4294967295 134512640 134702520 3221223712 3220922188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1554 739 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 405.78
Current children cumulated vsize (Kb) 8344
[startup+530.033 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 8052 1740 0 0 15 0 1 0 20110697 6365184 739 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1554 739 413 48 0 1506 0
[pid=5544] vsize: 6216
Current children cumulated CPU time (s) 412.58
Current children cumulated vsize (Kb) 8344
[startup+540.035 s]
Raw data (loadavg): 1.23 1.12 1.03 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 771 0 0 0 8523 1911 0 0 18 0 1 0 20110697 6406144 741 4294967295 134512640 134702520 3221223712 3221054036 134611990 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 741 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 419
Current children cumulated vsize (Kb) 8384
[startup+550.035 s]
Raw data (loadavg): 1.20 1.11 1.03 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 776 0 0 0 9309 1980 0 0 18 0 1 0 20110697 6406144 746 4294967295 134512640 134702520 3221223712 3221006188 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 746 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 427.55
Current children cumulated vsize (Kb) 8384
[startup+560.035 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 778 0 0 0 9837 2131 0 0 16 0 1 0 20110697 6406144 748 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 748 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 434.34
Current children cumulated vsize (Kb) 8384
[startup+570.035 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 780 0 0 0 10267 2315 0 0 16 0 1 0 20110697 6406144 750 4294967295 134512640 134702520 3221223712 3221171308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 750 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 440.48
Current children cumulated vsize (Kb) 8384
[startup+580.036 s]
Raw data (loadavg): 1.12 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 789 0 0 0 11047 2384 0 0 16 0 1 0 20110697 6406144 759 4294967295 134512640 134702520 3221223712 3221161728 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1564 759 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 448.97
Current children cumulated vsize (Kb) 8384
[startup+590.037 s]
Raw data (loadavg): 1.10 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 789 0 0 0 11627 2524 0 0 16 0 1 0 20110697 6406144 759 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1564 759 413 48 0 1516 0
[pid=5544] vsize: 6256
Current children cumulated CPU time (s) 456.17
Current children cumulated vsize (Kb) 8384
[startup+600.037 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 790 0 0 0 12023 2717 0 0 16 0 1 0 20110697 6557696 760 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1601 760 413 48 0 1553 0
[pid=5544] vsize: 6404
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (Kb) 8532
[startup+610.038 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 796 0 0 0 12806 2789 0 0 15 0 1 0 20110697 6438912 766 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 766 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 470.61
Current children cumulated vsize (Kb) 8416
[startup+620.039 s]
Raw data (loadavg): 1.14 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 801 0 0 0 13412 2918 0 0 16 0 1 0 20110697 6438912 771 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 771 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 477.96
Current children cumulated vsize (Kb) 8416
[startup+630.039 s]
Raw data (loadavg): 1.12 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 802 0 0 0 13813 3114 0 0 16 0 1 0 20110697 6438912 772 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1572 772 413 48 0 1524 0
[pid=5544] vsize: 6288
Current children cumulated CPU time (s) 483.93
Current children cumulated vsize (Kb) 8416
[startup+640.04 s]
Raw data (loadavg): 1.10 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 806 0 0 0 14598 3186 0 0 17 0 1 0 20110697 6455296 776 4294967295 134512640 134702520 3221223712 3220997248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1576 776 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 492.5
Current children cumulated vsize (Kb) 8432
[startup+650.041 s]
Raw data (loadavg): 1.08 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 809 0 0 0 15304 3281 0 0 16 0 1 0 20110697 6455296 779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1576 779 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 500.51
Current children cumulated vsize (Kb) 8432
[startup+660.04 s]
Raw data (loadavg): 1.07 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 810 0 0 0 15743 3473 0 0 15 0 1 0 20110697 6455296 780 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1576 780 413 48 0 1528 0
[pid=5544] vsize: 6304
Current children cumulated CPU time (s) 506.82
Current children cumulated vsize (Kb) 8432
[startup+670.041 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 813 0 0 0 16323 3604 0 0 16 0 1 0 20110697 6475776 783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1581 783 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 513.93
Current children cumulated vsize (Kb) 8452
[startup+680.042 s]
Raw data (loadavg): 1.05 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 819 0 0 0 17103 3679 0 0 16 0 1 0 20110697 6475776 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1581 789 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 522.48
Current children cumulated vsize (Kb) 8452
[startup+690.042 s]
Raw data (loadavg): 1.04 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 819 0 0 0 17551 3860 0 0 16 0 1 0 20110697 6475776 789 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1581 789 413 48 0 1533 0
[pid=5544] vsize: 6324
Current children cumulated CPU time (s) 528.77
Current children cumulated vsize (Kb) 8452
[startup+700.043 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 821 0 0 0 18084 4011 0 0 17 0 1 0 20110697 6504448 791 4294967295 134512640 134702520 3221223712 3221141708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1588 791 413 48 0 1540 0
[pid=5544] vsize: 6352
Current children cumulated CPU time (s) 535.61
Current children cumulated vsize (Kb) 8480
[startup+710.043 s]
Raw data (loadavg): 1.03 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1161 0 0 0 18851 4088 0 0 16 0 1 0 20110697 7917568 1131 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1933 1131 413 48 0 1885 0
[pid=5544] vsize: 7732
Current children cumulated CPU time (s) 544.05
Current children cumulated vsize (Kb) 9860
[startup+720.044 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1281 0 0 0 19390 4241 0 0 16 0 1 0 20110697 7254016 1021 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1771 1021 413 48 0 1723 0
[pid=5544] vsize: 7084
Current children cumulated CPU time (s) 550.97
Current children cumulated vsize (Kb) 9212
[startup+730.045 s]
Raw data (loadavg): 1.16 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1294 0 0 0 19829 4427 0 0 16 0 1 0 20110697 7536640 1034 4294967295 134512640 134702520 3221223712 3221172268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1034 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 557.22
Current children cumulated vsize (Kb) 9488
[startup+740.045 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1529 0 0 0 20640 4488 0 0 17 0 1 0 20110697 8093696 1215 4294967295 134512640 134702520 3221223712 3220986668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1976 1215 413 48 0 1928 0
[pid=5544] vsize: 7904
Current children cumulated CPU time (s) 565.94
Current children cumulated vsize (Kb) 10032
[startup+750.046 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1544 0 0 0 21288 4604 0 0 15 0 1 0 20110697 7430144 1068 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1814 1068 413 48 0 1766 0
[pid=5544] vsize: 7256
Current children cumulated CPU time (s) 573.58
Current children cumulated vsize (Kb) 9384
[startup+760.046 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1545 0 0 0 21715 4788 0 0 16 0 1 0 20110697 7430144 1069 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1814 1069 413 48 0 1766 0
[pid=5544] vsize: 7256
Current children cumulated CPU time (s) 579.69
Current children cumulated vsize (Kb) 9384
[startup+770.046 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1551 0 0 0 22392 4898 0 0 17 0 1 0 20110697 7471104 1075 4294967295 134512640 134702520 3221223712 3221072908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1075 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 587.56
Current children cumulated vsize (Kb) 9424
[startup+780.047 s]
Raw data (loadavg): 1.07 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1558 0 0 0 23139 4985 0 0 16 0 1 0 20110697 7471104 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1082 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 595.9
Current children cumulated vsize (Kb) 9424
[startup+790.049 s]
Raw data (loadavg): 1.06 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1558 0 0 0 23587 5168 0 0 16 0 1 0 20110697 7471104 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1824 1082 413 48 0 1776 0
[pid=5544] vsize: 7296
Current children cumulated CPU time (s) 602.21
Current children cumulated vsize (Kb) 9424
[startup+800.049 s]
Raw data (loadavg): 1.05 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1563 0 0 0 24135 5313 0 0 17 0 1 0 20110697 7503872 1087 4294967295 134512640 134702520 3221223712 3221095468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1832 1087 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 609.14
Current children cumulated vsize (Kb) 9456
[startup+810.05 s]
Raw data (loadavg): 1.04 1.07 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1567 0 0 0 24890 5396 0 0 15 0 1 0 20110697 7503872 1091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1832 1091 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 617.52
Current children cumulated vsize (Kb) 9456
[startup+820.05 s]
Raw data (loadavg): 1.03 1.07 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1568 0 0 0 25418 5554 0 0 16 0 1 0 20110697 7503872 1092 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1832 1092 413 48 0 1784 0
[pid=5544] vsize: 7328
Current children cumulated CPU time (s) 624.38
Current children cumulated vsize (Kb) 9456
[startup+830.051 s]
Raw data (loadavg): 1.11 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1570 0 0 0 25863 5730 0 0 16 0 1 0 20110697 7536640 1094 4294967295 134512640 134702520 3221223712 3221153228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1094 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 630.59
Current children cumulated vsize (Kb) 9488
[startup+840.052 s]
Raw data (loadavg): 1.09 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1574 0 0 0 26639 5806 0 0 16 0 1 0 20110697 7536640 1098 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1098 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (Kb) 9488
[startup+850.053 s]
Raw data (loadavg): 1.08 1.08 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1580 0 0 0 27274 5924 0 0 15 0 1 0 20110697 7536640 1104 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1104 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 646.64
Current children cumulated vsize (Kb) 9488
[startup+860.053 s]
Raw data (loadavg): 1.06 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1581 0 0 0 27693 6112 0 0 16 0 1 0 20110697 7536640 1105 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1105 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 652.71
Current children cumulated vsize (Kb) 9488
[startup+870.054 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1585 0 0 0 28382 6220 0 0 18 0 1 0 20110697 7536640 1109 4294967295 134512640 134702520 3221223712 3221049888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1840 1109 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 660.68
Current children cumulated vsize (Kb) 9488
[startup+880.054 s]
Raw data (loadavg): 1.05 1.07 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1594 0 0 0 29126 6305 0 0 16 0 1 0 20110697 7536640 1118 4294967295 134512640 134702520 3221223712 3221222608 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1118 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 668.97
Current children cumulated vsize (Kb) 9488
[startup+890.055 s]
Raw data (loadavg): 1.04 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1594 0 0 0 29557 6493 0 0 16 0 1 0 20110697 7536640 1118 4294967295 134512640 134702520 3221223712 3221222888 134550241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1840 1118 413 48 0 1792 0
[pid=5544] vsize: 7360
Current children cumulated CPU time (s) 675.16
Current children cumulated vsize (Kb) 9488
[startup+900.056 s]
Raw data (loadavg): 1.03 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1598 0 0 0 30087 6644 0 0 16 0 1 0 20110697 7577600 1122 4294967295 134512640 134702520 3221223712 3221159788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1122 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 681.97
Current children cumulated vsize (Kb) 9528
[startup+910.056 s]
Raw data (loadavg): 1.03 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1604 0 0 0 30868 6720 0 0 17 0 1 0 20110697 7577600 1128 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1128 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 690.54
Current children cumulated vsize (Kb) 9528
[startup+920.058 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1604 0 0 0 31390 6874 0 0 16 0 1 0 20110697 7577600 1128 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1850 1128 413 48 0 1802 0
[pid=5544] vsize: 7400
Current children cumulated CPU time (s) 697.3
Current children cumulated vsize (Kb) 9528
[startup+930.058 s]
Raw data (loadavg): 1.02 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1606 0 0 0 31786 7066 0 0 16 0 1 0 20110697 7598080 1130 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1130 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 703.18
Current children cumulated vsize (Kb) 9548
[startup+940.059 s]
Raw data (loadavg): 1.02 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1610 0 0 0 32552 7146 0 0 17 0 1 0 20110697 7598080 1134 4294967295 134512640 134702520 3221223712 3221172108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1134 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 711.64
Current children cumulated vsize (Kb) 9548
[startup+950.06 s]
Raw data (loadavg): 1.01 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1612 0 0 0 33246 7246 0 0 16 0 1 0 20110697 7598080 1136 4294967295 134512640 134702520 3221223712 3221222608 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1136 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 719.58
Current children cumulated vsize (Kb) 9548
[startup+960.059 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1613 0 0 0 33665 7434 0 0 16 0 1 0 20110697 7598080 1137 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1855 1137 413 48 0 1807 0
[pid=5544] vsize: 7420
Current children cumulated CPU time (s) 725.65
Current children cumulated vsize (Kb) 9548
[startup+970.06 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1618 0 0 0 34267 7568 0 0 16 0 1 0 20110697 7634944 1142 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1864 1142 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 733.01
Current children cumulated vsize (Kb) 9584
[startup+980.061 s]
Raw data (loadavg): 1.01 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1622 0 0 0 35009 7650 0 0 16 0 1 0 20110697 7634944 1146 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1864 1146 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 741.25
Current children cumulated vsize (Kb) 9584
[startup+990.062 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1622 0 0 0 35534 7806 0 0 16 0 1 0 20110697 7634944 1146 4294967295 134512640 134702520 3221223712 3221222608 134553367 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1864 1146 413 48 0 1816 0
[pid=5544] vsize: 7456
Current children cumulated CPU time (s) 748.06
Current children cumulated vsize (Kb) 9584
[startup+1000.06 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1624 0 0 0 35993 7985 0 0 17 0 1 0 20110697 7647232 1148 4294967295 134512640 134702520 3221223712 3221080928 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1148 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 754.44
Current children cumulated vsize (Kb) 9596
[startup+1010.06 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1632 0 0 0 36750 8065 0 0 16 0 1 0 20110697 7647232 1156 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1156 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 762.81
Current children cumulated vsize (Kb) 9596
[startup+1020.06 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1635 0 0 0 37382 8186 0 0 16 0 1 0 20110697 7647232 1159 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1867 1159 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 770.34
Current children cumulated vsize (Kb) 9596
[startup+1030.06 s]
Raw data (loadavg): 1.04 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1636 0 0 0 37801 8373 0 0 16 0 1 0 20110697 7647232 1160 4294967295 134512640 134702520 3221223712 3221222608 134552583 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1867 1160 413 48 0 1819 0
[pid=5544] vsize: 7468
Current children cumulated CPU time (s) 776.4
Current children cumulated vsize (Kb) 9596
[startup+1040.07 s]
Raw data (loadavg): 1.03 1.05 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1640 0 0 0 38422 8491 0 0 16 0 1 0 20110697 7663616 1164 4294967295 134512640 134702520 3221223712 3221222668 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1871 1164 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 783.79
Current children cumulated vsize (Kb) 9612
[startup+1050.07 s]
Raw data (loadavg): 1.10 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1649 0 0 0 39187 8567 0 0 16 0 1 0 20110697 7663616 1173 4294967295 134512640 134702520 3221223712 3221163628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1871 1173 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 792.2
Current children cumulated vsize (Kb) 9612
[startup+1060.07 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1650 0 0 0 39680 8732 0 0 16 0 1 0 20110697 7663616 1174 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1871 1174 413 48 0 1823 0
[pid=5544] vsize: 7484
Current children cumulated CPU time (s) 798.78
Current children cumulated vsize (Kb) 9612
[startup+1070.07 s]
Raw data (loadavg): 1.07 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1652 0 0 0 40171 8898 0 0 17 0 1 0 20110697 7720960 1176 4294967295 134512640 134702520 3221223712 3220961548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1176 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 805.35
Current children cumulated vsize (Kb) 9668
[startup+1080.07 s]
Raw data (loadavg): 1.06 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1652 0 0 0 40913 8983 0 0 16 0 1 0 20110697 7720960 1176 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1176 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 813.62
Current children cumulated vsize (Kb) 9668
[startup+1090.07 s]
Raw data (loadavg): 1.05 1.05 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 41546 9104 0 0 16 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (Kb) 9668
[startup+1100.07 s]
Raw data (loadavg): 1.12 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 41965 9295 0 0 15 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 827.26
Current children cumulated vsize (Kb) 9668
[startup+1110.07 s]
Raw data (loadavg): 1.10 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1655 0 0 0 42588 9420 0 0 16 0 1 0 20110697 7720960 1179 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1885 1179 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 834.74
Current children cumulated vsize (Kb) 9668
[startup+1120.07 s]
Raw data (loadavg): 1.08 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1657 0 0 0 43329 9504 0 0 16 0 1 0 20110697 7720960 1181 4294967295 134512640 134702520 3221223712 3221222368 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1181 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 842.99
Current children cumulated vsize (Kb) 9668
[startup+1130.07 s]
Raw data (loadavg): 1.07 1.06 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1658 0 0 0 43853 9662 0 0 16 0 1 0 20110697 7720960 1182 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1885 1182 413 48 0 1837 0
[pid=5544] vsize: 7540
Current children cumulated CPU time (s) 849.81
Current children cumulated vsize (Kb) 9668
[startup+1140.07 s]
Raw data (loadavg): 1.06 1.06 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1662 0 0 0 44308 9843 0 0 16 0 1 0 20110697 7737344 1186 4294967295 134512640 134702520 3221223712 3221112448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1186 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 856.17
Current children cumulated vsize (Kb) 9684
[startup+1150.08 s]
Raw data (loadavg): 1.13 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1669 0 0 0 45060 9925 0 0 17 0 1 0 20110697 7737344 1193 4294967295 134512640 134702520 3221223712 3221077408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1193 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 864.51
Current children cumulated vsize (Kb) 9684
[startup+1160.08 s]
Raw data (loadavg): 1.11 1.07 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1673 0 0 0 45725 10042 0 0 16 0 1 0 20110697 7737344 1197 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1889 1197 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 872.33
Current children cumulated vsize (Kb) 9684
[startup+1170.08 s]
Raw data (loadavg): 1.09 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1674 0 0 0 46157 10231 0 0 16 0 1 0 20110697 7737344 1198 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1889 1198 413 48 0 1841 0
[pid=5544] vsize: 7556
Current children cumulated CPU time (s) 878.54
Current children cumulated vsize (Kb) 9684
[startup+1180.08 s]
Raw data (loadavg): 1.15 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1677 0 0 0 46764 10356 0 0 17 0 1 0 20110697 7778304 1201 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1899 1201 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 885.86
Current children cumulated vsize (Kb) 9724
[startup+1190.08 s]
Raw data (loadavg): 1.13 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1681 0 0 0 47489 10446 0 0 16 0 1 0 20110697 7778304 1205 4294967295 134512640 134702520 3221223712 3221223040 134617852 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1899 1205 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 894.01
Current children cumulated vsize (Kb) 9724
[startup+1200.08 s]
Raw data (loadavg): 1.11 1.07 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1681 0 0 0 48029 10598 0 0 16 0 1 0 20110697 7778304 1205 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1899 1205 413 48 0 1851 0
[pid=5544] vsize: 7596
Current children cumulated CPU time (s) 900.93
Current children cumulated vsize (Kb) 9724
[startup+1210.08 s]
Raw data (loadavg): 1.16 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1684 0 0 0 48430 10787 0 0 16 0 1 0 20110697 7811072 1208 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1907 1208 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 906.83
Current children cumulated vsize (Kb) 9756
[startup+1220.08 s]
Raw data (loadavg): 1.14 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1692 0 0 0 49173 10870 0 0 15 0 1 0 20110697 7811072 1216 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1216 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 915.09
Current children cumulated vsize (Kb) 9756
[startup+1230.08 s]
Raw data (loadavg): 1.12 1.08 1.01 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1698 0 0 0 49896 10964 0 0 15 0 1 0 20110697 7811072 1222 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1222 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 923.26
Current children cumulated vsize (Kb) 9756
[startup+1240.08 s]
Raw data (loadavg): 1.10 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1698 0 0 0 50335 11143 0 0 16 0 1 0 20110697 7811072 1222 4294967295 134512640 134702520 3221223712 3221222608 134550721 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1907 1222 413 48 0 1859 0
[pid=5544] vsize: 7628
Current children cumulated CPU time (s) 929.44
Current children cumulated vsize (Kb) 9756
[startup+1250.08 s]
Raw data (loadavg): 1.16 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1700 0 0 0 50869 11299 0 0 17 0 1 0 20110697 7823360 1224 4294967295 134512640 134702520 3221223712 3221173408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1224 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 936.34
Current children cumulated vsize (Kb) 9768
[startup+1260.08 s]
Raw data (loadavg): 1.13 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1706 0 0 0 51601 11386 0 0 16 0 1 0 20110697 7823360 1230 4294967295 134512640 134702520 3221223712 3221183488 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1230 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 944.53
Current children cumulated vsize (Kb) 9768
[startup+1270.09 s]
Raw data (loadavg): 1.19 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1707 0 0 0 52192 11521 0 0 16 0 1 0 20110697 7823360 1231 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1231 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 951.79
Current children cumulated vsize (Kb) 9768
[startup+1280.09 s]
Raw data (loadavg): 1.16 1.10 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1708 0 0 0 52603 11710 0 0 15 0 1 0 20110697 7823360 1232 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1232 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 957.79
Current children cumulated vsize (Kb) 9768
[startup+1290.09 s]
Raw data (loadavg): 1.14 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1716 0 0 0 53297 11808 0 0 17 0 1 0 20110697 7823360 1240 4294967295 134512640 134702520 3221223712 3221127628 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1240 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 965.71
Current children cumulated vsize (Kb) 9768
[startup+1300.09 s]
Raw data (loadavg): 1.11 1.09 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1717 0 0 0 54026 11894 0 0 17 0 1 0 20110697 7823360 1241 4294967295 134512640 134702520 3221223712 3221153568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1910 1241 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 973.86
Current children cumulated vsize (Kb) 9768
[startup+1310.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1717 0 0 0 54515 12057 0 0 15 0 1 0 20110697 7823360 1241 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1910 1241 413 48 0 1862 0
[pid=5544] vsize: 7640
Current children cumulated CPU time (s) 980.38
Current children cumulated vsize (Kb) 9768
[startup+1320.09 s]
Raw data (loadavg): 1.08 1.08 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1721 0 0 0 54998 12228 0 0 18 0 1 0 20110697 7843840 1245 4294967295 134512640 134702520 3221223712 3221038048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1915 1245 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 986.92
Current children cumulated vsize (Kb) 9788
[startup+1330.09 s]
Raw data (loadavg): 1.07 1.08 1.01 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1727 0 0 0 55720 12318 0 0 17 0 1 0 20110697 7843840 1251 4294967295 134512640 134702520 3221223712 3221084128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1915 1251 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 995.04
Current children cumulated vsize (Kb) 9788
[startup+1340.09 s]
Raw data (loadavg): 1.14 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1728 0 0 0 56393 12422 0 0 15 0 1 0 20110697 7843840 1252 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1915 1252 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 1002.81
Current children cumulated vsize (Kb) 9788
[startup+1350.09 s]
Raw data (loadavg): 1.20 1.11 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1728 0 0 0 56823 12606 0 0 16 0 1 0 20110697 7843840 1252 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1915 1252 413 48 0 1867 0
[pid=5544] vsize: 7660
Current children cumulated CPU time (s) 1008.95
Current children cumulated vsize (Kb) 9788
[startup+1360.09 s]
Raw data (loadavg): 1.16 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1730 0 0 0 57414 12737 0 0 17 0 1 0 20110697 7864320 1254 4294967295 134512640 134702520 3221223712 3221053568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1254 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1016.17
Current children cumulated vsize (Kb) 9808
[startup+1370.09 s]
Raw data (loadavg): 1.14 1.10 1.02 2/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) R 5539 5539 4060 0 -1 0 1734 0 0 0 58128 12831 0 0 16 0 1 0 20110697 7864320 1258 4294967295 134512640 134702520 3221223712 3221145708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5544/statm): 1920 1258 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1024.25
Current children cumulated vsize (Kb) 9808
[startup+1380.09 s]
Raw data (loadavg): 1.12 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1735 0 0 0 58725 12965 0 0 16 0 1 0 20110697 7864320 1259 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1259 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1031.56
Current children cumulated vsize (Kb) 9808
[startup+1390.09 s]
Raw data (loadavg): 1.10 1.09 1.02 1/56 5544
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 378 1519 0 0 1 1 27447 4017 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5544/stat): 5544 (vallst) T 5539 5539 4060 0 -1 0 1736 0 0 0 59131 13159 0 0 16 0 1 0 20110697 7864320 1260 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5544/statm): 1920 1260 413 48 0 1872 0
[pid=5544] vsize: 7680
Current children cumulated CPU time (s) 1037.56
Current children cumulated vsize (Kb) 9808
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=5544) exited with status: 2
New process pid=5545
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=5545) exited with status: 0
New process pid=5546
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+1400.09 s]
Raw data (loadavg): 1.08 1.09 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 654 0 0 0 541 116 0 0 16 0 1 0 20210224 4112384 625 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1004 625 413 48 0 956 0
[pid=5546] vsize: 4016
Current children cumulated CPU time (s) 1044.69
Current children cumulated vsize (Kb) 6144
[startup+1410.09 s]
Raw data (loadavg): 1.22 1.12 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 705 0 0 0 920 323 0 0 16 0 1 0 20210224 6000640 676 4294967295 134512640 134702520 3221223712 3221197568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1465 676 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1050.55
Current children cumulated vsize (Kb) 7988
[startup+1420.09 s]
Raw data (loadavg): 1.19 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 727 0 0 0 1715 392 0 0 16 0 1 0 20210224 6000640 698 4294967295 134512640 134702520 3221223712 3221129868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1465 698 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1059.19
Current children cumulated vsize (Kb) 7988
[startup+1430.1 s]
Raw data (loadavg): 1.16 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 732 0 0 0 2239 551 0 0 16 0 1 0 20210224 6000640 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1465 703 413 48 0 1417 0
[pid=5546] vsize: 5860
Current children cumulated CPU time (s) 1066.02
Current children cumulated vsize (Kb) 7988
[startup+1440.1 s]
Raw data (loadavg): 1.13 1.10 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 739 0 0 0 2682 736 0 0 17 0 1 0 20210224 6033408 710 4294967295 134512640 134702520 3221223712 3221040428 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1473 710 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1072.3
Current children cumulated vsize (Kb) 8020
[startup+1450.1 s]
Raw data (loadavg): 1.11 1.10 1.02 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 752 0 0 0 3467 805 0 0 18 0 1 0 20210224 6033408 723 4294967295 134512640 134702520 3221223712 3220888448 134612005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1473 723 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1080.84
Current children cumulated vsize (Kb) 8020
[startup+1460.1 s]
Raw data (loadavg): 1.17 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 755 0 0 0 3938 981 0 0 16 0 1 0 20210224 6033408 726 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1473 726 413 48 0 1425 0
[pid=5546] vsize: 5892
Current children cumulated CPU time (s) 1087.31
Current children cumulated vsize (Kb) 8020
[startup+1470.1 s]
Raw data (loadavg): 1.14 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 759 0 0 0 4394 1154 0 0 16 0 1 0 20210224 6062080 730 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1480 730 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1093.6
Current children cumulated vsize (Kb) 8048
[startup+1480.1 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 5170 1228 0 0 15 0 1 0 20210224 6062080 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1480 740 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1102.1
Current children cumulated vsize (Kb) 8048
[startup+1490.1 s]
Raw data (loadavg): 1.10 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 769 0 0 0 5645 1393 0 0 16 0 1 0 20210224 6062080 740 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1480 740 413 48 0 1432 0
[pid=5546] vsize: 5920
Current children cumulated CPU time (s) 1108.5
Current children cumulated vsize (Kb) 8048
[startup+1500.1 s]
Raw data (loadavg): 1.16 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 774 0 0 0 6116 1566 0 0 15 0 1 0 20210224 6094848 745 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1488 745 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1114.94
Current children cumulated vsize (Kb) 8080
[startup+1510.1 s]
Raw data (loadavg): 1.13 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 781 0 0 0 6893 1639 0 0 16 0 1 0 20210224 6094848 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1488 752 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1123.44
Current children cumulated vsize (Kb) 8080
[startup+1520.1 s]
Raw data (loadavg): 1.19 1.12 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 781 0 0 0 7362 1817 0 0 15 0 1 0 20210224 6094848 752 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1488 752 413 48 0 1440 0
[pid=5546] vsize: 5952
Current children cumulated CPU time (s) 1129.91
Current children cumulated vsize (Kb) 8080
[startup+1530.1 s]
Raw data (loadavg): 1.16 1.12 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 788 0 0 0 7838 1985 0 0 16 0 1 0 20210224 6123520 759 4294967295 134512640 134702520 3221223712 3221214048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 759 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1136.35
Current children cumulated vsize (Kb) 8108
[startup+1540.1 s]
Raw data (loadavg): 1.14 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 798 0 0 0 8611 2060 0 0 16 0 1 0 20210224 6123520 769 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 769 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1144.83
Current children cumulated vsize (Kb) 8108
[startup+1550.1 s]
Raw data (loadavg): 1.12 1.11 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 799 0 0 0 9089 2232 0 0 15 0 1 0 20210224 6123520 770 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1495 770 413 48 0 1447 0
[pid=5546] vsize: 5980
Current children cumulated CPU time (s) 1151.33
Current children cumulated vsize (Kb) 8108
[startup+1560.1 s]
Raw data (loadavg): 1.10 1.11 1.03 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 801 0 0 0 9561 2408 0 0 16 0 1 0 20210224 6152192 772 4294967295 134512640 134702520 3221223712 3221211808 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1502 772 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1157.81
Current children cumulated vsize (Kb) 8136
[startup+1570.1 s]
Raw data (loadavg): 1.08 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 808 0 0 0 10337 2486 0 0 15 0 1 0 20210224 6152192 779 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1502 779 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1166.35
Current children cumulated vsize (Kb) 8136
[startup+1580.11 s]
Raw data (loadavg): 1.07 1.10 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 810 0 0 0 10810 2658 0 0 16 0 1 0 20210224 6152192 781 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1502 781 413 48 0 1454 0
[pid=5546] vsize: 6008
Current children cumulated CPU time (s) 1172.8
Current children cumulated vsize (Kb) 8136
[startup+1590.11 s]
Raw data (loadavg): 1.06 1.09 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 813 0 0 0 11288 2823 0 0 16 0 1 0 20210224 6176768 784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1508 784 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1179.23
Current children cumulated vsize (Kb) 8160
[startup+1600.11 s]
Raw data (loadavg): 1.05 1.09 1.03 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 821 0 0 0 12071 2896 0 0 16 0 1 0 20210224 6176768 792 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1508 792 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1187.79
Current children cumulated vsize (Kb) 8160
[startup+1610.11 s]
Raw data (loadavg): 1.04 1.09 1.02 2/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) R 5539 5539 4060 0 -1 0 821 0 0 0 12541 3071 0 0 16 0 1 0 20210224 6176768 792 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5546/statm): 1508 792 413 48 0 1460 0
[pid=5546] vsize: 6032
Current children cumulated CPU time (s) 1194.24
Current children cumulated vsize (Kb) 8160
[startup+1620.11 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 823 0 0 0 13008 3248 0 0 16 0 1 0 20210224 6201344 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1514 794 413 48 0 1466 0
[pid=5546] vsize: 6056
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 8184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1620.11 s]
Raw data (loadavg): 1.03 1.08 1.02 1/56 5546
Raw data (/proc/5539/stat): 5539 (vallstSAT2005PB) S 5538 5539 4060 0 -1 0 417 3400 0 0 1 1 86614 17196 17 0 1 0 20071100 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5539/statm): 532 248 485 147 0 385 0
[pid=5539] vsize: 2128
Raw data (/proc/5546/stat): 5546 (vallst) T 5539 5539 4060 0 -1 0 823 0 0 0 13008 3248 0 0 16 0 1 0 20210224 6201344 794 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5546/statm): 1514 794 413 48 0 1466 0
[pid=5546] vsize: 6056
Current children cumulated CPU time (s) 1200.68
Current children cumulated vsize (Kb) 8184
Sending SIGTERM to -5539
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5548
New process pid=5549
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 /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/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/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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/5500/stat
open syscall for file /proc/5500/status
open syscall for file /proc/5500/cmdline
open syscall for file /proc/5500/environ
One traced child (pid=5546) exited with status: 3
open syscall for file /proc/5538/stat
open syscall for file /proc/5538/status
open syscall for file /proc/5538/cmdline
open syscall for file /proc/5538/environ
open syscall for file /proc/5539/stat
open syscall for file /proc/5539/status
open syscall for file /proc/5539/cmdline
open syscall for file /proc/5539/environ
open syscall for file /proc/5548/stat
open syscall for file /proc/5548/status
open syscall for file /proc/5548/cmdline
open syscall for file /proc/5548/environ
open syscall for file /proc/5549/stat
open syscall for file /proc/5549/status
open syscall for file /proc/5549/cmdline
open syscall for file /proc/5549/environ
One traced child (pid=5548) exited with status: 0
One traced child (pid=5549) exited with status: 0
New process pid=5550
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=5550) exited with status: 0
New process pid=5551
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=5551) exited with status: 0
One traced child (pid=5539) 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): 1620.59
CPU time (s): 1200.89
CPU user time (s): 996.351
CPU system time (s): 204.539
CPU usage (%): 74.1019
Max. virtual memory (cumulated for all children) (Kb): 10032