1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 208; #end-nodes: 155;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 74 / 233 (80)
#axs: 3552, #non-axs: 34
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: 282 (275:>=*);
#decisions: 19; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 82 (80)
#axs: 3552, #non-axs: 34
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: 283 (274:>=*);
#decisions: 67; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 104 (80)
#axs: 3552, #non-axs: 34
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: 284 (273:>=*);
#decisions: 174; #end-nodes: 100;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 100 / 127 (80)
#axs: 3552, #non-axs: 34
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: 285 (272:>=*);
#decisions: 85; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 3552, #non-axs: 34
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: 286 (271:>=*);
#decisions: 265; #end-nodes: 151;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 71 / 158 (80)
#axs: 3552, #non-axs: 40
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: 287 (270:>=*);
#decisions: 1466; #end-nodes: 949;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 156 / 582 (80)
#axs: 3552, #non-axs: 235
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: 290 (267:>=*);
#decisions: 26; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 3552, #non-axs: 235
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: 291 (266:>=*);
#decisions: 28; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 3552, #non-axs: 235
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: 292 (265:>=*);
#decisions: 53; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 3552, #non-axs: 235
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: 293 (264:>=*);
#decisions: 2339; #end-nodes: 1468;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 1215 / 1514 (80)
#axs: 3552, #non-axs: 427
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: 294 (263:>=*);
#decisions: 3090; #end-nodes: 2052;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 542 / 834 (80)
#axs: 3552, #non-axs: 768
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: 295 (262:>=*);
#decisions: 297721; #end-nodes: 192848;
#proof improvement attempts: 0; #restarts: 310
Current batch, end-nodes: 332 / 559 (157)
#axs: 3552, #non-axs: 1528
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: 296 (261:>=*);
#decisions: 305606; #end-nodes: 202271;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 649 (175)
#axs: 3552, #non-axs: 1816
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:) 296 (261:>=*)
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: 124 (#equs: 0)
Time taken: 5 min, 21 sec
2:
seed: 0
Nr of vars set: 124 (#equs: 0)
Nr of vars set: 124 (#equs: 0)
#decisions: 1019545; #end-nodes: 813498;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 485 (359)
#axs: 2462, #non-axs: 3949
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 167 (#equs: 0)
Time taken: 8 min, 22 sec
3:
seed: 0
Nr of vars set: 167 (#equs: 0)
Nr of vars set: 167 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 203 (#equs: 1)
Time taken: 6 min, 22 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/4344/stat): 4344 (vallstSAT2005PB) R 4343 4344 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842955973 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4344/statm): 174 3 169 147 0 27 0
[pid=4344] 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=4345
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=4345) exited with status: 0
New process pid=4346
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=4346) exited with status: 0
New process pid=4347
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/wulflinc18/normalized-ii32c3.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0041 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 274 0 0 0 647 118 0 0 17 0 1 0 1842955980 2314240 244 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 565 244 413 48 0 517 0
[pid=4347] vsize: 2260
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (Kb) 4388
[startup+20.0061 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 611 0 0 0 1359 213 0 0 17 0 1 0 1842955980 3506176 581 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 856 581 413 48 0 808 0
[pid=4347] vsize: 3424
Current children cumulated CPU time (s) 15.74
Current children cumulated vsize (Kb) 5552
[startup+30.007 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 632 0 0 0 2138 289 0 0 23 0 1 0 1842955980 3641344 602 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 889 602 413 48 0 841 0
[pid=4347] vsize: 3556
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (Kb) 5684
[startup+40.0079 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 651 0 0 0 2929 363 0 0 16 0 1 0 1842955980 3858432 621 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 621 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 32.94
Current children cumulated vsize (Kb) 5896
[startup+50.0099 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 669 0 0 0 3703 442 0 0 15 0 1 0 1842955980 3858432 639 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 639 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (Kb) 5896
[startup+60.0108 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 670 0 0 0 4402 545 0 0 15 0 1 0 1842955980 3858432 640 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 942 640 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (Kb) 5896
[startup+70.0127 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 677 0 0 0 5139 638 0 0 16 0 1 0 1842955980 3858432 647 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 942 647 413 48 0 894 0
[pid=4347] vsize: 3768
Current children cumulated CPU time (s) 57.79
Current children cumulated vsize (Kb) 5896
[startup+80.0146 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 690 0 0 0 5941 708 0 0 16 0 1 0 1842955980 3989504 660 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 660 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 66.51
Current children cumulated vsize (Kb) 6024
[startup+90.0155 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 699 0 0 0 6713 789 0 0 16 0 1 0 1842955980 3989504 669 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 669 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 75.04
Current children cumulated vsize (Kb) 6024
[startup+100.016 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 714 0 0 0 7518 860 0 0 16 0 1 0 1842955980 3989504 684 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 974 684 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 83.8
Current children cumulated vsize (Kb) 6024
[startup+110.017 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 714 0 0 0 8198 970 0 0 16 0 1 0 1842955980 3989504 684 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 974 684 413 48 0 926 0
[pid=4347] vsize: 3896
Current children cumulated CPU time (s) 91.7
Current children cumulated vsize (Kb) 6024
[startup+120.019 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 719 0 0 0 8948 1060 0 0 16 0 1 0 1842955980 4124672 689 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 689 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 100.1
Current children cumulated vsize (Kb) 6156
[startup+130.02 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 724 0 0 0 9734 1133 0 0 17 0 1 0 1842955980 4124672 694 4294967295 134512640 134702520 3221223968 3221223248 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 694 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (Kb) 6156
[startup+140.021 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 733 0 0 0 10541 1197 0 0 16 0 1 0 1842955980 4124672 703 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1007 703 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 117.4
Current children cumulated vsize (Kb) 6156
[startup+150.022 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 737 0 0 0 11325 1269 0 0 16 0 1 0 1842955980 4124672 707 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 707 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 125.96
Current children cumulated vsize (Kb) 6156
[startup+160.023 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 743 0 0 0 12111 1339 0 0 15 0 1 0 1842955980 4124672 713 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 713 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 134.52
Current children cumulated vsize (Kb) 6156
[startup+170.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 743 0 0 0 12907 1415 0 0 16 0 1 0 1842955980 4124672 713 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 713 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 143.24
Current children cumulated vsize (Kb) 6156
[startup+180.026 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 746 0 0 0 13725 1477 0 0 16 0 1 0 1842955980 4124672 716 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 716 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 152.04
Current children cumulated vsize (Kb) 6156
[startup+190.027 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 747 0 0 0 14530 1549 0 0 16 0 1 0 1842955980 4124672 717 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1007 717 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (Kb) 6156
[startup+200.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 748 0 0 0 15337 1619 0 0 16 0 1 0 1842955980 4124672 718 4294967295 134512640 134702520 3221223968 3221223248 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1007 718 413 48 0 959 0
[pid=4347] vsize: 4028
Current children cumulated CPU time (s) 169.58
Current children cumulated vsize (Kb) 6156
[startup+210.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 752 0 0 0 16118 1694 0 0 16 0 1 0 1842955980 4255744 722 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 722 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (Kb) 6284
[startup+220.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 753 0 0 0 16939 1759 0 0 16 0 1 0 1842955980 4255744 723 4294967295 134512640 134702520 3221223968 3221222704 134564360 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 723 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 187
Current children cumulated vsize (Kb) 6284
[startup+230.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 755 0 0 0 17763 1821 0 0 16 0 1 0 1842955980 4255744 725 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 725 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 195.86
Current children cumulated vsize (Kb) 6284
[startup+240.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 758 0 0 0 18583 1886 0 0 16 0 1 0 1842955980 4255744 728 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 728 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 204.71
Current children cumulated vsize (Kb) 6284
[startup+250.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 759 0 0 0 19390 1954 0 0 16 0 1 0 1842955980 4255744 729 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 729 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 213.46
Current children cumulated vsize (Kb) 6284
[startup+260.036 s]
Raw data (loadavg): 1.00 1.00 1.00 3/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 759 0 0 0 20196 2020 0 0 17 0 1 0 1842955980 4255744 729 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 729 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (Kb) 6284
[startup+270.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 21044 2075 0 0 16 0 1 0 1842955980 4255744 731 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 731 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 231.21
Current children cumulated vsize (Kb) 6284
[startup+280.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 765 0 0 0 21861 2138 0 0 16 0 1 0 1842955980 4255744 735 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 735 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 6284
[startup+290.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 766 0 0 0 22679 2203 0 0 16 0 1 0 1842955980 4255744 736 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 736 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 248.84
Current children cumulated vsize (Kb) 6284
[startup+300.042 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 768 0 0 0 23514 2263 0 0 16 0 1 0 1842955980 4255744 738 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1039 738 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 257.79
Current children cumulated vsize (Kb) 6284
[startup+310.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 769 0 0 0 24296 2339 0 0 17 0 1 0 1842955980 4255744 739 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 739 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 266.37
Current children cumulated vsize (Kb) 6284
[startup+320.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 769 0 0 0 25158 2387 0 0 16 0 1 0 1842955980 4255744 739 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1039 739 413 48 0 991 0
[pid=4347] vsize: 4156
Current children cumulated CPU time (s) 275.47
Current children cumulated vsize (Kb) 6284
[startup+330.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 771 0 0 0 25977 2450 0 0 16 0 1 0 1842955980 4259840 741 4294967295 134512640 134702520 3221223968 3221223088 134572664 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 741 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 284.29
Current children cumulated vsize (Kb) 6288
[startup+340.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 773 0 0 0 26792 2517 0 0 16 0 1 0 1842955980 4259840 743 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 743 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 293.11
Current children cumulated vsize (Kb) 6288
[startup+350.049 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 776 0 0 0 27615 2579 0 0 16 0 1 0 1842955980 4259840 746 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 746 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 301.96
Current children cumulated vsize (Kb) 6288
[startup+360.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) R 4344 4344 31027 0 -1 0 777 0 0 0 28407 2648 0 0 16 0 1 0 1842955980 4259840 747 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4347/statm): 1040 747 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 310.57
Current children cumulated vsize (Kb) 6288
[startup+370.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4347
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842955973 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 242 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4347/stat): 4347 (vallst) T 4344 4344 31027 0 -1 0 778 0 0 0 29253 2704 0 0 16 0 1 0 1842955980 4259840 748 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4347/statm): 1040 748 413 48 0 992 0
[pid=4347] vsize: 4160
Current children cumulated CPU time (s) 319.59
Current children cumulated vsize (Kb) 6288
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=4347) exited with status: 2
New process pid=4348
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=4348) exited with status: 0
New process pid=4349
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+380.052 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 277 0 0 0 624 41 0 0 18 0 1 0 1842993241 2383872 248 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 582 248 413 48 0 534 0
[pid=4349] vsize: 2328
Current children cumulated CPU time (s) 328.62
Current children cumulated vsize (Kb) 4456
[startup+390.053 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 278 0 0 0 1489 87 0 0 23 0 1 0 1842993241 2383872 249 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 582 249 413 48 0 534 0
[pid=4349] vsize: 2328
Current children cumulated CPU time (s) 337.73
Current children cumulated vsize (Kb) 4456
[startup+400.054 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 612 0 0 0 2319 144 0 0 25 0 1 0 1842993241 3624960 583 4294967295 134512640 134702520 3221223712 3221222608 134557203 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 885 583 413 48 0 837 0
[pid=4349] vsize: 3540
Current children cumulated CPU time (s) 346.6
Current children cumulated vsize (Kb) 5668
[startup+410.055 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 642 0 0 0 3161 201 0 0 17 0 1 0 1842993241 3895296 613 4294967295 134512640 134702520 3221223712 3221223116 1074229968 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 951 613 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 355.59
Current children cumulated vsize (Kb) 5932
[startup+420.056 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 651 0 0 0 3997 257 0 0 19 0 1 0 1842993241 3895296 622 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 951 622 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 364.51
Current children cumulated vsize (Kb) 5932
[startup+430.057 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 652 0 0 0 4856 305 0 0 19 0 1 0 1842993241 3895296 623 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 951 623 413 48 0 903 0
[pid=4349] vsize: 3804
Current children cumulated CPU time (s) 373.58
Current children cumulated vsize (Kb) 5932
[startup+440.058 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 667 0 0 0 5703 355 0 0 24 0 1 0 1842993241 4030464 638 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 638 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 382.55
Current children cumulated vsize (Kb) 6064
[startup+450.059 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 682 0 0 0 6555 406 0 0 24 0 1 0 1842993241 4030464 653 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 653 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 391.58
Current children cumulated vsize (Kb) 6064
[startup+460.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 691 0 0 0 7406 459 0 0 23 0 1 0 1842993241 4030464 662 4294967295 134512640 134702520 3221223712 3221222608 134552900 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 662 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (Kb) 6064
[startup+470.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 691 0 0 0 8257 512 0 0 22 0 1 0 1842993241 4030464 662 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 984 662 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 409.66
Current children cumulated vsize (Kb) 6064
[startup+480.063 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 699 0 0 0 9093 571 0 0 22 0 1 0 1842993241 4030464 670 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 984 670 413 48 0 936 0
[pid=4349] vsize: 3936
Current children cumulated CPU time (s) 418.61
Current children cumulated vsize (Kb) 6064
[startup+490.064 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 706 0 0 0 9946 624 0 0 25 0 1 0 1842993241 4165632 677 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 677 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 427.67
Current children cumulated vsize (Kb) 6196
[startup+500.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 728 0 0 0 10799 677 0 0 22 0 1 0 1842993241 4165632 699 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 699 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 436.73
Current children cumulated vsize (Kb) 6196
[startup+510.066 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 728 0 0 0 11652 725 0 0 25 0 1 0 1842993241 4165632 699 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 699 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 445.74
Current children cumulated vsize (Kb) 6196
[startup+520.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 737 0 0 0 12490 784 0 0 23 0 1 0 1842993241 4165632 708 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1017 708 413 48 0 969 0
[pid=4349] vsize: 4068
Current children cumulated CPU time (s) 454.71
Current children cumulated vsize (Kb) 6196
[startup+530.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 746 0 0 0 13327 840 0 0 19 0 1 0 1842993241 4300800 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1050 717 413 48 0 1002 0
[pid=4349] vsize: 4200
Current children cumulated CPU time (s) 463.64
Current children cumulated vsize (Kb) 6328
[startup+540.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 14178 893 0 0 25 0 1 0 1842993241 4304896 732 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1051 732 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 472.68
Current children cumulated vsize (Kb) 6332
[startup+550.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 765 0 0 0 15027 945 0 0 24 0 1 0 1842993241 4304896 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 736 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 481.69
Current children cumulated vsize (Kb) 6332
[startup+560.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 765 0 0 0 15889 997 0 0 25 0 1 0 1842993241 4304896 736 4294967295 134512640 134702520 3221223712 3221222480 134552312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 736 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 490.83
Current children cumulated vsize (Kb) 6332
[startup+570.075 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 770 0 0 0 16741 1047 0 0 23 0 1 0 1842993241 4304896 741 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1051 741 413 48 0 1003 0
[pid=4349] vsize: 4204
Current children cumulated CPU time (s) 499.85
Current children cumulated vsize (Kb) 6332
[startup+580.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 780 0 0 0 17595 1100 0 0 25 0 1 0 1842993241 4440064 751 4294967295 134512640 134702520 3221223712 3221222992 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 751 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 508.92
Current children cumulated vsize (Kb) 6464
[startup+590.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 783 0 0 0 18451 1147 0 0 19 0 1 0 1842993241 4440064 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 754 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 517.95
Current children cumulated vsize (Kb) 6464
[startup+600.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 789 0 0 0 19309 1200 0 0 25 0 1 0 1842993241 4440064 760 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 760 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 527.06
Current children cumulated vsize (Kb) 6464
[startup+610.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 789 0 0 0 20175 1245 0 0 21 0 1 0 1842993241 4440064 760 4294967295 134512640 134702520 3221223712 3221222480 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 760 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 536.17
Current children cumulated vsize (Kb) 6464
[startup+620.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 793 0 0 0 21008 1305 0 0 21 0 1 0 1842993241 4440064 764 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 764 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 545.1
Current children cumulated vsize (Kb) 6464
[startup+630.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 797 0 0 0 21854 1358 0 0 20 0 1 0 1842993241 4440064 768 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 768 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 554.09
Current children cumulated vsize (Kb) 6464
[startup+640.083 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 801 0 0 0 22700 1411 0 0 21 0 1 0 1842993241 4440064 772 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1084 772 413 48 0 1036 0
[pid=4349] vsize: 4336
Current children cumulated CPU time (s) 563.08
Current children cumulated vsize (Kb) 6464
[startup+650.085 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 807 0 0 0 23549 1462 0 0 25 0 1 0 1842993241 4575232 778 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 778 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 572.08
Current children cumulated vsize (Kb) 6596
[startup+660.086 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 807 0 0 0 24409 1512 0 0 25 0 1 0 1842993241 4575232 778 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 778 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (Kb) 6596
[startup+670.088 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 808 0 0 0 25253 1562 0 0 21 0 1 0 1842993241 4575232 779 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 779 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 590.12
Current children cumulated vsize (Kb) 6596
[startup+680.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 816 0 0 0 26093 1616 0 0 22 0 1 0 1842993241 4575232 787 4294967295 134512640 134702520 3221223712 3221222832 134572978 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1117 787 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 599.06
Current children cumulated vsize (Kb) 6596
[startup+690.091 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 819 0 0 0 26939 1669 0 0 17 0 1 0 1842993241 4575232 790 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 790 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 608.05
Current children cumulated vsize (Kb) 6596
[startup+700.093 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 822 0 0 0 27793 1724 0 0 20 0 1 0 1842993241 4575232 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 793 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 617.14
Current children cumulated vsize (Kb) 6596
[startup+710.094 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 824 0 0 0 28654 1774 0 0 25 0 1 0 1842993241 4575232 795 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 795 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 626.25
Current children cumulated vsize (Kb) 6596
[startup+720.095 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 824 0 0 0 29523 1818 0 0 25 0 1 0 1842993241 4575232 795 4294967295 134512640 134702520 3221223712 3221222976 134553224 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 795 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 635.38
Current children cumulated vsize (Kb) 6596
[startup+730.096 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 827 0 0 0 30350 1876 0 0 18 0 1 0 1842993241 4575232 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1117 798 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 644.23
Current children cumulated vsize (Kb) 6596
[startup+740.097 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 830 0 0 0 31213 1920 0 0 25 0 1 0 1842993241 4575232 801 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1117 801 413 48 0 1069 0
[pid=4349] vsize: 4468
Current children cumulated CPU time (s) 653.3
Current children cumulated vsize (Kb) 6596
[startup+750.098 s]
Raw data (loadavg): 1.09 1.02 1.01 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 843 0 0 0 32063 1973 0 0 25 0 1 0 1842993241 4710400 814 4294967295 134512640 134702520 3221223712 3221222992 134552891 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 814 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 662.33
Current children cumulated vsize (Kb) 6728
[startup+760.098 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 852 0 0 0 32920 2024 0 0 25 0 1 0 1842993241 4710400 823 4294967295 134512640 134702520 3221223712 3221222992 134553312 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 823 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 671.41
Current children cumulated vsize (Kb) 6728
[startup+770.1 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 33785 2071 0 0 25 0 1 0 1842993241 4710400 827 4294967295 134512640 134702520 3221223712 3221222608 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4349/statm): 1150 827 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 680.53
Current children cumulated vsize (Kb) 6728
[startup+780.101 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 34661 2114 0 0 25 0 1 0 1842993241 4710400 827 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 827 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 689.72
Current children cumulated vsize (Kb) 6728
[startup+790.102 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 860 0 0 0 35512 2165 0 0 24 0 1 0 1842993241 4710400 831 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 831 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 698.74
Current children cumulated vsize (Kb) 6728
[startup+800.104 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 36368 2218 0 0 19 0 1 0 1842993241 4710400 834 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222298933 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 834 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 707.83
Current children cumulated vsize (Kb) 6728
[startup+810.105 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 867 0 0 0 37211 2272 0 0 23 0 1 0 1842993241 4710400 838 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 838 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 716.8
Current children cumulated vsize (Kb) 6728
[startup+820.107 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 873 0 0 0 38068 2322 0 0 25 0 1 0 1842993241 4710400 844 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 844 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 725.87
Current children cumulated vsize (Kb) 6728
[startup+830.108 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 885 0 0 0 38923 2376 0 0 22 0 1 0 1842993241 4710400 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1150 856 413 48 0 1102 0
[pid=4349] vsize: 4600
Current children cumulated CPU time (s) 734.96
Current children cumulated vsize (Kb) 6728
[startup+840.109 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 893 0 0 0 39788 2421 0 0 25 0 1 0 1842993241 4980736 864 4294967295 134512640 134702520 3221223712 3221222608 134552151 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 864 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 744.06
Current children cumulated vsize (Kb) 6992
[startup+850.111 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 893 0 0 0 40684 2461 0 0 21 0 1 0 1842993241 4980736 864 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 864 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 753.42
Current children cumulated vsize (Kb) 6992
[startup+860.112 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 895 0 0 0 41558 2508 0 0 21 0 1 0 1842993241 4980736 866 4294967295 134512640 134702520 3221223712 3221222832 134578882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 866 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 762.63
Current children cumulated vsize (Kb) 6992
[startup+870.113 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 898 0 0 0 42409 2559 0 0 17 0 1 0 1842993241 4980736 869 4294967295 134512640 134702520 3221223712 3221222832 134573708 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 869 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 771.65
Current children cumulated vsize (Kb) 6992
[startup+880.115 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) T 4344 4344 31027 0 -1 0 900 0 0 0 43258 2610 0 0 24 0 1 0 1842993241 4980736 871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 871 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 780.65
Current children cumulated vsize (Kb) 6992
[startup+890.115 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 904 0 0 0 44118 2658 0 0 19 0 1 0 1842993241 4980736 875 4294967295 134512640 134702520 3221223712 3221223104 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 875 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 789.73
Current children cumulated vsize (Kb) 6992
[startup+900.116 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 907 0 0 0 44972 2708 0 0 23 0 1 0 1842993241 4980736 878 4294967295 134512640 134702520 3221223712 3221215968 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1216 878 413 48 0 1168 0
[pid=4349] vsize: 4864
Current children cumulated CPU time (s) 798.77
Current children cumulated vsize (Kb) 6992
[startup+910.118 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 914 0 0 0 45831 2755 0 0 22 0 1 0 1842993241 4984832 885 4294967295 134512640 134702520 3221223712 3221222992 134552924 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1217 885 413 48 0 1169 0
[pid=4349] vsize: 4868
Current children cumulated CPU time (s) 807.83
Current children cumulated vsize (Kb) 6996
[startup+920.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4349
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 378 1153 0 0 2 1 29476 2718 16 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4349/stat): 4349 (vallst) R 4344 4344 31027 0 -1 0 914 0 0 0 46737 2790 0 0 25 0 1 0 1842993241 4984832 885 4294967295 134512640 134702520 3221223712 3221222608 134550674 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4349/statm): 1217 885 413 48 0 1169 0
[pid=4349] vsize: 4868
Current children cumulated CPU time (s) 817.24
Current children cumulated vsize (Kb) 6996
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=4349) exited with status: 2
New process pid=4350
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=4350) exited with status: 0
New process pid=4351
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+930.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 302 0 0 0 238 9 0 0 25 0 1 0 1843048731 2428928 274 4294967295 134512640 134702520 3221223712 3221222848 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 593 274 413 48 0 545 0
[pid=4351] vsize: 2372
Current children cumulated CPU time (s) 826.62
Current children cumulated vsize (Kb) 4500
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 304 0 0 0 1140 41 0 0 25 0 1 0 1843048731 2428928 276 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 593 276 413 48 0 545 0
[pid=4351] vsize: 2372
Current children cumulated CPU time (s) 835.96
Current children cumulated vsize (Kb) 4500
[startup+950.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 635 0 0 0 2018 88 0 0 22 0 1 0 1843048731 3911680 607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 955 607 413 48 0 907 0
[pid=4351] vsize: 3820
Current children cumulated CPU time (s) 845.21
Current children cumulated vsize (Kb) 5948
[startup+960.125 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 662 0 0 0 2883 135 0 0 18 0 1 0 1843048731 4046848 634 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 988 634 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 854.33
Current children cumulated vsize (Kb) 6080
[startup+970.126 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 679 0 0 0 3758 181 0 0 25 0 1 0 1843048731 4046848 651 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 988 651 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 863.54
Current children cumulated vsize (Kb) 6080
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 679 0 0 0 4639 224 0 0 25 0 1 0 1843048731 4046848 651 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 988 651 413 48 0 940 0
[pid=4351] vsize: 3952
Current children cumulated CPU time (s) 872.78
Current children cumulated vsize (Kb) 6080
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 700 0 0 0 5480 279 0 0 22 0 1 0 1843048731 4182016 672 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1021 672 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (Kb) 6212
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 712 0 0 0 6343 325 0 0 25 0 1 0 1843048731 4182016 684 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1021 684 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 890.83
Current children cumulated vsize (Kb) 6212
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 717 0 0 0 7216 373 0 0 25 0 1 0 1843048731 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1021 689 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 6212
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 717 0 0 0 8105 411 0 0 22 0 1 0 1843048731 4182016 689 4294967295 134512640 134702520 3221223712 3221222480 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1021 689 413 48 0 973 0
[pid=4351] vsize: 4084
Current children cumulated CPU time (s) 909.31
Current children cumulated vsize (Kb) 6212
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 726 0 0 0 8951 466 0 0 19 0 1 0 1843048731 4317184 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 698 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 918.32
Current children cumulated vsize (Kb) 6344
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 734 0 0 0 9811 514 0 0 25 0 1 0 1843048731 4317184 706 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1054 706 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 927.4
Current children cumulated vsize (Kb) 6344
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 746 0 0 0 10649 569 0 0 22 0 1 0 1843048731 4317184 718 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 718 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 936.33
Current children cumulated vsize (Kb) 6344
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 746 0 0 0 11515 617 0 0 25 0 1 0 1843048731 4317184 718 4294967295 134512640 134702520 3221223712 3221222608 134550737 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1054 718 413 48 0 1006 0
[pid=4351] vsize: 4216
Current children cumulated CPU time (s) 945.47
Current children cumulated vsize (Kb) 6344
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 752 0 0 0 12363 670 0 0 17 0 1 0 1843048731 4452352 724 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1087 724 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 954.48
Current children cumulated vsize (Kb) 6476
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 756 0 0 0 13203 727 0 0 24 0 1 0 1843048731 4452352 728 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 728 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 963.45
Current children cumulated vsize (Kb) 6476
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 761 0 0 0 14040 781 0 0 25 0 1 0 1843048731 4452352 733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 733 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 972.36
Current children cumulated vsize (Kb) 6476
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 762 0 0 0 14898 833 0 0 25 0 1 0 1843048731 4452352 734 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 734 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 981.46
Current children cumulated vsize (Kb) 6476
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 762 0 0 0 15777 876 0 0 25 0 1 0 1843048731 4452352 734 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 734 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 990.68
Current children cumulated vsize (Kb) 6476
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 764 0 0 0 16604 933 0 0 18 0 1 0 1843048731 4452352 736 4294967295 134512640 134702520 3221223712 3221222832 134584489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 736 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 999.52
Current children cumulated vsize (Kb) 6476
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 771 0 0 0 17439 988 0 0 24 0 1 0 1843048731 4452352 743 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1087 743 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1008.42
Current children cumulated vsize (Kb) 6476
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 778 0 0 0 18279 1045 0 0 25 0 1 0 1843048731 4452352 750 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 750 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1017.39
Current children cumulated vsize (Kb) 6476
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 778 0 0 0 19147 1091 0 0 25 0 1 0 1843048731 4452352 750 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1087 750 413 48 0 1039 0
[pid=4351] vsize: 4348
Current children cumulated CPU time (s) 1026.53
Current children cumulated vsize (Kb) 6476
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 786 0 0 0 19997 1144 0 0 17 0 1 0 1843048731 4587520 758 4294967295 134512640 134702520 3221223712 3221223104 134603635 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 758 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1035.56
Current children cumulated vsize (Kb) 6608
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 793 0 0 0 20842 1196 0 0 25 0 1 0 1843048731 4587520 765 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1120 765 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (Kb) 6608
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 795 0 0 0 21684 1252 0 0 24 0 1 0 1843048731 4587520 767 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 767 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1053.51
Current children cumulated vsize (Kb) 6608
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 810 0 0 0 22523 1308 0 0 24 0 1 0 1843048731 4587520 782 4294967295 134512640 134702520 3221223712 3221223104 134605854 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 782 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1062.46
Current children cumulated vsize (Kb) 6608
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 812 0 0 0 23397 1350 0 0 25 0 1 0 1843048731 4587520 784 4294967295 134512640 134702520 3221223712 3221222608 134552810 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 784 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1071.62
Current children cumulated vsize (Kb) 6608
[startup+1210.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 812 0 0 0 24278 1392 0 0 21 0 1 0 1843048731 4587520 784 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1120 784 413 48 0 1072 0
[pid=4351] vsize: 4480
Current children cumulated CPU time (s) 1080.85
Current children cumulated vsize (Kb) 6608
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 823 0 0 0 25104 1452 0 0 19 0 1 0 1843048731 4726784 795 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1154 795 413 48 0 1106 0
[pid=4351] vsize: 4616
Current children cumulated CPU time (s) 1089.71
Current children cumulated vsize (Kb) 6744
[startup+1230.15 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 827 0 0 0 25941 1509 0 0 24 0 1 0 1843048731 4726784 799 4294967295 134512640 134702520 3221223712 3221223104 134605161 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1154 799 413 48 0 1106 0
[pid=4351] vsize: 4616
Current children cumulated CPU time (s) 1098.65
Current children cumulated vsize (Kb) 6744
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 840 0 0 0 26779 1562 0 0 24 0 1 0 1843048731 4730880 812 4294967295 134512640 134702520 3221223712 3221222912 134617918 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1155 812 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1107.56
Current children cumulated vsize (Kb) 6748
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 844 0 0 0 27648 1611 0 0 25 0 1 0 1843048731 4730880 816 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 816 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1116.74
Current children cumulated vsize (Kb) 6748
[startup+1260.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 844 0 0 0 28532 1653 0 0 22 0 1 0 1843048731 4730880 816 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 816 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1126
Current children cumulated vsize (Kb) 6748
[startup+1270.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 848 0 0 0 29364 1712 0 0 21 0 1 0 1843048731 4730880 820 4294967295 134512640 134702520 3221223712 3221222608 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1155 820 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1134.91
Current children cumulated vsize (Kb) 6748
[startup+1280.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 852 0 0 0 30208 1764 0 0 18 0 1 0 1843048731 4730880 824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1155 824 413 48 0 1107 0
[pid=4351] vsize: 4620
Current children cumulated CPU time (s) 1143.87
Current children cumulated vsize (Kb) 6748
[startup+1290.16 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 856 0 0 0 31048 1819 0 0 22 0 1 0 1843048731 4866048 828 4294967295 134512640 134702520 3221223712 3221222608 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 828 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1152.82
Current children cumulated vsize (Kb) 6880
[startup+1300.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 31910 1867 0 0 25 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1161.92
Current children cumulated vsize (Kb) 6880
[startup+1310.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 863 0 0 0 32787 1911 0 0 18 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1171.13
Current children cumulated vsize (Kb) 6880
[startup+1320.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 863 0 0 0 33679 1949 0 0 25 0 1 0 1843048731 4866048 835 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 835 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1180.43
Current children cumulated vsize (Kb) 6880
[startup+1330.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 869 0 0 0 34483 2011 0 0 19 0 1 0 1843048731 4866048 841 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 841 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1189.09
Current children cumulated vsize (Kb) 6880
[startup+1340.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) R 4344 4344 31027 0 -1 0 873 0 0 0 35340 2060 0 0 25 0 1 0 1843048731 4866048 845 4294967295 134512640 134702520 3221223712 3221222608 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4351/statm): 1188 845 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1198.15
Current children cumulated vsize (Kb) 6880
[startup+1350.17 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 877 0 0 0 36183 2116 0 0 24 0 1 0 1843048731 4866048 849 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 849 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 6880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1350.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 4351
Raw data (/proc/4344/stat): 4344 (vallstSAT2005PB) S 4343 4344 31027 0 -1 0 417 2211 0 0 2 1 76877 5535 19 0 1 0 1842955973 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4344/statm): 532 248 485 147 0 385 0
[pid=4344] vsize: 2128
Raw data (/proc/4351/stat): 4351 (vallst) T 4344 4344 31027 0 -1 0 877 0 0 0 36183 2116 0 0 24 0 1 0 1843048731 4866048 849 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4351/statm): 1188 849 413 48 0 1140 0
[pid=4351] vsize: 4752
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 6880
Sending SIGTERM to -4344
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4353
New process pid=4354
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
One traced child (pid=4351) exited with status: 3
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32030/stat
open syscall for file /proc/32030/status
open syscall for file /proc/32030/cmdline
open syscall for file /proc/32030/environ
open syscall for file /proc/18880/stat
open syscall for file /proc/18880/status
open syscall for file /proc/18880/cmdline
open syscall for file /proc/18880/environ
open syscall for file /proc/18905/stat
open syscall for file /proc/18905/status
open syscall for file /proc/18905/cmdline
open syscall for file /proc/18905/environ
open syscall for file /proc/18931/stat
open syscall for file /proc/18931/status
open syscall for file /proc/18931/cmdline
open syscall for file /proc/18931/environ
open syscall for file /proc/27804/stat
open syscall for file /proc/27804/status
open syscall for file /proc/27804/cmdline
open syscall for file /proc/27804/environ
open syscall for file /proc/28297/stat
open syscall for file /proc/28297/status
open syscall for file /proc/28297/cmdline
open syscall for file /proc/28297/environ
open syscall for file /proc/13024/stat
open syscall for file /proc/13024/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/13024/cmdline
open syscall for file /proc/13024/environ
open syscall for file /proc/13060/stat
open syscall for file /proc/13060/status
open syscall for file /proc/13060/cmdline
open syscall for file /proc/13060/environ
open syscall for file /proc/31027/stat
open syscall for file /proc/31027/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31027/cmdline
open syscall for file /proc/31027/environ
open syscall for file /proc/31028/stat
open syscall for file /proc/31028/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31028/cmdline
open syscall for file /proc/31028/environ
open syscall for file /proc/31037/stat
open syscall for file /proc/31037/status
open syscall for file /proc/31037/cmdline
open syscall for file /proc/31037/environ
open syscall for file /proc/4307/stat
open syscall for file /proc/4307/status
open syscall for file /proc/4307/cmdline
open syscall for file /proc/4307/environ
open syscall for file /proc/4343/stat
open syscall for file /proc/4343/status
open syscall for file /proc/4343/cmdline
open syscall for file /proc/4343/environ
open syscall for file /proc/4344/stat
open syscall for file /proc/4344/status
open syscall for file /proc/4344/cmdline
open syscall for file /proc/4344/environ
open syscall for file /proc/4353/stat
open syscall for file /proc/4353/status
open syscall for file /proc/4353/cmdline
open syscall for file /proc/4353/environ
open syscall for file /proc/4354/stat
open syscall for file /proc/4354/status
open syscall for file /proc/4354/cmdline
open syscall for file /proc/4354/environ
One traced child (pid=4353) exited with status: 0
One traced child (pid=4354) exited with status: 0
New process pid=4355
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=4355) exited with status: 0
New process pid=4356
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=4356) exited with status: 0
One traced child (pid=4344) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1350.67
CPU time (s): 1207.3
CPU user time (s): 1130.7
CPU system time (s): 76.6064
CPU usage (%): 89.3855
Max. virtual memory (cumulated for all children) (Kb): 6996