1:
seed: 0
Nr of vars set: 5 (#equs: 0)
Nr of vars set: 20 (#equs: 45)
#decisions: 15192; #end-nodes: 7706;
#proof improvement attempts: 0; #restarts: 84
Current batch, end-nodes: 2 / 101 (101)
#axs: 3968, #non-axs: 100
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 1024510 (37504:>=*);
#decisions: 2417; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1024638 (37376:>=*);
#decisions: 2335; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1024766 (37248:>=*);
#decisions: 2312; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1024894 (37120:>=*);
#decisions: 2343; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025022 (36992:>=*);
#decisions: 2316; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025150 (36864:>=*);
#decisions: 2373; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025278 (36736:>=*);
#decisions: 2325; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025406 (36608:>=*);
#decisions: 2298; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3968, #non-axs: 101
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025534 (36480:>=*);
#decisions: 64416; #end-nodes: 17227;
#proof improvement attempts: 0; #restarts: 165
Current batch, end-nodes: 90 / 121 (121)
#axs: 3974, #non-axs: 631
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1025662 (36352:>=*);
#decisions: 190915; #end-nodes: 53471;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 187 (175)
#axs: 4000, #non-axs: 5212
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 1025662 (36352:>=*)
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: 20 (#equs: 77)
Time taken: 6 min, 32 sec
2:
seed: 0
Nr of vars set: 20 (#equs: 0)
Nr of vars set: 20 (#equs: 45)
#decisions: 154919; #end-nodes: 30586;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 178 (167)
#axs: 3982, #non-axs: 8434
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20 (#equs: 61)
Time taken: 4 min, 40 sec
3:
seed: 0
Nr of vars set: 20 (#equs: 0)
Nr of vars set: 20 (#equs: 45)
#decisions: 149187; #end-nodes: 38185;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 219 (207)
#axs: 3973, #non-axs: 10904
tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 17
loose: meta-meta: start: 8, end: 12; meta: start: 29, end (keep): 48
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20 (#equs: 52)
Time taken: 6 min, 1 sec
4:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 20 (#equs: 0)
Nr of vars set: 20 (#equs: 45)
Interupt request received.
#decisions: 28376; #end-nodes: 5453;
#proof improvement attempts: 5403; #restarts: 24
Current batch, end-nodes: 101 / 218 (206)
#axs: 3967, #non-axs: 12931
tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 17
loose: meta-meta: start: 8, end: 12; meta: start: 29, end (keep): 48
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 848 (#equs: 46)
Time taken: 2 min, 47 sec
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/6162/stat): 6162 (vallstSAT2005PB) R 6161 6162 4057 0 -1 0 19 0 0 0 0 0 0 0 20 0 1 0 20701011 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6162/statm): 174 3 169 147 0 27 0
[pid=6162] 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=6163
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=6163) exited with status: 0
New process pid=6164
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=6164) exited with status: 0
New process pid=6165
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/wulflinc15/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0027 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1449 0 0 0 899 35 0 0 25 0 1 0 20701018 7704576 1353 4294967295 134512640 134702520 3221223952 3221223088 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 1881 1353 413 48 0 1833 0
[pid=6165] vsize: 7524
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (Kb) 9652
[startup+20.0035 s]
Raw data (loadavg): 0.95 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1479 0 0 0 1862 46 0 0 17 0 1 0 20701018 14110720 1383 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3445 1383 413 48 0 3397 0
[pid=6165] vsize: 13780
Current children cumulated CPU time (s) 19.1
Current children cumulated vsize (Kb) 15908
[startup+30.0043 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1489 0 0 0 2552 153 0 0 21 0 1 0 20701018 14196736 1393 4294967295 134512640 134702520 3221223952 3221223232 134552698 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3466 1393 413 48 0 3418 0
[pid=6165] vsize: 13864
Current children cumulated CPU time (s) 27.07
Current children cumulated vsize (Kb) 15992
[startup+40.0051 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1519 0 0 0 3360 216 0 0 17 0 1 0 20701018 14200832 1423 4294967295 134512640 134702520 3221223952 3221223212 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3467 1423 413 48 0 3419 0
[pid=6165] vsize: 13868
Current children cumulated CPU time (s) 35.78
Current children cumulated vsize (Kb) 15996
[startup+50.0069 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1529 0 0 0 4108 299 0 0 22 0 1 0 20701018 14200832 1430 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3467 1430 413 48 0 3419 0
[pid=6165] vsize: 13868
Current children cumulated CPU time (s) 44.09
Current children cumulated vsize (Kb) 15996
[startup+60.0077 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1535 0 0 0 4864 381 0 0 17 0 1 0 20701018 14372864 1434 4294967295 134512640 134702520 3221223952 3221222848 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3509 1434 413 48 0 3461 0
[pid=6165] vsize: 14036
Current children cumulated CPU time (s) 52.47
Current children cumulated vsize (Kb) 16164
[startup+70.0086 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1544 0 0 0 5852 385 0 0 25 0 1 0 20701018 14372864 1443 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3509 1443 413 48 0 3461 0
[pid=6165] vsize: 14036
Current children cumulated CPU time (s) 62.39
Current children cumulated vsize (Kb) 16164
[startup+80.0104 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1547 0 0 0 6750 416 0 0 22 0 1 0 20701018 14221312 1444 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3472 1444 413 48 0 3424 0
[pid=6165] vsize: 13888
Current children cumulated CPU time (s) 71.68
Current children cumulated vsize (Kb) 16016
[startup+90.0112 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1576 0 0 0 7547 479 0 0 22 0 1 0 20701018 14381056 1472 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1472 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 80.28
Current children cumulated vsize (Kb) 16172
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1602 0 0 0 8357 542 0 0 24 0 1 0 20701018 14381056 1498 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1498 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 89.01
Current children cumulated vsize (Kb) 16172
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1610 0 0 0 9182 596 0 0 18 0 1 0 20701018 14381056 1506 4294967295 134512640 134702520 3221223952 3221223232 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1506 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 97.8
Current children cumulated vsize (Kb) 16172
[startup+120.014 s]
Raw data (loadavg): 1.14 1.02 1.01 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1616 0 0 0 10005 659 0 0 23 0 1 0 20701018 14381056 1512 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1512 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 106.66
Current children cumulated vsize (Kb) 16172
[startup+130.014 s]
Raw data (loadavg): 1.12 1.02 1.00 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1623 0 0 0 10868 701 0 0 17 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 115.71
Current children cumulated vsize (Kb) 16172
[startup+140.015 s]
Raw data (loadavg): 1.10 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1623 0 0 0 11800 726 0 0 25 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 125.28
Current children cumulated vsize (Kb) 16172
[startup+150.017 s]
Raw data (loadavg): 1.08 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1623 0 0 0 12753 738 0 0 25 0 1 0 20701018 14381056 1519 4294967295 134512640 134702520 3221223952 3221223232 134553512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1519 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 134.93
Current children cumulated vsize (Kb) 16172
[startup+160.018 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1625 0 0 0 13594 792 0 0 16 0 1 0 20701018 14381056 1521 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1521 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 143.88
Current children cumulated vsize (Kb) 16172
[startup+170.019 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1629 0 0 0 14491 826 0 0 25 0 1 0 20701018 14381056 1525 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3511 1525 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 153.19
Current children cumulated vsize (Kb) 16172
[startup+180.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1634 0 0 0 15387 861 0 0 25 0 1 0 20701018 14381056 1530 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3511 1530 413 48 0 3463 0
[pid=6165] vsize: 14044
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (Kb) 16172
[startup+190.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1647 0 0 0 16272 901 0 0 25 0 1 0 20701018 14479360 1543 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1543 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 171.75
Current children cumulated vsize (Kb) 16268
[startup+200.022 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 17186 927 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221222848 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 181.15
Current children cumulated vsize (Kb) 16268
[startup+210.023 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 18168 934 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 191.04
Current children cumulated vsize (Kb) 16268
[startup+220.024 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 19073 965 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 200.4
Current children cumulated vsize (Kb) 16268
[startup+230.025 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1649 0 0 0 19941 1008 0 0 25 0 1 0 20701018 14479360 1545 4294967295 134512640 134702520 3221223952 3221223232 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1545 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 209.51
Current children cumulated vsize (Kb) 16268
[startup+240.025 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1652 0 0 0 20847 1037 0 0 24 0 1 0 20701018 14479360 1548 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1548 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 218.86
Current children cumulated vsize (Kb) 16268
[startup+250.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1661 0 0 0 21805 1052 0 0 25 0 1 0 20701018 14479360 1557 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1557 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 228.59
Current children cumulated vsize (Kb) 16268
[startup+260.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1663 0 0 0 22711 1082 0 0 22 0 1 0 20701018 14479360 1559 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1559 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 237.95
Current children cumulated vsize (Kb) 16268
[startup+270.028 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1676 0 0 0 23616 1116 0 0 25 0 1 0 20701018 14479360 1571 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1571 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 247.34
Current children cumulated vsize (Kb) 16268
[startup+280.029 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1683 0 0 0 24533 1144 0 0 16 0 1 0 20701018 14479360 1578 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1578 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 256.79
Current children cumulated vsize (Kb) 16268
[startup+290.029 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1684 0 0 0 25501 1155 0 0 25 0 1 0 20701018 14630912 1579 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3572 1579 413 48 0 3524 0
[pid=6165] vsize: 14288
Current children cumulated CPU time (s) 266.58
Current children cumulated vsize (Kb) 16416
[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1684 0 0 0 26481 1161 0 0 20 0 1 0 20701018 14479360 1578 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1578 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 276.44
Current children cumulated vsize (Kb) 16268
[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1685 0 0 0 27453 1169 0 0 25 0 1 0 20701018 14479360 1579 4294967295 134512640 134702520 3221223952 3221222976 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1579 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 286.24
Current children cumulated vsize (Kb) 16268
[startup+320.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1687 0 0 0 28360 1198 0 0 25 0 1 0 20701018 14479360 1580 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1580 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 295.6
Current children cumulated vsize (Kb) 16268
[startup+330.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1689 0 0 0 29253 1232 0 0 25 0 1 0 20701018 14479360 1581 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1581 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 304.87
Current children cumulated vsize (Kb) 16268
[startup+340.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1730 0 0 0 30214 1246 0 0 25 0 1 0 20701018 14479360 1622 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1622 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 314.62
Current children cumulated vsize (Kb) 16268
[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6165
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1760 0 0 0 31121 1278 0 0 25 0 1 0 20701018 14479360 1651 4294967295 134512640 134702520 3221223952 3221223172 134549007 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3535 1651 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 324.01
Current children cumulated vsize (Kb) 16268
[startup+360.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1782 0 0 0 32101 1284 0 0 25 0 1 0 20701018 14479360 1673 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3535 1673 413 48 0 3487 0
[pid=6165] vsize: 14140
Current children cumulated CPU time (s) 333.87
Current children cumulated vsize (Kb) 16268
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1815 0 0 0 33012 1312 0 0 25 0 1 0 20701018 14651392 1706 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3577 1706 413 48 0 3529 0
[pid=6165] vsize: 14308
Current children cumulated CPU time (s) 343.26
Current children cumulated vsize (Kb) 16436
[startup+380.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1857 0 0 0 33979 1323 0 0 17 0 1 0 20701018 15482880 1748 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3780 1748 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 17248
[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) T 6162 6162 4057 0 -1 0 1868 0 0 0 34894 1351 0 0 25 0 1 0 20701018 15482880 1759 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3780 1759 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 362.47
Current children cumulated vsize (Kb) 17248
[startup+400.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6220
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1906 0 0 0 35853 1365 0 0 25 0 1 0 20701018 15482880 1797 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6165/statm): 3780 1797 413 48 0 3732 0
[pid=6165] vsize: 15120
Current children cumulated CPU time (s) 372.2
Current children cumulated vsize (Kb) 17248
[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6222
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1926 0 0 0 36761 1395 0 0 25 0 1 0 20701018 15634432 1817 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3817 1817 413 48 0 3769 0
[pid=6165] vsize: 15268
Current children cumulated CPU time (s) 381.58
Current children cumulated vsize (Kb) 17396
[startup+420.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6224
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 20701011 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 242 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6165/stat): 6165 (vallst) R 6162 6162 4057 0 -1 0 1930 0 0 0 37745 1402 0 0 25 0 1 0 20701018 15634432 1821 4294967295 134512640 134702520 3221223952 3221222848 134553301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6165/statm): 3817 1821 413 48 0 3769 0
[pid=6165] vsize: 15268
Current children cumulated CPU time (s) 391.49
Current children cumulated vsize (Kb) 17396
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=6165) exited with status: 2
New process pid=6225
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=6225) exited with status: 0
New process pid=6226
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+430.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1416 0 0 0 757 36 0 0 25 0 1 0 20743167 8073216 1387 4294967295 134512640 134702520 3221223712 3221222848 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 1971 1387 413 48 0 1923 0
[pid=6226] vsize: 7884
Current children cumulated CPU time (s) 400.83
Current children cumulated vsize (Kb) 10012
[startup+440.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1439 0 0 0 1720 48 0 0 25 0 1 0 20743167 14913536 1410 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3641 1410 413 48 0 3593 0
[pid=6226] vsize: 14564
Current children cumulated CPU time (s) 410.58
Current children cumulated vsize (Kb) 16692
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1510 0 0 0 2682 62 0 0 25 0 1 0 20743167 14913536 1481 4294967295 134512640 134702520 3221223712 3221222992 134557261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3641 1481 413 48 0 3593 0
[pid=6226] vsize: 14564
Current children cumulated CPU time (s) 420.34
Current children cumulated vsize (Kb) 16692
[startup+460.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1535 0 0 0 3568 95 0 0 25 0 1 0 20743167 15081472 1506 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1506 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 429.53
Current children cumulated vsize (Kb) 16856
[startup+470.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1555 0 0 0 4531 107 0 0 25 0 1 0 20743167 15081472 1526 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1526 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 439.28
Current children cumulated vsize (Kb) 16856
[startup+480.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1573 0 0 0 5437 138 0 0 25 0 1 0 20743167 15081472 1544 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1544 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 448.65
Current children cumulated vsize (Kb) 16856
[startup+490.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1587 0 0 0 6343 172 0 0 25 0 1 0 20743167 15081472 1557 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1557 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 458.05
Current children cumulated vsize (Kb) 16856
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1604 0 0 0 7318 181 0 0 25 0 1 0 20743167 15081472 1574 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1574 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 467.89
Current children cumulated vsize (Kb) 16856
[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1611 0 0 0 8212 214 0 0 25 0 1 0 20743167 15081472 1580 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1580 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 477.16
Current children cumulated vsize (Kb) 16856
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1626 0 0 0 9190 222 0 0 25 0 1 0 20743167 15081472 1595 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3682 1595 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 487.02
Current children cumulated vsize (Kb) 16856
[startup+530.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1632 0 0 0 10102 254 0 0 25 0 1 0 20743167 15081472 1600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1600 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 496.46
Current children cumulated vsize (Kb) 16856
[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1675 0 0 0 11036 278 0 0 25 0 1 0 20743167 15081472 1643 4294967295 134512640 134702520 3221223712 3221222992 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3682 1643 413 48 0 3634 0
[pid=6226] vsize: 14728
Current children cumulated CPU time (s) 506.04
Current children cumulated vsize (Kb) 16856
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 11941 308 0 0 25 0 1 0 20743167 15257600 1659 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3725 1659 413 48 0 3677 0
[pid=6226] vsize: 14900
Current children cumulated CPU time (s) 515.39
Current children cumulated vsize (Kb) 17028
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 12910 320 0 0 25 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 525.2
Current children cumulated vsize (Kb) 16880
[startup+570.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 13890 328 0 0 25 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221222992 134553512 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 535.08
Current children cumulated vsize (Kb) 16880
[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1691 0 0 0 14818 351 0 0 16 0 1 0 20743167 15106048 1658 4294967295 134512640 134702520 3221223712 3221223040 134617472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3688 1658 413 48 0 3640 0
[pid=6226] vsize: 14752
Current children cumulated CPU time (s) 544.59
Current children cumulated vsize (Kb) 16880
[startup+590.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 15742 376 0 0 25 0 1 0 20743167 15110144 1658 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3689 1658 413 48 0 3641 0
[pid=6226] vsize: 14756
Current children cumulated CPU time (s) 554.08
Current children cumulated vsize (Kb) 16884
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 16721 383 0 0 25 0 1 0 20743167 15110144 1658 4294967295 134512640 134702520 3221223712 3221222992 134553055 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3689 1658 413 48 0 3641 0
[pid=6226] vsize: 14756
Current children cumulated CPU time (s) 563.94
Current children cumulated vsize (Kb) 16884
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1695 0 0 0 17634 412 0 0 25 0 1 0 20743167 15196160 1661 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1661 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 573.36
Current children cumulated vsize (Kb) 16968
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1696 0 0 0 18613 419 0 0 25 0 1 0 20743167 15196160 1662 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1662 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 583.22
Current children cumulated vsize (Kb) 16968
[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1702 0 0 0 19527 447 0 0 18 0 1 0 20743167 15196160 1667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1667 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 592.64
Current children cumulated vsize (Kb) 16968
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 20506 455 0 0 25 0 1 0 20743167 15196160 1669 4294967295 134512640 134702520 3221223712 3221222992 134552467 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1669 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 602.51
Current children cumulated vsize (Kb) 16968
[startup+650.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1705 0 0 0 21421 484 0 0 25 0 1 0 20743167 15196160 1669 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1669 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 611.95
Current children cumulated vsize (Kb) 16968
[startup+660.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 22402 491 0 0 25 0 1 0 20743167 15196160 1671 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1671 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 621.83
Current children cumulated vsize (Kb) 16968
[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6228
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1709 0 0 0 23371 504 0 0 25 0 1 0 20743167 15196160 1673 4294967295 134512640 134702520 3221223712 3221222992 134552851 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1673 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 631.65
Current children cumulated vsize (Kb) 16968
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1720 0 0 0 24256 543 0 0 25 0 1 0 20743167 15196160 1683 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3710 1683 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 640.89
Current children cumulated vsize (Kb) 16968
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1745 0 0 0 25235 549 0 0 25 0 1 0 20743167 15196160 1708 4294967295 134512640 134702520 3221223712 3221222992 134552208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3710 1708 413 48 0 3662 0
[pid=6226] vsize: 14840
Current children cumulated CPU time (s) 650.74
Current children cumulated vsize (Kb) 16968
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) T 6162 6162 4057 0 -1 0 1765 0 0 0 26147 580 0 0 25 0 1 0 20743167 15343616 1728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6226/statm): 3746 1728 413 48 0 3698 0
[pid=6226] vsize: 14984
Current children cumulated CPU time (s) 660.17
Current children cumulated vsize (Kb) 17112
[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6230
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 378 2305 0 0 1 1 37878 1410 19 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6226/stat): 6226 (vallst) R 6162 6162 4057 0 -1 0 1766 0 0 0 27118 591 0 0 25 0 1 0 20743167 15343616 1729 4294967295 134512640 134702520 3221223712 3221222576 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6226/statm): 3746 1729 413 48 0 3698 0
[pid=6226] vsize: 14984
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (Kb) 17112
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=6226) exited with status: 2
New process pid=6231
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=6231) exited with status: 0
New process pid=6232
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+720.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1439 0 0 0 483 29 0 0 25 0 1 0 20772454 8110080 1411 4294967295 134512640 134702520 3221223712 3221222848 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 1980 1411 413 48 0 1932 0
[pid=6232] vsize: 7920
Current children cumulated CPU time (s) 679.27
Current children cumulated vsize (Kb) 10048
[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1442 0 0 0 1453 39 0 0 25 0 1 0 20772454 8110080 1414 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 1980 1414 413 48 0 1932 0
[pid=6232] vsize: 7920
Current children cumulated CPU time (s) 689.07
Current children cumulated vsize (Kb) 10048
[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1533 0 0 0 2402 54 0 0 25 0 1 0 20772454 15286272 1505 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3732 1505 413 48 0 3684 0
[pid=6232] vsize: 14928
Current children cumulated CPU time (s) 698.71
Current children cumulated vsize (Kb) 17056
[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1549 0 0 0 3383 61 0 0 25 0 1 0 20772454 15421440 1521 4294967295 134512640 134702520 3221223712 3221223176 1074230081 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3765 1521 413 48 0 3717 0
[pid=6232] vsize: 15060
Current children cumulated CPU time (s) 708.59
Current children cumulated vsize (Kb) 17188
[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1588 0 0 0 4294 93 0 0 25 0 1 0 20772454 15663104 1560 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1560 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 718.02
Current children cumulated vsize (Kb) 17424
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1601 0 0 0 5280 98 0 0 25 0 1 0 20772454 15663104 1573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3824 1573 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 727.93
Current children cumulated vsize (Kb) 17424
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1618 0 0 0 6260 104 0 0 25 0 1 0 20772454 15663104 1590 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1590 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 737.79
Current children cumulated vsize (Kb) 17424
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1640 0 0 0 7156 137 0 0 25 0 1 0 20772454 15663104 1612 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1612 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 747.08
Current children cumulated vsize (Kb) 17424
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1653 0 0 0 8138 143 0 0 25 0 1 0 20772454 15663104 1625 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3824 1625 413 48 0 3776 0
[pid=6232] vsize: 15296
Current children cumulated CPU time (s) 756.96
Current children cumulated vsize (Kb) 17424
[startup+810.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1669 0 0 0 9050 170 0 0 25 0 1 0 20772454 15667200 1640 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3825 1640 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 766.35
Current children cumulated vsize (Kb) 17428
[startup+820.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1675 0 0 0 10032 178 0 0 25 0 1 0 20772454 15667200 1646 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1646 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 776.25
Current children cumulated vsize (Kb) 17428
[startup+830.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1684 0 0 0 11013 184 0 0 25 0 1 0 20772454 15667200 1655 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1655 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 786.12
Current children cumulated vsize (Kb) 17428
[startup+840.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1687 0 0 0 11928 210 0 0 25 0 1 0 20772454 15667200 1657 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1657 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 795.53
Current children cumulated vsize (Kb) 17428
[startup+850.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1692 0 0 0 12904 218 0 0 25 0 1 0 20772454 15667200 1662 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1662 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 805.37
Current children cumulated vsize (Kb) 17428
[startup+860.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1696 0 0 0 13888 224 0 0 25 0 1 0 20772454 15667200 1666 4294967295 134512640 134702520 3221223712 3221222992 134552969 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1666 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 815.27
Current children cumulated vsize (Kb) 17428
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 14805 251 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 824.71
Current children cumulated vsize (Kb) 17428
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 15785 257 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 834.57
Current children cumulated vsize (Kb) 17428
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1699 0 0 0 16766 264 0 0 25 0 1 0 20772454 15667200 1668 4294967295 134512640 134702520 3221223712 3221222736 134553830 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3825 1668 413 48 0 3777 0
[pid=6232] vsize: 15300
Current children cumulated CPU time (s) 844.45
Current children cumulated vsize (Kb) 17428
[startup+900.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 17678 294 0 0 25 0 1 0 20772454 15822848 1673 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3863 1673 413 48 0 3815 0
[pid=6232] vsize: 15452
Current children cumulated CPU time (s) 853.87
Current children cumulated vsize (Kb) 17580
[startup+910.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 18652 304 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 863.71
Current children cumulated vsize (Kb) 17432
[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 19632 311 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 873.58
Current children cumulated vsize (Kb) 17432
[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1704 0 0 0 20608 320 0 0 25 0 1 0 20772454 15671296 1672 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3826 1672 413 48 0 3778 0
[pid=6232] vsize: 15304
Current children cumulated CPU time (s) 883.43
Current children cumulated vsize (Kb) 17432
[startup+940.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 21522 349 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 892.86
Current children cumulated vsize (Kb) 17444
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1707 0 0 0 22502 357 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 902.74
Current children cumulated vsize (Kb) 17444
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1707 0 0 0 23483 363 0 0 25 0 1 0 20772454 15683584 1674 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3829 1674 413 48 0 3781 0
[pid=6232] vsize: 15316
Current children cumulated CPU time (s) 912.61
Current children cumulated vsize (Kb) 17444
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1709 0 0 0 24396 391 0 0 25 0 1 0 20772454 15835136 1676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1676 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 922.02
Current children cumulated vsize (Kb) 17592
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1710 0 0 0 25379 396 0 0 25 0 1 0 20772454 15835136 1677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1677 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 931.9
Current children cumulated vsize (Kb) 17592
[startup+990.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1724 0 0 0 26292 424 0 0 25 0 1 0 20772454 15835136 1691 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1691 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 941.31
Current children cumulated vsize (Kb) 17592
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1754 0 0 0 27271 430 0 0 25 0 1 0 20772454 15835136 1721 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 3866 1721 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 951.16
Current children cumulated vsize (Kb) 17592
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1806 0 0 0 28244 438 0 0 25 0 1 0 20772454 15835136 1773 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 3866 1773 413 48 0 3818 0
[pid=6232] vsize: 15464
Current children cumulated CPU time (s) 960.97
Current children cumulated vsize (Kb) 17592
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1821 0 0 0 29138 473 0 0 25 0 1 0 20772454 16781312 1788 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4097 1788 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 970.26
Current children cumulated vsize (Kb) 18516
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1855 0 0 0 30117 481 0 0 21 0 1 0 20772454 16781312 1822 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4097 1822 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 980.13
Current children cumulated vsize (Kb) 18516
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) T 6162 6162 4057 0 -1 0 1888 0 0 0 31094 489 0 0 25 0 1 0 20772454 16781312 1855 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1855 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 989.98
Current children cumulated vsize (Kb) 18516
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1903 0 0 0 32005 517 0 0 25 0 1 0 20772454 16781312 1869 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1869 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 999.37
Current children cumulated vsize (Kb) 18516
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1933 0 0 0 32983 523 0 0 25 0 1 0 20772454 16781312 1899 4294967295 134512640 134702520 3221223712 3221222832 134572641 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1899 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 1009.21
Current children cumulated vsize (Kb) 18516
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1960 0 0 0 33967 527 0 0 25 0 1 0 20772454 16781312 1926 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6232/statm): 4097 1926 413 48 0 4049 0
[pid=6232] vsize: 16388
Current children cumulated CPU time (s) 1019.09
Current children cumulated vsize (Kb) 18516
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6232
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 417 4215 0 0 2 1 65401 2011 18 0 1 0 20701011 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 248 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6232/stat): 6232 (vallst) R 6162 6162 4057 0 -1 0 1962 0 0 0 34878 556 0 0 25 0 1 0 20772454 16932864 1928 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6232/statm): 4134 1928 413 48 0 4086 0
[pid=6232] vsize: 16536
Current children cumulated CPU time (s) 1028.49
Current children cumulated vsize (Kb) 18664
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=6232) exited with status: 2
New process pid=6233
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=6233) exited with status: 0
New process pid=6234
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+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1450 0 0 0 192 9 0 0 25 0 1 0 20809824 8249344 1422 4294967295 134512640 134702520 3221223040 3221222304 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2014 1422 413 48 0 1966 0
[pid=6234] vsize: 8056
Current children cumulated CPU time (s) 1038.22
Current children cumulated vsize (Kb) 10184
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1495 0 0 0 1089 44 0 0 25 0 1 0 20809824 8458240 1467 4294967295 134512640 134702520 3221223040 3221222176 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2065 1467 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1047.54
Current children cumulated vsize (Kb) 10388
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1497 0 0 0 2050 58 0 0 25 0 1 0 20809824 8458240 1469 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1469 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1057.29
Current children cumulated vsize (Kb) 10388
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1499 0 0 0 3006 73 0 0 22 0 1 0 20809824 8458240 1471 4294967295 134512640 134702520 3221223040 3221222176 134552562 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1471 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1067
Current children cumulated vsize (Kb) 10388
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1500 0 0 0 3964 88 0 0 25 0 1 0 20809824 8458240 1472 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1472 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1076.73
Current children cumulated vsize (Kb) 10388
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1500 0 0 0 4920 104 0 0 25 0 1 0 20809824 8458240 1472 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1472 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1086.45
Current children cumulated vsize (Kb) 10388
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 5872 121 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1096.14
Current children cumulated vsize (Kb) 10388
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 6833 136 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1105.9
Current children cumulated vsize (Kb) 10388
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 7788 150 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1115.59
Current children cumulated vsize (Kb) 10388
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1501 0 0 0 8742 165 0 0 25 0 1 0 20809824 8458240 1473 4294967295 134512640 134702520 3221223040 3221222176 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1473 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1125.28
Current children cumulated vsize (Kb) 10388
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1502 0 0 0 9699 179 0 0 25 0 1 0 20809824 8458240 1474 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 2065 1474 413 48 0 2017 0
[pid=6234] vsize: 8260
Current children cumulated CPU time (s) 1134.99
Current children cumulated vsize (Kb) 10388
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1551 0 0 0 10679 186 0 0 25 0 1 0 20809824 15896576 1523 4294967295 134512640 134702520 3221223040 3221222288 134567501 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1523 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1144.86
Current children cumulated vsize (Kb) 17652
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1569 0 0 0 11664 191 0 0 25 0 1 0 20809824 15896576 1541 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 3881 1541 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1154.76
Current children cumulated vsize (Kb) 17652
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1605 0 0 0 12642 197 0 0 25 0 1 0 20809824 15896576 1577 4294967295 134512640 134702520 3221223040 3221222288 134567357 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1577 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (Kb) 17652
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1621 0 0 0 13603 211 0 0 25 0 1 0 20809824 15896576 1593 4294967295 134512640 134702520 3221223040 3221222320 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3881 1593 413 48 0 3833 0
[pid=6234] vsize: 15524
Current children cumulated CPU time (s) 1174.35
Current children cumulated vsize (Kb) 17652
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1646 0 0 0 14522 237 0 0 25 0 1 0 20809824 16031744 1618 4294967295 134512640 134702520 3221223040 3221222320 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6234/statm): 3914 1618 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1183.8
Current children cumulated vsize (Kb) 17784
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) T 6162 6162 4057 0 -1 0 1649 0 0 0 15507 242 0 0 25 0 1 0 20809824 16031744 1621 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1621 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1193.7
Current children cumulated vsize (Kb) 17784
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1657 0 0 0 16493 247 0 0 25 0 1 0 20809824 16031744 1629 4294967295 134512640 134702520 3221223040 3221222288 134566702 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1629 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 17784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 6234
Raw data (/proc/6162/stat): 6162 (vallstSAT2005PB) S 6161 6162 4057 0 -1 0 457 6321 0 0 2 1 101034 2584 19 0 1 0 20701011 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/6162/statm): 532 249 485 147 0 385 0
[pid=6162] vsize: 2128
Raw data (/proc/6234/stat): 6234 (vallst) R 6162 6162 4057 0 -1 0 1657 0 0 0 16493 247 0 0 25 0 1 0 20809824 16031744 1629 4294967295 134512640 134702520 3221223040 3221222288 134567344 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6234/statm): 3914 1629 413 48 0 3866 0
[pid=6234] vsize: 15656
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 17784
Sending SIGTERM to -6162
Sleeping 2 seconds
New process pid=6236
New process pid=6237
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/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/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/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/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1478/stat
open syscall for file /proc/1478/status
open syscall for file /proc/1478/cmdline
open syscall for file /proc/1478/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/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/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4039/stat
open syscall for file /proc/4039/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/4039/cmdline
open syscall for file /proc/4039/environ
open syscall for file /proc/4065/stat
open syscall for file /proc/4065/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/4065/cmdline
open syscall for file /proc/4065/environ
open syscall for file /proc/6123/stat
open syscall for file /proc/6123/status
open syscall for file /proc/6123/cmdline
open syscall for file /proc/6123/environ
open syscall for file /proc/6161/stat
open syscall for file /proc/6161/status
open syscall for file /proc/6161/cmdline
open syscall for file /proc/6161/environ
open syscall for file /proc/6162/stat
open syscall for file /proc/6162/status
open syscall for file /proc/6162/cmdline
open syscall for file /proc/6162/environ
open syscall for file /proc/6234/stat
open syscall for file /proc/6234/status
open syscall for file /proc/6234/cmdline
open syscall for file /proc/6234/environ
open syscall for file /proc/6236/stat
open syscall for file /proc/6236/status
open syscall for file /proc/6236/cmdline
open syscall for file /proc/6236/environ
open syscall for file /proc/6237/stat
open syscall for file /proc/6237/status
open syscall for file /proc/6237/cmdline
open syscall for file /proc/6237/environ
One traced child (pid=6236) exited with status: 0
One traced child (pid=6237) exited with status: 0
New process pid=6238
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=6238) exited with status: 0
New process pid=6239
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=6239) exited with status: 0
One traced child (pid=6162) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=6234) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1260.85
CPU time (s): 168.102
CPU user time (s): 165.551
CPU system time (s): 2.55161
CPU usage (%): 13.3325
Max. virtual memory (cumulated for all children) (Kb): 18664