1:
seed: 0
Nr of vars set: 18012 (#equs: 0)
Nr of vars set: 18012 (#equs: 0)
#decisions: 12433; #end-nodes: 8820;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 2512, #non-axs: 10
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: 18012 (#equs: 0)
Time taken: 15 min, 13 sec
2:
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/5185/stat): 5185 (vallstSAT2005PB) R 5184 5185 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19672185 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5185/statm): 174 3 169 147 0 27 0
[pid=5185] 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=5186
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=5186) exited with status: 0
New process pid=5187
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=5187) exited with status: 0
New process pid=5188
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/wulflinc3/normalized-mps-v2-20-10-trento1.opb
[startup+10.0031 s]
Raw data (loadavg): 0.89 0.94 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2399 0 0 0 973 12 0 0 25 0 1 0 19672191 14098432 2240 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3442 2240 413 48 0 3394 0
[pid=5188] vsize: 13768
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 15896
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.005 s]
Raw data (loadavg): 0.90 0.94 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2901 0 0 0 1959 22 0 0 25 0 1 0 19672191 14184448 2631 4294967295 134512640 134702520 3221223952 3221139168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3463 2631 413 48 0 3415 0
[pid=5188] vsize: 13852
Current children cumulated CPU time (s) 19.82
Current children cumulated vsize (Kb) 15980
[startup+30.0058 s]
Raw data (loadavg): 0.92 0.95 0.92 2/56 5188
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2934 0 0 0 2959 22 0 0 25 0 1 0 19672191 14319616 2664 4294967295 134512640 134702520 3221223952 3221004108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 3496 2664 413 48 0 3448 0
[pid=5188] vsize: 13984
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (Kb) 16112
[startup+40.0067 s]
Raw data (loadavg): 1.01 0.96 0.92 2/60 5231
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 2970 0 0 0 3965 22 0 0 25 0 1 0 19672191 14467072 2700 4294967295 134512640 134702520 3221223952 3220855788 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3532 2700 413 48 0 3484 0
[pid=5188] vsize: 14128
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 16256
[startup+50.0685 s]
Raw data (loadavg): 1.08 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3008 0 0 0 4965 23 0 0 25 0 1 0 19672191 14622720 2738 4294967295 134512640 134702520 3221223952 3220697568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3570 2738 413 48 0 3522 0
[pid=5188] vsize: 14280
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 16408
[startup+60.0693 s]
Raw data (loadavg): 1.07 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3050 0 0 0 5965 23 0 0 25 0 1 0 19672191 14794752 2780 4294967295 134512640 134702520 3221223952 3220527648 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3612 2780 413 48 0 3564 0
[pid=5188] vsize: 14448
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 16576
[startup+70.0702 s]
Raw data (loadavg): 1.06 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3095 0 0 0 6965 23 0 0 25 0 1 0 19672191 14979072 2825 4294967295 134512640 134702520 3221223952 3220342188 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3657 2825 413 48 0 3609 0
[pid=5188] vsize: 14628
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 16756
[startup+80.071 s]
Raw data (loadavg): 1.05 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3145 0 0 0 7965 23 0 0 25 0 1 0 19672191 15183872 2875 4294967295 134512640 134702520 3221223952 3220136128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3707 2875 413 48 0 3659 0
[pid=5188] vsize: 14828
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (Kb) 16956
[startup+90.0708 s]
Raw data (loadavg): 1.04 0.98 0.93 2/56 5243
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3202 0 0 0 8965 23 0 0 25 0 1 0 19672191 15417344 2932 4294967295 134512640 134702520 3221223952 3219902528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3764 2932 413 48 0 3716 0
[pid=5188] vsize: 15056
Current children cumulated CPU time (s) 89.89
Current children cumulated vsize (Kb) 17184
[startup+100.072 s]
Raw data (loadavg): 1.11 1.00 0.93 2/56 5245
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3270 0 0 0 9965 23 0 0 25 0 1 0 19672191 15695872 3000 4294967295 134512640 134702520 3221223952 3219626988 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3832 3000 413 48 0 3784 0
[pid=5188] vsize: 15328
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (Kb) 17456
[startup+110.073 s]
Raw data (loadavg): 1.09 1.00 0.93 2/56 5247
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3356 0 0 0 10965 24 0 0 25 0 1 0 19672191 16048128 3086 4294967295 134512640 134702520 3221223952 3219273088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 3918 3086 413 48 0 3870 0
[pid=5188] vsize: 15672
Current children cumulated CPU time (s) 109.9
Current children cumulated vsize (Kb) 17800
[startup+120.073 s]
Raw data (loadavg): 1.08 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3513 0 0 0 11965 24 0 0 25 0 1 0 19672191 16691200 3243 4294967295 134512640 134702520 3221223952 3218630688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 4075 3243 413 48 0 4027 0
[pid=5188] vsize: 16300
Current children cumulated CPU time (s) 119.9
Current children cumulated vsize (Kb) 18428
[startup+130.074 s]
Raw data (loadavg): 1.06 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 12957 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3221122428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 30656
[startup+140.074 s]
Raw data (loadavg): 1.05 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 13957 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3221001008 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 30656
[startup+150.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 14958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220874268 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 30656
[startup+160.075 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 15958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220741168 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 159.85
Current children cumulated vsize (Kb) 30656
[startup+170.076 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 16958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220601788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (Kb) 30656
[startup+180.076 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 17958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220455568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (Kb) 30656
[startup+190.077 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 18958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220299888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 189.85
Current children cumulated vsize (Kb) 30656
[startup+200.078 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 19958 26 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3220132508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 199.85
Current children cumulated vsize (Kb) 30656
[startup+210.079 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 20958 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219951228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 209.86
Current children cumulated vsize (Kb) 30656
[startup+220.081 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 21959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219751248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 219.87
Current children cumulated vsize (Kb) 30656
[startup+230.082 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 22959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219525488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 229.87
Current children cumulated vsize (Kb) 30656
[startup+240.082 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 23959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3219262288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 239.87
Current children cumulated vsize (Kb) 30656
[startup+250.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3615 0 0 0 24959 27 0 0 25 0 1 0 19672191 29212672 3345 4294967295 134512640 134702520 3221223952 3218862928 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3345 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 249.87
Current children cumulated vsize (Kb) 30656
[startup+260.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 25950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221151888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 259.8
Current children cumulated vsize (Kb) 30656
[startup+270.085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 26950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221033148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 269.8
Current children cumulated vsize (Kb) 30656
[startup+280.086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 27950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220909328 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 279.8
Current children cumulated vsize (Kb) 30656
[startup+290.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 28950 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220779408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 289.8
Current children cumulated vsize (Kb) 30656
[startup+300.087 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 29951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220643068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 299.81
Current children cumulated vsize (Kb) 30656
[startup+310.088 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 30951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220499248 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 309.81
Current children cumulated vsize (Kb) 30656
[startup+320.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 31951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220346608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 30656
[startup+330.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 32951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220182928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 329.81
Current children cumulated vsize (Kb) 30656
[startup+340.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 33951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220006108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (Kb) 30656
[startup+350.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 34951 29 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219812348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 30656
[startup+360.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 35951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219595088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 359.82
Current children cumulated vsize (Kb) 30656
[startup+370.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5249
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 36951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219344828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 369.82
Current children cumulated vsize (Kb) 30656
[startup+380.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 37951 30 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219039888 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 379.82
Current children cumulated vsize (Kb) 30656
[startup+390.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 38944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221185968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 389.76
Current children cumulated vsize (Kb) 30656
[startup+400.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 39944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3221068688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 399.76
Current children cumulated vsize (Kb) 30656
[startup+410.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 40944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220946288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 409.76
Current children cumulated vsize (Kb) 30656
[startup+420.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 41944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220818288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 419.76
Current children cumulated vsize (Kb) 30656
[startup+430.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 42944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220683888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 429.76
Current children cumulated vsize (Kb) 30656
[startup+440.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 43944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220542448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 439.76
Current children cumulated vsize (Kb) 30656
[startup+450.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 44944 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220392528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 449.76
Current children cumulated vsize (Kb) 30656
[startup+460.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 45945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220230448 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 459.77
Current children cumulated vsize (Kb) 30656
[startup+470.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 46945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3220055548 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 469.77
Current children cumulated vsize (Kb) 30656
[startup+480.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 47945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219864828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 479.77
Current children cumulated vsize (Kb) 30656
[startup+490.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 48945 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219651868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 489.77
Current children cumulated vsize (Kb) 30656
[startup+500.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 49946 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219408368 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 499.78
Current children cumulated vsize (Kb) 30656
[startup+510.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3616 0 0 0 50946 31 0 0 25 0 1 0 19672191 29212672 3346 4294967295 134512640 134702520 3221223952 3219116028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3346 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 509.78
Current children cumulated vsize (Kb) 30656
[startup+520.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 51937 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3221211568 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 519.72
Current children cumulated vsize (Kb) 30656
[startup+530.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 52938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3221093968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 529.73
Current children cumulated vsize (Kb) 30656
[startup+540.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 53938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220971408 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 539.73
Current children cumulated vsize (Kb) 30656
[startup+550.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 54938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220843088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 549.73
Current children cumulated vsize (Kb) 30656
[startup+560.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 55938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220708508 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 559.73
Current children cumulated vsize (Kb) 30656
[startup+570.106 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 56938 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220566928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 569.73
Current children cumulated vsize (Kb) 30656
[startup+580.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 57939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220416848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 579.74
Current children cumulated vsize (Kb) 30656
[startup+590.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 58939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220256688 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 589.74
Current children cumulated vsize (Kb) 30656
[startup+600.107 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 59939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3220083888 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 599.74
Current children cumulated vsize (Kb) 30656
[startup+610.108 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 60939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219896028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 609.74
Current children cumulated vsize (Kb) 30656
[startup+620.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 61939 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219687068 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 619.74
Current children cumulated vsize (Kb) 30656
[startup+630.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 62940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219449168 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 629.75
Current children cumulated vsize (Kb) 30656
[startup+640.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 63940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3219166428 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (Kb) 30656
[startup+650.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3617 0 0 0 64940 34 0 0 25 0 1 0 19672191 29212672 3347 4294967295 134512640 134702520 3221223952 3218468048 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3347 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 649.75
Current children cumulated vsize (Kb) 30656
[startup+660.111 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 65931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3221112848 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 659.7
Current children cumulated vsize (Kb) 30656
[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 66931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220991088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 669.7
Current children cumulated vsize (Kb) 30656
[startup+680.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 67931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220863868 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 679.7
Current children cumulated vsize (Kb) 30656
[startup+690.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 68931 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220730288 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 689.7
Current children cumulated vsize (Kb) 30656
[startup+700.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 69932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220589948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 699.71
Current children cumulated vsize (Kb) 30656
[startup+710.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 70932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220441148 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 709.71
Current children cumulated vsize (Kb) 30656
[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 71932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220282768 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 719.71
Current children cumulated vsize (Kb) 30656
[startup+730.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 72932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3220113648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 729.71
Current children cumulated vsize (Kb) 30656
[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 73932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219930608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 739.71
Current children cumulated vsize (Kb) 30656
[startup+750.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 74932 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219728208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 749.71
Current children cumulated vsize (Kb) 30656
[startup+760.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 75933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219499228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 759.72
Current children cumulated vsize (Kb) 30656
[startup+770.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 76933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3219230768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 769.72
Current children cumulated vsize (Kb) 30656
[startup+780.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3630 0 0 0 77933 38 0 0 25 0 1 0 19672191 29212672 3360 4294967295 134512640 134702520 3221223952 3218775088 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5188/statm): 7132 3360 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 779.72
Current children cumulated vsize (Kb) 30656
[startup+790.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 78923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3221139088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 789.66
Current children cumulated vsize (Kb) 30656
[startup+800.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 79923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3221018588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 799.66
Current children cumulated vsize (Kb) 30656
[startup+810.121 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 80923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220892508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 809.66
Current children cumulated vsize (Kb) 30656
[startup+820.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 81923 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220760528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 819.66
Current children cumulated vsize (Kb) 30656
[startup+830.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 82924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220621628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 829.67
Current children cumulated vsize (Kb) 30656
[startup+840.122 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 83924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220474928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 839.67
Current children cumulated vsize (Kb) 30656
[startup+850.123 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 84924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220318928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 849.67
Current children cumulated vsize (Kb) 30656
[startup+860.124 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 85924 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3220151088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 859.67
Current children cumulated vsize (Kb) 30656
[startup+870.125 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 86925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219969488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 869.68
Current children cumulated vsize (Kb) 30656
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 87925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219769308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 879.68
Current children cumulated vsize (Kb) 30656
[startup+890.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 88925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219543568 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 889.68
Current children cumulated vsize (Kb) 30656
[startup+900.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 89925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3219280688 134611984 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 899.68
Current children cumulated vsize (Kb) 30656
[startup+910.127 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5251
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 330 232 0 0 1 0 0 0 23 0 1 0 19672185 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 242 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5188/stat): 5188 (vallst) R 5185 5185 4060 0 -1 0 3634 0 0 0 90925 42 0 0 25 0 1 0 19672191 29212672 3364 4294967295 134512640 134702520 3221223952 3218901328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5188/statm): 7132 3364 413 48 0 7084 0
[pid=5188] vsize: 28528
Current children cumulated CPU time (s) 909.68
Current children cumulated vsize (Kb) 30656
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=5188) exited with status: 2
New process pid=5252
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=5252) exited with status: 0
New process pid=5253
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+920.128 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2178 0 0 0 508 9 0 0 25 0 1 0 19763684 11419648 2148 4294967295 134512640 134702520 3221223712 3221191388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2788 2148 413 48 0 2740 0
[pid=5253] vsize: 11152
Current children cumulated CPU time (s) 919.59
Current children cumulated vsize (Kb) 13280
[startup+930.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2204 0 0 0 1508 9 0 0 25 0 1 0 19763684 11526144 2174 4294967295 134512640 134702520 3221223712 3221083888 134611982 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2814 2174 413 48 0 2766 0
[pid=5253] vsize: 11256
Current children cumulated CPU time (s) 929.59
Current children cumulated vsize (Kb) 13384
[startup+940.129 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2239 0 0 0 2508 9 0 0 25 0 1 0 19763684 11669504 2209 4294967295 134512640 134702520 3221223712 3220941968 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2849 2209 413 48 0 2801 0
[pid=5253] vsize: 11396
Current children cumulated CPU time (s) 939.59
Current children cumulated vsize (Kb) 13524
[startup+950.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2276 0 0 0 3508 9 0 0 25 0 1 0 19763684 11821056 2246 4294967295 134512640 134702520 3221223712 3220791228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2886 2246 413 48 0 2838 0
[pid=5253] vsize: 11544
Current children cumulated CPU time (s) 949.59
Current children cumulated vsize (Kb) 13672
[startup+960.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2315 0 0 0 4508 10 0 0 25 0 1 0 19763684 11980800 2285 4294967295 134512640 134702520 3221223712 3220630268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2925 2285 413 48 0 2877 0
[pid=5253] vsize: 11700
Current children cumulated CPU time (s) 959.6
Current children cumulated vsize (Kb) 13828
[startup+970.131 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2357 0 0 0 5508 10 0 0 25 0 1 0 19763684 12152832 2327 4294967295 134512640 134702520 3221223712 3220456988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 2967 2327 413 48 0 2919 0
[pid=5253] vsize: 11868
Current children cumulated CPU time (s) 969.6
Current children cumulated vsize (Kb) 13996
[startup+980.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2403 0 0 0 6508 10 0 0 25 0 1 0 19763684 12341248 2373 4294967295 134512640 134702520 3221223712 3220267088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3013 2373 413 48 0 2965 0
[pid=5253] vsize: 12052
Current children cumulated CPU time (s) 979.6
Current children cumulated vsize (Kb) 14180
[startup+990.132 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2455 0 0 0 7508 10 0 0 25 0 1 0 19763684 12554240 2425 4294967295 134512640 134702520 3221223712 3220054288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3065 2425 413 48 0 3017 0
[pid=5253] vsize: 12260
Current children cumulated CPU time (s) 989.6
Current children cumulated vsize (Kb) 14388
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2515 0 0 0 8508 10 0 0 25 0 1 0 19763684 12800000 2485 4294967295 134512640 134702520 3221223712 3219810428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3125 2485 413 48 0 3077 0
[pid=5253] vsize: 12500
Current children cumulated CPU time (s) 999.6
Current children cumulated vsize (Kb) 14628
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2587 0 0 0 9508 10 0 0 25 0 1 0 19763684 13094912 2557 4294967295 134512640 134702520 3221223712 3219517008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3197 2557 413 48 0 3149 0
[pid=5253] vsize: 12788
Current children cumulated CPU time (s) 1009.6
Current children cumulated vsize (Kb) 14916
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2684 0 0 0 10509 10 0 0 25 0 1 0 19763684 13492224 2654 4294967295 134512640 134702520 3221223712 3219119868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 3294 2654 413 48 0 3246 0
[pid=5253] vsize: 13176
Current children cumulated CPU time (s) 1019.61
Current children cumulated vsize (Kb) 15304
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 11497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3221202028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1029.54
Current children cumulated vsize (Kb) 25096
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 12497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3221083788 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1039.54
Current children cumulated vsize (Kb) 25096
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 13497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220960608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1049.54
Current children cumulated vsize (Kb) 25096
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 14497 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220831628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1059.54
Current children cumulated vsize (Kb) 25096
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 15498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220696748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1069.55
Current children cumulated vsize (Kb) 25096
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 16498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220555948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1079.55
Current children cumulated vsize (Kb) 25096
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 17498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220406668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1089.55
Current children cumulated vsize (Kb) 25096
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 18498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220247308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (Kb) 25096
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 19498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3220075308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1109.55
Current children cumulated vsize (Kb) 25096
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 20498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219887948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1119.55
Current children cumulated vsize (Kb) 25096
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 21498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219679488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1129.55
Current children cumulated vsize (Kb) 25096
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 22498 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219442188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1139.55
Current children cumulated vsize (Kb) 25096
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 23499 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3219160108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1149.56
Current children cumulated vsize (Kb) 25096
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2919 0 0 0 24499 15 0 0 25 0 1 0 19763684 23519232 2889 4294967295 134512640 134702520 3221223712 3218471468 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5253/statm): 5742 2889 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1159.56
Current children cumulated vsize (Kb) 25096
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 25488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3221112748 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1169.49
Current children cumulated vsize (Kb) 25096
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 26488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220990828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (Kb) 25096
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 27488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220863328 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1189.49
Current children cumulated vsize (Kb) 25096
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 28488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220729388 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1199.49
Current children cumulated vsize (Kb) 25096
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 29488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220588928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1209.49
Current children cumulated vsize (Kb) 25096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 5253
Raw data (/proc/5185/stat): 5185 (vallstSAT2005PB) S 5184 5185 4060 0 -1 0 378 4009 0 0 2 1 91388 51 19 0 1 0 19672185 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5185/statm): 532 248 485 147 0 385 0
[pid=5185] vsize: 2128
Raw data (/proc/5253/stat): 5253 (vallst) R 5185 5185 4060 0 -1 0 2923 0 0 0 29488 19 0 0 25 0 1 0 19763684 23519232 2893 4294967295 134512640 134702520 3221223712 3220588748 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5253/statm): 5742 2893 413 48 0 5694 0
[pid=5253] vsize: 22968
Current children cumulated CPU time (s) 1209.49
Current children cumulated vsize (Kb) 25096
Sending SIGTERM to -5185
Sleeping 2 seconds
New process pid=5255
New process pid=5256
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/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5146/stat
open syscall for file /proc/5146/status
open syscall for file /proc/5146/cmdline
open syscall for file /proc/5146/environ
open syscall for file /proc/5184/stat
open syscall for file /proc/5184/status
open syscall for file /proc/5184/cmdline
open syscall for file /proc/5184/environ
open syscall for file /proc/5185/stat
open syscall for file /proc/5185/status
open syscall for file /proc/5185/cmdline
open syscall for file /proc/5185/environ
open syscall for file /proc/5253/stat
open syscall for file /proc/5253/status
open syscall for file /proc/5253/cmdline
open syscall for file /proc/5253/environ
open syscall for file /proc/5255/stat
open syscall for file /proc/5255/status
open syscall for file /proc/5255/cmdline
open syscall for file /proc/5255/environ
open syscall for file /proc/5256/stat
open syscall for file /proc/5256/status
open syscall for file /proc/5256/cmdline
open syscall for file /proc/5256/environ
One traced child (pid=5256) exited with status: 0
One traced child (pid=5255) exited with status: 0
New process pid=5257
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=5257) exited with status: 0
New process pid=5258
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=5258) exited with status: 0
One traced child (pid=5185) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -5185
One traced child (pid=5253) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.16
CPU time (s): 297.091
CPU user time (s): 296.892
CPU system time (s): 0.198969
CPU usage (%): 24.5092
Max. virtual memory (cumulated for all children) (Kb): 30656