1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 13 (#equs: 1)
#decisions: 48173; #end-nodes: 22241;
#proof improvement attempts: 0; #restarts: 33
Current batch, end-nodes: 7227 / 7745 (88)
#axs: 118934, #non-axs: 8524
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
seed: 0
Nr of vars set: 11151 (#equs: 5)
Time taken: 2 min, 27 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.019s 0m0.023s
2m26.795s 0m1.122s
s UNSATISFIABLE
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/18792/stat): 18792 (vallstSAT2005PB) R 18791 18792 6872 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787841725 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18792/statm): 174 3 169 147 0 27 0
[pid=18792] 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=18793
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=18793) exited with status: 0
New process pid=18794
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=18794) exited with status: 0
New process pid=18795
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/wulflinc2/normalized-ooo.tag14.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 1.03 1.11 1.10 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 3704 0 0 0 965 17 0 0 25 0 1 0 1787841735 17965056 3438 4294967295 134512640 134702520 3221223968 3220174368 134611991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 4386 3438 413 48 0 4338 0
[pid=18795] vsize: 17544
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (Kb) 19672
[startup+20.005 s]
Raw data (loadavg): 1.03 1.11 1.10 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4149 0 0 0 1964 18 0 0 25 0 1 0 1787841735 19787776 3883 4294967295 134512640 134702520 3221223968 3221193104 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 4831 3883 413 48 0 4783 0
[pid=18795] vsize: 19324
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (Kb) 21452
[startup+30.0066 s]
Raw data (loadavg): 1.02 1.10 1.10 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4206 0 0 0 2928 31 0 0 25 0 1 0 1787841735 38916096 3934 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 9501 3934 413 48 0 9453 0
[pid=18795] vsize: 38004
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 40132
[startup+40.0073 s]
Raw data (loadavg): 1.02 1.10 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4230 0 0 0 3901 40 0 0 25 0 1 0 1787841735 38916096 3958 4294967295 134512640 134702520 3221223968 3220680524 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9501 3958 413 48 0 9453 0
[pid=18795] vsize: 38004
Current children cumulated CPU time (s) 39.43
Current children cumulated vsize (Kb) 40132
[startup+50.008 s]
Raw data (loadavg): 1.02 1.10 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4260 0 0 0 4874 50 0 0 25 0 1 0 1787841735 39510016 3982 4294967295 134512640 134702520 3221223968 3221223188 134549017 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9646 3982 413 48 0 9598 0
[pid=18795] vsize: 38584
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (Kb) 40712
[startup+60.0088 s]
Raw data (loadavg): 1.01 1.09 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4309 0 0 0 5851 59 0 0 25 0 1 0 1787841735 39510016 4031 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 9646 4031 413 48 0 9598 0
[pid=18795] vsize: 38584
Current children cumulated CPU time (s) 59.12
Current children cumulated vsize (Kb) 40712
[startup+70.0104 s]
Raw data (loadavg): 1.01 1.09 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4415 0 0 0 6833 66 0 0 25 0 1 0 1787841735 39645184 4137 4294967295 134512640 134702520 3221223968 3221223248 134550430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 9679 4137 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 69.01
Current children cumulated vsize (Kb) 40844
[startup+80.0111 s]
Raw data (loadavg): 1.01 1.09 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4543 0 0 0 7815 72 0 0 25 0 1 0 1787841735 39645184 4265 4294967295 134512640 134702520 3221223968 3221223248 134553241 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 9679 4265 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 78.89
Current children cumulated vsize (Kb) 40844
[startup+90.0118 s]
Raw data (loadavg): 1.01 1.08 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4642 0 0 0 8804 76 0 0 25 0 1 0 1787841735 39645184 4364 4294967295 134512640 134702520 3221223968 3221223248 134552312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9679 4364 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 88.82
Current children cumulated vsize (Kb) 40844
[startup+100.013 s]
Raw data (loadavg): 1.00 1.08 1.09 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4742 0 0 0 9799 78 0 0 25 0 1 0 1787841735 39645184 4464 4294967295 134512640 134702520 3221223968 3220702768 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9679 4464 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 98.79
Current children cumulated vsize (Kb) 40844
[startup+110.013 s]
Raw data (loadavg): 1.00 1.08 1.08 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4750 0 0 0 10787 83 0 0 25 0 1 0 1787841735 39645184 4468 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9679 4468 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 108.72
Current children cumulated vsize (Kb) 40844
[startup+120.015 s]
Raw data (loadavg): 1.00 1.07 1.08 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 4793 0 0 0 11770 89 0 0 25 0 1 0 1787841735 39645184 4511 4294967295 134512640 134702520 3221223968 3221223248 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9679 4511 413 48 0 9631 0
[pid=18795] vsize: 38716
Current children cumulated CPU time (s) 118.61
Current children cumulated vsize (Kb) 40844
[startup+130.016 s]
Raw data (loadavg): 1.00 1.07 1.08 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 5081 0 0 0 12750 98 0 0 25 0 1 0 1787841735 39780352 4799 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18795/statm): 9712 4799 413 48 0 9664 0
[pid=18795] vsize: 38848
Current children cumulated CPU time (s) 128.5
Current children cumulated vsize (Kb) 40976
[startup+140.015 s]
Raw data (loadavg): 1.00 1.07 1.08 2/57 18795
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1787841725 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 532 242 485 147 0 385 0
[pid=18792] vsize: 2128
Raw data (/proc/18795/stat): 18795 (vallst) R 18792 18792 6872 0 -1 0 5353 0 0 0 13738 102 0 0 25 0 1 0 1787841735 39780352 5071 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18795/statm): 9712 5071 413 48 0 9664 0
[pid=18795] vsize: 38848
Current children cumulated CPU time (s) 138.42
Current children cumulated vsize (Kb) 40976
One traced child (pid=18795) exited with status: 0
New process pid=18796
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc2/normalized-ooo.tag14.ucl.opb
One traced child (pid=18796) exited with status: 1
New process pid=18797
One traced child (pid=18797) exited with status: 127
New process pid=18798
New process pid=18799
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/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/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/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/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/8131/stat
open syscall for file /proc/8131/status
open syscall for file /proc/8131/cmdline
open syscall for file /proc/8131/environ
open syscall for file /proc/27015/stat
open syscall for file /proc/27015/status
open syscall for file /proc/27015/cmdline
open syscall for file /proc/27015/environ
open syscall for file /proc/27042/stat
open syscall for file /proc/27042/status
open syscall for file /proc/27042/cmdline
open syscall for file /proc/27042/environ
open syscall for file /proc/27066/stat
open syscall for file /proc/27066/status
open syscall for file /proc/27066/cmdline
open syscall for file /proc/27066/environ
open syscall for file /proc/5902/stat
open syscall for file /proc/5902/status
open syscall for file /proc/5902/cmdline
open syscall for file /proc/5902/environ
open syscall for file /proc/12094/stat
open syscall for file /proc/12094/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/12094/cmdline
open syscall for file /proc/12094/environ
open syscall for file /proc/12129/stat
open syscall for file /proc/12129/status
open syscall for file /proc/12129/cmdline
open syscall for file /proc/12129/environ
open syscall for file /proc/6872/stat
open syscall for file /proc/6872/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/6872/cmdline
open syscall for file /proc/6872/environ
open syscall for file /proc/6873/stat
open syscall for file /proc/6873/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/6873/cmdline
open syscall for file /proc/6873/environ
open syscall for file /proc/6882/stat
open syscall for file /proc/6882/status
open syscall for file /proc/6882/cmdline
open syscall for file /proc/6882/environ
open syscall for file /proc/18755/stat
open syscall for file /proc/18755/status
open syscall for file /proc/18755/cmdline
open syscall for file /proc/18755/environ
open syscall for file /proc/18791/stat
open syscall for file /proc/18791/status
open syscall for file /proc/18791/cmdline
open syscall for file /proc/18791/environ
open syscall for file /proc/18792/stat
open syscall for file /proc/18792/status
open syscall for file /proc/18792/cmdline
open syscall for file /proc/18792/environ
open syscall for file /proc/18798/stat
open syscall for file /proc/18798/status
open syscall for file /proc/18798/cmdline
open syscall for file /proc/18798/environ
open syscall for file /proc/18799/stat
open syscall for file /proc/18799/status
open syscall for file /proc/18799/cmdline
open syscall for file /proc/18799/environ
One traced child (pid=18798) exited with status: 0
One traced child (pid=18799) exited with status: 0
New process pid=18800
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
[startup+150.017 s]
Raw data (loadavg): 1.00 1.06 1.08 1/57 18800
Raw data (/proc/18792/stat): 18792 (vallstSAT2005PB) S 18791 18792 6872 0 -1 0 436 6466 0 0 2 2 14681 116 17 0 1 0 1787841725 2183168 251 4294967295 134512640 135087896 3221224496 3221223144 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18792/statm): 533 251 485 147 0 386 0
[pid=18792] vsize: 2132
Raw data (/proc/18800/stat): 18800 (sleep) S 18792 18792 6872 0 -1 0 151 0 0 0 0 0 0 0 17 0 1 0 1787856704 1818624 125 4294967295 134512640 134523492 3221224624 3221224284 1074828523 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18800/statm): 444 125 392 4 0 440 0
[pid=18800] vsize: 1776
Current children cumulated CPU time (s) 148.01
Current children cumulated vsize (Kb) 3908
One traced child (pid=18800) exited with status: 0
New process pid=18801
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=18801) exited with status: 0
One traced child (pid=18792) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 150.109
CPU time (s): 148.053
CPU user time (s): 146.847
CPU system time (s): 1.20682
CPU usage (%): 98.6308
Max. virtual memory (cumulated for all children) (Kb): 40976