1:
seed: 0
Nr of vars set: 12 (#equs: 0)
Nr of vars set: 30 (#equs: 45)
#decisions: 35920; #end-nodes: 18439;
#proof improvement attempts: 0; #restarts: 179
Current batch, end-nodes: 25 / 124 (124)
#axs: 3969, #non-axs: 141
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: 1073547262 (302080:>=*);
#decisions: 3072; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3969, #non-axs: 141
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: 1073548286 (301056:>=*);
#decisions: 3052; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3969, #non-axs: 141
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: 1073549310 (300032:>=*);
#decisions: 3037; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3969, #non-axs: 141
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: 1073550334 (299008:>=*);
#decisions: 31880; #end-nodes: 10024;
#proof improvement attempts: 0; #restarts: 105
Current batch, end-nodes: 4 / 110 (106)
#axs: 3970, #non-axs: 262
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: 1073551358 (297984:>=*);
#decisions: 3208; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3970, #non-axs: 262
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: 1073552382 (296960:>=*);
#decisions: 3218; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 3970, #non-axs: 262
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: 1073553406 (295936:>=*);
#decisions: 51562; #end-nodes: 14538;
#proof improvement attempts: 0; #restarts: 143
Current batch, end-nodes: 72 / 119 (115)
#axs: 3973, #non-axs: 798
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: 1073554430 (294912:>=*);
#decisions: 73627; #end-nodes: 21398;
#proof improvement attempts: 0; #restarts: 196
Current batch, end-nodes: 102 / 140 (129)
#axs: 3979, #non-axs: 1376
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: 1073555454 (293888:>=*);
#decisions: 3500; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 3979, #non-axs: 1376
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: 1073556478 (292864:>=*);
#decisions: 36292; #end-nodes: 9417;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 105 (103)
#axs: 3981, #non-axs: 1878
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:) 1073556478 (292864:>=*)
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: 30 (#equs: 58)
Time taken: 5 min, 13 sec
2:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 47)
#decisions: 16955; #end-nodes: 2968;
#proof improvement attempts: 0; #restarts: 21
Current batch, end-nodes: 122 / 180 (125)
#axs: 3968, #non-axs: 2899
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: 20479 (87040:>=*);
#decisions: 124059; #end-nodes: 31240;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 196 (167)
#axs: 3982, #non-axs: 4745
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:) 20479 (87040:>=*)
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: 30 (#equs: 61)
Time taken: 4 min, 39 sec
3:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 44)
#decisions: 145786; #end-nodes: 38046;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 222 (207)
#axs: 3979, #non-axs: 9347
tight: meta-meta: start: 5, end: 7; 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: 30 (#equs: 58)
Time taken: 5 min, 35 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: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 45)
#decisions: 37587; #end-nodes: 8381;
#proof improvement attempts: 8315; #restarts: 36
Current batch, end-nodes: 93 / 209 (209)
#axs: 3969, #non-axs: 12882
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 21503 (86016:>=*);
#decisions: 9286; #end-nodes: 19;
#proof improvement attempts: 19; #restarts: 0
Current batch, end-nodes: 19 / 200 (200)
#axs: 3969, #non-axs: 12884
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 22527 (84992:>=*);
Interupt request received.
#decisions: 21113; #end-nodes: 5017;
#proof improvement attempts: 4978; #restarts: 21
Current batch, end-nodes: 68 / 205 (205)
#axs: 3969, #non-axs: 13989
tight: meta-meta: start: 5, end: 7; meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 22527 (84992:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5715 (#equs: 48)
Time taken: 4 min, 36 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/4848/stat): 4848 (vallstSAT2005PB) R 4847 4848 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19675497 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4848/statm): 174 3 169 147 0 27 0
[pid=4848] 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=4849
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=4849) exited with status: 0
New process pid=4850
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=4850) exited with status: 0
New process pid=4851
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/wulflinc5/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.94 1.03 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1565 0 0 0 884 41 0 0 25 0 1 0 19675506 8245248 1469 4294967295 134512640 134702520 3221223952 3221223088 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 2013 1469 413 48 0 1965 0
[pid=4851] vsize: 8052
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (Kb) 10180
[startup+20.0043 s]
Raw data (loadavg): 0.95 1.02 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1594 0 0 0 1864 48 0 0 25 0 1 0 19675506 15265792 1498 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3727 1498 413 48 0 3679 0
[pid=4851] vsize: 14908
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (Kb) 17036
[startup+30.004 s]
Raw data (loadavg): 0.95 1.02 0.99 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1606 0 0 0 2522 160 0 0 16 0 1 0 19675506 15298560 1507 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3735 1507 413 48 0 3687 0
[pid=4851] vsize: 14940
Current children cumulated CPU time (s) 26.83
Current children cumulated vsize (Kb) 17068
[startup+40.0058 s]
Raw data (loadavg): 0.96 1.02 0.99 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1612 0 0 0 3327 224 0 0 25 0 1 0 19675506 15462400 1511 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3775 1511 413 48 0 3727 0
[pid=4851] vsize: 15100
Current children cumulated CPU time (s) 35.52
Current children cumulated vsize (Kb) 17228
[startup+50.0065 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1612 0 0 0 4315 230 0 0 25 0 1 0 19675506 15462400 1511 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3775 1511 413 48 0 3727 0
[pid=4851] vsize: 15100
Current children cumulated CPU time (s) 45.46
Current children cumulated vsize (Kb) 17228
[startup+60.0082 s]
Raw data (loadavg): 0.97 1.02 0.99 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1634 0 0 0 5116 296 0 0 25 0 1 0 19675506 15470592 1531 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3777 1531 413 48 0 3729 0
[pid=4851] vsize: 15108
Current children cumulated CPU time (s) 54.13
Current children cumulated vsize (Kb) 17236
[startup+70.009 s]
Raw data (loadavg): 0.97 1.02 0.99 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1708 0 0 0 5832 387 0 0 22 0 1 0 19675506 15474688 1605 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3778 1605 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 62.2
Current children cumulated vsize (Kb) 17240
[startup+80.0097 s]
Raw data (loadavg): 0.98 1.02 0.99 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1708 0 0 0 6603 462 0 0 25 0 1 0 19675506 15474688 1605 4294967295 134512640 134702520 3221223952 3221222976 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3778 1605 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 70.66
Current children cumulated vsize (Kb) 17240
[startup+90.0105 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1715 0 0 0 7329 554 0 0 19 0 1 0 19675506 15474688 1612 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3778 1612 413 48 0 3730 0
[pid=4851] vsize: 15112
Current children cumulated CPU time (s) 78.84
Current children cumulated vsize (Kb) 17240
[startup+100.011 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1721 0 0 0 8212 594 0 0 25 0 1 0 19675506 15683584 1618 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3829 1618 413 48 0 3781 0
[pid=4851] vsize: 15316
Current children cumulated CPU time (s) 88.07
Current children cumulated vsize (Kb) 17444
[startup+110.013 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1721 0 0 0 9195 600 0 0 25 0 1 0 19675506 15601664 1618 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1618 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 97.96
Current children cumulated vsize (Kb) 17364
[startup+120.014 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1722 0 0 0 10011 659 0 0 23 0 1 0 19675506 15601664 1619 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1619 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 106.71
Current children cumulated vsize (Kb) 17364
[startup+130.013 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1725 0 0 0 10800 722 0 0 19 0 1 0 19675506 15601664 1622 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1622 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 115.23
Current children cumulated vsize (Kb) 17364
[startup+140.014 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1727 0 0 0 11625 781 0 0 21 0 1 0 19675506 15601664 1624 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1624 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 124.07
Current children cumulated vsize (Kb) 17364
[startup+150.015 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1727 0 0 0 12553 801 0 0 25 0 1 0 19675506 15601664 1624 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1624 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 133.55
Current children cumulated vsize (Kb) 17364
[startup+160.016 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1735 0 0 0 13502 821 0 0 20 0 1 0 19675506 15601664 1632 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1632 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 143.24
Current children cumulated vsize (Kb) 17364
[startup+170.016 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1737 0 0 0 14293 887 0 0 24 0 1 0 19675506 15601664 1634 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1634 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 151.81
Current children cumulated vsize (Kb) 17364
[startup+180.017 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1739 0 0 0 15131 942 0 0 18 0 1 0 19675506 15601664 1636 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1636 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (Kb) 17364
[startup+190.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1742 0 0 0 15968 995 0 0 24 0 1 0 19675506 15601664 1639 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3809 1639 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 169.64
Current children cumulated vsize (Kb) 17364
[startup+200.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1743 0 0 0 16788 1054 0 0 24 0 1 0 19675506 15601664 1640 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3809 1640 413 48 0 3761 0
[pid=4851] vsize: 15236
Current children cumulated CPU time (s) 178.43
Current children cumulated vsize (Kb) 17364
[startup+210.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1766 0 0 0 17668 1095 0 0 25 0 1 0 19675506 15769600 1663 4294967295 134512640 134702520 3221223952 3221222848 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3850 1663 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 187.64
Current children cumulated vsize (Kb) 17528
[startup+220.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1766 0 0 0 18657 1099 0 0 25 0 1 0 19675506 15769600 1663 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3850 1663 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 197.57
Current children cumulated vsize (Kb) 17528
[startup+230.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1767 0 0 0 19557 1135 0 0 25 0 1 0 19675506 15605760 1662 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1662 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 206.93
Current children cumulated vsize (Kb) 17368
[startup+240.021 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1768 0 0 0 20408 1184 0 0 18 0 1 0 19675506 15605760 1662 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1662 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 215.93
Current children cumulated vsize (Kb) 17368
[startup+250.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1773 0 0 0 21242 1239 0 0 25 0 1 0 19675506 15605760 1665 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1665 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 224.82
Current children cumulated vsize (Kb) 17368
[startup+260.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1778 0 0 0 22123 1278 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221222976 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 234.02
Current children cumulated vsize (Kb) 17368
[startup+270.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1779 0 0 0 23037 1306 0 0 25 0 1 0 19675506 15769600 1670 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3850 1670 413 48 0 3802 0
[pid=4851] vsize: 15400
Current children cumulated CPU time (s) 243.44
Current children cumulated vsize (Kb) 17528
[startup+280.024 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1779 0 0 0 23991 1322 0 0 23 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 253.14
Current children cumulated vsize (Kb) 17368
[startup+290.026 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1780 0 0 0 24853 1367 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223232 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 262.21
Current children cumulated vsize (Kb) 17368
[startup+300.027 s]
Raw data (loadavg): 1.13 1.04 1.01 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1781 0 0 0 25746 1402 0 0 25 0 1 0 19675506 15605760 1669 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3810 1669 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 271.49
Current children cumulated vsize (Kb) 17368
[startup+310.028 s]
Raw data (loadavg): 1.11 1.04 1.01 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1784 0 0 0 26641 1437 0 0 25 0 1 0 19675506 15605760 1671 4294967295 134512640 134702520 3221223952 3221223232 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1671 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 280.79
Current children cumulated vsize (Kb) 17368
[startup+320.028 s]
Raw data (loadavg): 1.10 1.04 1.01 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1790 0 0 0 27499 1482 0 0 18 0 1 0 19675506 15605760 1676 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1676 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 289.82
Current children cumulated vsize (Kb) 17368
[startup+330.029 s]
Raw data (loadavg): 1.08 1.04 1.01 1/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) T 4848 4848 4060 0 -1 0 1796 0 0 0 28396 1513 0 0 18 0 1 0 19675506 15605760 1681 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3810 1681 413 48 0 3762 0
[pid=4851] vsize: 15240
Current children cumulated CPU time (s) 299.1
Current children cumulated vsize (Kb) 17368
[startup+340.03 s]
Raw data (loadavg): 1.07 1.04 1.00 2/56 4857
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 19675497 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 242 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4851/stat): 4851 (vallst) R 4848 4848 4060 0 -1 0 1799 0 0 0 29349 1530 0 0 25 0 1 0 19675506 15773696 1684 4294967295 134512640 134702520 3221223952 3221222848 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3851 1684 413 48 0 3803 0
[pid=4851] vsize: 15404
Current children cumulated CPU time (s) 308.8
Current children cumulated vsize (Kb) 17532
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=4851) exited with status: 2
New process pid=4858
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=4858) exited with status: 0
New process pid=4859
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+350.03 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1478 0 0 0 330 36 0 0 25 0 1 0 19710081 8392704 1449 4294967295 134512640 134702520 3221223712 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2049 1449 413 48 0 2001 0
[pid=4859] vsize: 8196
Current children cumulated CPU time (s) 318.13
Current children cumulated vsize (Kb) 10324
[startup+360.031 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1481 0 0 0 1300 45 0 0 25 0 1 0 19710081 8392704 1452 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 2049 1452 413 48 0 2001 0
[pid=4859] vsize: 8196
Current children cumulated CPU time (s) 327.92
Current children cumulated vsize (Kb) 10324
[startup+370.032 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1551 0 0 0 2269 56 0 0 25 0 1 0 19710081 15421440 1522 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3765 1522 413 48 0 3717 0
[pid=4859] vsize: 15060
Current children cumulated CPU time (s) 337.72
Current children cumulated vsize (Kb) 17188
[startup+380.033 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1596 0 0 0 3159 91 0 0 25 0 1 0 19710081 15429632 1566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3767 1566 413 48 0 3719 0
[pid=4859] vsize: 15068
Current children cumulated CPU time (s) 346.97
Current children cumulated vsize (Kb) 17196
[startup+390.034 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1651 0 0 0 4101 112 0 0 25 0 1 0 19710081 15433728 1621 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3768 1621 413 48 0 3720 0
[pid=4859] vsize: 15072
Current children cumulated CPU time (s) 356.6
Current children cumulated vsize (Kb) 17200
[startup+400.034 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1666 0 0 0 5001 143 0 0 25 0 1 0 19710081 15556608 1635 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1635 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 365.91
Current children cumulated vsize (Kb) 17320
[startup+410.035 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1673 0 0 0 5878 183 0 0 25 0 1 0 19710081 15556608 1641 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3798 1641 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 375.08
Current children cumulated vsize (Kb) 17320
[startup+420.036 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1683 0 0 0 6857 191 0 0 25 0 1 0 19710081 15556608 1651 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1651 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 384.95
Current children cumulated vsize (Kb) 17320
[startup+430.036 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1687 0 0 0 7750 224 0 0 25 0 1 0 19710081 15556608 1654 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3798 1654 413 48 0 3750 0
[pid=4859] vsize: 15192
Current children cumulated CPU time (s) 394.21
Current children cumulated vsize (Kb) 17320
[startup+440.037 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1697 0 0 0 8653 256 0 0 25 0 1 0 19710081 15728640 1664 4294967295 134512640 134702520 3221223712 3221222992 134550404 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1664 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 403.56
Current children cumulated vsize (Kb) 17488
[startup+450.038 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1714 0 0 0 9621 267 0 0 25 0 1 0 19710081 15728640 1681 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1681 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 413.35
Current children cumulated vsize (Kb) 17488
[startup+460.04 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1722 0 0 0 10519 300 0 0 25 0 1 0 19710081 15728640 1689 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1689 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 422.66
Current children cumulated vsize (Kb) 17488
[startup+470.04 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1732 0 0 0 11495 308 0 0 25 0 1 0 19710081 15728640 1699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1699 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 432.5
Current children cumulated vsize (Kb) 17488
[startup+480.041 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1743 0 0 0 12394 338 0 0 25 0 1 0 19710081 15728640 1710 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1710 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 441.79
Current children cumulated vsize (Kb) 17488
[startup+490.043 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1743 0 0 0 13354 352 0 0 25 0 1 0 19710081 15728640 1710 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1710 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 451.53
Current children cumulated vsize (Kb) 17488
[startup+500.044 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1744 0 0 0 14331 359 0 0 25 0 1 0 19710081 15728640 1711 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1711 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 461.37
Current children cumulated vsize (Kb) 17488
[startup+510.044 s]
Raw data (loadavg): 1.11 1.04 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1746 0 0 0 15291 371 0 0 20 0 1 0 19710081 15728640 1713 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1713 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 471.09
Current children cumulated vsize (Kb) 17488
[startup+520.045 s]
Raw data (loadavg): 1.10 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1747 0 0 0 16216 396 0 0 25 0 1 0 19710081 15728640 1714 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1714 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 480.59
Current children cumulated vsize (Kb) 17488
[startup+530.045 s]
Raw data (loadavg): 1.16 1.06 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1751 0 0 0 17177 409 0 0 22 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 490.33
Current children cumulated vsize (Kb) 17488
[startup+540.047 s]
Raw data (loadavg): 1.13 1.06 1.01 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1751 0 0 0 18094 435 0 0 25 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 499.76
Current children cumulated vsize (Kb) 17488
[startup+550.047 s]
Raw data (loadavg): 1.11 1.05 1.01 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1751 0 0 0 19075 442 0 0 25 0 1 0 19710081 15728640 1718 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1718 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 509.64
Current children cumulated vsize (Kb) 17488
[startup+560.048 s]
Raw data (loadavg): 1.10 1.05 1.01 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1754 0 0 0 19983 474 0 0 25 0 1 0 19710081 15728640 1720 4294967295 134512640 134702520 3221223712 3221222992 134557525 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1720 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 519.04
Current children cumulated vsize (Kb) 17488
[startup+570.049 s]
Raw data (loadavg): 1.08 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1757 0 0 0 20959 482 0 0 25 0 1 0 19710081 15728640 1723 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1723 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 528.88
Current children cumulated vsize (Kb) 17488
[startup+580.049 s]
Raw data (loadavg): 1.07 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1760 0 0 0 21868 510 0 0 25 0 1 0 19710081 15728640 1725 4294967295 134512640 134702520 3221223712 3221222972 134548988 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1725 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 538.25
Current children cumulated vsize (Kb) 17488
[startup+590.05 s]
Raw data (loadavg): 1.06 1.05 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1772 0 0 0 22846 517 0 0 25 0 1 0 19710081 15728640 1737 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1737 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 548.1
Current children cumulated vsize (Kb) 17488
[startup+600.051 s]
Raw data (loadavg): 1.05 1.04 1.00 1/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) T 4848 4848 4060 0 -1 0 1777 0 0 0 23748 550 0 0 25 0 1 0 19710081 15728640 1741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1741 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 557.45
Current children cumulated vsize (Kb) 17488
[startup+610.053 s]
Raw data (loadavg): 1.04 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1784 0 0 0 24729 557 0 0 25 0 1 0 19710081 15728640 1748 4294967295 134512640 134702520 3221223712 3221222992 134553816 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3840 1748 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 567.33
Current children cumulated vsize (Kb) 17488
[startup+620.053 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1794 0 0 0 25703 566 0 0 25 0 1 0 19710081 15728640 1758 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4859/statm): 3840 1758 413 48 0 3792 0
[pid=4859] vsize: 15360
Current children cumulated CPU time (s) 577.16
Current children cumulated vsize (Kb) 17488
[startup+630.053 s]
Raw data (loadavg): 1.03 1.04 1.00 2/56 4861
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 378 2174 0 0 1 1 29904 1541 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4859/stat): 4859 (vallst) R 4848 4848 4060 0 -1 0 1803 0 0 0 26604 598 0 0 25 0 1 0 19710081 15896576 1767 4294967295 134512640 134702520 3221223712 3221222608 134553133 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4859/statm): 3881 1767 413 48 0 3833 0
[pid=4859] vsize: 15524
Current children cumulated CPU time (s) 586.49
Current children cumulated vsize (Kb) 17652
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=4859) exited with status: 2
New process pid=4862
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=4862) exited with status: 0
New process pid=4863
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+640.055 s]
Raw data (loadavg): 1.02 1.04 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1193 0 0 0 107 7 0 0 25 0 1 0 19739392 7475200 1166 4294967295 134512640 134702520 3221223712 3221223312 134633336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 1825 1166 413 48 0 1777 0
[pid=4863] vsize: 7300
Current children cumulated CPU time (s) 596.18
Current children cumulated vsize (Kb) 9428
[startup+650.056 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1515 0 0 0 1013 41 0 0 25 0 1 0 19739392 8450048 1487 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 2063 1487 413 48 0 2015 0
[pid=4863] vsize: 8252
Current children cumulated CPU time (s) 605.58
Current children cumulated vsize (Kb) 10380
[startup+660.057 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1557 0 0 0 1981 51 0 0 25 0 1 0 19739392 15740928 1529 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3843 1529 413 48 0 3795 0
[pid=4863] vsize: 15372
Current children cumulated CPU time (s) 615.36
Current children cumulated vsize (Kb) 17500
[startup+670.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1587 0 0 0 2963 58 0 0 25 0 1 0 19739392 15740928 1559 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3843 1559 413 48 0 3795 0
[pid=4863] vsize: 15372
Current children cumulated CPU time (s) 625.25
Current children cumulated vsize (Kb) 17500
[startup+680.058 s]
Raw data (loadavg): 1.01 1.03 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1614 0 0 0 3922 73 0 0 21 0 1 0 19739392 15962112 1586 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3897 1586 413 48 0 3849 0
[pid=4863] vsize: 15588
Current children cumulated CPU time (s) 634.99
Current children cumulated vsize (Kb) 17716
[startup+690.058 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1630 0 0 0 4846 96 0 0 25 0 1 0 19739392 15876096 1601 4294967295 134512640 134702520 3221223712 3221222976 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3876 1601 413 48 0 3828 0
[pid=4863] vsize: 15504
Current children cumulated CPU time (s) 644.46
Current children cumulated vsize (Kb) 17632
[startup+700.059 s]
Raw data (loadavg): 1.01 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1643 0 0 0 5829 102 0 0 25 0 1 0 19739392 15876096 1614 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3876 1614 413 48 0 3828 0
[pid=4863] vsize: 15504
Current children cumulated CPU time (s) 654.35
Current children cumulated vsize (Kb) 17632
[startup+710.06 s]
Raw data (loadavg): 1.00 1.03 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1656 0 0 0 6737 132 0 0 25 0 1 0 19739392 16011264 1627 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1627 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 663.73
Current children cumulated vsize (Kb) 17764
[startup+720.061 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1709 0 0 0 7707 141 0 0 25 0 1 0 19739392 16011264 1680 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1680 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 673.52
Current children cumulated vsize (Kb) 17764
[startup+730.061 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1729 0 0 0 8662 158 0 0 16 0 1 0 19739392 16011264 1700 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3909 1700 413 48 0 3861 0
[pid=4863] vsize: 15636
Current children cumulated CPU time (s) 683.24
Current children cumulated vsize (Kb) 17764
[startup+740.063 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1740 0 0 0 9595 180 0 0 25 0 1 0 19739392 16093184 1711 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1711 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 692.79
Current children cumulated vsize (Kb) 17844
[startup+750.064 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1755 0 0 0 10569 188 0 0 25 0 1 0 19739392 16093184 1726 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1726 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 702.61
Current children cumulated vsize (Kb) 17844
[startup+760.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1759 0 0 0 11478 216 0 0 25 0 1 0 19739392 16093184 1729 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1729 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 711.98
Current children cumulated vsize (Kb) 17844
[startup+770.065 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1772 0 0 0 12458 223 0 0 25 0 1 0 19739392 16093184 1742 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1742 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 721.85
Current children cumulated vsize (Kb) 17844
[startup+780.066 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1780 0 0 0 13368 254 0 0 25 0 1 0 19739392 16093184 1749 4294967295 134512640 134702520 3221223712 3221222992 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1749 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 731.26
Current children cumulated vsize (Kb) 17844
[startup+790.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1786 0 0 0 14353 259 0 0 25 0 1 0 19739392 16093184 1755 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1755 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 741.16
Current children cumulated vsize (Kb) 17844
[startup+800.068 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1800 0 0 0 15335 266 0 0 25 0 1 0 19739392 16093184 1769 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1769 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 751.05
Current children cumulated vsize (Kb) 17844
[startup+810.069 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1815 0 0 0 16238 295 0 0 25 0 1 0 19739392 16257024 1784 4294967295 134512640 134702520 3221223712 3221222608 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3969 1784 413 48 0 3921 0
[pid=4863] vsize: 15876
Current children cumulated CPU time (s) 760.37
Current children cumulated vsize (Kb) 18004
[startup+820.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1815 0 0 0 17207 307 0 0 25 0 1 0 19739392 16257024 1784 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3969 1784 413 48 0 3921 0
[pid=4863] vsize: 15876
Current children cumulated CPU time (s) 770.18
Current children cumulated vsize (Kb) 18004
[startup+830.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1815 0 0 0 18187 314 0 0 25 0 1 0 19739392 16093184 1783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3929 1783 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 780.05
Current children cumulated vsize (Kb) 17844
[startup+840.071 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1817 0 0 0 19157 323 0 0 25 0 1 0 19739392 16093184 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1785 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 789.84
Current children cumulated vsize (Kb) 17844
[startup+850.158 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1818 0 0 0 20068 353 0 0 20 0 1 0 19739392 16093184 1785 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1785 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 799.25
Current children cumulated vsize (Kb) 17844
[startup+860.159 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1819 0 0 0 21044 362 0 0 25 0 1 0 19739392 16093184 1786 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1786 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 809.1
Current children cumulated vsize (Kb) 17844
[startup+870.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1834 0 0 0 22015 370 0 0 25 0 1 0 19739392 16093184 1801 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3929 1801 413 48 0 3881 0
[pid=4863] vsize: 15716
Current children cumulated CPU time (s) 818.89
Current children cumulated vsize (Kb) 17844
[startup+880.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1835 0 0 0 22922 399 0 0 25 0 1 0 19739392 16097280 1801 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3930 1801 413 48 0 3882 0
[pid=4863] vsize: 15720
Current children cumulated CPU time (s) 828.25
Current children cumulated vsize (Kb) 17848
[startup+890.161 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1835 0 0 0 23899 405 0 0 25 0 1 0 19739392 16097280 1801 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3930 1801 413 48 0 3882 0
[pid=4863] vsize: 15720
Current children cumulated CPU time (s) 838.08
Current children cumulated vsize (Kb) 17848
[startup+900.162 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1851 0 0 0 24804 434 0 0 25 0 1 0 19739392 16285696 1817 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3976 1817 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 847.42
Current children cumulated vsize (Kb) 18032
[startup+910.164 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1870 0 0 0 25785 440 0 0 25 0 1 0 19739392 16285696 1836 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3976 1836 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 857.29
Current children cumulated vsize (Kb) 18032
[startup+920.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1911 0 0 0 26762 448 0 0 25 0 1 0 19739392 16285696 1877 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 3976 1877 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 867.14
Current children cumulated vsize (Kb) 18032
[startup+930.164 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1925 0 0 0 27646 486 0 0 25 0 1 0 19739392 16285696 1891 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 3976 1891 413 48 0 3928 0
[pid=4863] vsize: 15904
Current children cumulated CPU time (s) 876.36
Current children cumulated vsize (Kb) 18032
[startup+940.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 1963 0 0 0 28629 493 0 0 25 0 1 0 19739392 17240064 1929 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4209 1929 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 886.26
Current children cumulated vsize (Kb) 18964
[startup+950.165 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 1988 0 0 0 29531 523 0 0 25 0 1 0 19739392 17240064 1953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4209 1953 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 895.58
Current children cumulated vsize (Kb) 18964
[startup+960.167 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) R 4848 4848 4060 0 -1 0 2007 0 0 0 30479 542 0 0 25 0 1 0 19739392 17240064 1972 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4863/statm): 4209 1972 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 905.25
Current children cumulated vsize (Kb) 18964
[startup+970.168 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 2037 0 0 0 31450 551 0 0 25 0 1 0 19739392 17240064 2002 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4863/statm): 4209 2002 413 48 0 4161 0
[pid=4863] vsize: 16836
Current children cumulated CPU time (s) 915.05
Current children cumulated vsize (Kb) 18964
[startup+980.169 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4863
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 417 4120 0 0 1 1 57343 2159 19 0 1 0 19675497 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4863/stat): 4863 (vallst) T 4848 4848 4060 0 -1 0 2046 0 0 0 32352 583 0 0 25 0 1 0 19739392 17403904 2011 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4863/statm): 4249 2011 413 48 0 4201 0
[pid=4863] vsize: 16996
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (Kb) 19124
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=4863) exited with status: 2
New process pid=4864
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=4864) exited with status: 0
New process pid=4865
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+990.169 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1537 0 0 0 247 24 0 0 17 0 1 0 19774217 8617984 1509 4294967295 134512640 134702520 3221223040 3221222536 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2104 1509 413 48 0 2056 0
[pid=4865] vsize: 8416
Current children cumulated CPU time (s) 933.81
Current children cumulated vsize (Kb) 10544
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1566 0 0 0 1182 48 0 0 25 0 1 0 19774217 8810496 1538 4294967295 134512640 134702520 3221223040 3221222176 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 2151 1538 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 943.4
Current children cumulated vsize (Kb) 10732
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1567 0 0 0 2136 64 0 0 25 0 1 0 19774217 8810496 1539 4294967295 134512640 134702520 3221223040 3221222176 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1539 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 953.1
Current children cumulated vsize (Kb) 10732
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1568 0 0 0 3095 77 0 0 25 0 1 0 19774217 8810496 1540 4294967295 134512640 134702520 3221223040 3221222176 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1540 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 962.82
Current children cumulated vsize (Kb) 10732
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1568 0 0 0 4051 91 0 0 25 0 1 0 19774217 8810496 1540 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1540 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 972.52
Current children cumulated vsize (Kb) 10732
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1569 0 0 0 5006 106 0 0 25 0 1 0 19774217 8810496 1541 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1541 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 982.22
Current children cumulated vsize (Kb) 10732
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 5962 121 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 991.93
Current children cumulated vsize (Kb) 10732
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 6916 136 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134553330 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (Kb) 10732
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 7875 150 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1011.35
Current children cumulated vsize (Kb) 10732
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1570 0 0 0 8828 167 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1021.05
Current children cumulated vsize (Kb) 10732
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1570 0 0 0 9778 185 0 0 25 0 1 0 19774217 8810496 1542 4294967295 134512640 134702520 3221223040 3221222176 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 2151 1542 413 48 0 2103 0
[pid=4865] vsize: 8604
Current children cumulated CPU time (s) 1030.73
Current children cumulated vsize (Kb) 10732
[startup+1100.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1621 0 0 0 10758 191 0 0 25 0 1 0 19774217 16683008 1593 4294967295 134512640 134702520 3221223040 3221222320 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4073 1593 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1040.59
Current children cumulated vsize (Kb) 18420
[startup+1110.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1636 0 0 0 11746 196 0 0 25 0 1 0 19774217 16683008 1608 4294967295 134512640 134702520 3221223040 3221222288 134568655 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4073 1608 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1050.52
Current children cumulated vsize (Kb) 18420
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1660 0 0 0 12733 199 0 0 25 0 1 0 19774217 16683008 1632 4294967295 134512640 134702520 3221223040 3221222288 134564962 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4073 1632 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1060.42
Current children cumulated vsize (Kb) 18420
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1676 0 0 0 13720 203 0 0 25 0 1 0 19774217 16683008 1648 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4073 1648 413 48 0 4025 0
[pid=4865] vsize: 16292
Current children cumulated CPU time (s) 1070.33
Current children cumulated vsize (Kb) 18420
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1708 0 0 0 14634 231 0 0 21 0 1 0 19774217 16920576 1680 4294967295 134512640 134702520 3221223040 3221221936 134553830 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1680 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1079.75
Current children cumulated vsize (Kb) 18652
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1722 0 0 0 15619 237 0 0 25 0 1 0 19774217 16920576 1694 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1694 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1089.66
Current children cumulated vsize (Kb) 18652
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1726 0 0 0 16608 242 0 0 25 0 1 0 19774217 16920576 1698 4294967295 134512640 134702520 3221223040 3221222320 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1698 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1099.6
Current children cumulated vsize (Kb) 18652
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1765 0 0 0 17571 255 0 0 25 0 1 0 19774217 16920576 1737 4294967295 134512640 134702520 3221223040 3221222320 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1737 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1109.36
Current children cumulated vsize (Kb) 18652
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1776 0 0 0 18558 260 0 0 25 0 1 0 19774217 16920576 1748 4294967295 134512640 134702520 3221223040 3221222320 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1748 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1119.28
Current children cumulated vsize (Kb) 18652
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1783 0 0 0 19548 263 0 0 25 0 1 0 19774217 16920576 1755 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4131 1755 413 48 0 4083 0
[pid=4865] vsize: 16524
Current children cumulated CPU time (s) 1129.21
Current children cumulated vsize (Kb) 18652
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1793 0 0 0 20459 293 0 0 25 0 1 0 19774217 17010688 1765 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4153 1765 413 48 0 4105 0
[pid=4865] vsize: 16612
Current children cumulated CPU time (s) 1138.62
Current children cumulated vsize (Kb) 18740
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) T 4848 4848 4060 0 -1 0 1832 0 0 0 21392 316 0 0 24 0 1 0 19774217 17014784 1804 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1804 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1148.18
Current children cumulated vsize (Kb) 18744
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1836 0 0 0 22378 321 0 0 25 0 1 0 19774217 17014784 1808 4294967295 134512640 134702520 3221223040 3221222320 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4865/statm): 4154 1808 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1158.09
Current children cumulated vsize (Kb) 18744
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1843 0 0 0 23360 328 0 0 25 0 1 0 19774217 17014784 1815 4294967295 134512640 134702520 3221223040 3221222320 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1815 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1167.98
Current children cumulated vsize (Kb) 18744
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1865 0 0 0 24339 335 0 0 25 0 1 0 19774217 17014784 1837 4294967295 134512640 134702520 3221223040 3221222320 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4154 1837 413 48 0 4106 0
[pid=4865] vsize: 16616
Current children cumulated CPU time (s) 1177.84
Current children cumulated vsize (Kb) 18744
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1876 0 0 0 25247 365 0 0 25 0 1 0 19774217 17137664 1848 4294967295 134512640 134702520 3221223040 3221222320 134552959 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1848 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1187.22
Current children cumulated vsize (Kb) 18864
[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1878 0 0 0 26236 369 0 0 25 0 1 0 19774217 17137664 1850 4294967295 134512640 134702520 3221223040 3221222272 134567393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1850 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1197.15
Current children cumulated vsize (Kb) 18864
[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1880 0 0 0 27227 372 0 0 25 0 1 0 19774217 17137664 1852 4294967295 134512640 134702520 3221223040 3221222320 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1852 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 18864
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.19 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4865
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4060 0 -1 0 457 6310 0 0 2 1 90350 2757 19 0 1 0 19675497 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4848/statm): 532 249 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4865/stat): 4865 (vallst) R 4848 4848 4060 0 -1 0 1880 0 0 0 27227 372 0 0 25 0 1 0 19774217 17137664 1852 4294967295 134512640 134702520 3221223040 3221222320 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4865/statm): 4184 1852 413 48 0 4136 0
[pid=4865] vsize: 16736
Current children cumulated CPU time (s) 1207.09
Current children cumulated vsize (Kb) 18864
Sending SIGTERM to -4848
Sleeping 2 seconds
New process pid=4867
New process pid=4868
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4799/stat
open syscall for file /proc/4799/status
open syscall for file /proc/4799/cmdline
open syscall for file /proc/4799/environ
open syscall for file /proc/4847/stat
open syscall for file /proc/4847/status
open syscall for file /proc/4847/cmdline
open syscall for file /proc/4847/environ
open syscall for file /proc/4848/stat
open syscall for file /proc/4848/status
open syscall for file /proc/4848/cmdline
open syscall for file /proc/4848/environ
open syscall for file /proc/4865/stat
open syscall for file /proc/4865/status
open syscall for file /proc/4865/cmdline
open syscall for file /proc/4865/environ
open syscall for file /proc/4867/stat
open syscall for file /proc/4867/status
open syscall for file /proc/4867/cmdline
open syscall for file /proc/4867/environ
open syscall for file /proc/4868/stat
open syscall for file /proc/4868/status
open syscall for file /proc/4868/cmdline
open syscall for file /proc/4868/environ
One traced child (pid=4867) exited with status: 0
One traced child (pid=4868) exited with status: 0
New process pid=4869
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=4869) exited with status: 0
New process pid=4870
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=4870) exited with status: 0
One traced child (pid=4848) 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=4865) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1271.04
CPU time (s): 276.808
CPU user time (s): 272.995
CPU system time (s): 3.81242
CPU usage (%): 21.7781
Max. virtual memory (cumulated for all children) (Kb): 19124