1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 609 (#equs: 593)
#decisions: 491164; #end-nodes: 133220;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 251 (247)
#axs: 13980, #non-axs: 7605
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: 1729 (#equs: 1412)
Time taken: 5 min, 29 sec
2:
seed: 0
Nr of vars set: 1729 (#equs: 0)
Nr of vars set: 1730 (#equs: 7)
#decisions: 347296; #end-nodes: 97611;
#proof improvement attempts: 0; #restarts: 459
Current batch, end-nodes: 3006 / 4385 (234)
#axs: 5238, #non-axs: 16047
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 21
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: 1965 (#equs: 19)
Time taken: 3 min, 22 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.018s 0m0.032s
8m23.108s 0m29.324s
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/13659/stat): 13659 (vallstSAT2005PB) R 13658 13659 28974 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846027065 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/13659/statm): 174 3 169 147 0 27 0
[pid=13659] 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=13660
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=13660) exited with status: 0
New process pid=13661
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=13661) exited with status: 0
New process pid=13662
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/wulflinc27/normalized-ooo.burch_dill.3.accl.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0031 s]
Raw data (loadavg): 0.85 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 598 0 0 0 912 29 0 0 25 0 1 0 1846027073 4034560 568 4294967295 134512640 134702520 3221223952 3221223088 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 985 568 413 48 0 937 0
[pid=13662] vsize: 3940
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (Kb) 6068
[startup+20.0049 s]
Raw data (loadavg): 0.87 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 644 0 0 0 1799 70 0 0 25 0 1 0 1846027073 6443008 614 4294967295 134512640 134702520 3221223952 3221222976 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1573 614 413 48 0 1525 0
[pid=13662] vsize: 6292
Current children cumulated CPU time (s) 18.7
Current children cumulated vsize (Kb) 8420
[startup+30.0057 s]
Raw data (loadavg): 0.89 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 739 0 0 0 2665 117 0 0 25 0 1 0 1846027073 6443008 709 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1573 709 413 48 0 1525 0
[pid=13662] vsize: 6292
Current children cumulated CPU time (s) 27.83
Current children cumulated vsize (Kb) 8420
[startup+40.0055 s]
Raw data (loadavg): 0.91 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 792 0 0 0 3534 160 0 0 25 0 1 0 1846027073 6578176 762 4294967295 134512640 134702520 3221223952 3221222976 134556722 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1606 762 413 48 0 1558 0
[pid=13662] vsize: 6424
Current children cumulated CPU time (s) 36.95
Current children cumulated vsize (Kb) 8552
[startup+50.0074 s]
Raw data (loadavg): 0.92 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 794 0 0 0 4394 208 0 0 25 0 1 0 1846027073 6578176 764 4294967295 134512640 134702520 3221223952 3221222848 134553064 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1606 764 413 48 0 1558 0
[pid=13662] vsize: 6424
Current children cumulated CPU time (s) 46.03
Current children cumulated vsize (Kb) 8552
[startup+60.0082 s]
Raw data (loadavg): 0.93 0.98 0.98 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 798 0 0 0 5255 258 0 0 25 0 1 0 1846027073 6717440 768 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1640 768 413 48 0 1592 0
[pid=13662] vsize: 6560
Current children cumulated CPU time (s) 55.14
Current children cumulated vsize (Kb) 8688
[startup+70.01 s]
Raw data (loadavg): 0.94 0.98 0.98 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 806 0 0 0 6125 299 0 0 25 0 1 0 1846027073 6701056 776 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1636 776 413 48 0 1588 0
[pid=13662] vsize: 6544
Current children cumulated CPU time (s) 64.25
Current children cumulated vsize (Kb) 8672
[startup+80.0118 s]
Raw data (loadavg): 0.95 0.98 0.98 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 859 0 0 0 7018 337 0 0 25 0 1 0 1846027073 6942720 829 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1695 829 413 48 0 1647 0
[pid=13662] vsize: 6780
Current children cumulated CPU time (s) 73.56
Current children cumulated vsize (Kb) 8908
[startup+90.0127 s]
Raw data (loadavg): 0.96 0.98 0.98 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 868 0 0 0 7877 384 0 0 23 0 1 0 1846027073 6946816 838 4294967295 134512640 134702520 3221223952 3221222848 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1696 838 413 48 0 1648 0
[pid=13662] vsize: 6784
Current children cumulated CPU time (s) 82.62
Current children cumulated vsize (Kb) 8912
[startup+100.013 s]
Raw data (loadavg): 0.96 0.98 0.98 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 868 0 0 0 8715 439 0 0 24 0 1 0 1846027073 6946816 838 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1696 838 413 48 0 1648 0
[pid=13662] vsize: 6784
Current children cumulated CPU time (s) 91.55
Current children cumulated vsize (Kb) 8912
[startup+110.016 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 870 0 0 0 9581 485 0 0 25 0 1 0 1846027073 6946816 840 4294967295 134512640 134702520 3221223952 3221176508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1696 840 413 48 0 1648 0
[pid=13662] vsize: 6784
Current children cumulated CPU time (s) 100.67
Current children cumulated vsize (Kb) 8912
[startup+120.018 s]
Raw data (loadavg): 1.04 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 883 0 0 0 10467 527 0 0 25 0 1 0 1846027073 7102464 853 4294967295 134512640 134702520 3221223952 3221122128 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1734 853 413 48 0 1686 0
[pid=13662] vsize: 6936
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 9064
[startup+130.02 s]
Raw data (loadavg): 1.03 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 906 0 0 0 11331 572 0 0 25 0 1 0 1846027073 7032832 875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1717 875 413 48 0 1669 0
[pid=13662] vsize: 6868
Current children cumulated CPU time (s) 119.04
Current children cumulated vsize (Kb) 8996
[startup+140.021 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 906 0 0 0 12173 626 0 0 22 0 1 0 1846027073 7032832 875 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1717 875 413 48 0 1669 0
[pid=13662] vsize: 6868
Current children cumulated CPU time (s) 128
Current children cumulated vsize (Kb) 8996
[startup+150.023 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 907 0 0 0 13036 670 0 0 25 0 1 0 1846027073 7036928 876 4294967295 134512640 134702520 3221223952 3221184028 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1718 876 413 48 0 1670 0
[pid=13662] vsize: 6872
Current children cumulated CPU time (s) 137.07
Current children cumulated vsize (Kb) 9000
[startup+160.023 s]
Raw data (loadavg): 1.02 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 909 0 0 0 13928 705 0 0 25 0 1 0 1846027073 7041024 878 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1719 878 413 48 0 1671 0
[pid=13662] vsize: 6876
Current children cumulated CPU time (s) 146.34
Current children cumulated vsize (Kb) 9004
[startup+170.025 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 937 0 0 0 14825 741 0 0 25 0 1 0 1846027073 7200768 906 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1758 906 413 48 0 1710 0
[pid=13662] vsize: 7032
Current children cumulated CPU time (s) 155.67
Current children cumulated vsize (Kb) 9160
[startup+180.031 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 951 0 0 0 15699 783 0 0 22 0 1 0 1846027073 7315456 920 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1786 920 413 48 0 1738 0
[pid=13662] vsize: 7144
Current children cumulated CPU time (s) 164.83
Current children cumulated vsize (Kb) 9272
[startup+190.035 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 951 0 0 0 16564 830 0 0 24 0 1 0 1846027073 7315456 920 4294967295 134512640 134702520 3221223952 3221223232 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1786 920 413 48 0 1738 0
[pid=13662] vsize: 7144
Current children cumulated CPU time (s) 173.95
Current children cumulated vsize (Kb) 9272
[startup+200.036 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 952 0 0 0 17449 867 0 0 25 0 1 0 1846027073 7319552 921 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1787 921 413 48 0 1739 0
[pid=13662] vsize: 7148
Current children cumulated CPU time (s) 183.17
Current children cumulated vsize (Kb) 9276
[startup+210.037 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 952 0 0 0 18341 905 0 0 25 0 1 0 1846027073 7319552 921 4294967295 134512640 134702520 3221223952 3221151248 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1787 921 413 48 0 1739 0
[pid=13662] vsize: 7148
Current children cumulated CPU time (s) 192.47
Current children cumulated vsize (Kb) 9276
[startup+220.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 975 0 0 0 19245 939 0 0 25 0 1 0 1846027073 7458816 944 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1821 944 413 48 0 1773 0
[pid=13662] vsize: 7284
Current children cumulated CPU time (s) 201.85
Current children cumulated vsize (Kb) 9412
[startup+230.042 s]
Raw data (loadavg): 1.08 1.02 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 990 0 0 0 20130 978 0 0 25 0 1 0 1846027073 7458816 959 4294967295 134512640 134702520 3221223952 3221222848 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1821 959 413 48 0 1773 0
[pid=13662] vsize: 7284
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (Kb) 9412
[startup+240.043 s]
Raw data (loadavg): 1.07 1.01 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 990 0 0 0 20994 1027 0 0 22 0 1 0 1846027073 7458816 959 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1821 959 413 48 0 1773 0
[pid=13662] vsize: 7284
Current children cumulated CPU time (s) 220.22
Current children cumulated vsize (Kb) 9412
[startup+250.045 s]
Raw data (loadavg): 1.06 1.01 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 990 0 0 0 21869 1071 0 0 18 0 1 0 1846027073 7458816 959 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1821 959 413 48 0 1773 0
[pid=13662] vsize: 7284
Current children cumulated CPU time (s) 229.41
Current children cumulated vsize (Kb) 9412
[startup+260.046 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1021 0 0 0 22744 1116 0 0 23 0 1 0 1846027073 7458816 990 4294967295 134512640 134702520 3221223952 3221223072 134573369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1821 990 413 48 0 1773 0
[pid=13662] vsize: 7284
Current children cumulated CPU time (s) 238.61
Current children cumulated vsize (Kb) 9412
[startup+270.046 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1048 0 0 0 23638 1150 0 0 25 0 1 0 1846027073 7614464 1017 4294967295 134512640 134702520 3221223952 3221163568 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1859 1017 413 48 0 1811 0
[pid=13662] vsize: 7436
Current children cumulated CPU time (s) 247.89
Current children cumulated vsize (Kb) 9564
[startup+280.047 s]
Raw data (loadavg): 1.03 1.01 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 1072 0 0 0 24526 1188 0 0 25 0 1 0 1846027073 7692288 1041 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1878 1041 413 48 0 1830 0
[pid=13662] vsize: 7512
Current children cumulated CPU time (s) 257.15
Current children cumulated vsize (Kb) 9640
[startup+290.048 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1072 0 0 0 25396 1233 0 0 25 0 1 0 1846027073 7692288 1041 4294967295 134512640 134702520 3221223952 3221222848 134552539 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1878 1041 413 48 0 1830 0
[pid=13662] vsize: 7512
Current children cumulated CPU time (s) 266.3
Current children cumulated vsize (Kb) 9640
[startup+300.049 s]
Raw data (loadavg): 1.02 1.01 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 1072 0 0 0 26263 1281 0 0 25 0 1 0 1846027073 7692288 1041 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1878 1041 413 48 0 1830 0
[pid=13662] vsize: 7512
Current children cumulated CPU time (s) 275.45
Current children cumulated vsize (Kb) 9640
[startup+310.05 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1072 0 0 0 27145 1321 0 0 25 0 1 0 1846027073 7692288 1041 4294967295 134512640 134702520 3221223952 3221223376 134595909 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1878 1041 413 48 0 1830 0
[pid=13662] vsize: 7512
Current children cumulated CPU time (s) 284.67
Current children cumulated vsize (Kb) 9640
[startup+320.052 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1072 0 0 0 28048 1355 0 0 25 0 1 0 1846027073 7692288 1041 4294967295 134512640 134702520 3221223952 3221223232 134553052 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1878 1041 413 48 0 1830 0
[pid=13662] vsize: 7512
Current children cumulated CPU time (s) 294.04
Current children cumulated vsize (Kb) 9640
[startup+330.052 s]
Raw data (loadavg): 1.01 1.01 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1352 0 0 0 28944 1389 0 0 25 0 1 0 1846027073 7831552 1321 4294967295 134512640 134702520 3221223952 3221223232 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1912 1321 413 48 0 1864 0
[pid=13662] vsize: 7648
Current children cumulated CPU time (s) 303.34
Current children cumulated vsize (Kb) 9776
[startup+340.052 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) R 13659 13659 28974 0 -1 0 1435 0 0 0 29857 1418 0 0 25 0 1 0 1846027073 7831552 1404 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13662/statm): 1912 1404 413 48 0 1864 0
[pid=13662] vsize: 7648
Current children cumulated CPU time (s) 312.76
Current children cumulated vsize (Kb) 9776
[startup+350.053 s]
Raw data (loadavg): 1.01 1.00 0.99 1/57 13662
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 1846027065 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 242 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13662/stat): 13662 (vallst) T 13659 13659 28974 0 -1 0 1442 0 0 0 30745 1457 0 0 25 0 1 0 1846027073 7831552 1411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13662/statm): 1912 1411 413 48 0 1864 0
[pid=13662] vsize: 7648
Current children cumulated CPU time (s) 322.03
Current children cumulated vsize (Kb) 9776
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=13662) exited with status: 2
New process pid=13663
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=13663) exited with status: 0
New process pid=13664
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.054 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 516 0 0 0 106 2 0 0 25 0 1 0 1846062964 3985408 487 4294967295 134512640 134702520 3221223712 3221120028 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 973 487 413 48 0 925 0
[pid=13664] vsize: 3892
Current children cumulated CPU time (s) 331.28
Current children cumulated vsize (Kb) 6020
[startup+370.056 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 585 0 0 0 871 80 0 0 21 0 1 0 1846062964 4161536 556 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 1016 556 413 48 0 968 0
[pid=13664] vsize: 4064
Current children cumulated CPU time (s) 339.71
Current children cumulated vsize (Kb) 6192
[startup+380.057 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 656 0 0 0 1646 155 0 0 22 0 1 0 1846062964 7360512 627 4294967295 134512640 134702520 3221223712 3221212748 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13664/statm): 1797 627 413 48 0 1749 0
[pid=13664] vsize: 7188
Current children cumulated CPU time (s) 348.21
Current children cumulated vsize (Kb) 9316
[startup+390.056 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 722 0 0 0 2508 201 0 0 18 0 1 0 1846062964 7901184 693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 1929 693 413 48 0 1881 0
[pid=13664] vsize: 7716
Current children cumulated CPU time (s) 357.29
Current children cumulated vsize (Kb) 9844
[startup+400.058 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 809 0 0 0 3376 247 0 0 25 0 1 0 1846062964 7901184 780 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 1929 780 413 48 0 1881 0
[pid=13664] vsize: 7716
Current children cumulated CPU time (s) 366.43
Current children cumulated vsize (Kb) 9844
[startup+410.058 s]
Raw data (loadavg): 1.13 1.03 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 825 0 0 0 4181 314 0 0 22 0 1 0 1846062964 8036352 796 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 1962 796 413 48 0 1914 0
[pid=13664] vsize: 7848
Current children cumulated CPU time (s) 375.15
Current children cumulated vsize (Kb) 9976
[startup+420.059 s]
Raw data (loadavg): 1.19 1.05 1.01 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 825 0 0 0 4949 393 0 0 22 0 1 0 1846062964 8024064 796 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 1959 796 413 48 0 1911 0
[pid=13664] vsize: 7836
Current children cumulated CPU time (s) 383.62
Current children cumulated vsize (Kb) 9964
[startup+430.062 s]
Raw data (loadavg): 1.16 1.04 1.01 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 827 0 0 0 5789 452 0 0 18 0 1 0 1846062964 8024064 798 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 1959 798 413 48 0 1911 0
[pid=13664] vsize: 7836
Current children cumulated CPU time (s) 392.61
Current children cumulated vsize (Kb) 9964
[startup+440.062 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 840 0 0 0 6658 498 0 0 25 0 1 0 1846062964 8425472 811 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 811 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 401.76
Current children cumulated vsize (Kb) 10356
[startup+450.062 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 876 0 0 0 7513 548 0 0 21 0 1 0 1846062964 8425472 847 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 847 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 410.81
Current children cumulated vsize (Kb) 10356
[startup+460.063 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 876 0 0 0 8259 631 0 0 20 0 1 0 1846062964 8425472 847 4294967295 134512640 134702520 3221223712 3221222608 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 847 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 419.1
Current children cumulated vsize (Kb) 10356
[startup+470.064 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 877 0 0 0 9032 713 0 0 23 0 1 0 1846062964 8425472 848 4294967295 134512640 134702520 3221223712 3221222992 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 848 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 427.65
Current children cumulated vsize (Kb) 10356
[startup+480.065 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 878 0 0 0 9866 765 0 0 24 0 1 0 1846062964 8425472 849 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2057 849 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 436.51
Current children cumulated vsize (Kb) 10356
[startup+490.066 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 881 0 0 0 10723 817 0 0 24 0 1 0 1846062964 8425472 852 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2057 852 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 445.6
Current children cumulated vsize (Kb) 10356
[startup+500.066 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 883 0 0 0 11505 889 0 0 20 0 1 0 1846062964 8425472 854 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 854 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 454.14
Current children cumulated vsize (Kb) 10356
[startup+510.067 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 883 0 0 0 12252 978 0 0 20 0 1 0 1846062964 8425472 854 4294967295 134512640 134702520 3221223712 3221222608 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2057 854 413 48 0 2009 0
[pid=13664] vsize: 8228
Current children cumulated CPU time (s) 462.5
Current children cumulated vsize (Kb) 10356
[startup+520.069 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 892 0 0 0 13084 1035 0 0 23 0 1 0 1846062964 8536064 863 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2084 863 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 471.39
Current children cumulated vsize (Kb) 10464
[startup+530.07 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 893 0 0 0 13939 1081 0 0 24 0 1 0 1846062964 8536064 864 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2084 864 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 480.4
Current children cumulated vsize (Kb) 10464
[startup+540.07 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 899 0 0 0 14807 1124 0 0 23 0 1 0 1846062964 8536064 870 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2084 870 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 489.51
Current children cumulated vsize (Kb) 10464
[startup+550.072 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 899 0 0 0 15556 1208 0 0 21 0 1 0 1846062964 8536064 870 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/13664/statm): 2084 870 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 497.84
Current children cumulated vsize (Kb) 10464
[startup+560.072 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 899 0 0 0 16316 1291 0 0 21 0 1 0 1846062964 8536064 870 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2084 870 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 506.27
Current children cumulated vsize (Kb) 10464
[startup+570.074 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) T 13659 13659 28974 0 -1 0 926 0 0 0 17167 1343 0 0 24 0 1 0 1846062964 8536064 897 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2084 897 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 515.3
Current children cumulated vsize (Kb) 10464
[startup+580.075 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 13664
Raw data (/proc/13659/stat): 13659 (vallstSAT2005PB) S 13658 13659 28974 0 -1 0 378 1817 0 0 1 2 31516 1501 19 0 1 0 1846027065 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/13659/statm): 532 248 485 147 0 385 0
[pid=13659] vsize: 2128
Raw data (/proc/13664/stat): 13664 (vallst) R 13659 13659 28974 0 -1 0 926 0 0 0 18045 1387 0 0 24 0 1 0 1846062964 8536064 897 4294967295 134512640 134702520 3221223712 3221208748 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/13664/statm): 2084 897 413 48 0 2036 0
[pid=13664] vsize: 8336
Current children cumulated CPU time (s) 524.52
Current children cumulated vsize (Kb) 10464
One traced child (pid=13664) exited with status: 0
New process pid=13665
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/wulflinc27/normalized-ooo.burch_dill.3.accl.ucl.opb
One traced child (pid=13665) exited with status: 1
New process pid=13666
One traced child (pid=13666) exited with status: 127
New process pid=13667
New process pid=13668
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/11339/stat
open syscall for file /proc/11339/status
open syscall for file /proc/11339/cmdline
open syscall for file /proc/11339/environ
open syscall for file /proc/22082/stat
open syscall for file /proc/22082/status
open syscall for file /proc/22082/cmdline
open syscall for file /proc/22082/environ
open syscall for file /proc/22109/stat
open syscall for file /proc/22109/status
open syscall for file /proc/22109/cmdline
open syscall for file /proc/22109/environ
open syscall for file /proc/22133/stat
open syscall for file /proc/22133/status
open syscall for file /proc/22133/cmdline
open syscall for file /proc/22133/environ
open syscall for file /proc/14967/stat
open syscall for file /proc/14967/status
open syscall for file /proc/14967/cmdline
open syscall for file /proc/14967/environ
open syscall for file /proc/14968/stat
open syscall for file /proc/14968/status
open syscall for file /proc/14968/cmdline
open syscall for file /proc/14968/environ
open syscall for file /proc/9601/stat
open syscall for file /proc/9601/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/9601/cmdline
open syscall for file /proc/9601/environ
open syscall for file /proc/9636/stat
open syscall for file /proc/9636/status
open syscall for file /proc/9636/cmdline
open syscall for file /proc/9636/environ
open syscall for file /proc/28974/stat
open syscall for file /proc/28974/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/28974/cmdline
open syscall for file /proc/28974/environ
open syscall for file /proc/28975/stat
open syscall for file /proc/28975/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/28975/cmdline
open syscall for file /proc/28975/environ
open syscall for file /proc/28984/stat
open syscall for file /proc/28984/status
open syscall for file /proc/28984/cmdline
open syscall for file /proc/28984/environ
open syscall for file /proc/13622/stat
open syscall for file /proc/13622/status
open syscall for file /proc/13622/cmdline
open syscall for file /proc/13622/environ
open syscall for file /proc/13658/stat
open syscall for file /proc/13658/status
open syscall for file /proc/13658/cmdline
open syscall for file /proc/13658/environ
open syscall for file /proc/13659/stat
open syscall for file /proc/13659/status
open syscall for file /proc/13659/cmdline
open syscall for file /proc/13659/environ
open syscall for file /proc/13667/stat
open syscall for file /proc/13667/status
open syscall for file /proc/13667/cmdline
open syscall for file /proc/13667/environ
open syscall for file /proc/13668/stat
open syscall for file /proc/13668/status
open syscall for file /proc/13668/cmdline
open syscall for file /proc/13668/environ
One traced child (pid=13667) exited with status: 0
One traced child (pid=13668) exited with status: 0
New process pid=13669
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=13669) exited with status: 0
New process pid=13670
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=13670) exited with status: 0
One traced child (pid=13659) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 589.336
CPU time (s): 532.557
CPU user time (s): 503.154
CPU system time (s): 29.4025
CPU usage (%): 90.3657
Max. virtual memory (cumulated for all children) (Kb): 10464