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/20119/stat): 20119 (vallstSAT2005PB) R 20118 20119 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846444819 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/20119/statm): 174 3 169 147 0 27 0
[pid=20119] 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=20120
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=20120) exited with status: 0
New process pid=20121
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=20121) exited with status: 0
New process pid=20122
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/wulflinc20/normalized-mps-v2-20-10-ship12l.opb
[startup+10.0039 s]
Raw data (loadavg): 0.80 0.89 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 46008
[startup+20.0046 s]
Raw data (loadavg): 0.83 0.90 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 1936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 19.76
Current children cumulated vsize (Kb) 46008
[startup+30.0053 s]
Raw data (loadavg): 0.86 0.90 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 2936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 29.76
Current children cumulated vsize (Kb) 46008
[startup+40.006 s]
Raw data (loadavg): 0.88 0.90 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 3936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550203 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 46008
[startup+50.0068 s]
Raw data (loadavg): 0.90 0.90 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 4936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (Kb) 46008
[startup+60.0075 s]
Raw data (loadavg): 0.91 0.91 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 5936 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 59.76
Current children cumulated vsize (Kb) 46008
[startup+70.0082 s]
Raw data (loadavg): 0.92 0.91 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 6937 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 69.77
Current children cumulated vsize (Kb) 46008
[startup+80.0089 s]
Raw data (loadavg): 0.94 0.91 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 7937 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 79.77
Current children cumulated vsize (Kb) 46008
[startup+90.0097 s]
Raw data (loadavg): 0.95 0.91 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 8937 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 89.77
Current children cumulated vsize (Kb) 46008
[startup+100.01 s]
Raw data (loadavg): 0.95 0.92 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 9937 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (Kb) 46008
[startup+110.011 s]
Raw data (loadavg): 0.96 0.92 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 10937 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550192 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 109.77
Current children cumulated vsize (Kb) 46008
[startup+120.013 s]
Raw data (loadavg): 0.97 0.92 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 11938 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 119.78
Current children cumulated vsize (Kb) 46008
[startup+130.013 s]
Raw data (loadavg): 0.97 0.92 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 12938 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 129.78
Current children cumulated vsize (Kb) 46008
[startup+140.013 s]
Raw data (loadavg): 0.97 0.92 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 13938 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 139.78
Current children cumulated vsize (Kb) 46008
[startup+150.014 s]
Raw data (loadavg): 0.98 0.93 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 14938 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550200 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 149.78
Current children cumulated vsize (Kb) 46008
[startup+160.014 s]
Raw data (loadavg): 0.98 0.93 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 15938 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550206 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 159.78
Current children cumulated vsize (Kb) 46008
[startup+170.015 s]
Raw data (loadavg): 0.98 0.93 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 16939 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 169.79
Current children cumulated vsize (Kb) 46008
[startup+180.015 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 17939 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 179.79
Current children cumulated vsize (Kb) 46008
[startup+190.016 s]
Raw data (loadavg): 0.99 0.93 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 18939 38 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 189.79
Current children cumulated vsize (Kb) 46008
[startup+200.017 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 19939 39 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 199.8
Current children cumulated vsize (Kb) 46008
[startup+210.017 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8927 0 0 0 20939 39 0 0 25 0 1 0 1846444826 44933120 8188 4294967295 134512640 134702520 3221223952 3221223364 134550195 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/20122/statm): 10970 8188 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 209.8
Current children cumulated vsize (Kb) 46008
[startup+220.018 s]
Raw data (loadavg): 0.99 0.94 0.95 2/57 20122
Raw data (/proc/20119/stat): 20119 (vallstSAT2005PB) S 20118 20119 2660 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846444819 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/20119/statm): 532 242 485 147 0 385 0
[pid=20119] vsize: 2128
Raw data (/proc/20122/stat): 20122 (vallst) R 20119 20119 2660 0 -1 0 8961 0 0 0 21938 39 0 0 25 0 1 0 1846444826 44933120 8222 4294967295 134512640 134702520 3221223952 3221223364 134550203 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/20122/statm): 10970 8222 413 48 0 10922 0
[pid=20122] vsize: 43880
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 46008
One traced child (pid=20122) exited with status: 0
New process pid=20123
New process pid=20124
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/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/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/21233/stat
open syscall for file /proc/21233/status
open syscall for file /proc/21233/cmdline
open syscall for file /proc/21233/environ
open syscall for file /proc/20037/stat
open syscall for file /proc/20037/status
open syscall for file /proc/20037/cmdline
open syscall for file /proc/20037/environ
open syscall for file /proc/20064/stat
open syscall for file /proc/20064/status
open syscall for file /proc/20064/cmdline
open syscall for file /proc/20064/environ
open syscall for file /proc/20088/stat
open syscall for file /proc/20088/status
open syscall for file /proc/20088/cmdline
open syscall for file /proc/20088/environ
open syscall for file /proc/4269/stat
open syscall for file /proc/4269/status
open syscall for file /proc/4269/cmdline
open syscall for file /proc/4269/environ
open syscall for file /proc/17737/stat
open syscall for file /proc/17737/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/17737/cmdline
open syscall for file /proc/17737/environ
open syscall for file /proc/17772/stat
open syscall for file /proc/17772/status
open syscall for file /proc/17772/cmdline
open syscall for file /proc/17772/environ
open syscall for file /proc/2660/stat
open syscall for file /proc/2660/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/2660/cmdline
open syscall for file /proc/2660/environ
open syscall for file /proc/2661/stat
open syscall for file /proc/2661/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/2661/cmdline
open syscall for file /proc/2661/environ
open syscall for file /proc/2670/stat
open syscall for file /proc/2670/status
open syscall for file /proc/2670/cmdline
open syscall for file /proc/2670/environ
open syscall for file /proc/20081/stat
open syscall for file /proc/20081/status
open syscall for file /proc/20081/cmdline
open syscall for file /proc/20081/environ
open syscall for file /proc/20118/stat
open syscall for file /proc/20118/status
open syscall for file /proc/20118/cmdline
open syscall for file /proc/20118/environ
open syscall for file /proc/20119/stat
open syscall for file /proc/20119/status
open syscall for file /proc/20119/cmdline
open syscall for file /proc/20119/environ
open syscall for file /proc/20123/stat
open syscall for file /proc/20123/status
open syscall for file /proc/20123/cmdline
open syscall for file /proc/20123/environ
open syscall for file /proc/20124/stat
open syscall for file /proc/20124/status
open syscall for file /proc/20124/cmdline
open syscall for file /proc/20124/environ
One traced child (pid=20123) exited with status: 0
One traced child (pid=20124) exited with status: 0
New process pid=20125
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=20125) exited with status: 0
New process pid=20126
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=20126) exited with status: 0
One traced child (pid=20119) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 220.727
CPU time (s): 220.117
CPU user time (s): 219.607
CPU system time (s): 0.509922
CPU usage (%): 99.7234
Max. virtual memory (cumulated for all children) (Kb): 46008