1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 42 (#equs: 145)
#decisions: 68514; #end-nodes: 25047;
#proof improvement attempts: 0; #restarts: 135
Current batch, end-nodes: 82 / 138 (113)
#axs: 2110, #non-axs: 10418
tight: meta-meta: start: 5, end: 7; meta: start: 8, end (keep): 14
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 579 (68:>=*);
#decisions: 65955; #end-nodes: 27049;
#proof improvement attempts: 0; #restarts: 175
Current batch, end-nodes: 115 / 128 (123)
#axs: 2127, #non-axs: 5792
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 581 (66:>=*);
#decisions: 436190; #end-nodes: 225372;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 289 (271)
#axs: 2152, #non-axs: 1123
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 581 (66:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 128 (#equs: 199)
Time taken: 5 min, 25 sec
2:
seed: 0
Nr of vars set: 128 (#equs: 0)
Nr of vars set: 128 (#equs: 0)
#decisions: 57368; #end-nodes: 33799;
#proof improvement attempts: 0; #restarts: 129
Current batch, end-nodes: 19 / 153 (152)
#axs: 1266, #non-axs: 2519
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 8
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 440 (41:>=*);
#decisions: 542432; #end-nodes: 356301;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 375 (359)
#axs: 1375, #non-axs: 976
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 6
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 440 (41:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 286 (#equs: 118)
Time taken: 4 min, 19 sec
3:
seed: 0
Nr of vars set: 286 (#equs: 0)
Nr of vars set: 287 (#equs: 1)
#decisions: 206225; #end-nodes: 164568;
#proof improvement attempts: 0; #restarts: 382
Current batch, end-nodes: 8338 / 9841 (255)
#axs: 512, #non-axs: 488
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 403 (#equs: 35)
Time taken in seconds: 57
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.029s 0m0.021s
9m18.242s 1m24.399s
s UNSATISFIABLE
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) R 30008 30009 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845830026 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30009/statm): 174 3 169 147 0 27 0
[pid=30009] 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=30010
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=30010) exited with status: 0
New process pid=30011
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=30011) exited with status: 0
New process pid=30012
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/wulflinc17/normalized-s4-4-3-2pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.004 s]
Raw data (loadavg): 0.84 0.93 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 358 0 0 0 313 222 0 0 17 0 1 0 1845830033 3137536 328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 766 328 413 48 0 718 0
[pid=30012] vsize: 3064
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (Kb) 5192
[startup+20.0046 s]
Raw data (loadavg): 0.86 0.93 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 461 0 0 0 800 388 0 0 16 0 1 0 1845830033 3432448 431 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 838 431 413 48 0 790 0
[pid=30012] vsize: 3352
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (Kb) 5480
[startup+30.0052 s]
Raw data (loadavg): 0.88 0.94 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 516 0 0 0 1335 547 0 0 18 0 1 0 1845830033 3575808 486 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 873 486 413 48 0 825 0
[pid=30012] vsize: 3492
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (Kb) 5620
[startup+40.0058 s]
Raw data (loadavg): 0.90 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 2053 643 0 0 20 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 26.98
Current children cumulated vsize (Kb) 5624
[startup+50.0064 s]
Raw data (loadavg): 0.91 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 2763 744 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 35.09
Current children cumulated vsize (Kb) 5624
[startup+60.007 s]
Raw data (loadavg): 0.93 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 3457 855 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 43.14
Current children cumulated vsize (Kb) 5624
[startup+70.0076 s]
Raw data (loadavg): 0.94 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 4171 956 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 51.29
Current children cumulated vsize (Kb) 5624
[startup+80.0082 s]
Raw data (loadavg): 0.95 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 4903 1047 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 59.52
Current children cumulated vsize (Kb) 5624
[startup+90.0088 s]
Raw data (loadavg): 0.95 0.94 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 5632 1138 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 67.72
Current children cumulated vsize (Kb) 5624
[startup+100.009 s]
Raw data (loadavg): 0.96 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 6354 1232 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 75.88
Current children cumulated vsize (Kb) 5624
[startup+110.011 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 7079 1327 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 84.08
Current children cumulated vsize (Kb) 5624
[startup+120.012 s]
Raw data (loadavg): 0.97 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 7813 1421 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 92.36
Current children cumulated vsize (Kb) 5624
[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 8536 1515 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 100.53
Current children cumulated vsize (Kb) 5624
[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 9249 1617 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 108.68
Current children cumulated vsize (Kb) 5624
[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 519 0 0 0 9986 1703 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 116.91
Current children cumulated vsize (Kb) 5624
[startup+160.015 s]
Raw data (loadavg): 0.98 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 10726 1788 0 0 16 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 125.16
Current children cumulated vsize (Kb) 5624
[startup+170.016 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 11440 1890 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 133.32
Current children cumulated vsize (Kb) 5624
[startup+180.016 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 519 0 0 0 12181 1981 0 0 15 0 1 0 1845830033 3579904 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 489 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 141.64
Current children cumulated vsize (Kb) 5624
[startup+190.017 s]
Raw data (loadavg): 0.99 0.95 0.97 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 558 0 0 0 12940 2071 0 0 15 0 1 0 1845830033 3579904 528 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 528 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 150.13
Current children cumulated vsize (Kb) 5624
[startup+200.017 s]
Raw data (loadavg): 0.99 0.95 0.97 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 566 0 0 0 13677 2159 0 0 16 0 1 0 1845830033 3579904 536 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 536 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 158.38
Current children cumulated vsize (Kb) 5624
[startup+210.019 s]
Raw data (loadavg): 1.07 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 566 0 0 0 14423 2248 0 0 16 0 1 0 1845830033 3579904 536 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 536 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 166.73
Current children cumulated vsize (Kb) 5624
[startup+220.02 s]
Raw data (loadavg): 1.06 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 577 0 0 0 15184 2331 0 0 16 0 1 0 1845830033 3579904 547 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 547 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 175.17
Current children cumulated vsize (Kb) 5624
[startup+230.019 s]
Raw data (loadavg): 1.05 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 577 0 0 0 15927 2421 0 0 16 0 1 0 1845830033 3579904 547 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 547 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 183.5
Current children cumulated vsize (Kb) 5624
[startup+240.02 s]
Raw data (loadavg): 1.04 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 16666 2510 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 191.78
Current children cumulated vsize (Kb) 5624
[startup+250.021 s]
Raw data (loadavg): 1.04 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 17429 2588 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 200.19
Current children cumulated vsize (Kb) 5624
[startup+260.022 s]
Raw data (loadavg): 1.03 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 18197 2668 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 208.67
Current children cumulated vsize (Kb) 5624
[startup+270.023 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 18994 2743 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 217.39
Current children cumulated vsize (Kb) 5624
[startup+280.023 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 19770 2823 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 225.95
Current children cumulated vsize (Kb) 5624
[startup+290.025 s]
Raw data (loadavg): 1.02 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 20504 2922 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 234.28
Current children cumulated vsize (Kb) 5624
[startup+300.025 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 21272 3004 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 242.78
Current children cumulated vsize (Kb) 5624
[startup+310.027 s]
Raw data (loadavg): 1.01 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 22028 3088 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222864 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 251.18
Current children cumulated vsize (Kb) 5624
[startup+320.028 s]
Raw data (loadavg): 1.01 0.97 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 615 0 0 0 22786 3174 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223248 134551055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 259.62
Current children cumulated vsize (Kb) 5624
[startup+330.028 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 23520 3268 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 267.9
Current children cumulated vsize (Kb) 5624
[startup+340.029 s]
Raw data (loadavg): 1.01 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 24293 3345 0 0 16 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 276.4
Current children cumulated vsize (Kb) 5624
[startup+350.029 s]
Raw data (loadavg): 1.00 0.97 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 615 0 0 0 25062 3426 0 0 15 0 1 0 1845830033 3579904 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 585 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 284.9
Current children cumulated vsize (Kb) 5624
[startup+360.03 s]
Raw data (loadavg): 1.08 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 627 0 0 0 25845 3503 0 0 16 0 1 0 1845830033 3579904 597 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 874 597 413 48 0 826 0
[pid=30012] vsize: 3496
Current children cumulated CPU time (s) 293.5
Current children cumulated vsize (Kb) 5624
[startup+370.032 s]
Raw data (loadavg): 1.07 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 643 0 0 0 26647 3570 0 0 15 0 1 0 1845830033 3727360 613 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 910 613 413 48 0 862 0
[pid=30012] vsize: 3640
Current children cumulated CPU time (s) 302.19
Current children cumulated vsize (Kb) 5768
[startup+380.032 s]
Raw data (loadavg): 1.06 0.99 0.98 2/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) R 30009 30009 19316 0 -1 0 673 0 0 0 27474 3634 0 0 16 0 1 0 1845830033 3862528 643 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30012/statm): 943 643 413 48 0 895 0
[pid=30012] vsize: 3772
Current children cumulated CPU time (s) 311.1
Current children cumulated vsize (Kb) 5900
[startup+390.033 s]
Raw data (loadavg): 1.05 0.99 0.98 1/57 30012
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1845830026 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 242 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30012/stat): 30012 (vallst) T 30009 30009 19316 0 -1 0 673 0 0 0 28206 3728 0 0 16 0 1 0 1845830033 3862528 643 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30012/statm): 943 643 413 48 0 895 0
[pid=30012] vsize: 3772
Current children cumulated CPU time (s) 319.36
Current children cumulated vsize (Kb) 5900
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=30012) exited with status: 2
New process pid=30013
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=30013) exited with status: 0
New process pid=30014
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+400.033 s]
Raw data (loadavg): 1.12 1.01 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 241 0 0 0 123 40 0 0 17 0 1 0 1845869783 2240512 212 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 547 212 413 48 0 499 0
[pid=30014] vsize: 2188
Current children cumulated CPU time (s) 327.31
Current children cumulated vsize (Kb) 4316
[startup+410.035 s]
Raw data (loadavg): 1.17 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 298 0 0 0 627 203 0 0 19 0 1 0 1845869783 2920448 269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 713 269 413 48 0 665 0
[pid=30014] vsize: 2852
Current children cumulated CPU time (s) 333.98
Current children cumulated vsize (Kb) 4980
[startup+420.036 s]
Raw data (loadavg): 1.14 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 407 0 0 0 1286 316 0 0 21 0 1 0 1845869783 3223552 378 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 787 378 413 48 0 739 0
[pid=30014] vsize: 3148
Current children cumulated CPU time (s) 341.7
Current children cumulated vsize (Kb) 5276
[startup+430.036 s]
Raw data (loadavg): 1.12 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 409 0 0 0 1788 487 0 0 18 0 1 0 1845869783 3223552 380 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 787 380 413 48 0 739 0
[pid=30014] vsize: 3148
Current children cumulated CPU time (s) 348.43
Current children cumulated vsize (Kb) 5276
[startup+440.037 s]
Raw data (loadavg): 1.10 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 416 0 0 0 2422 613 0 0 19 0 1 0 1845869783 3227648 387 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 788 387 413 48 0 740 0
[pid=30014] vsize: 3152
Current children cumulated CPU time (s) 356.03
Current children cumulated vsize (Kb) 5280
[startup+450.037 s]
Raw data (loadavg): 1.09 1.02 0.99 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 421 0 0 0 3096 722 0 0 19 0 1 0 1845869783 3231744 392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 392 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 363.86
Current children cumulated vsize (Kb) 5284
[startup+460.039 s]
Raw data (loadavg): 1.15 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 422 0 0 0 3665 873 0 0 18 0 1 0 1845869783 3231744 393 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 393 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 371.06
Current children cumulated vsize (Kb) 5284
[startup+470.04 s]
Raw data (loadavg): 1.12 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 425 0 0 0 4332 983 0 0 18 0 1 0 1845869783 3231744 396 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30014/statm): 789 396 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 378.83
Current children cumulated vsize (Kb) 5284
[startup+480.039 s]
Raw data (loadavg): 1.10 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 457 0 0 0 4996 1097 0 0 18 0 1 0 1845869783 3231744 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 428 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 386.61
Current children cumulated vsize (Kb) 5284
[startup+490.041 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 505 0 0 0 5616 1229 0 0 21 0 1 0 1845869783 3231744 476 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 789 476 413 48 0 741 0
[pid=30014] vsize: 3156
Current children cumulated CPU time (s) 394.13
Current children cumulated vsize (Kb) 5284
[startup+500.041 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 522 0 0 0 6304 1336 0 0 18 0 1 0 1845869783 3235840 493 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 493 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (Kb) 5288
[startup+510.042 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 524 0 0 0 7002 1442 0 0 18 0 1 0 1845869783 3235840 495 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 495 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 410.12
Current children cumulated vsize (Kb) 5288
[startup+520.044 s]
Raw data (loadavg): 1.12 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 525 0 0 0 7635 1563 0 0 21 0 1 0 1845869783 3235840 496 4294967295 134512640 134702520 3221223712 3221222992 134553017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 790 496 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 417.66
Current children cumulated vsize (Kb) 5288
[startup+530.044 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 525 0 0 0 8340 1662 0 0 16 0 1 0 1845869783 3235840 496 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 790 496 413 48 0 742 0
[pid=30014] vsize: 3160
Current children cumulated CPU time (s) 425.7
Current children cumulated vsize (Kb) 5288
[startup+540.045 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 528 0 0 0 9039 1763 0 0 15 0 1 0 1845869783 3375104 499 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 824 499 413 48 0 776 0
[pid=30014] vsize: 3296
Current children cumulated CPU time (s) 433.7
Current children cumulated vsize (Kb) 5424
[startup+550.047 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 528 0 0 0 9660 1893 0 0 15 0 1 0 1845869783 3375104 499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 824 499 413 48 0 776 0
[pid=30014] vsize: 3296
Current children cumulated CPU time (s) 441.21
Current children cumulated vsize (Kb) 5424
[startup+560.048 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 530 0 0 0 10348 2003 0 0 16 0 1 0 1845869783 3379200 501 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30014/statm): 825 501 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 449.19
Current children cumulated vsize (Kb) 5428
[startup+570.049 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 530 0 0 0 11031 2110 0 0 15 0 1 0 1845869783 3379200 501 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 825 501 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 457.09
Current children cumulated vsize (Kb) 5428
[startup+580.049 s]
Raw data (loadavg): 1.12 1.05 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 531 0 0 0 11683 2228 0 0 16 0 1 0 1845869783 3379200 502 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 825 502 413 48 0 777 0
[pid=30014] vsize: 3300
Current children cumulated CPU time (s) 464.79
Current children cumulated vsize (Kb) 5428
[startup+590.051 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 532 0 0 0 12406 2326 0 0 16 0 1 0 1845869783 3383296 503 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 503 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 473
Current children cumulated vsize (Kb) 5432
[startup+600.051 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 13070 2438 0 0 15 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 480.76
Current children cumulated vsize (Kb) 5432
[startup+610.053 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 13759 2550 0 0 16 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 488.77
Current children cumulated vsize (Kb) 5432
[startup+620.054 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 533 0 0 0 14486 2647 0 0 16 0 1 0 1845869783 3383296 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 504 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 497.01
Current children cumulated vsize (Kb) 5432
[startup+630.053 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 534 0 0 0 15143 2768 0 0 15 0 1 0 1845869783 3383296 505 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 505 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 504.79
Current children cumulated vsize (Kb) 5432
[startup+640.055 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 542 0 0 0 15897 2852 0 0 16 0 1 0 1845869783 3383296 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 513 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 513.17
Current children cumulated vsize (Kb) 5432
[startup+650.055 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 543 0 0 0 16629 2944 0 0 16 0 1 0 1845869783 3383296 514 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30014/statm): 826 514 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 521.41
Current children cumulated vsize (Kb) 5432
[startup+660.057 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 543 0 0 0 17291 3066 0 0 15 0 1 0 1845869783 3383296 514 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 826 514 413 48 0 778 0
[pid=30014] vsize: 3304
Current children cumulated CPU time (s) 529.25
Current children cumulated vsize (Kb) 5432
[startup+670.058 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 546 0 0 0 18036 3151 0 0 15 0 1 0 1845869783 3387392 517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 517 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 537.55
Current children cumulated vsize (Kb) 5436
[startup+680.058 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 546 0 0 0 18779 3242 0 0 16 0 1 0 1845869783 3387392 517 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 517 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 545.89
Current children cumulated vsize (Kb) 5436
[startup+690.06 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 547 0 0 0 19459 3352 0 0 15 0 1 0 1845869783 3387392 518 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 518 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 553.79
Current children cumulated vsize (Kb) 5436
[startup+700.06 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 547 0 0 0 20218 3435 0 0 16 0 1 0 1845869783 3387392 518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 518 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 562.21
Current children cumulated vsize (Kb) 5436
[startup+710.062 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) R 30009 30009 19316 0 -1 0 556 0 0 0 21009 3510 0 0 16 0 1 0 1845869783 3387392 527 4294967295 134512640 134702520 3221223712 3221222480 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 527 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 570.87
Current children cumulated vsize (Kb) 5436
[startup+720.063 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 30014
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 378 1048 0 0 2 1 28769 3796 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30014/stat): 30014 (vallst) T 30009 30009 19316 0 -1 0 560 0 0 0 21760 3598 0 0 16 0 1 0 1845869783 3387392 531 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30014/statm): 827 531 413 48 0 779 0
[pid=30014] vsize: 3308
Current children cumulated CPU time (s) 579.26
Current children cumulated vsize (Kb) 5436
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=30014) exited with status: 2
New process pid=30015
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=30015) exited with status: 0
New process pid=30016
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+730.063 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 232 0 0 0 159 50 0 0 17 0 1 0 1845902736 2093056 203 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 511 203 413 48 0 463 0
[pid=30016] vsize: 2044
Current children cumulated CPU time (s) 586.83
Current children cumulated vsize (Kb) 4172
[startup+740.064 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 404 0 0 0 784 176 0 0 17 0 1 0 1845902736 2785280 375 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 680 375 413 48 0 632 0
[pid=30016] vsize: 2720
Current children cumulated CPU time (s) 594.34
Current children cumulated vsize (Kb) 4848
[startup+750.064 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 407 0 0 0 1395 314 0 0 17 0 1 0 1845902736 2785280 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30016/statm): 680 378 413 48 0 632 0
[pid=30016] vsize: 2720
Current children cumulated CPU time (s) 601.83
Current children cumulated vsize (Kb) 4848
[startup+760.066 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 420 0 0 0 2051 430 0 0 19 0 1 0 1845902736 2789376 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 681 391 413 48 0 633 0
[pid=30016] vsize: 2724
Current children cumulated CPU time (s) 609.55
Current children cumulated vsize (Kb) 4852
[startup+770.067 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) R 30009 30009 19316 0 -1 0 422 0 0 0 2636 569 0 0 17 0 1 0 1845902736 2789376 393 4294967295 134512640 134702520 3221223712 3221200748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30016/statm): 681 393 413 48 0 633 0
[pid=30016] vsize: 2724
Current children cumulated CPU time (s) 616.79
Current children cumulated vsize (Kb) 4852
[startup+780.066 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 431 0 0 0 3307 681 0 0 18 0 1 0 1845902736 2924544 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30016/statm): 714 402 413 48 0 666 0
[pid=30016] vsize: 2856
Current children cumulated CPU time (s) 624.62
Current children cumulated vsize (Kb) 4984
[startup+790.068 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) T 30009 30009 19316 0 -1 0 434 0 0 0 3894 822 0 0 18 0 1 0 1845902736 2924544 405 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30016/statm): 714 405 413 48 0 666 0
[pid=30016] vsize: 2856
Current children cumulated CPU time (s) 631.9
Current children cumulated vsize (Kb) 4984
[startup+800.068 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30016
Raw data (/proc/30009/stat): 30009 (vallstSAT2005PB) S 30008 30009 19316 0 -1 0 417 1751 0 0 2 1 50996 7475 17 0 1 0 1845830026 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30009/statm): 532 248 485 147 0 385 0
[pid=30009] vsize: 2128
Raw data (/proc/30016/stat): 30016 (vallst) R 30009 30009 19316 0 -1 0 443 0 0 0 4573 932 0 0 19 0 1 0 1845902736 2928640 414 4294967295 134512640 134702520 3221223712 3221215328 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30016/statm): 715 414 413 48 0 667 0
[pid=30016] vsize: 2860
Current children cumulated CPU time (s) 639.79
Current children cumulated vsize (Kb) 4988
One traced child (pid=30016) exited with status: 0
New process pid=30017
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-s4-4-3-2pb.opb
One traced child (pid=30017) exited with status: 0
New process pid=30018
One traced child (pid=30018) exited with status: 127
New process pid=30019
New process pid=30020
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/29972/stat
open syscall for file /proc/29972/status
open syscall for file /proc/29972/cmdline
open syscall for file /proc/29972/environ
open syscall for file /proc/30008/stat
open syscall for file /proc/30008/status
open syscall for file /proc/30008/cmdline
open syscall for file /proc/30008/environ
open syscall for file /proc/30009/stat
open syscall for file /proc/30009/status
open syscall for file /proc/30009/cmdline
open syscall for file /proc/30009/environ
open syscall for file /proc/30019/stat
open syscall for file /proc/30019/status
open syscall for file /proc/30019/cmdline
open syscall for file /proc/30019/environ
open syscall for file /proc/30020/stat
open syscall for file /proc/30020/status
open syscall for file /proc/30020/cmdline
open syscall for file /proc/30020/environ
One traced child (pid=30019) exited with status: 0
One traced child (pid=30020) exited with status: 0
New process pid=30021
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=30021) exited with status: 0
New process pid=30022
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=30022) exited with status: 0
One traced child (pid=30009) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 804.063
CPU time (s): 642.778
CPU user time (s): 558.299
CPU system time (s): 84.4792
CPU usage (%): 79.9413
Max. virtual memory (cumulated for all children) (Kb): 5900