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/23320/stat): 23320 (vallstSAT2005PB) R 23319 23320 20602 0 -1 0 19 0 0 0 0 0 0 0 21 0 1 0 1719092604 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/23320/statm): 174 3 169 147 0 27 0
[pid=23320] 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=23321
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=23321) exited with status: 0
New process pid=23322
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=23322) exited with status: 0
New process pid=23323
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/wulflinc21/normalized-fpga25_24_sat_pb.cnf.cr.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.007 s]
Raw data (loadavg): 0.93 0.98 0.99 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 266 0 0 0 380 197 0 0 16 0 1 0 1719092613 2260992 236 4294967295 134512640 134702520 3221223952 3221223064 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 552 236 413 48 0 504 0
[pid=23323] vsize: 2208
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (Kb) 4336

[startup+20.0076 s]
Raw data (loadavg): 1.02 1.00 1.00 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 354 0 0 0 735 407 0 0 16 0 1 0 1719092613 3006464 324 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 734 324 413 48 0 686 0
[pid=23323] vsize: 2936
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (Kb) 5064

[startup+30.0083 s]
Raw data (loadavg): 1.17 1.03 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 366 0 0 0 1045 637 0 0 16 0 1 0 1719092613 3006464 336 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 734 336 413 48 0 686 0
[pid=23323] vsize: 2936
Current children cumulated CPU time (s) 16.85
Current children cumulated vsize (Kb) 5064

[startup+40.009 s]
Raw data (loadavg): 1.15 1.03 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 381 0 0 0 1408 844 0 0 16 0 1 0 1719092613 3006464 351 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 734 351 413 48 0 686 0
[pid=23323] vsize: 2936
Current children cumulated CPU time (s) 22.55
Current children cumulated vsize (Kb) 5064

[startup+50.0097 s]
Raw data (loadavg): 1.12 1.03 1.01 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 398 0 0 0 1734 1067 0 0 16 0 1 0 1719092613 3006464 368 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 734 368 413 48 0 686 0
[pid=23323] vsize: 2936
Current children cumulated CPU time (s) 28.04
Current children cumulated vsize (Kb) 5064

[startup+60.0104 s]
Raw data (loadavg): 1.10 1.03 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 409 0 0 0 2066 1293 0 0 16 0 1 0 1719092613 3141632 379 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 767 379 413 48 0 719 0
[pid=23323] vsize: 3068
Current children cumulated CPU time (s) 33.62
Current children cumulated vsize (Kb) 5196

[startup+70.0111 s]
Raw data (loadavg): 1.09 1.03 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 425 0 0 0 2432 1498 0 0 16 0 1 0 1719092613 3133440 395 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 765 395 413 48 0 717 0
[pid=23323] vsize: 3060
Current children cumulated CPU time (s) 39.33
Current children cumulated vsize (Kb) 5188

[startup+80.0117 s]
Raw data (loadavg): 1.07 1.03 1.01 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) R 23320 23320 20602 0 -1 0 499 0 0 0 2760 1713 0 0 16 0 1 0 1719092613 3133440 469 4294967295 134512640 134702520 3221223952 3221223232 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23323/statm): 765 469 413 48 0 717 0
[pid=23323] vsize: 3060
Current children cumulated CPU time (s) 44.76
Current children cumulated vsize (Kb) 5188

[startup+90.0124 s]
Raw data (loadavg): 1.13 1.04 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 518 0 0 0 3171 1901 0 0 16 0 1 0 1719092613 3133440 488 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 765 488 413 48 0 717 0
[pid=23323] vsize: 3060
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (Kb) 5188

[startup+100.013 s]
Raw data (loadavg): 1.11 1.04 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 521 0 0 0 3493 2116 0 0 16 0 1 0 1719092613 3133440 491 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 765 491 413 48 0 717 0
[pid=23323] vsize: 3060
Current children cumulated CPU time (s) 56.12
Current children cumulated vsize (Kb) 5188

