1:
seed: 0
Nr of vars set: 3 (#equs: 0)
Nr of vars set: 20 (#equs: 572)
#decisions: 151988; #end-nodes: 20892;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 146 (127)
#axs: 21460, #non-axs: 1035
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)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20 (#equs: 577)
Time taken: 6 min, 19 sec
2:
seed: 0
Nr of vars set: 20 (#equs: 0)
Nr of vars set: 20 (#equs: 303)
#decisions: 60728; #end-nodes: 14608;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 157 (143)
#axs: 21193, #non-axs: 3714
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: 20 (#equs: 313)
Time taken: 6 min, 33 sec
3:
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/6601/stat): 6601 (vallstSAT2005PB) R 6600 6601 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20581561 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6601/statm): 174 3 169 147 0 27 0
[pid=6601] 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=6602
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=6602) exited with status: 0
New process pid=6603
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=6603) exited with status: 0
New process pid=6604
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/wulflinc31/normalized-mps-v2-13-7-CMS750_4.opb
[startup+10.0034 s]
Raw data (loadavg): 0.81 0.94 0.98 1/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) T 6601 6601 4005 0 -1 0 8125 0 0 0 916 49 0 0 25 0 1 0 20581567 37961728 7386 4294967295 134512640 134702520 3221223952 3221223444 1074898590 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6604/statm): 9268 7386 413 48 0 9220 0
[pid=6604] vsize: 37072
Current children cumulated CPU time (s) 9.67
Current children cumulated vsize (Kb) 39200
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+20.0053 s]
Raw data (loadavg): 0.84 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8773 0 0 0 1899 60 0 0 25 0 1 0 20581567 37457920 7649 4294967295 134512640 134702520 3221223952 3221223216 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 9145 7649 413 48 0 9097 0
[pid=6604] vsize: 36580
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (Kb) 38708
[startup+30.0063 s]
Raw data (loadavg): 0.87 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8796 0 0 0 2892 62 0 0 25 0 1 0 20581567 72904704 7672 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17799 7672 413 48 0 17751 0
[pid=6604] vsize: 71196
Current children cumulated CPU time (s) 29.56
Current children cumulated vsize (Kb) 73324
[startup+40.0072 s]
Raw data (loadavg): 0.89 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8832 0 0 0 3883 66 0 0 25 0 1 0 20581567 72904704 7708 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17799 7708 413 48 0 17751 0
[pid=6604] vsize: 71196
Current children cumulated CPU time (s) 39.51
Current children cumulated vsize (Kb) 73324
[startup+50.0081 s]
Raw data (loadavg): 0.90 0.94 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8845 0 0 0 4871 71 0 0 25 0 1 0 20581567 72937472 7721 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17807 7721 413 48 0 17759 0
[pid=6604] vsize: 71228
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (Kb) 73356
[startup+60.0091 s]
Raw data (loadavg): 0.92 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8996 0 0 0 5810 91 0 0 24 0 1 0 20581567 73003008 7872 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17823 7872 413 48 0 17775 0
[pid=6604] vsize: 71292
Current children cumulated CPU time (s) 59.03
Current children cumulated vsize (Kb) 73420
[startup+70.01 s]
Raw data (loadavg): 0.93 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 6798 95 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 68.95
Current children cumulated vsize (Kb) 73424
[startup+80.0109 s]
Raw data (loadavg): 0.94 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 7541 182 0 0 20 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 77.25
Current children cumulated vsize (Kb) 73424
[startup+90.0109 s]
Raw data (loadavg): 0.95 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 8537 183 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134553248 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 87.22
Current children cumulated vsize (Kb) 73424
[startup+100.012 s]
Raw data (loadavg): 0.96 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 8998 0 0 0 9535 184 0 0 25 0 1 0 20581567 73007104 7874 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7874 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 97.21
Current children cumulated vsize (Kb) 73424
[startup+110.013 s]
Raw data (loadavg): 0.96 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9076 0 0 0 10524 188 0 0 25 0 1 0 20581567 73007104 7952 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7952 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 107.14
Current children cumulated vsize (Kb) 73424
[startup+120.015 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9098 0 0 0 11514 192 0 0 25 0 1 0 20581567 73007104 7974 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7974 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 117.08
Current children cumulated vsize (Kb) 73424
[startup+130.016 s]
Raw data (loadavg): 0.97 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9098 0 0 0 12510 192 0 0 25 0 1 0 20581567 73007104 7974 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7974 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 127.04
Current children cumulated vsize (Kb) 73424
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9099 0 0 0 13506 195 0 0 25 0 1 0 20581567 73007104 7975 4294967295 134512640 134702520 3221223952 3221222976 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7975 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 137.03
Current children cumulated vsize (Kb) 73424
[startup+150.017 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9099 0 0 0 14498 197 0 0 25 0 1 0 20581567 73007104 7975 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7975 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 146.97
Current children cumulated vsize (Kb) 73424
[startup+160.018 s]
Raw data (loadavg): 0.98 0.95 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 15435 219 0 0 21 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221180828 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 156.56
Current children cumulated vsize (Kb) 73424
[startup+170.019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 16432 220 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 166.54
Current children cumulated vsize (Kb) 73424
[startup+180.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 17422 224 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 176.48
Current children cumulated vsize (Kb) 73424
[startup+190.02 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 18415 227 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 186.44
Current children cumulated vsize (Kb) 73424
[startup+200.021 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 19409 228 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 196.39
Current children cumulated vsize (Kb) 73424
[startup+210.022 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 20404 230 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 206.36
Current children cumulated vsize (Kb) 73424
[startup+220.024 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 21401 231 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 216.34
Current children cumulated vsize (Kb) 73424
[startup+230.025 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 22392 234 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 226.28
Current children cumulated vsize (Kb) 73424
[startup+240.026 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9100 0 0 0 23389 235 0 0 25 0 1 0 20581567 73007104 7976 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7976 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 236.26
Current children cumulated vsize (Kb) 73424
[startup+250.027 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9101 0 0 0 24374 240 0 0 25 0 1 0 20581567 73007104 7977 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7977 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 246.16
Current children cumulated vsize (Kb) 73424
[startup+260.028 s]
Raw data (loadavg): 0.99 0.96 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9122 0 0 0 25356 247 0 0 25 0 1 0 20581567 73007104 7998 4294967295 134512640 134702520 3221223952 3221223232 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 7998 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 256.05
Current children cumulated vsize (Kb) 73424
[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9152 0 0 0 26344 251 0 0 25 0 1 0 20581567 73007104 8028 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8028 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 265.97
Current children cumulated vsize (Kb) 73424
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 27330 255 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 275.87
Current children cumulated vsize (Kb) 73424
[startup+290.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 28321 259 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 285.82
Current children cumulated vsize (Kb) 73424
[startup+300.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9170 0 0 0 29316 261 0 0 25 0 1 0 20581567 73007104 8046 4294967295 134512640 134702520 3221223952 3221223232 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8046 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 295.79
Current children cumulated vsize (Kb) 73424
[startup+310.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9171 0 0 0 30311 262 0 0 25 0 1 0 20581567 73007104 8047 4294967295 134512640 134702520 3221223952 3221223232 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8047 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 305.75
Current children cumulated vsize (Kb) 73424
[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9176 0 0 0 31310 263 0 0 25 0 1 0 20581567 73007104 8052 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8052 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 315.75
Current children cumulated vsize (Kb) 73424
[startup+330.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 32306 265 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 325.73
Current children cumulated vsize (Kb) 73424
[startup+340.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 33300 267 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 335.69
Current children cumulated vsize (Kb) 73424
[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 34295 269 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 345.66
Current children cumulated vsize (Kb) 73424
[startup+360.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9177 0 0 0 35282 274 0 0 25 0 1 0 20581567 73007104 8053 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6604/statm): 17824 8053 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 355.58
Current children cumulated vsize (Kb) 73424
[startup+370.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9187 0 0 0 36275 276 0 0 25 0 1 0 20581567 73007104 8063 4294967295 134512640 134702520 3221223952 3221222976 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8063 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 365.53
Current children cumulated vsize (Kb) 73424
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6604
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 20581561 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6601/statm): 532 242 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6604/stat): 6604 (vallst) R 6601 6601 4005 0 -1 0 9187 0 0 0 37270 279 0 0 25 0 1 0 20581567 73007104 8063 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6604/statm): 17824 8063 413 48 0 17776 0
[pid=6604] vsize: 71296
Current children cumulated CPU time (s) 375.51
Current children cumulated vsize (Kb) 73424
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=6604) exited with status: 2
New process pid=6605
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=6605) exited with status: 0
New process pid=6606
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+390.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 4689 0 0 0 271 22 0 0 25 0 1 0 20620263 32149504 4661 4294967295 134512640 134702520 3221223712 3221223376 134637292 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 7849 4661 413 48 0 7801 0
[pid=6606] vsize: 31396
Current children cumulated CPU time (s) 385.26
Current children cumulated vsize (Kb) 33524
[startup+400.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 6982 0 0 0 1241 40 0 0 25 0 1 0 20620263 35373056 6953 4294967295 134512640 134702520 3221223712 3221222976 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 8636 6953 413 48 0 8588 0
[pid=6606] vsize: 34544
Current children cumulated CPU time (s) 395.14
Current children cumulated vsize (Kb) 36672
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7056 0 0 0 2228 44 0 0 25 0 1 0 20620263 69865472 7025 4294967295 134512640 134702520 3221223712 3221222992 134552516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17057 7025 413 48 0 17009 0
[pid=6606] vsize: 68228
Current children cumulated CPU time (s) 405.05
Current children cumulated vsize (Kb) 70356
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7175 0 0 0 3218 47 0 0 25 0 1 0 20620263 70000640 7144 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17090 7144 413 48 0 17042 0
[pid=6606] vsize: 68360
Current children cumulated CPU time (s) 414.98
Current children cumulated vsize (Kb) 70488
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7350 0 0 0 4206 52 0 0 25 0 1 0 20620263 70811648 7319 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17288 7319 413 48 0 17240 0
[pid=6606] vsize: 69152
Current children cumulated CPU time (s) 424.91
Current children cumulated vsize (Kb) 71280
[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7412 0 0 0 5197 55 0 0 25 0 1 0 20620263 71053312 7379 4294967295 134512640 134702520 3221223712 3221222976 134553213 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7379 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 434.85
Current children cumulated vsize (Kb) 71516
[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7413 0 0 0 6195 56 0 0 25 0 1 0 20620263 71053312 7380 4294967295 134512640 134702520 3221223712 3221222960 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7380 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 444.84
Current children cumulated vsize (Kb) 71516
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7418 0 0 0 7188 59 0 0 25 0 1 0 20620263 71053312 7385 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7385 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 454.8
Current children cumulated vsize (Kb) 71516
[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7439 0 0 0 8178 62 0 0 25 0 1 0 20620263 71053312 7406 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7406 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 464.73
Current children cumulated vsize (Kb) 71516
[startup+480.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7444 0 0 0 9173 64 0 0 25 0 1 0 20620263 71053312 7411 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7411 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 474.7
Current children cumulated vsize (Kb) 71516
[startup+490.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7447 0 0 0 10162 68 0 0 25 0 1 0 20620263 71053312 7414 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7414 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 484.63
Current children cumulated vsize (Kb) 71516
[startup+500.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7454 0 0 0 11161 68 0 0 25 0 1 0 20620263 71569408 7421 4294967295 134512640 134702520 3221223712 3221222736 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17473 7421 413 48 0 17425 0
[pid=6606] vsize: 69892
Current children cumulated CPU time (s) 494.62
Current children cumulated vsize (Kb) 72020
[startup+510.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7455 0 0 0 12156 70 0 0 25 0 1 0 20620263 71053312 7420 4294967295 134512640 134702520 3221223712 3221222992 134550691 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7420 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 504.59
Current children cumulated vsize (Kb) 71516
[startup+520.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7460 0 0 0 13151 72 0 0 25 0 1 0 20620263 71053312 7425 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7425 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 514.56
Current children cumulated vsize (Kb) 71516
[startup+530.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7474 0 0 0 14148 72 0 0 25 0 1 0 20620263 71053312 7439 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17347 7439 413 48 0 17299 0
[pid=6606] vsize: 69388
Current children cumulated CPU time (s) 524.53
Current children cumulated vsize (Kb) 71516
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.98 1/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) T 6601 6601 4005 0 -1 0 7488 0 0 0 15137 76 0 0 25 0 1 0 20620263 71188480 7453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7453 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 534.46
Current children cumulated vsize (Kb) 71648
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7490 0 0 0 16133 78 0 0 25 0 1 0 20620263 71188480 7455 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7455 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 544.44
Current children cumulated vsize (Kb) 71648
[startup+560.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7496 0 0 0 17120 82 0 0 25 0 1 0 20620263 71188480 7461 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7461 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 554.35
Current children cumulated vsize (Kb) 71648
[startup+570.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7501 0 0 0 18114 85 0 0 25 0 1 0 20620263 71188480 7466 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7466 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 564.32
Current children cumulated vsize (Kb) 71648
[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7510 0 0 0 19107 86 0 0 25 0 1 0 20620263 71188480 7473 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7473 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 574.26
Current children cumulated vsize (Kb) 71648
[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7519 0 0 0 20097 91 0 0 25 0 1 0 20620263 71188480 7482 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6606/statm): 17380 7482 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 584.21
Current children cumulated vsize (Kb) 71648
[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7523 0 0 0 21090 93 0 0 25 0 1 0 20620263 71188480 7486 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7486 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 594.16
Current children cumulated vsize (Kb) 71648
[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7528 0 0 0 22079 97 0 0 25 0 1 0 20620263 71188480 7491 4294967295 134512640 134702520 3221223712 3221222992 134552831 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7491 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 604.09
Current children cumulated vsize (Kb) 71648
[startup+620.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7541 0 0 0 23073 99 0 0 25 0 1 0 20620263 71188480 7504 4294967295 134512640 134702520 3221223712 3221222832 134572622 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7504 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 614.05
Current children cumulated vsize (Kb) 71648
[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7550 0 0 0 24063 101 0 0 25 0 1 0 20620263 71188480 7511 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7511 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 623.97
Current children cumulated vsize (Kb) 71648
[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7556 0 0 0 25053 105 0 0 25 0 1 0 20620263 71188480 7517 4294967295 134512640 134702520 3221223712 3221222832 134573410 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17380 7517 413 48 0 17332 0
[pid=6606] vsize: 69520
Current children cumulated CPU time (s) 633.91
Current children cumulated vsize (Kb) 71648
[startup+650.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7570 0 0 0 26041 110 0 0 25 0 1 0 20620263 71323648 7531 4294967295 134512640 134702520 3221223712 3221222992 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7531 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 643.84
Current children cumulated vsize (Kb) 71780
[startup+660.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7579 0 0 0 27032 113 0 0 25 0 1 0 20620263 71323648 7540 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7540 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 653.78
Current children cumulated vsize (Kb) 71780
[startup+670.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7588 0 0 0 28025 115 0 0 25 0 1 0 20620263 71323648 7549 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7549 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 663.73
Current children cumulated vsize (Kb) 71780
[startup+680.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7600 0 0 0 29015 118 0 0 25 0 1 0 20620263 71323648 7561 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7561 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 673.66
Current children cumulated vsize (Kb) 71780
[startup+690.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7607 0 0 0 30010 119 0 0 25 0 1 0 20620263 71323648 7568 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7568 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 683.62
Current children cumulated vsize (Kb) 71780
[startup+700.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7615 0 0 0 31002 122 0 0 25 0 1 0 20620263 71323648 7574 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7574 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 693.57
Current children cumulated vsize (Kb) 71780
[startup+710.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7631 0 0 0 31990 127 0 0 25 0 1 0 20620263 71323648 7590 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7590 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 703.5
Current children cumulated vsize (Kb) 71780
[startup+720.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7640 0 0 0 32985 129 0 0 25 0 1 0 20620263 71323648 7599 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7599 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 713.47
Current children cumulated vsize (Kb) 71780
[startup+730.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7666 0 0 0 33977 132 0 0 25 0 1 0 20620263 71323648 7625 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7625 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 723.42
Current children cumulated vsize (Kb) 71780
[startup+740.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7674 0 0 0 34971 134 0 0 25 0 1 0 20620263 71323648 7633 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7633 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 733.38
Current children cumulated vsize (Kb) 71780
[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7686 0 0 0 35962 137 0 0 25 0 1 0 20620263 71323648 7645 4294967295 134512640 134702520 3221223712 3221222976 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7645 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 743.32
Current children cumulated vsize (Kb) 71780
[startup+760.073 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7698 0 0 0 36953 141 0 0 25 0 1 0 20620263 71323648 7657 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17413 7657 413 48 0 17365 0
[pid=6606] vsize: 69652
Current children cumulated CPU time (s) 753.27
Current children cumulated vsize (Kb) 71780
[startup+770.074 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7712 0 0 0 37942 144 0 0 25 0 1 0 20620263 71839744 7671 4294967295 134512640 134702520 3221223712 3221222736 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17539 7671 413 48 0 17491 0
[pid=6606] vsize: 70156
Current children cumulated CPU time (s) 763.19
Current children cumulated vsize (Kb) 72284
[startup+780.075 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 6606
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 378 9562 0 0 1 1 37921 310 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6606/stat): 6606 (vallst) R 6601 6601 4005 0 -1 0 7712 0 0 0 38935 147 0 0 25 0 1 0 20620263 71839744 7671 4294967295 134512640 134702520 3221223712 3221222736 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6606/statm): 17539 7671 413 48 0 17491 0
[pid=6606] vsize: 70156
Current children cumulated CPU time (s) 773.15
Current children cumulated vsize (Kb) 72284
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=6606) exited with status: 2
New process pid=6607
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=6607) exited with status: 0
New process pid=6608
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+790.075 s]
Raw data (loadavg): 1.07 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 5283 0 0 0 378 28 0 0 25 0 1 0 20660157 32247808 5256 4294967295 134512640 134702520 3221223712 3221223344 134633315 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 7873 5256 413 48 0 7825 0
[pid=6608] vsize: 31492
Current children cumulated CPU time (s) 782.89
Current children cumulated vsize (Kb) 33620
[startup+800.076 s]
Raw data (loadavg): 1.06 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7034 0 0 0 1354 43 0 0 25 0 1 0 20660157 35504128 7006 4294967295 134512640 134702520 3221223712 3221222976 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 8668 7006 413 48 0 8620 0
[pid=6608] vsize: 34672
Current children cumulated CPU time (s) 792.8
Current children cumulated vsize (Kb) 36800
[startup+810.077 s]
Raw data (loadavg): 1.05 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7107 0 0 0 2342 48 0 0 25 0 1 0 20660157 70217728 7077 4294967295 134512640 134702520 3221223712 3221222956 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17143 7077 413 48 0 17095 0
[pid=6608] vsize: 68572
Current children cumulated CPU time (s) 802.73
Current children cumulated vsize (Kb) 70700
[startup+820.077 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7239 0 0 0 3335 52 0 0 25 0 1 0 20660157 70488064 7209 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17209 7209 413 48 0 17161 0
[pid=6608] vsize: 68836
Current children cumulated CPU time (s) 812.7
Current children cumulated vsize (Kb) 70964
[startup+830.078 s]
Raw data (loadavg): 1.04 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7283 0 0 0 4330 54 0 0 25 0 1 0 20660157 70488064 7253 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17209 7253 413 48 0 17161 0
[pid=6608] vsize: 68836
Current children cumulated CPU time (s) 822.67
Current children cumulated vsize (Kb) 70964
[startup+840.079 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7320 0 0 0 5325 55 0 0 25 0 1 0 20660157 70623232 7290 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17242 7290 413 48 0 17194 0
[pid=6608] vsize: 68968
Current children cumulated CPU time (s) 832.63
Current children cumulated vsize (Kb) 71096
[startup+850.08 s]
Raw data (loadavg): 1.03 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7357 0 0 0 6321 57 0 0 25 0 1 0 20660157 70623232 7327 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17242 7327 413 48 0 17194 0
[pid=6608] vsize: 68968
Current children cumulated CPU time (s) 842.61
Current children cumulated vsize (Kb) 71096
[startup+860.081 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7365 0 0 0 7314 60 0 0 25 0 1 0 20660157 70758400 7335 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17275 7335 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 852.57
Current children cumulated vsize (Kb) 71228
[startup+870.083 s]
Raw data (loadavg): 1.02 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7387 0 0 0 8307 62 0 0 25 0 1 0 20660157 70758400 7357 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17275 7357 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 862.52
Current children cumulated vsize (Kb) 71228
[startup+880.084 s]
Raw data (loadavg): 1.01 0.99 0.98 1/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) T 6601 6601 4005 0 -1 0 7396 0 0 0 9300 65 0 0 25 0 1 0 20660157 70758400 7366 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17275 7366 413 48 0 17227 0
[pid=6608] vsize: 69100
Current children cumulated CPU time (s) 872.48
Current children cumulated vsize (Kb) 71228
[startup+890.084 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7498 0 0 0 10287 69 0 0 25 0 1 0 20660157 71163904 7468 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17374 7468 413 48 0 17326 0
[pid=6608] vsize: 69496
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (Kb) 71624
[startup+900.085 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7505 0 0 0 11279 72 0 0 25 0 1 0 20660157 71163904 7475 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17374 7475 413 48 0 17326 0
[pid=6608] vsize: 69496
Current children cumulated CPU time (s) 892.34
Current children cumulated vsize (Kb) 71624
[startup+910.085 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7526 0 0 0 12267 76 0 0 25 0 1 0 20660157 71299072 7496 4294967295 134512640 134702520 3221223712 3221222832 134578650 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7496 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 902.26
Current children cumulated vsize (Kb) 71756
[startup+920.086 s]
Raw data (loadavg): 1.01 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7533 0 0 0 13262 78 0 0 25 0 1 0 20660157 71299072 7503 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7503 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 912.23
Current children cumulated vsize (Kb) 71756
[startup+930.087 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7536 0 0 0 14257 80 0 0 25 0 1 0 20660157 71299072 7506 4294967295 134512640 134702520 3221223712 3221222992 134553330 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17407 7506 413 48 0 17359 0
[pid=6608] vsize: 69628
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (Kb) 71756
[startup+940.088 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7594 0 0 0 15250 83 0 0 25 0 1 0 20660157 71507968 7562 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7562 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 932.16
Current children cumulated vsize (Kb) 71960
[startup+950.088 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7597 0 0 0 16243 86 0 0 25 0 1 0 20660157 71507968 7565 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7565 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (Kb) 71960
[startup+960.089 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7601 0 0 0 17237 88 0 0 25 0 1 0 20660157 71507968 7569 4294967295 134512640 134702520 3221223712 3221222992 134552225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17458 7569 413 48 0 17410 0
[pid=6608] vsize: 69832
Current children cumulated CPU time (s) 952.08
Current children cumulated vsize (Kb) 71960
[startup+970.091 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7605 0 0 0 18228 91 0 0 25 0 1 0 20660157 71643136 7573 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7573 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 962.02
Current children cumulated vsize (Kb) 72092
[startup+980.092 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7609 0 0 0 19221 93 0 0 25 0 1 0 20660157 71643136 7577 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7577 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 971.97
Current children cumulated vsize (Kb) 72092
[startup+990.092 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7616 0 0 0 20216 95 0 0 25 0 1 0 20660157 71643136 7584 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7584 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 981.94
Current children cumulated vsize (Kb) 72092
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7620 0 0 0 21210 97 0 0 25 0 1 0 20660157 71643136 7588 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7588 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 991.9
Current children cumulated vsize (Kb) 72092
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7622 0 0 0 22203 99 0 0 25 0 1 0 20660157 71643136 7590 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7590 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (Kb) 72092
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7626 0 0 0 23195 102 0 0 25 0 1 0 20660157 71643136 7594 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7594 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1011.8
Current children cumulated vsize (Kb) 72092
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.98 1/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) T 6601 6601 4005 0 -1 0 7630 0 0 0 24186 105 0 0 25 0 1 0 20660157 71643136 7598 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7598 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1021.74
Current children cumulated vsize (Kb) 72092
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7633 0 0 0 25180 108 0 0 25 0 1 0 20660157 71643136 7601 4294967295 134512640 134702520 3221223712 3221222992 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7601 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1031.71
Current children cumulated vsize (Kb) 72092
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7639 0 0 0 26170 111 0 0 25 0 1 0 20660157 71643136 7605 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7605 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1041.64
Current children cumulated vsize (Kb) 72092
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7648 0 0 0 27164 113 0 0 25 0 1 0 20660157 71643136 7614 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7614 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1051.6
Current children cumulated vsize (Kb) 72092
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7652 0 0 0 28159 116 0 0 25 0 1 0 20660157 71643136 7618 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7618 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1061.58
Current children cumulated vsize (Kb) 72092
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7656 0 0 0 29151 118 0 0 25 0 1 0 20660157 71643136 7622 4294967295 134512640 134702520 3221223712 3221222992 134554465 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7622 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1071.52
Current children cumulated vsize (Kb) 72092
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7670 0 0 0 30141 122 0 0 25 0 1 0 20660157 71643136 7636 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17491 7636 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1081.46
Current children cumulated vsize (Kb) 72092
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7675 0 0 0 31133 124 0 0 25 0 1 0 20660157 71643136 7641 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7641 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1091.4
Current children cumulated vsize (Kb) 72092
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7684 0 0 0 32124 127 0 0 25 0 1 0 20660157 71643136 7650 4294967295 134512640 134702520 3221223712 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7650 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1101.34
Current children cumulated vsize (Kb) 72092
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7697 0 0 0 33115 129 0 0 25 0 1 0 20660157 71643136 7663 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7663 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1111.27
Current children cumulated vsize (Kb) 72092
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7702 0 0 0 34108 131 0 0 25 0 1 0 20660157 71643136 7668 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17491 7668 413 48 0 17443 0
[pid=6608] vsize: 69964
Current children cumulated CPU time (s) 1121.22
Current children cumulated vsize (Kb) 72092
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7708 0 0 0 35102 133 0 0 25 0 1 0 20660157 71778304 7674 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7674 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1131.18
Current children cumulated vsize (Kb) 72224
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6608
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7716 0 0 0 36095 136 0 0 25 0 1 0 20660157 71778304 7682 4294967295 134512640 134702520 3221223712 3221222992 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7682 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1141.14
Current children cumulated vsize (Kb) 72224
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/60 6658
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7722 0 0 0 37087 139 0 0 23 0 1 0 20660157 71778304 7688 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7688 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1151.09
Current children cumulated vsize (Kb) 72224
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7731 0 0 0 38078 143 0 0 25 0 1 0 20660157 71778304 7695 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7695 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1161.04
Current children cumulated vsize (Kb) 72224
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7733 0 0 0 39072 145 0 0 25 0 1 0 20660157 71778304 7697 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7697 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1171
Current children cumulated vsize (Kb) 72224
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7736 0 0 0 40065 147 0 0 25 0 1 0 20660157 71778304 7700 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7700 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1180.95
Current children cumulated vsize (Kb) 72224
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7740 0 0 0 41055 150 0 0 25 0 1 0 20660157 71778304 7704 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7704 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1190.88
Current children cumulated vsize (Kb) 72224
[startup+1210.11 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7748 0 0 0 42047 153 0 0 25 0 1 0 20660157 71778304 7712 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6608/statm): 17524 7712 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1200.83
Current children cumulated vsize (Kb) 72224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.12 s]
Raw data (loadavg): 1.00 0.99 0.98 2/56 6663
Raw data (/proc/6601/stat): 6601 (vallstSAT2005PB) S 6600 6601 4005 0 -1 0 417 17418 0 0 1 1 77391 490 19 0 1 0 20581561 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6601/statm): 532 248 485 147 0 385 0
[pid=6601] vsize: 2128
Raw data (/proc/6608/stat): 6608 (vallst) R 6601 6601 4005 0 -1 0 7748 0 0 0 42047 153 0 0 25 0 1 0 20660157 71778304 7712 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6608/statm): 17524 7712 413 48 0 17476 0
[pid=6608] vsize: 70096
Current children cumulated CPU time (s) 1200.83
Current children cumulated vsize (Kb) 72224
Sending SIGTERM to -6601
Sleeping 2 seconds
New process pid=6665
New process pid=6666
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3987/stat
open syscall for file /proc/3987/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/3987/cmdline
open syscall for file /proc/3987/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/6562/stat
open syscall for file /proc/6562/status
open syscall for file /proc/6562/cmdline
open syscall for file /proc/6562/environ
open syscall for file /proc/6600/stat
open syscall for file /proc/6600/status
open syscall for file /proc/6600/cmdline
open syscall for file /proc/6600/environ
open syscall for file /proc/6601/stat
open syscall for file /proc/6601/status
open syscall for file /proc/6601/cmdline
open syscall for file /proc/6601/environ
open syscall for file /proc/6608/stat
open syscall for file /proc/6608/status
open syscall for file /proc/6608/cmdline
open syscall for file /proc/6608/environ
open syscall for file /proc/6665/stat
open syscall for file /proc/6665/status
open syscall for file /proc/6665/cmdline
open syscall for file /proc/6665/environ
open syscall for file /proc/6666/stat
open syscall for file /proc/6666/status
open syscall for file /proc/6666/cmdline
open syscall for file /proc/6666/environ
One traced child (pid=6665) exited with status: 0
One traced child (pid=6666) exited with status: 0
New process pid=6667
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=6667) exited with status: 0
New process pid=6668
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=6668) exited with status: 0
One traced child (pid=6601) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -6601
One traced child (pid=6608) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.16
CPU time (s): 423.979
CPU user time (s): 422.2
CPU system time (s): 1.77873
CPU usage (%): 34.9772
Max. virtual memory (cumulated for all children) (Kb): 73424