1:
seed: 0
Nr of vars set: 11 (#equs: 0)
Nr of vars set: 30 (#equs: 38)
#decisions: 47448; #end-nodes: 24004;
#proof improvement attempts: 0; #restarts: 219
Current batch, end-nodes: 66 / 144 (134)
#axs: 3188, #non-axs: 432
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: 1073232894 (614400:>=*);
#decisions: 3766; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3188, #non-axs: 432
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: 1073233918 (613376:>=*);
#decisions: 3756; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3188, #non-axs: 432
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: 1073234942 (612352:>=*);
#decisions: 3757; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3188, #non-axs: 432
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: 1073235966 (611328:>=*);
#decisions: 3662; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 3188, #non-axs: 432
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: 1073236990 (610304:>=*);
#decisions: 3760; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 3188, #non-axs: 432
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: 1073238014 (609280:>=*);
#decisions: 112699; #end-nodes: 44144;
#proof improvement attempts: 0; #restarts: 340
Current batch, end-nodes: 97 / 168 (165)
#axs: 3199, #non-axs: 3466
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: 1073239038 (608256:>=*);
#decisions: 3714; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073240062 (607232:>=*);
#decisions: 3692; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073241086 (606208:>=*);
#decisions: 3676; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073242110 (605184:>=*);
#decisions: 3564; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073243134 (604160:>=*);
#decisions: 3592; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073244158 (603136:>=*);
#decisions: 3630; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073245182 (602112:>=*);
#decisions: 3746; #end-nodes: 77;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 77 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073246206 (601088:>=*);
#decisions: 3644; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 3199, #non-axs: 3466
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: 1073247230 (600064:>=*);
#decisions: 31534; #end-nodes: 9295;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 114 (103)
#axs: 3204, #non-axs: 2750
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:) 1073247230 (600064:>=*)
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: 57)
Time taken: 6 min, 1 sec
2:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 38)
#decisions: 24442; #end-nodes: 7294;
#proof improvement attempts: 0; #restarts: 53
Current batch, end-nodes: 54 / 143 (133)
#axs: 3184, #non-axs: 4653
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: 18431 (87040:>=*);
#decisions: 122749; #end-nodes: 35110;
#proof improvement attempts: 0; #restarts: 221
Current batch, end-nodes: 75 / 178 (175)
#axs: 3197, #non-axs: 6805
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
Model found with constant: 19455 (86016:>=*);
#decisions: 4419; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 120 (120)
#axs: 3197, #non-axs: 6805
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
Model found with constant: 20479 (84992:>=*);
#decisions: 3481; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 3197, #non-axs: 6805
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
Model found with constant: 21503 (83968:>=*);
#decisions: 4253; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 120 (120)
#axs: 3197, #non-axs: 6805
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
Model found with constant: 22527 (82944:>=*);
#decisions: 4657; #end-nodes: 92;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 92 / 120 (120)
#axs: 3197, #non-axs: 6805
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
Model found with constant: 23551 (81920:>=*);
#decisions: 44719; #end-nodes: 13600;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 150 (143)
#axs: 3198, #non-axs: 3601
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 20
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 23551 (81920:>=*)
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: 53)
Time taken: 6 min, 2 sec
3:
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: 38)
#decisions: 213332; #end-nodes: 62988;
#proof improvement attempts: 0; #restarts: 299
Current batch, end-nodes: 211 / 236 (234)
#axs: 3194, #non-axs: 12104
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 44
result: model found (1)
Model found with constant: 24575 (80896:>=*);
#decisions: 7310; #end-nodes: 150;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 150 / 160 (160)
#axs: 3194, #non-axs: 12104
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 44
Model found with constant: 25599 (79872:>=*);
Interupt request received.
#decisions: 32424; #end-nodes: 7085;
#proof improvement attempts: 0; #restarts: 40
Current batch, end-nodes: 128 / 191 (170)
#axs: 3195, #non-axs: 13617
tight: meta-meta: start: 5, end: 7; meta: start: 9, end (keep): 16
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 44
Model found with constant:
(pushed:) 25599 (79872:>=*)
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: 5382 (#equs: 50)
Time taken: 7 min, 57 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 4059 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 19695949 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 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/wulflinc24/normalized-mps-v2-20-10-railway_8_1_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.003 s]
Raw data (loadavg): 0.99 1.10 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1439 0 0 0 895 36 0 0 25 0 1 0 19695956 7577600 1343 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 1850 1343 413 48 0 1802 0
[pid=4851] vsize: 7400
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 9528
[startup+20.0037 s]
Raw data (loadavg): 0.99 1.09 1.08 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1469 0 0 0 1845 53 0 0 19 0 1 0 19695956 13533184 1373 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3304 1373 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 19
Current children cumulated vsize (Kb) 15344
[startup+30.0054 s]
Raw data (loadavg): 0.99 1.09 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1477 0 0 0 2610 126 0 0 24 0 1 0 19695956 13533184 1381 4294967295 134512640 134702520 3221223952 3221222976 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1381 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 27.38
Current children cumulated vsize (Kb) 15344
[startup+40.0061 s]
Raw data (loadavg): 0.99 1.09 1.08 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1478 0 0 0 3376 203 0 0 25 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 35.81
Current children cumulated vsize (Kb) 15344
[startup+50.0068 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1478 0 0 0 4360 210 0 0 25 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 45.72
Current children cumulated vsize (Kb) 15344
[startup+60.0075 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1478 0 0 0 5185 268 0 0 18 0 1 0 19695956 13533184 1382 4294967295 134512640 134702520 3221223952 3221222848 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3304 1382 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 54.55
Current children cumulated vsize (Kb) 15344
[startup+70.0082 s]
Raw data (loadavg): 0.99 1.08 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1491 0 0 0 5911 361 0 0 20 0 1 0 19695956 13688832 1393 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1393 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 62.74
Current children cumulated vsize (Kb) 15496
[startup+80.0099 s]
Raw data (loadavg): 0.99 1.07 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1495 0 0 0 6813 394 0 0 25 0 1 0 19695956 13688832 1396 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1396 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 72.09
Current children cumulated vsize (Kb) 15496
[startup+90.0105 s]
Raw data (loadavg): 0.99 1.07 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1495 0 0 0 7789 403 0 0 25 0 1 0 19695956 13533184 1395 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3304 1395 413 48 0 3256 0
[pid=4851] vsize: 13216
Current children cumulated CPU time (s) 81.94
Current children cumulated vsize (Kb) 15344
[startup+100.011 s]
Raw data (loadavg): 0.99 1.07 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1623 0 0 0 8577 474 0 0 21 0 1 0 19695956 13688832 1522 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1522 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 90.53
Current children cumulated vsize (Kb) 15496
[startup+110.013 s]
Raw data (loadavg): 0.99 1.07 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1629 0 0 0 9452 514 0 0 21 0 1 0 19695956 13688832 1528 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1528 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (Kb) 15496
[startup+120.014 s]
Raw data (loadavg): 0.99 1.06 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1633 0 0 0 10287 568 0 0 25 0 1 0 19695956 13688832 1532 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1532 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 108.57
Current children cumulated vsize (Kb) 15496
[startup+130.015 s]
Raw data (loadavg): 0.99 1.06 1.07 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1637 0 0 0 11176 604 0 0 25 0 1 0 19695956 13688832 1536 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1536 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 117.82
Current children cumulated vsize (Kb) 15496
[startup+140.016 s]
Raw data (loadavg): 0.99 1.06 1.07 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1641 0 0 0 12030 653 0 0 16 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 126.85
Current children cumulated vsize (Kb) 15496
[startup+150.017 s]
Raw data (loadavg): 0.99 1.06 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1642 0 0 0 12994 665 0 0 25 0 1 0 19695956 13844480 1540 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3380 1540 413 48 0 3332 0
[pid=4851] vsize: 13520
Current children cumulated CPU time (s) 136.61
Current children cumulated vsize (Kb) 15648
[startup+160.017 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1642 0 0 0 13965 676 0 0 25 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223072 134573381 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 146.43
Current children cumulated vsize (Kb) 15496
[startup+170.018 s]
Raw data (loadavg): 0.99 1.05 1.06 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1644 0 0 0 14786 736 0 0 25 0 1 0 19695956 13688832 1539 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1539 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 155.24
Current children cumulated vsize (Kb) 15496
[startup+180.02 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1648 0 0 0 15688 770 0 0 25 0 1 0 19695956 13688832 1542 4294967295 134512640 134702520 3221223952 3221223232 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3342 1542 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 164.6
Current children cumulated vsize (Kb) 15496
[startup+190.02 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1656 0 0 0 16574 809 0 0 25 0 1 0 19695956 13688832 1549 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3342 1549 413 48 0 3294 0
[pid=4851] vsize: 13368
Current children cumulated CPU time (s) 173.85
Current children cumulated vsize (Kb) 15496
[startup+200.021 s]
Raw data (loadavg): 0.99 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1662 0 0 0 17411 861 0 0 21 0 1 0 19695956 13852672 1554 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3382 1554 413 48 0 3334 0
[pid=4851] vsize: 13528
Current children cumulated CPU time (s) 182.74
Current children cumulated vsize (Kb) 15656
[startup+210.022 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1662 0 0 0 18396 867 0 0 25 0 1 0 19695956 13852672 1554 4294967295 134512640 134702520 3221223952 3221222848 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3382 1554 413 48 0 3334 0
[pid=4851] vsize: 13528
Current children cumulated CPU time (s) 192.65
Current children cumulated vsize (Kb) 15656
[startup+220.023 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1662 0 0 0 19373 877 0 0 25 0 1 0 19695956 13692928 1553 4294967295 134512640 134702520 3221223952 3221223232 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3343 1553 413 48 0 3295 0
[pid=4851] vsize: 13372
Current children cumulated CPU time (s) 202.52
Current children cumulated vsize (Kb) 15500
[startup+230.023 s]
Raw data (loadavg): 0.99 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1663 0 0 0 20280 906 0 0 25 0 1 0 19695956 13697024 1553 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3344 1553 413 48 0 3296 0
[pid=4851] vsize: 13376
Current children cumulated CPU time (s) 211.88
Current children cumulated vsize (Kb) 15504
[startup+240.024 s]
Raw data (loadavg): 0.99 1.04 1.06 1/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1665 0 0 0 21103 962 0 0 22 0 1 0 19695956 13783040 1554 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1554 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 220.67
Current children cumulated vsize (Kb) 15588
[startup+250.025 s]
Raw data (loadavg): 1.07 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1667 0 0 0 22002 995 0 0 25 0 1 0 19695956 13783040 1555 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1555 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 15588
[startup+260.025 s]
Raw data (loadavg): 1.06 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1673 0 0 0 22891 1031 0 0 25 0 1 0 19695956 13783040 1560 4294967295 134512640 134702520 3221223952 3221223232 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1560 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 239.24
Current children cumulated vsize (Kb) 15588
[startup+270.026 s]
Raw data (loadavg): 1.05 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1680 0 0 0 23803 1061 0 0 25 0 1 0 19695956 13938688 1567 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3403 1567 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 248.66
Current children cumulated vsize (Kb) 15740
[startup+280.027 s]
Raw data (loadavg): 1.04 1.05 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1680 0 0 0 24784 1068 0 0 25 0 1 0 19695956 13938688 1567 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3403 1567 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 258.54
Current children cumulated vsize (Kb) 15740
[startup+290.027 s]
Raw data (loadavg): 1.04 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1680 0 0 0 25757 1076 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 268.35
Current children cumulated vsize (Kb) 15588
[startup+300.028 s]
Raw data (loadavg): 1.03 1.04 1.06 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1681 0 0 0 26656 1107 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223232 134552239 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 277.65
Current children cumulated vsize (Kb) 15588
[startup+310.029 s]
Raw data (loadavg): 1.03 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1682 0 0 0 27553 1139 0 0 25 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223232 134552472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 286.94
Current children cumulated vsize (Kb) 15588
[startup+320.029 s]
Raw data (loadavg): 1.02 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1683 0 0 0 28385 1195 0 0 22 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221223536 134558690 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 295.82
Current children cumulated vsize (Kb) 15588
[startup+330.03 s]
Raw data (loadavg): 1.02 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1683 0 0 0 29259 1240 0 0 17 0 1 0 19695956 13783040 1566 4294967295 134512640 134702520 3221223952 3221222976 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3365 1566 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 305.01
Current children cumulated vsize (Kb) 15588
[startup+340.031 s]
Raw data (loadavg): 1.01 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1689 0 0 0 30137 1279 0 0 19 0 1 0 19695956 13938688 1571 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4851/statm): 3403 1571 413 48 0 3355 0
[pid=4851] vsize: 13612
Current children cumulated CPU time (s) 314.18
Current children cumulated vsize (Kb) 15740
[startup+350.03 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1694 0 0 0 31028 1314 0 0 25 0 1 0 19695956 13783040 1574 4294967295 134512640 134702520 3221223952 3221223232 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1574 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 323.44
Current children cumulated vsize (Kb) 15588
[startup+360.032 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1703 0 0 0 31927 1347 0 0 25 0 1 0 19695956 13783040 1582 4294967295 134512640 134702520 3221223952 3221223232 134552349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1582 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 332.76
Current children cumulated vsize (Kb) 15588
[startup+370.033 s]
Raw data (loadavg): 1.01 1.03 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1712 0 0 0 32829 1378 0 0 25 0 1 0 19695956 13783040 1590 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3365 1590 413 48 0 3317 0
[pid=4851] vsize: 13460
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (Kb) 15588
[startup+380.034 s]
Raw data (loadavg): 1.09 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1720 0 0 0 33733 1410 0 0 25 0 1 0 19695956 13950976 1598 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3406 1598 413 48 0 3358 0
[pid=4851] vsize: 13624
Current children cumulated CPU time (s) 351.45
Current children cumulated vsize (Kb) 15752
[startup+390.034 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 4851
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 330 232 0 0 1 1 0 0 18 0 1 0 19695949 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 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 4059 0 -1 0 1720 0 0 0 34713 1417 0 0 25 0 1 0 19695956 13950976 1598 4294967295 134512640 134702520 3221223952 3221222848 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4851/statm): 3406 1598 413 48 0 3358 0
[pid=4851] vsize: 13624
Current children cumulated CPU time (s) 361.32
Current children cumulated vsize (Kb) 15752
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=4852
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=4852) exited with status: 0
New process pid=4853
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+400.035 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1334 0 0 0 789 38 0 0 25 0 1 0 19735064 7528448 1305 4294967295 134512640 134702520 3221223712 3221222848 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 1838 1305 413 48 0 1790 0
[pid=4853] vsize: 7352
Current children cumulated CPU time (s) 370.59
Current children cumulated vsize (Kb) 9480
[startup+410.036 s]
Raw data (loadavg): 1.05 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1391 0 0 0 1738 55 0 0 25 0 1 0 19735064 13631488 1362 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3328 1362 413 48 0 3280 0
[pid=4853] vsize: 13312
Current children cumulated CPU time (s) 380.25
Current children cumulated vsize (Kb) 15440
[startup+420.036 s]
Raw data (loadavg): 1.04 1.04 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1443 0 0 0 2693 69 0 0 16 0 1 0 19735064 13836288 1414 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3378 1414 413 48 0 3330 0
[pid=4853] vsize: 13512
Current children cumulated CPU time (s) 389.94
Current children cumulated vsize (Kb) 15640
[startup+430.038 s]
Raw data (loadavg): 1.04 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1460 0 0 0 3540 118 0 0 25 0 1 0 19735064 13762560 1429 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3360 1429 413 48 0 3312 0
[pid=4853] vsize: 13440
Current children cumulated CPU time (s) 398.9
Current children cumulated vsize (Kb) 15568
[startup+440.039 s]
Raw data (loadavg): 1.03 1.03 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1476 0 0 0 4502 132 0 0 21 0 1 0 19735064 13762560 1445 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3360 1445 413 48 0 3312 0
[pid=4853] vsize: 13440
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (Kb) 15568
[startup+450.039 s]
Raw data (loadavg): 1.10 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1606 0 0 0 5381 175 0 0 25 0 1 0 19735064 14094336 1575 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1575 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 417.88
Current children cumulated vsize (Kb) 15892
[startup+460.04 s]
Raw data (loadavg): 1.08 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1613 0 0 0 6287 204 0 0 25 0 1 0 19735064 14094336 1582 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1582 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 427.23
Current children cumulated vsize (Kb) 15892
[startup+470.041 s]
Raw data (loadavg): 1.07 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1624 0 0 0 7189 237 0 0 19 0 1 0 19735064 14094336 1593 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1593 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 436.58
Current children cumulated vsize (Kb) 15892
[startup+480.041 s]
Raw data (loadavg): 1.06 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1632 0 0 0 8161 247 0 0 25 0 1 0 19735064 14094336 1601 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1601 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 446.4
Current children cumulated vsize (Kb) 15892
[startup+490.043 s]
Raw data (loadavg): 1.05 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1640 0 0 0 9059 281 0 0 25 0 1 0 19735064 14094336 1609 4294967295 134512640 134702520 3221223712 3221222992 134552115 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1609 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 455.72
Current children cumulated vsize (Kb) 15892
[startup+500.044 s]
Raw data (loadavg): 1.11 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1645 0 0 0 9952 314 0 0 25 0 1 0 19735064 14094336 1614 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1614 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 464.98
Current children cumulated vsize (Kb) 15892
[startup+510.044 s]
Raw data (loadavg): 1.10 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1651 0 0 0 10860 343 0 0 25 0 1 0 19735064 14094336 1619 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1619 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 474.35
Current children cumulated vsize (Kb) 15892
[startup+520.045 s]
Raw data (loadavg): 1.08 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1658 0 0 0 11776 371 0 0 17 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 483.79
Current children cumulated vsize (Kb) 15892
[startup+530.045 s]
Raw data (loadavg): 1.07 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1659 0 0 0 12727 390 0 0 25 0 1 0 19735064 14254080 1627 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1627 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 493.49
Current children cumulated vsize (Kb) 16048
[startup+540.045 s]
Raw data (loadavg): 1.06 1.05 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1659 0 0 0 13688 402 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 503.22
Current children cumulated vsize (Kb) 15892
[startup+550.046 s]
Raw data (loadavg): 1.05 1.04 1.05 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1660 0 0 0 14598 434 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 512.64
Current children cumulated vsize (Kb) 15892
[startup+560.048 s]
Raw data (loadavg): 1.04 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1660 0 0 0 15573 444 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 522.49
Current children cumulated vsize (Kb) 15892
[startup+570.049 s]
Raw data (loadavg): 1.03 1.04 1.05 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1661 0 0 0 16478 476 0 0 25 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222992 134553045 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 531.86
Current children cumulated vsize (Kb) 15892
[startup+580.048 s]
Raw data (loadavg): 1.03 1.04 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 17383 504 0 0 19 0 1 0 19735064 14254080 1627 4294967295 134512640 134702520 3221223712 3221222736 134552372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1627 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 541.19
Current children cumulated vsize (Kb) 16048
[startup+590.049 s]
Raw data (loadavg): 1.02 1.04 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1662 0 0 0 18341 518 0 0 23 0 1 0 19735064 14094336 1626 4294967295 134512640 134702520 3221223712 3221222736 134553955 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1626 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 550.91
Current children cumulated vsize (Kb) 15892
[startup+600.05 s]
Raw data (loadavg): 1.02 1.04 1.04 1/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) T 4848 4848 4059 0 -1 0 1678 0 0 0 19251 548 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 560.31
Current children cumulated vsize (Kb) 15892
[startup+610.052 s]
Raw data (loadavg): 1.02 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1679 0 0 0 20143 585 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 569.6
Current children cumulated vsize (Kb) 15892
[startup+620.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1679 0 0 0 21120 594 0 0 25 0 1 0 19735064 14094336 1641 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1641 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 579.46
Current children cumulated vsize (Kb) 15892
[startup+630.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 22022 624 0 0 25 0 1 0 19735064 14254080 1645 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3480 1645 413 48 0 3432 0
[pid=4853] vsize: 13920
Current children cumulated CPU time (s) 588.78
Current children cumulated vsize (Kb) 16048
[startup+640.053 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 22982 637 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 598.51
Current children cumulated vsize (Kb) 15892
[startup+650.054 s]
Raw data (loadavg): 1.01 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1683 0 0 0 23947 650 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 608.29
Current children cumulated vsize (Kb) 15892
[startup+660.056 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 24852 680 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 617.64
Current children cumulated vsize (Kb) 15892
[startup+670.057 s]
Raw data (loadavg): 1.00 1.03 1.04 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 25782 705 0 0 22 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221223296 134558700 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (Kb) 15892
[startup+680.056 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1684 0 0 0 26709 732 0 0 25 0 1 0 19735064 14094336 1644 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3441 1644 413 48 0 3393 0
[pid=4853] vsize: 13764
Current children cumulated CPU time (s) 636.73
Current children cumulated vsize (Kb) 15892
[startup+690.058 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1685 0 0 0 27609 765 0 0 25 0 1 0 19735064 14098432 1644 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3442 1644 413 48 0 3394 0
[pid=4853] vsize: 13768
Current children cumulated CPU time (s) 646.06
Current children cumulated vsize (Kb) 15896
[startup+700.059 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1686 0 0 0 28516 798 0 0 17 0 1 0 19735064 14262272 1645 4294967295 134512640 134702520 3221223712 3221222608 134552944 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3482 1645 413 48 0 3434 0
[pid=4853] vsize: 13928
Current children cumulated CPU time (s) 655.46
Current children cumulated vsize (Kb) 16056
[startup+710.059 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1686 0 0 0 29488 807 0 0 25 0 1 0 19735064 14102528 1644 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3443 1644 413 48 0 3395 0
[pid=4853] vsize: 13772
Current children cumulated CPU time (s) 665.27
Current children cumulated vsize (Kb) 15900
[startup+720.06 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1688 0 0 0 30396 836 0 0 25 0 1 0 19735064 14110720 1645 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3445 1645 413 48 0 3397 0
[pid=4853] vsize: 13780
Current children cumulated CPU time (s) 674.64
Current children cumulated vsize (Kb) 15908
[startup+730.061 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1695 0 0 0 31302 866 0 0 25 0 1 0 19735064 14118912 1651 4294967295 134512640 134702520 3221223712 3221222992 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3447 1651 413 48 0 3399 0
[pid=4853] vsize: 13788
Current children cumulated CPU time (s) 684
Current children cumulated vsize (Kb) 15916
[startup+740.061 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1706 0 0 0 32280 874 0 0 25 0 1 0 19735064 14118912 1662 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3447 1662 413 48 0 3399 0
[pid=4853] vsize: 13788
Current children cumulated CPU time (s) 693.86
Current children cumulated vsize (Kb) 15916
[startup+750.062 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1710 0 0 0 33183 907 0 0 25 0 1 0 19735064 14290944 1666 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1666 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 703.22
Current children cumulated vsize (Kb) 16084
[startup+760.064 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1721 0 0 0 34086 939 0 0 25 0 1 0 19735064 14290944 1677 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1677 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 712.57
Current children cumulated vsize (Kb) 16084
[startup+770.064 s]
Raw data (loadavg): 1.00 1.02 1.03 2/56 4853
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 378 2095 0 0 1 1 34807 1423 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4853/stat): 4853 (vallst) R 4848 4848 4059 0 -1 0 1721 0 0 0 35052 951 0 0 25 0 1 0 19735064 14290944 1677 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4853/statm): 3489 1677 413 48 0 3441 0
[pid=4853] vsize: 13956
Current children cumulated CPU time (s) 722.35
Current children cumulated vsize (Kb) 16084
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=4853) exited with status: 2
New process pid=4854
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=4854) exited with status: 0
New process pid=4855
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+780.064 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1340 0 0 0 622 36 0 0 25 0 1 0 19773244 7688192 1312 4294967295 134512640 134702520 3221223712 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 1877 1312 413 48 0 1829 0
[pid=4855] vsize: 7508
Current children cumulated CPU time (s) 731.62
Current children cumulated vsize (Kb) 9636
[startup+790.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1342 0 0 0 1577 52 0 0 25 0 1 0 19773244 7688192 1314 4294967295 134512640 134702520 3221223712 3221222848 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 1877 1314 413 48 0 1829 0
[pid=4855] vsize: 7508
Current children cumulated CPU time (s) 741.33
Current children cumulated vsize (Kb) 9636
[startup+800.066 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1410 0 0 0 2551 62 0 0 25 0 1 0 19773244 13815808 1382 4294967295 134512640 134702520 3221223712 3221222968 134564337 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3373 1382 413 48 0 3325 0
[pid=4855] vsize: 13492
Current children cumulated CPU time (s) 751.17
Current children cumulated vsize (Kb) 15620
[startup+810.068 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1428 0 0 0 3499 79 0 0 19 0 1 0 19773244 13815808 1400 4294967295 134512640 134702520 3221223712 3221222736 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3373 1400 413 48 0 3325 0
[pid=4855] vsize: 13492
Current children cumulated CPU time (s) 760.82
Current children cumulated vsize (Kb) 15620
[startup+820.069 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1472 0 0 0 4424 103 0 0 25 0 1 0 19773244 13819904 1443 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3374 1443 413 48 0 3326 0
[pid=4855] vsize: 13496
Current children cumulated CPU time (s) 770.31
Current children cumulated vsize (Kb) 15624
[startup+830.069 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1490 0 0 0 5330 136 0 0 25 0 1 0 19773244 14020608 1461 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1461 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 779.7
Current children cumulated vsize (Kb) 15820
[startup+840.07 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1502 0 0 0 6305 145 0 0 25 0 1 0 19773244 14020608 1473 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1473 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 789.54
Current children cumulated vsize (Kb) 15820
[startup+850.071 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1513 0 0 0 7210 176 0 0 25 0 1 0 19773244 14020608 1484 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1484 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 798.9
Current children cumulated vsize (Kb) 15820
[startup+860.073 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1532 0 0 0 8191 181 0 0 25 0 1 0 19773244 14020608 1503 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1503 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 15820
[startup+870.073 s]
Raw data (loadavg): 1.00 1.01 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1536 0 0 0 9098 215 0 0 25 0 1 0 19773244 14020608 1507 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1507 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 818.17
Current children cumulated vsize (Kb) 15820
[startup+880.073 s]
Raw data (loadavg): 1.00 1.00 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1571 0 0 0 10038 237 0 0 19 0 1 0 19773244 14020608 1542 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1542 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 827.79
Current children cumulated vsize (Kb) 15820
[startup+890.074 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1579 0 0 0 10968 262 0 0 25 0 1 0 19773244 14020608 1549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1549 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 837.34
Current children cumulated vsize (Kb) 15820
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 1.01 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 1590 0 0 0 11895 286 0 0 17 0 1 0 19773244 14020608 1560 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1560 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 846.85
Current children cumulated vsize (Kb) 15820
[startup+910.076 s]
Raw data (loadavg): 1.07 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1599 0 0 0 12834 305 0 0 25 0 1 0 19773244 14176256 1569 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3461 1569 413 48 0 3413 0
[pid=4855] vsize: 13844
Current children cumulated CPU time (s) 856.43
Current children cumulated vsize (Kb) 15972
[startup+920.077 s]
Raw data (loadavg): 1.06 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1599 0 0 0 13791 321 0 0 25 0 1 0 19773244 14020608 1568 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3423 1568 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 866.16
Current children cumulated vsize (Kb) 15820
[startup+930.077 s]
Raw data (loadavg): 1.05 1.02 1.02 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1600 0 0 0 14769 328 0 0 25 0 1 0 19773244 14020608 1569 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1569 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 876.01
Current children cumulated vsize (Kb) 15820
[startup+940.078 s]
Raw data (loadavg): 1.04 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1601 0 0 0 15675 359 0 0 25 0 1 0 19773244 14020608 1569 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1569 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 885.38
Current children cumulated vsize (Kb) 15820
[startup+950.079 s]
Raw data (loadavg): 1.04 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1628 0 0 0 16646 370 0 0 25 0 1 0 19773244 14020608 1596 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1596 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 895.2
Current children cumulated vsize (Kb) 15820
[startup+960.079 s]
Raw data (loadavg): 1.03 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1630 0 0 0 17553 402 0 0 25 0 1 0 19773244 14020608 1597 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1597 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 904.59
Current children cumulated vsize (Kb) 15820
[startup+970.08 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1631 0 0 0 18513 416 0 0 25 0 1 0 19773244 14020608 1598 4294967295 134512640 134702520 3221223712 3221222832 134578788 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1598 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 914.33
Current children cumulated vsize (Kb) 15820
[startup+980.08 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1648 0 0 0 19413 446 0 0 25 0 1 0 19773244 14020608 1614 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1614 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 923.63
Current children cumulated vsize (Kb) 15820
[startup+990.081 s]
Raw data (loadavg): 1.02 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1666 0 0 0 20387 455 0 0 25 0 1 0 19773244 14020608 1632 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3423 1632 413 48 0 3375 0
[pid=4855] vsize: 13692
Current children cumulated CPU time (s) 933.46
Current children cumulated vsize (Kb) 15820
[startup+1000.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1667 0 0 0 21294 484 0 0 25 0 1 0 19773244 14036992 1632 4294967295 134512640 134702520 3221223712 3221223104 134604740 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3427 1632 413 48 0 3379 0
[pid=4855] vsize: 13708
Current children cumulated CPU time (s) 942.82
Current children cumulated vsize (Kb) 15836
[startup+1010.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1672 0 0 0 22197 516 0 0 22 0 1 0 19773244 14209024 1637 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1637 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 952.17
Current children cumulated vsize (Kb) 16004
[startup+1020.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1704 0 0 0 23177 523 0 0 25 0 1 0 19773244 14209024 1669 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1669 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 962.04
Current children cumulated vsize (Kb) 16004
[startup+1030.08 s]
Raw data (loadavg): 1.01 1.01 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1752 0 0 0 24150 532 0 0 25 0 1 0 19773244 14209024 1717 4294967295 134512640 134702520 3221223712 3221222736 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3469 1717 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 971.86
Current children cumulated vsize (Kb) 16004
[startup+1040.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 25052 565 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 981.21
Current children cumulated vsize (Kb) 16004
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 26017 577 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 990.98
Current children cumulated vsize (Kb) 16004
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1762 0 0 0 26987 587 0 0 25 0 1 0 19773244 14209024 1727 4294967295 134512640 134702520 3221223712 3221222992 134552523 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1727 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1000.78
Current children cumulated vsize (Kb) 16004
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1764 0 0 0 27891 618 0 0 25 0 1 0 19773244 14209024 1729 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1729 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1010.13
Current children cumulated vsize (Kb) 16004
[startup+1080.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1781 0 0 0 28861 628 0 0 25 0 1 0 19773244 14209024 1746 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3469 1746 413 48 0 3421 0
[pid=4855] vsize: 13876
Current children cumulated CPU time (s) 1019.93
Current children cumulated vsize (Kb) 16004
[startup+1090.09 s]
Raw data (loadavg): 1.06 1.02 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1793 0 0 0 29763 658 0 0 25 0 1 0 19773244 14995456 1758 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1758 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1029.25
Current children cumulated vsize (Kb) 16772
[startup+1100.09 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1827 0 0 0 30738 666 0 0 25 0 1 0 19773244 14995456 1792 4294967295 134512640 134702520 3221223712 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1792 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1039.08
Current children cumulated vsize (Kb) 16772
[startup+1110.09 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1857 0 0 0 31647 695 0 0 25 0 1 0 19773244 14995456 1821 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3661 1821 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1048.46
Current children cumulated vsize (Kb) 16772
[startup+1120.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1868 0 0 0 32625 704 0 0 25 0 1 0 19773244 14995456 1832 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1832 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1058.33
Current children cumulated vsize (Kb) 16772
[startup+1130.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1903 0 0 0 33597 714 0 0 25 0 1 0 19773244 14995456 1867 4294967295 134512640 134702520 3221223712 3221222992 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3661 1867 413 48 0 3613 0
[pid=4855] vsize: 14644
Current children cumulated CPU time (s) 1068.15
Current children cumulated vsize (Kb) 16772
[startup+1140.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1913 0 0 0 34495 747 0 0 25 0 1 0 19773244 15171584 1877 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1877 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1077.46
Current children cumulated vsize (Kb) 16944
[startup+1150.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1943 0 0 0 35460 758 0 0 25 0 1 0 19773244 15171584 1907 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1907 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1087.22
Current children cumulated vsize (Kb) 16944
[startup+1160.09 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1959 0 0 0 36370 785 0 0 25 0 1 0 19773244 15171584 1923 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1923 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1096.59
Current children cumulated vsize (Kb) 16944
[startup+1170.09 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1964 0 0 0 37355 792 0 0 25 0 1 0 19773244 15171584 1928 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1928 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1106.51
Current children cumulated vsize (Kb) 16944
[startup+1180.09 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 1994 0 0 0 38328 801 0 0 25 0 1 0 19773244 15171584 1958 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1958 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1116.33
Current children cumulated vsize (Kb) 16944
[startup+1190.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 39232 831 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222608 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1125.67
Current children cumulated vsize (Kb) 16944
[startup+1200.1 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 40196 845 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222992 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1135.45
Current children cumulated vsize (Kb) 16944
[startup+1210.1 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2007 0 0 0 41172 854 0 0 25 0 1 0 19773244 15171584 1971 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3704 1971 413 48 0 3656 0
[pid=4855] vsize: 14816
Current children cumulated CPU time (s) 1145.3
Current children cumulated vsize (Kb) 16944
[startup+1220.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 42080 887 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1154.71
Current children cumulated vsize (Kb) 17084
[startup+1230.1 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 43055 895 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552516 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 17084
[startup+1240.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 43959 926 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1173.89
Current children cumulated vsize (Kb) 17084
[startup+1250.1 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2074 0 0 0 44935 935 0 0 25 0 1 0 19773244 15314944 2038 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2038 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1183.74
Current children cumulated vsize (Kb) 17084
[startup+1260.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) T 4848 4848 4059 0 -1 0 2075 0 0 0 45841 964 0 0 24 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1193.09
Current children cumulated vsize (Kb) 17084
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2075 0 0 0 46819 972 0 0 25 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1202.95
Current children cumulated vsize (Kb) 17084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1270.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 4855
Raw data (/proc/4848/stat): 4848 (vallstSAT2005PB) S 4847 4848 4059 0 -1 0 417 3959 0 0 1 1 70117 2385 19 0 1 0 19695949 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/4848/statm): 532 248 485 147 0 385 0
[pid=4848] vsize: 2128
Raw data (/proc/4855/stat): 4855 (vallst) R 4848 4848 4059 0 -1 0 2075 0 0 0 46819 972 0 0 25 0 1 0 19773244 15314944 2039 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4855/statm): 3739 2039 413 48 0 3691 0
[pid=4855] vsize: 14956
Current children cumulated CPU time (s) 1202.95
Current children cumulated vsize (Kb) 17084
Sending SIGTERM to -4848
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4857
New process pid=4858
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/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/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/4809/stat
open syscall for file /proc/4809/status
open syscall for file /proc/4809/cmdline
open syscall for file /proc/4809/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/4855/stat
open syscall for file /proc/4855/status
open syscall for file /proc/4855/cmdline
open syscall for file /proc/4855/environ
open syscall for file /proc/4857/stat
open syscall for file /proc/4857/status
open syscall for file /proc/4857/cmdline
open syscall for file /proc/4857/environ
open syscall for file /proc/4858/stat
open syscall for file /proc/4858/status
open syscall for file /proc/4858/cmdline
open syscall for file /proc/4858/environ
One traced child (pid=4857) exited with status: 0
One traced child (pid=4858) exited with status: 0
New process pid=4859
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=4859) exited with status: 0
New process pid=4860
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=4860) 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=4855) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1270.8
CPU time (s): 478.56
CPU user time (s): 468.768
CPU system time (s): 9.79251
CPU usage (%): 37.6582
Max. virtual memory (cumulated for all children) (Kb): 17084