1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 2399 (#equs: 1955)
#decisions: 150770; #end-nodes: 85067;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 792 (103)
#axs: 54792, #non-axs: 9876
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 5391 (#equs: 2318)
Time taken: 5 min, 52 sec
2:
seed: 0
Nr of vars set: 5391 (#equs: 0)
Nr of vars set: 5643 (#equs: 484)
#decisions: 40964; #end-nodes: 29832;
#proof improvement attempts: 0; #restarts: 11
Current batch, end-nodes: 15262 / 15980 (122)
#axs: 31585, #non-axs: 13868
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: 10272 (#equs: 484)
Time taken: 1 min, 40 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.023s 0m0.021s
7m28.559s 0m4.299s
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/15177/stat): 15177 (vallstSAT2005PB) R 15176 15177 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846017361 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15177/statm): 174 3 169 147 0 27 0
[pid=15177] 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=15178
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=15178) exited with status: 0
New process pid=15179
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=15179) exited with status: 0
New process pid=15180
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/wulflinc18/normalized-ooo.rf10.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0038 s]
Raw data (loadavg): 0.91 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 1938 0 0 0 970 14 0 0 25 0 1 0 1846017368 10182656 1842 4294967295 134512640 134702520 3221223968 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 2486 1842 413 48 0 2438 0
[pid=15180] vsize: 9944
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 12072
[startup+20.0057 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 1974 0 0 0 1912 32 0 0 24 0 1 0 1846017368 18784256 1878 4294967295 134512640 134702520 3221223968 3221223088 134573369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4586 1878 413 48 0 4538 0
[pid=15180] vsize: 18344
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 20472
[startup+30.0066 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2009 0 0 0 2876 46 0 0 25 0 1 0 1846017368 18784256 1913 4294967295 134512640 134702520 3221223968 3220850764 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4586 1913 413 48 0 4538 0
[pid=15180] vsize: 18344
Current children cumulated CPU time (s) 29.24
Current children cumulated vsize (Kb) 20472
[startup+40.0086 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2070 0 0 0 3833 61 0 0 25 0 1 0 1846017368 18874368 1974 4294967295 134512640 134702520 3221223968 3221223248 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4608 1974 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 38.96
Current children cumulated vsize (Kb) 20560
[startup+50.0095 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2170 0 0 0 4811 70 0 0 25 0 1 0 1846017368 18874368 2074 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4608 2074 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (Kb) 20560
[startup+60.0104 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2403 0 0 0 5779 82 0 0 25 0 1 0 1846017368 18874368 2307 4294967295 134512640 134702520 3221223968 3221223188 134549003 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4608 2307 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 58.63
Current children cumulated vsize (Kb) 20560
[startup+70.0114 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2424 0 0 0 6749 94 0 0 25 0 1 0 1846017368 19009536 2328 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2328 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 68.45
Current children cumulated vsize (Kb) 20692
[startup+80.0123 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2558 0 0 0 7727 101 0 0 25 0 1 0 1846017368 19009536 2462 4294967295 134512640 134702520 3221223968 3221048064 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2462 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 78.3
Current children cumulated vsize (Kb) 20692
[startup+90.0132 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2567 0 0 0 8702 111 0 0 25 0 1 0 1846017368 19009536 2471 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2471 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (Kb) 20692
[startup+100.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2843 0 0 0 9670 126 0 0 25 0 1 0 1846017368 19144704 2747 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 2747 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 97.98
Current children cumulated vsize (Kb) 20824
[startup+110.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 3255 0 0 0 10641 135 0 0 25 0 1 0 1846017368 19144704 3159 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 3159 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 107.78
Current children cumulated vsize (Kb) 20824
[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4054 0 0 0 11615 147 0 0 25 0 1 0 1846017368 19144704 3958 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 3958 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 117.64
Current children cumulated vsize (Kb) 20824
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4264 0 0 0 12588 158 0 0 25 0 1 0 1846017368 19279872 4168 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4707 4168 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 127.48
Current children cumulated vsize (Kb) 20956
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4276 0 0 0 13559 167 0 0 25 0 1 0 1846017368 19279872 4180 4294967295 134512640 134702520 3221223968 3221218784 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4180 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 137.28
Current children cumulated vsize (Kb) 20956
[startup+150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4278 0 0 0 14545 173 0 0 25 0 1 0 1846017368 19279872 4182 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4182 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 147.2
Current children cumulated vsize (Kb) 20956
[startup+160.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4279 0 0 0 15520 183 0 0 25 0 1 0 1846017368 19279872 4183 4294967295 134512640 134702520 3221223968 3221223248 134553057 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4183 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 157.05
Current children cumulated vsize (Kb) 20956
[startup+170.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4287 0 0 0 16494 192 0 0 25 0 1 0 1846017368 19279872 4191 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4191 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 166.88
Current children cumulated vsize (Kb) 20956
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4304 0 0 0 17473 198 0 0 25 0 1 0 1846017368 19279872 4208 4294967295 134512640 134702520 3221223968 3221223236 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4208 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 176.73
Current children cumulated vsize (Kb) 20956
[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4327 0 0 0 18450 206 0 0 25 0 1 0 1846017368 19415040 4231 4294967295 134512640 134702520 3221223968 3221223248 134550430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4740 4231 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 186.58
Current children cumulated vsize (Kb) 21088
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4336 0 0 0 19425 214 0 0 25 0 1 0 1846017368 19415040 4240 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4240 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 196.41
Current children cumulated vsize (Kb) 21088
[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) T 15177 15177 31027 0 -1 0 4345 0 0 0 20404 221 0 0 25 0 1 0 1846017368 19415040 4249 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4249 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 206.27
Current children cumulated vsize (Kb) 21088
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4355 0 0 0 21383 229 0 0 25 0 1 0 1846017368 19415040 4259 4294967295 134512640 134702520 3221223968 3221223248 134552163 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4259 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 216.14
Current children cumulated vsize (Kb) 21088
[startup+230.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4362 0 0 0 22363 237 0 0 25 0 1 0 1846017368 19415040 4266 4294967295 134512640 134702520 3221223968 3221223248 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4266 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 226.02
Current children cumulated vsize (Kb) 21088
[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4369 0 0 0 23356 239 0 0 25 0 1 0 1846017368 19492864 4273 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4273 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 235.97
Current children cumulated vsize (Kb) 21164
[startup+250.033 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) T 15177 15177 31027 0 -1 0 4398 0 0 0 24333 248 0 0 25 0 1 0 1846017368 19492864 4302 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4302 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 245.83
Current children cumulated vsize (Kb) 21164
[startup+260.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4422 0 0 0 25310 255 0 0 25 0 1 0 1846017368 19492864 4326 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4326 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 255.67
Current children cumulated vsize (Kb) 21164
[startup+270.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4447 0 0 0 26291 262 0 0 25 0 1 0 1846017368 19492864 4351 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4351 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 265.55
Current children cumulated vsize (Kb) 21164
[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4469 0 0 0 27269 270 0 0 25 0 1 0 1846017368 19492864 4373 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4373 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 275.41
Current children cumulated vsize (Kb) 21164
[startup+290.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4493 0 0 0 28248 277 0 0 25 0 1 0 1846017368 19492864 4397 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4397 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 285.27
Current children cumulated vsize (Kb) 21164
[startup+300.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4514 0 0 0 29228 285 0 0 25 0 1 0 1846017368 19738624 4418 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4819 4418 413 48 0 4771 0
[pid=15180] vsize: 19276
Current children cumulated CPU time (s) 295.15
Current children cumulated vsize (Kb) 21404
[startup+310.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4541 0 0 0 30206 294 0 0 25 0 1 0 1846017368 19873792 4445 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4445 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 305.02
Current children cumulated vsize (Kb) 21536
[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4559 0 0 0 31189 300 0 0 25 0 1 0 1846017368 19873792 4463 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4463 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 314.91
Current children cumulated vsize (Kb) 21536
[startup+330.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4576 0 0 0 32170 307 0 0 25 0 1 0 1846017368 19873792 4480 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4480 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 324.79
Current children cumulated vsize (Kb) 21536
[startup+340.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4597 0 0 0 33152 315 0 0 25 0 1 0 1846017368 20119552 4501 4294967295 134512640 134702520 3221223968 3221223248 134550947 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4912 4501 413 48 0 4864 0
[pid=15180] vsize: 19648
Current children cumulated CPU time (s) 334.69
Current children cumulated vsize (Kb) 21776
[startup+350.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4599 0 0 0 34149 317 0 0 25 0 1 0 1846017368 20119552 4503 4294967295 134512640 134702520 3221223968 3220962144 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4912 4503 413 48 0 4864 0
[pid=15180] vsize: 19648
Current children cumulated CPU time (s) 344.68
Current children cumulated vsize (Kb) 21776
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=15180) exited with status: 2
New process pid=15181
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=15181) exited with status: 0
New process pid=15182
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+360.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1316 0 0 0 177 6 0 0 25 0 1 0 1846053182 8540160 1286 4294967295 134512640 134702520 3221223712 3221200348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 2085 1286 413 48 0 2037 0
[pid=15182] vsize: 8340
Current children cumulated CPU time (s) 354.6
Current children cumulated vsize (Kb) 10468
[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1392 0 0 0 1177 6 0 0 25 0 1 0 1846053182 8851456 1362 4294967295 134512640 134702520 3221223712 3220734928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15182/statm): 2161 1362 413 48 0 2113 0
[pid=15182] vsize: 8644
Current children cumulated CPU time (s) 364.6
Current children cumulated vsize (Kb) 10772
[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1699 0 0 0 2150 18 0 0 25 0 1 0 1846053182 18833408 1669 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4598 1669 413 48 0 4550 0
[pid=15182] vsize: 18392
Current children cumulated CPU time (s) 374.45
Current children cumulated vsize (Kb) 20520
[startup+390.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2097 0 0 0 3119 29 0 0 25 0 1 0 1846053182 18833408 2067 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4598 2067 413 48 0 4550 0
[pid=15182] vsize: 18392
Current children cumulated CPU time (s) 384.25
Current children cumulated vsize (Kb) 20520
[startup+400.051 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) T 15177 15177 31027 0 -1 0 2121 0 0 0 4090 39 0 0 25 0 1 0 1846053182 18968576 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4631 2091 413 48 0 4583 0
[pid=15182] vsize: 18524
Current children cumulated CPU time (s) 394.06
Current children cumulated vsize (Kb) 20652
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2444 0 0 0 5063 50 0 0 25 0 1 0 1846053182 18968576 2414 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4631 2414 413 48 0 4583 0
[pid=15182] vsize: 18524
Current children cumulated CPU time (s) 403.9
Current children cumulated vsize (Kb) 20652
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2460 0 0 0 6032 61 0 0 25 0 1 0 1846053182 19103744 2430 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4664 2430 413 48 0 4616 0
[pid=15182] vsize: 18656
Current children cumulated CPU time (s) 413.7
Current children cumulated vsize (Kb) 20784
[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2878 0 0 0 7004 73 0 0 25 0 1 0 1846053182 19103744 2848 4294967295 134512640 134702520 3221223712 3221222832 134572638 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4664 2848 413 48 0 4616 0
[pid=15182] vsize: 18656
Current children cumulated CPU time (s) 423.54
Current children cumulated vsize (Kb) 20784
[startup+440.056 s]
Raw data (loadavg): 1.07 0.99 0.99 1/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) T 15177 15177 31027 0 -1 0 3678 0 0 0 7974 86 0 0 25 0 1 0 1846053182 19238912 3648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15182/statm): 4697 3648 413 48 0 4649 0
[pid=15182] vsize: 18788
Current children cumulated CPU time (s) 433.37
Current children cumulated vsize (Kb) 20916
[startup+450.057 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 4016 0 0 0 8949 95 0 0 25 0 1 0 1846053182 19238912 3986 4294967295 134512640 134702520 3221223712 3221222968 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4697 3986 413 48 0 4649 0
[pid=15182] vsize: 18788
Current children cumulated CPU time (s) 443.21
Current children cumulated vsize (Kb) 20916
One traced child (pid=15182) exited with status: 0
New process pid=15183
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/wulflinc18/normalized-ooo.rf10.ucl.opb
One traced child (pid=15183) exited with status: 1
New process pid=15184
One traced child (pid=15184) exited with status: 127
New process pid=15185
New process pid=15186
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/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/32030/stat
open syscall for file /proc/32030/status
open syscall for file /proc/32030/cmdline
open syscall for file /proc/32030/environ
open syscall for file /proc/18880/stat
open syscall for file /proc/18880/status
open syscall for file /proc/18880/cmdline
open syscall for file /proc/18880/environ
open syscall for file /proc/18905/stat
open syscall for file /proc/18905/status
open syscall for file /proc/18905/cmdline
open syscall for file /proc/18905/environ
open syscall for file /proc/18931/stat
open syscall for file /proc/18931/status
open syscall for file /proc/18931/cmdline
open syscall for file /proc/18931/environ
open syscall for file /proc/27804/stat
open syscall for file /proc/27804/status
open syscall for file /proc/27804/cmdline
open syscall for file /proc/27804/environ
open syscall for file /proc/28297/stat
open syscall for file /proc/28297/status
open syscall for file /proc/28297/cmdline
open syscall for file /proc/28297/environ
open syscall for file /proc/13024/stat
open syscall for file /proc/13024/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/13024/cmdline
open syscall for file /proc/13024/environ
open syscall for file /proc/13060/stat
open syscall for file /proc/13060/status
open syscall for file /proc/13060/cmdline
open syscall for file /proc/13060/environ
open syscall for file /proc/31027/stat
open syscall for file /proc/31027/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/31027/cmdline
open syscall for file /proc/31027/environ
open syscall for file /proc/31028/stat
open syscall for file /proc/31028/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/31028/cmdline
open syscall for file /proc/31028/environ
open syscall for file /proc/31037/stat
open syscall for file /proc/31037/status
open syscall for file /proc/31037/cmdline
open syscall for file /proc/31037/environ
open syscall for file /proc/15140/stat
open syscall for file /proc/15140/status
open syscall for file /proc/15140/cmdline
open syscall for file /proc/15140/environ
open syscall for file /proc/15176/stat
open syscall for file /proc/15176/status
open syscall for file /proc/15176/cmdline
open syscall for file /proc/15176/environ
open syscall for file /proc/15177/stat
open syscall for file /proc/15177/status
open syscall for file /proc/15177/cmdline
open syscall for file /proc/15177/environ
open syscall for file /proc/15185/stat
open syscall for file /proc/15185/status
open syscall for file /proc/15185/cmdline
open syscall for file /proc/15185/environ
open syscall for file /proc/15186/stat
open syscall for file /proc/15186/status
open syscall for file /proc/15186/cmdline
open syscall for file /proc/15186/environ
One traced child (pid=15185) exited with status: 0
One traced child (pid=15186) exited with status: 0
New process pid=15187
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+460.058 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 15187
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 479 9459 0 0 3 2 44857 433 17 0 1 0 1846017361 2183168 251 4294967295 134512640 135087896 3221224496 3221223144 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 533 251 485 147 0 386 0
[pid=15177] vsize: 2132
Raw data (/proc/15187/stat): 15187 (sleep) S 15177 15177 31027 0 -1 0 152 0 0 0 0 0 0 0 17 0 1 0 1846063367 1818624 125 4294967295 134512640 134523492 3221224624 3221224284 1074828523 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15187/statm): 444 125 392 4 0 440 0
[pid=15187] vsize: 1776
Current children cumulated CPU time (s) 452.95
Current children cumulated vsize (Kb) 3908
One traced child (pid=15187) exited with status: 0
New process pid=15188
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=15188) exited with status: 0
One traced child (pid=15177) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 460.354
CPU time (s): 452.986
CPU user time (s): 448.616
CPU system time (s): 4.37033
CPU usage (%): 98.3996
Max. virtual memory (cumulated for all children) (Kb): 21776