[startup+110.015 s]
Raw data (loadavg): 1.18 1.05 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 531 0 0 0 3906 2304 0 0 16 0 1 0 1719092613 3264512 501 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 797 501 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 62.13
Current children cumulated vsize (Kb) 5316

[startup+120.015 s]
Raw data (loadavg): 1.15 1.05 1.01 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) R 23320 23320 20602 0 -1 0 533 0 0 0 4243 2513 0 0 16 0 1 0 1719092613 3264512 503 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23323/statm): 797 503 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 67.59
Current children cumulated vsize (Kb) 5316

[startup+130.016 s]
Raw data (loadavg): 1.12 1.05 1.01 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) R 23320 23320 20602 0 -1 0 539 0 0 0 4662 2697 0 0 16 0 1 0 1719092613 3264512 509 4294967295 134512640 134702520 3221223952 3221222848 134552419 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23323/statm): 797 509 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 73.62
Current children cumulated vsize (Kb) 5316

[startup+140.017 s]
Raw data (loadavg): 1.10 1.05 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 541 0 0 0 5053 2893 0 0 16 0 1 0 1719092613 3264512 511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 797 511 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 79.49
Current children cumulated vsize (Kb) 5316

[startup+150.019 s]
Raw data (loadavg): 1.09 1.05 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 547 0 0 0 5494 3076 0 0 16 0 1 0 1719092613 3264512 517 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 797 517 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 85.73
Current children cumulated vsize (Kb) 5316

[startup+160.019 s]
Raw data (loadavg): 1.07 1.04 1.01 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 549 0 0 0 5838 3284 0 0 16 0 1 0 1719092613 3264512 519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 797 519 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 91.25
Current children cumulated vsize (Kb) 5316

[startup+170.02 s]
Raw data (loadavg): 1.14 1.06 1.01 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) R 23320 23320 20602 0 -1 0 554 0 0 0 6281 3464 0 0 16 0 1 0 1719092613 3264512 524 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23323/statm): 797 524 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 97.48
Current children cumulated vsize (Kb) 5316

[startup+180.02 s]
Raw data (loadavg): 1.19 1.07 1.02 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 556 0 0 0 6631 3669 0 0 16 0 1 0 1719092613 3264512 526 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 797 526 413 48 0 749 0
[pid=23323] vsize: 3188
Current children cumulated CPU time (s) 103.03
Current children cumulated vsize (Kb) 5316

[startup+190.02 s]
Raw data (loadavg): 1.16 1.07 1.02 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 562 0 0 0 7095 3850 0 0 16 0 1 0 1719092613 3387392 532 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23323/statm): 827 532 413 48 0 779 0
[pid=23323] vsize: 3308
Current children cumulated CPU time (s) 109.48
Current children cumulated vsize (Kb) 5436

[startup+200.021 s]
Raw data (loadavg): 1.21 1.08 1.02 1/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 565 0 0 0 7445 4069 0 0 16 0 1 0 1719092613 3387392 535 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23323/statm): 827 535 413 48 0 779 0
[pid=23323] vsize: 3308
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (Kb) 5436

[startup+210.023 s]
Raw data (loadavg): 1.18 1.08 1.02 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) R 23320 23320 20602 0 -1 0 570 0 0 0 7929 4239 0 0 16 0 1 0 1719092613 3387392 540 4294967295 134512640 134702520 3221223952 3221223232 134557289 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23323/statm): 827 540 413 48 0 779 0
[pid=23323] vsize: 3308
Current children cumulated CPU time (s) 121.71
Current children cumulated vsize (Kb) 5436

