PB'05 competition: run trace

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/19022/stat): 19022 (vallstSAT2005PB) R 19021 19022 15400 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1783619149 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19022/statm): 174 3 169 147 0 27 0
[pid=19022] 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=19023
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=19023) exited with status: 0
New process pid=19024
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=19024) exited with status: 0
New process pid=19025
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/wulflinc7/normalized-fpga25_25_sat_pb.cnf.cr.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0045 s]
Raw data (loadavg): 0.86 0.95 0.98 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 260 0 0 0 474 164 0 0 16 0 1 0 1783619158 2236416 230 4294967295 134512640 134702520 3221223952 3221223192 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 546 230 413 48 0 498 0
[pid=19025] vsize: 2184
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (Kb) 4312

[startup+20.0051 s]
Raw data (loadavg): 0.88 0.95 0.98 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 347 0 0 0 865 357 0 0 16 0 1 0 1783619158 3010560 317 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 735 317 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (Kb) 5068

[startup+30.0058 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 350 0 0 0 1264 551 0 0 16 0 1 0 1783619158 3010560 320 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 735 320 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 18.17
Current children cumulated vsize (Kb) 5068

[startup+40.0064 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 370 0 0 0 1652 748 0 0 15 0 1 0 1783619158 3010560 340 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 735 340 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (Kb) 5068

[startup+50.008 s]
Raw data (loadavg): 0.98 0.97 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 379 0 0 0 2039 949 0 0 16 0 1 0 1783619158 3010560 349 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 735 349 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 5068

[startup+60.0087 s]
Raw data (loadavg): 1.06 0.99 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 397 0 0 0 2444 1151 0 0 16 0 1 0 1783619158 3010560 367 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 735 367 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 35.97
Current children cumulated vsize (Kb) 5068

[startup+70.0093 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 399 0 0 0 2810 1362 0 0 16 0 1 0 1783619158 3010560 369 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 735 369 413 48 0 687 0
[pid=19025] vsize: 2940
Current children cumulated CPU time (s) 41.74
Current children cumulated vsize (Kb) 5068

[startup+80.0099 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 499 0 0 0 3225 1553 0 0 15 0 1 0 1783619158 3129344 469 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 764 469 413 48 0 716 0
[pid=19025] vsize: 3056
Current children cumulated CPU time (s) 47.8
Current children cumulated vsize (Kb) 5184

[startup+90.0116 s]
Raw data (loadavg): 1.04 0.99 0.99 2/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) R 19022 19022 15400 0 -1 0 501 0 0 0 3627 1751 0 0 16 0 1 0 1783619158 3129344 471 4294967295 134512640 134702520 3221223952 3221223024 134617918 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19025/statm): 764 471 413 48 0 716 0
[pid=19025] vsize: 3056
Current children cumulated CPU time (s) 53.8
Current children cumulated vsize (Kb) 5184

[startup+100.012 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 511 0 0 0 4068 1933 0 0 16 0 1 0 1783619158 3129344 481 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 764 481 413 48 0 716 0
[pid=19025] vsize: 3056
Current children cumulated CPU time (s) 60.03
Current children cumulated vsize (Kb) 5184

[startup+110.014 s]
Raw data (loadavg): 1.03 0.99 0.99 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 514 0 0 0 4469 2129 0 0 16 0 1 0 1783619158 3129344 484 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 764 484 413 48 0 716 0
[pid=19025] vsize: 3056
Current children cumulated CPU time (s) 66
Current children cumulated vsize (Kb) 5184

[startup+120.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 523 0 0 0 4894 2319 0 0 16 0 1 0 1783619158 3256320 493 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 795 493 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 72.15
Current children cumulated vsize (Kb) 5308

[startup+130.015 s]
Raw data (loadavg): 1.10 1.01 1.00 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 527 0 0 0 5303 2519 0 0 15 0 1 0 1783619158 3256320 497 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 795 497 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 78.24
Current children cumulated vsize (Kb) 5308

[startup+140.017 s]
Raw data (loadavg): 1.16 1.02 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 533 0 0 0 5737 2708 0 0 15 0 1 0 1783619158 3256320 503 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 795 503 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 84.47
Current children cumulated vsize (Kb) 5308

[startup+150.017 s]
Raw data (loadavg): 1.21 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 538 0 0 0 6175 2897 0 0 15 0 1 0 1783619158 3256320 508 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 795 508 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 90.74
Current children cumulated vsize (Kb) 5308

[startup+160.018 s]
Raw data (loadavg): 1.18 1.03 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 542 0 0 0 6605 3086 0 0 16 0 1 0 1783619158 3256320 512 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 795 512 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 96.93
Current children cumulated vsize (Kb) 5308

[startup+170.019 s]
Raw data (loadavg): 1.15 1.03 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 549 0 0 0 7050 3265 0 0 16 0 1 0 1783619158 3256320 519 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 795 519 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 103.17
Current children cumulated vsize (Kb) 5308

[startup+180.019 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 550 0 0 0 7465 3456 0 0 16 0 1 0 1783619158 3256320 520 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 795 520 413 48 0 747 0
[pid=19025] vsize: 3180
Current children cumulated CPU time (s) 109.23
Current children cumulated vsize (Kb) 5308

[startup+190.021 s]
Raw data (loadavg): 1.11 1.03 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 556 0 0 0 7931 3634 0 0 16 0 1 0 1783619158 3387392 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 827 526 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 115.67
Current children cumulated vsize (Kb) 5436

[startup+200.022 s]
Raw data (loadavg): 1.17 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 558 0 0 0 8311 3836 0 0 16 0 1 0 1783619158 3387392 528 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 827 528 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (Kb) 5436

[startup+210.023 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 562 0 0 0 8792 4005 0 0 16 0 1 0 1783619158 3387392 532 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 827 532 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 127.99
Current children cumulated vsize (Kb) 5436

[startup+220.024 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 564 0 0 0 9177 4209 0 0 16 0 1 0 1783619158 3387392 534 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 827 534 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 133.88
Current children cumulated vsize (Kb) 5436

[startup+230.024 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 568 0 0 0 9658 4382 0 0 16 0 1 0 1783619158 3387392 538 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 827 538 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 140.42
Current children cumulated vsize (Kb) 5436

[startup+240.025 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 571 0 0 0 10085 4575 0 0 16 0 1 0 1783619158 3387392 541 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 827 541 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 146.62
Current children cumulated vsize (Kb) 5436

[startup+250.027 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 575 0 0 0 10519 4757 0 0 16 0 1 0 1783619158 3387392 545 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 827 545 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 152.78
Current children cumulated vsize (Kb) 5436

[startup+260.028 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 580 0 0 0 11013 4922 0 0 16 0 1 0 1783619158 3387392 550 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 827 550 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 5436

[startup+270.029 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 582 0 0 0 11430 5113 0 0 15 0 1 0 1783619158 3387392 552 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 827 552 413 48 0 779 0
[pid=19025] vsize: 3308
Current children cumulated CPU time (s) 165.45
Current children cumulated vsize (Kb) 5436

[startup+280.03 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 589 0 0 0 11950 5277 0 0 16 0 1 0 1783619158 3514368 559 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 858 559 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 172.29
Current children cumulated vsize (Kb) 5560

[startup+290.031 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 591 0 0 0 12373 5470 0 0 16 0 1 0 1783619158 3514368 561 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 858 561 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 178.45
Current children cumulated vsize (Kb) 5560

[startup+300.032 s]
Raw data (loadavg): 1.17 1.06 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 597 0 0 0 12867 5638 0 0 16 0 1 0 1783619158 3514368 567 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 858 567 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 185.07
Current children cumulated vsize (Kb) 5560

[startup+310.034 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 601 0 0 0 13364 5802 0 0 16 0 1 0 1783619158 3514368 571 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 858 571 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 191.68
Current children cumulated vsize (Kb) 5560

[startup+320.035 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 605 0 0 0 13792 5990 0 0 16 0 1 0 1783619158 3514368 575 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 858 575 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 197.84
Current children cumulated vsize (Kb) 5560

[startup+330.036 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 613 0 0 0 14333 6141 0 0 15 0 1 0 1783619158 3514368 583 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 858 583 413 48 0 810 0
[pid=19025] vsize: 3432
Current children cumulated CPU time (s) 204.76
Current children cumulated vsize (Kb) 5560

[startup+340.036 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 617 0 0 0 14754 6330 0 0 16 0 1 0 1783619158 3649536 587 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 891 587 413 48 0 843 0
[pid=19025] vsize: 3564
Current children cumulated CPU time (s) 210.86
Current children cumulated vsize (Kb) 5692

[startup+350.037 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 622 0 0 0 15251 6498 0 0 16 0 1 0 1783619158 3641344 592 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 889 592 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 217.51
Current children cumulated vsize (Kb) 5684

[startup+360.039 s]
Raw data (loadavg): 1.21 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 626 0 0 0 15764 6662 0 0 16 0 1 0 1783619158 3641344 596 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 889 596 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 224.28
Current children cumulated vsize (Kb) 5684

[startup+370.039 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 628 0 0 0 16154 6863 0 0 16 0 1 0 1783619158 3641344 598 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 889 598 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 230.19
Current children cumulated vsize (Kb) 5684

[startup+380.04 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 633 0 0 0 16696 7020 0 0 16 0 1 0 1783619158 3641344 603 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 889 603 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 237.18
Current children cumulated vsize (Kb) 5684

[startup+390.042 s]
Raw data (loadavg): 1.12 1.07 1.01 2/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) R 19022 19022 15400 0 -1 0 637 0 0 0 17145 7202 0 0 15 0 1 0 1783619158 3641344 607 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19025/statm): 889 607 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 243.49
Current children cumulated vsize (Kb) 5684

[startup+400.042 s]
Raw data (loadavg): 1.18 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 640 0 0 0 17612 7379 0 0 16 0 1 0 1783619158 3641344 610 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 889 610 413 48 0 841 0
[pid=19025] vsize: 3556
Current children cumulated CPU time (s) 249.93
Current children cumulated vsize (Kb) 5684

[startup+410.043 s]
Raw data (loadavg): 1.16 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 647 0 0 0 18165 7528 0 0 16 0 1 0 1783619158 3764224 617 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 617 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 256.95
Current children cumulated vsize (Kb) 5804

[startup+420.044 s]
Raw data (loadavg): 1.20 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 650 0 0 0 18535 7732 0 0 16 0 1 0 1783619158 3764224 620 4294967295 134512640 134702520 3221223952 3221222824 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 620 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 262.69
Current children cumulated vsize (Kb) 5804

[startup+430.044 s]
Raw data (loadavg): 1.17 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 653 0 0 0 19090 7874 0 0 16 0 1 0 1783619158 3764224 623 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 919 623 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 269.66
Current children cumulated vsize (Kb) 5804

[startup+440.046 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 658 0 0 0 19623 8035 0 0 16 0 1 0 1783619158 3764224 628 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 919 628 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 276.6
Current children cumulated vsize (Kb) 5804

[startup+450.046 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 659 0 0 0 20081 8211 0 0 15 0 1 0 1783619158 3764224 629 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 629 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 282.94
Current children cumulated vsize (Kb) 5804

[startup+460.047 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 665 0 0 0 20646 8356 0 0 16 0 1 0 1783619158 3764224 635 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 635 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 290.04
Current children cumulated vsize (Kb) 5804

[startup+470.048 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 668 0 0 0 21149 8523 0 0 16 0 1 0 1783619158 3764224 638 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 919 638 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 296.74
Current children cumulated vsize (Kb) 5804

[startup+480.048 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 670 0 0 0 21615 8697 0 0 16 0 1 0 1783619158 3764224 640 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 640 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 303.14
Current children cumulated vsize (Kb) 5804

[startup+490.05 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 676 0 0 0 22179 8845 0 0 16 0 1 0 1783619158 3764224 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 919 646 413 48 0 871 0
[pid=19025] vsize: 3676
Current children cumulated CPU time (s) 310.26
Current children cumulated vsize (Kb) 5804

[startup+500.051 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 679 0 0 0 22694 9002 0 0 16 0 1 0 1783619158 3895296 649 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 951 649 413 48 0 903 0
[pid=19025] vsize: 3804
Current children cumulated CPU time (s) 316.98
Current children cumulated vsize (Kb) 5932

[startup+510.051 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 681 0 0 0 23152 9185 0 0 16 0 1 0 1783619158 3895296 651 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 951 651 413 48 0 903 0
[pid=19025] vsize: 3804
Current children cumulated CPU time (s) 323.39
Current children cumulated vsize (Kb) 5932

[startup+520.052 s]
Raw data (loadavg): 1.11 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 689 0 0 0 23718 9330 0 0 15 0 1 0 1783619158 3895296 659 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 951 659 413 48 0 903 0
[pid=19025] vsize: 3804
Current children cumulated CPU time (s) 330.5
Current children cumulated vsize (Kb) 5932

[startup+530.053 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 693 0 0 0 24198 9503 0 0 16 0 1 0 1783619158 3895296 663 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 951 663 413 48 0 903 0
[pid=19025] vsize: 3804
Current children cumulated CPU time (s) 337.03
Current children cumulated vsize (Kb) 5932

[startup+540.053 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 698 0 0 0 24694 9668 0 0 16 0 1 0 1783619158 3895296 668 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 951 668 413 48 0 903 0
[pid=19025] vsize: 3804
Current children cumulated CPU time (s) 343.64
Current children cumulated vsize (Kb) 5932

[startup+550.054 s]
Raw data (loadavg): 1.06 1.08 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 710 0 0 0 25271 9808 0 0 16 0 1 0 1783619158 4022272 680 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19025/statm): 982 680 413 48 0 934 0
[pid=19025] vsize: 3928
Current children cumulated CPU time (s) 350.81
Current children cumulated vsize (Kb) 6056

[startup+560.054 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 19025
Raw data (/proc/19022/stat): 19022 (vallstSAT2005PB) S 19021 19022 15400 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1783619149 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19022/statm): 532 242 485 147 0 385 0
[pid=19022] vsize: 2128
Raw data (/proc/19025/stat): 19025 (vallst) T 19022 19022 15400 0 -1 0 719 0 0 0 25746 9978 0 0 16 0 1 0 1783619158 4022272 689 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19025/statm): 982 689 413 48 0 934 0
[pid=19025] vsize: 3928
Current children cumulated CPU time (s) 357.26
Current children cumulated vsize (Kb) 6056
One traced child (pid=19025) exited with status: 1
New process pid=19026
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh.model
One traced child (pid=19026) exited with status: 0
New process pid=19027
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
open syscall for file /tmp/vallst_var_map
One traced child (pid=19027) exited with status: 0
New process pid=19028
New process pid=19029
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
execve syscall for /usr/bin/wc 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=19029) exited with status: 0
One traced child (pid=19028) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=19030
New process pid=19031
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
execve syscall for /bin/sed executable
execve syscall for /usr/bin/tail executable
open syscall for file /etc/ld.so.preload
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libc.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libc.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libc.so.6
open syscall for file mmx/libm.so.6
open syscall for file libc.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
One traced child (pid=19030) exited with status: 0
One traced child (pid=19031) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=19032
New process pid=19033
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/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/18985/stat
open syscall for file /proc/18985/status
open syscall for file /proc/18985/cmdline
open syscall for file /proc/18985/environ
open syscall for file /proc/19021/stat
open syscall for file /proc/19021/status
open syscall for file /proc/19021/cmdline
open syscall for file /proc/19021/environ
open syscall for file /proc/19022/stat
open syscall for file /proc/19022/status
open syscall for file /proc/19022/cmdline
open syscall for file /proc/19022/environ
open syscall for file /proc/19032/stat
open syscall for file /proc/19032/status
open syscall for file /proc/19032/cmdline
open syscall for file /proc/19032/environ
open syscall for file /proc/19033/stat
open syscall for file /proc/19033/status
open syscall for file /proc/19033/cmdline
open syscall for file /proc/19033/environ
One traced child (pid=19032) exited with status: 0
One traced child (pid=19033) exited with status: 0
New process pid=19034
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=19034) exited with status: 0
New process pid=19035
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=19035) exited with status: 0
One traced child (pid=19022) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 570.016
CPU time (s): 363.58
CPU user time (s): 262.009
CPU system time (s): 101.571
CPU usage (%): 63.7841
Max. virtual memory (cumulated for all children) (Kb): 6056
Name	submitted/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.352946
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Some explanations

General information on the benchmark

Trace number 1197

Launcher Data

Solver Data

Watcher Data

Verifier Data