[startup+220.023 s]
Raw data (loadavg): 1.23 1.09 1.02 2/58 23323
Raw data (/proc/23320/stat): 23320 (vallstSAT2005PB) S 23319 23320 20602 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1719092604 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/23320/statm): 532 242 485 147 0 385 0
[pid=23320] vsize: 2128
Raw data (/proc/23323/stat): 23323 (vallst) T 23320 23320 20602 0 -1 0 572 0 0 0 8273 4450 0 0 16 0 1 0 1719092613 3387392 542 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434789 0 0 17 0 0 0
Raw data (/proc/23323/statm): 827 542 413 48 0 779 0
[pid=23323] vsize: 3308
Current children cumulated CPU time (s) 127.26
Current children cumulated vsize (Kb) 5436
One traced child (pid=23323) exited with status: 1
New process pid=23324
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=23324) exited with status: 0
New process pid=23325
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=23325) exited with status: 0
New process pid=23326
New process pid=23327
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=23327) exited with status: 0
One traced child (pid=23326) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
New process pid=23328
New process pid=23329
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 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 /etc/ld.so.preload
open syscall for file mmx/libc.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file libc.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.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/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /etc/ld.so.cache
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 /lib/tls/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 /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=23328) exited with status: 0
One traced child (pid=23329) exited with status: 0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_last.model
New process pid=23330
New process pid=23331
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/9854/stat
open syscall for file /proc/9854/status
open syscall for file /proc/9854/cmdline
open syscall for file /proc/9854/environ
open syscall for file /proc/23373/stat
open syscall for file /proc/23373/status
open syscall for file /proc/23373/cmdline
open syscall for file /proc/23373/environ
open syscall for file /proc/23400/stat
open syscall for file /proc/23400/status
open syscall for file /proc/23400/cmdline
open syscall for file /proc/23400/environ
open syscall for file /proc/23424/stat
open syscall for file /proc/23424/status
open syscall for file /proc/23424/cmdline
open syscall for file /proc/23424/environ
open syscall for file /proc/6632/stat
open syscall for file /proc/6632/status
open syscall for file /proc/6632/cmdline
open syscall for file /proc/6632/environ
open syscall for file /proc/7718/stat
open syscall for file /proc/7718/status
open syscall for file /proc/7718/cmdline
open syscall for file /proc/7718/environ
open syscall for file /proc/20012/stat
open syscall for file /proc/20012/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/20012/cmdline
open syscall for file /proc/20012/environ
open syscall for file /proc/20048/stat
open syscall for file /proc/20048/status
open syscall for file /proc/20048/cmdline
open syscall for file /proc/20048/environ
open syscall for file /proc/20602/stat
open syscall for file /proc/20602/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/20602/cmdline
open syscall for file /proc/20602/environ
open syscall for file /proc/20603/stat
open syscall for file /proc/20603/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/20603/cmdline
open syscall for file /proc/20603/environ
open syscall for file /proc/20612/stat
open syscall for file /proc/20612/status
open syscall for file /proc/20612/cmdline
open syscall for file /proc/20612/environ
open syscall for file /proc/23283/stat
open syscall for file /proc/23283/status
open syscall for file /proc/23283/cmdline
open syscall for file /proc/23283/environ
open syscall for file /proc/23319/stat
open syscall for file /proc/23319/status
open syscall for file /proc/23319/cmdline
open syscall for file /proc/23319/environ
open syscall for file /proc/23320/stat
open syscall for file /proc/23320/status
open syscall for file /proc/23320/cmdline
open syscall for file /proc/23320/environ
open syscall for file /proc/23330/stat
open syscall for file /proc/23330/status
open syscall for file /proc/23330/cmdline
open syscall for file /proc/23330/environ
open syscall for file /proc/23331/stat
open syscall for file /proc/23331/status
open syscall for file /proc/23331/cmdline
open syscall for file /proc/23331/environ
One traced child (pid=23330) exited with status: 0
One traced child (pid=23331) exited with status: 0
New process pid=23332
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=23332) exited with status: 0
New process pid=23333
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=23333) exited with status: 0
One traced child (pid=23320) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 221.545
CPU time (s): 128.007
CPU user time (s): 83.1624
CPU system time (s): 44.8442
CPU usage (%): 57.779
Max. virtual memory (cumulated for all children) (Kb): 5436
Name	submitted/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
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.550915
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
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 1194

Launcher Data

Solver Data

Watcher Data

Verifier Data
