1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 22 (#equs: 0)
#decisions: 646; #end-nodes: 138;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 51 / 92 (80)
#axs: 248, #non-axs: 93
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: 541822 (1555328:>=*);
#decisions: 21; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 93
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: 551422 (1545728:>=*);
#decisions: 35; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 248, #non-axs: 94
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: 561022 (1536128:>=*);
#decisions: 65; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 248, #non-axs: 94
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: 570622 (1526528:>=*);
#decisions: 30; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 248, #non-axs: 94
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: 580222 (1516928:>=*);
#decisions: 426; #end-nodes: 228;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 64 / 83 (80)
#axs: 248, #non-axs: 159
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: 588542 (1508608:>=*);
#decisions: 913; #end-nodes: 423;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 100 / 268 (80)
#axs: 248, #non-axs: 378
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: 599422 (1497728:>=*);
#decisions: 79; #end-nodes: 50;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 50 / 106 (80)
#axs: 248, #non-axs: 403
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: 600062 (1497088:>=*);
#decisions: 18; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 248, #non-axs: 405
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: 649342 (1447808:>=*);
#decisions: 134; #end-nodes: 67;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 67 / 115 (80)
#axs: 248, #non-axs: 441
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: 653822 (1443328:>=*);
#decisions: 53; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 248, #non-axs: 455
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: 675582 (1421568:>=*);
#decisions: 3463; #end-nodes: 2273;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 79 / 96 (81)
#axs: 248, #non-axs: 1322
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: 680702 (1416448:>=*);
#decisions: 5001; #end-nodes: 2533;
#proof improvement attempts: 0; #restarts: 13
Current batch, end-nodes: 412 / 727 (83)
#axs: 248, #non-axs: 2751
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: 689022 (1408128:>=*);
#decisions: 3287890; #end-nodes: 2425602;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 2445 (343)
#axs: 248, #non-axs: 3257
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 29, end (keep): 47
Model found with constant:
(pushed:) 689022 (1408128:>=*)
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: 32 (#equs: 0)
Time taken: 15 min, 24 sec
2:
seed: 0
Nr of vars set: 32 (#equs: 0)
Nr of vars set: 32 (#equs: 0)
Interupt request received.
#decisions: 930751; #end-nodes: 691295;
#proof improvement attempts: 0; #restarts: 474
Current batch, end-nodes: 2109 / 3513 (238)
#axs: 248, #non-axs: 3708
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 8, end: 12; meta: start: 29, end (keep): 47
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: 207 (#equs: 0)
Time taken: 4 min, 41 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/5441/stat): 5441 (vallstSAT2005PB) R 5440 5441 4005 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19823683 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/5441/statm): 174 3 169 147 0 27 0
[pid=5441] 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=5442
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=5442) exited with status: 0
New process pid=5443
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=5443) exited with status: 0
New process pid=5444
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/wulflinc28/normalized-mps-v2-13-7-misc07.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0037 s]
Raw data (loadavg): 0.83 0.95 0.93 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 396 0 0 0 573 135 0 0 21 0 1 0 19823691 2719744 366 4294967295 134512640 134702520 3221223952 3221223232 134553111 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 664 366 413 48 0 616 0
[pid=5444] vsize: 2656
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (Kb) 4784
[startup+20.0044 s]
Raw data (loadavg): 0.86 0.95 0.93 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 493 0 0 0 1256 238 0 0 20 0 1 0 19823691 3133440 463 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 463 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 14.96
Current children cumulated vsize (Kb) 5188
[startup+30.0061 s]
Raw data (loadavg): 0.88 0.95 0.93 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 506 0 0 0 1961 331 0 0 19 0 1 0 19823691 3133440 476 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 476 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 22.94
Current children cumulated vsize (Kb) 5188
[startup+40.0067 s]
Raw data (loadavg): 0.90 0.95 0.93 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 507 0 0 0 2573 454 0 0 19 0 1 0 19823691 3133440 477 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 477 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (Kb) 5188
[startup+50.0074 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 514 0 0 0 3270 553 0 0 20 0 1 0 19823691 3133440 484 4294967295 134512640 134702520 3221223952 3221222848 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 484 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 38.25
Current children cumulated vsize (Kb) 5188
[startup+60.0081 s]
Raw data (loadavg): 0.99 0.97 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 521 0 0 0 3983 652 0 0 20 0 1 0 19823691 3133440 491 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 491 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 46.37
Current children cumulated vsize (Kb) 5188
[startup+70.0088 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 522 0 0 0 4590 775 0 0 19 0 1 0 19823691 3133440 492 4294967295 134512640 134702520 3221223952 3221222848 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 492 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 53.67
Current children cumulated vsize (Kb) 5188
[startup+80.0105 s]
Raw data (loadavg): 0.99 0.97 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 522 0 0 0 5313 863 0 0 20 0 1 0 19823691 3133440 492 4294967295 134512640 134702520 3221223952 3221223232 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 765 492 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 61.78
Current children cumulated vsize (Kb) 5188
[startup+90.0111 s]
Raw data (loadavg): 1.06 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 528 0 0 0 6030 957 0 0 21 0 1 0 19823691 3133440 498 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 765 498 413 48 0 717 0
[pid=5444] vsize: 3060
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 5188
[startup+100.012 s]
Raw data (loadavg): 1.05 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 540 0 0 0 6778 1040 0 0 20 0 1 0 19823691 3268608 510 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 510 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 78.2
Current children cumulated vsize (Kb) 5320
[startup+110.012 s]
Raw data (loadavg): 1.05 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 541 0 0 0 7381 1167 0 0 21 0 1 0 19823691 3268608 511 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 798 511 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (Kb) 5320
[startup+120.013 s]
Raw data (loadavg): 1.04 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 544 0 0 0 8115 1257 0 0 20 0 1 0 19823691 3268608 514 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 514 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 93.74
Current children cumulated vsize (Kb) 5320
[startup+130.015 s]
Raw data (loadavg): 1.03 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 547 0 0 0 8857 1339 0 0 21 0 1 0 19823691 3268608 517 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 517 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (Kb) 5320
[startup+140.016 s]
Raw data (loadavg): 1.03 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 556 0 0 0 9606 1422 0 0 20 0 1 0 19823691 3268608 526 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 526 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 110.3
Current children cumulated vsize (Kb) 5320
[startup+150.016 s]
Raw data (loadavg): 1.02 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 557 0 0 0 10222 1544 0 0 21 0 1 0 19823691 3268608 527 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 798 527 413 48 0 750 0
[pid=5444] vsize: 3192
Current children cumulated CPU time (s) 117.68
Current children cumulated vsize (Kb) 5320
[startup+160.017 s]
Raw data (loadavg): 1.02 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 564 0 0 0 10981 1628 0 0 22 0 1 0 19823691 3403776 534 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 534 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 126.11
Current children cumulated vsize (Kb) 5452
[startup+170.018 s]
Raw data (loadavg): 1.02 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 573 0 0 0 11745 1710 0 0 21 0 1 0 19823691 3403776 543 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 543 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 134.57
Current children cumulated vsize (Kb) 5452
[startup+180.018 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 578 0 0 0 12469 1806 0 0 19 0 1 0 19823691 3403776 548 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 831 548 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 142.77
Current children cumulated vsize (Kb) 5452
[startup+190.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 582 0 0 0 13227 1883 0 0 22 0 1 0 19823691 3403776 552 4294967295 134512640 134702520 3221223952 3221223072 134584454 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 831 552 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 151.12
Current children cumulated vsize (Kb) 5452
[startup+200.021 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 591 0 0 0 13972 1970 0 0 17 0 1 0 19823691 3403776 561 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 561 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 159.44
Current children cumulated vsize (Kb) 5452
[startup+210.021 s]
Raw data (loadavg): 1.01 0.99 0.94 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 594 0 0 0 14645 2078 0 0 23 0 1 0 19823691 3403776 564 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 831 564 413 48 0 783 0
[pid=5444] vsize: 3324
Current children cumulated CPU time (s) 167.25
Current children cumulated vsize (Kb) 5452
[startup+220.022 s]
Raw data (loadavg): 1.08 1.00 0.95 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 598 0 0 0 15395 2162 0 0 20 0 1 0 19823691 3538944 568 4294967295 134512640 134702520 3221223952 3221223280 134612940 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 568 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 175.59
Current children cumulated vsize (Kb) 5584
[startup+230.023 s]
Raw data (loadavg): 1.07 1.00 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 600 0 0 0 16129 2255 0 0 22 0 1 0 19823691 3538944 570 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 570 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 183.86
Current children cumulated vsize (Kb) 5584
[startup+240.023 s]
Raw data (loadavg): 1.13 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 611 0 0 0 16909 2329 0 0 21 0 1 0 19823691 3538944 581 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 581 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 192.4
Current children cumulated vsize (Kb) 5584
[startup+250.024 s]
Raw data (loadavg): 1.11 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 618 0 0 0 17681 2404 0 0 22 0 1 0 19823691 3538944 588 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 588 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 200.87
Current children cumulated vsize (Kb) 5584
[startup+260.026 s]
Raw data (loadavg): 1.09 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 622 0 0 0 18485 2470 0 0 20 0 1 0 19823691 3538944 592 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 592 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 209.57
Current children cumulated vsize (Kb) 5584
[startup+270.026 s]
Raw data (loadavg): 1.08 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 625 0 0 0 19271 2537 0 0 22 0 1 0 19823691 3538944 595 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 864 595 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 218.1
Current children cumulated vsize (Kb) 5584
[startup+280.027 s]
Raw data (loadavg): 1.06 1.02 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 626 0 0 0 19935 2643 0 0 17 0 1 0 19823691 3538944 596 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 864 596 413 48 0 816 0
[pid=5444] vsize: 3456
Current children cumulated CPU time (s) 225.8
Current children cumulated vsize (Kb) 5584
[startup+290.028 s]
Raw data (loadavg): 1.05 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 630 0 0 0 20667 2730 0 0 23 0 1 0 19823691 3674112 600 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 600 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 233.99
Current children cumulated vsize (Kb) 5716
[startup+300.027 s]
Raw data (loadavg): 1.05 1.01 0.95 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 634 0 0 0 21431 2811 0 0 20 0 1 0 19823691 3674112 604 4294967295 134512640 134702520 3221223952 3221223524 134561735 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 604 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 242.44
Current children cumulated vsize (Kb) 5716
[startup+310.029 s]
Raw data (loadavg): 1.04 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 639 0 0 0 22216 2883 0 0 21 0 1 0 19823691 3674112 609 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 609 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 251.01
Current children cumulated vsize (Kb) 5716
[startup+320.03 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 642 0 0 0 22982 2963 0 0 21 0 1 0 19823691 3674112 612 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 612 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 259.47
Current children cumulated vsize (Kb) 5716
[startup+330.031 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 649 0 0 0 23756 3040 0 0 18 0 1 0 19823691 3674112 619 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 619 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 267.98
Current children cumulated vsize (Kb) 5716
[startup+340.032 s]
Raw data (loadavg): 1.10 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 653 0 0 0 24529 3116 0 0 24 0 1 0 19823691 3674112 623 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 623 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 276.47
Current children cumulated vsize (Kb) 5716
[startup+350.033 s]
Raw data (loadavg): 1.09 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 655 0 0 0 25317 3186 0 0 21 0 1 0 19823691 3674112 625 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 897 625 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 285.05
Current children cumulated vsize (Kb) 5716
[startup+360.034 s]
Raw data (loadavg): 1.07 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 658 0 0 0 26074 3263 0 0 20 0 1 0 19823691 3674112 628 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 628 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 293.39
Current children cumulated vsize (Kb) 5716
[startup+370.035 s]
Raw data (loadavg): 1.06 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 658 0 0 0 26703 3380 0 0 17 0 1 0 19823691 3674112 628 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 897 628 413 48 0 849 0
[pid=5444] vsize: 3588
Current children cumulated CPU time (s) 300.85
Current children cumulated vsize (Kb) 5716
[startup+380.036 s]
Raw data (loadavg): 1.12 1.04 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 662 0 0 0 27456 3462 0 0 17 0 1 0 19823691 3809280 632 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 632 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 309.2
Current children cumulated vsize (Kb) 5848
[startup+390.036 s]
Raw data (loadavg): 1.10 1.04 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 666 0 0 0 28248 3529 0 0 19 0 1 0 19823691 3809280 636 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 636 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 317.79
Current children cumulated vsize (Kb) 5848
[startup+400.037 s]
Raw data (loadavg): 1.09 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 668 0 0 0 28997 3611 0 0 23 0 1 0 19823691 3809280 638 4294967295 134512640 134702520 3221223952 3221223232 134557208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 638 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 326.1
Current children cumulated vsize (Kb) 5848
[startup+410.038 s]
Raw data (loadavg): 1.07 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 668 0 0 0 29812 3672 0 0 22 0 1 0 19823691 3809280 638 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 638 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 334.86
Current children cumulated vsize (Kb) 5848
[startup+420.039 s]
Raw data (loadavg): 1.06 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 670 0 0 0 30577 3750 0 0 22 0 1 0 19823691 3809280 640 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 640 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 343.29
Current children cumulated vsize (Kb) 5848
[startup+430.039 s]
Raw data (loadavg): 1.05 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 675 0 0 0 31365 3824 0 0 17 0 1 0 19823691 3809280 645 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 645 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 351.91
Current children cumulated vsize (Kb) 5848
[startup+440.04 s]
Raw data (loadavg): 1.04 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 676 0 0 0 32143 3897 0 0 24 0 1 0 19823691 3809280 646 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 930 646 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 360.42
Current children cumulated vsize (Kb) 5848
[startup+450.04 s]
Raw data (loadavg): 1.04 1.03 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 680 0 0 0 32953 3960 0 0 23 0 1 0 19823691 3809280 650 4294967295 134512640 134702520 3221223952 3221223200 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 930 650 413 48 0 882 0
[pid=5444] vsize: 3720
Current children cumulated CPU time (s) 369.15
Current children cumulated vsize (Kb) 5848
[startup+460.04 s]
Raw data (loadavg): 1.03 1.03 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 925 0 0 0 33733 4039 0 0 23 0 1 0 19823691 4841472 895 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 1182 895 413 48 0 1134 0
[pid=5444] vsize: 4728
Current children cumulated CPU time (s) 377.74
Current children cumulated vsize (Kb) 6856
[startup+470.041 s]
Raw data (loadavg): 1.03 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1314 0 0 0 34574 4094 0 0 25 0 1 0 19823691 6397952 1284 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 1562 1284 413 48 0 1514 0
[pid=5444] vsize: 6248
Current children cumulated CPU time (s) 386.7
Current children cumulated vsize (Kb) 8376
[startup+480.041 s]
Raw data (loadavg): 1.02 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1591 0 0 0 35455 4136 0 0 25 0 1 0 19823691 7573504 1561 4294967295 134512640 134702520 3221223952 3221223232 134550697 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 1849 1561 413 48 0 1801 0
[pid=5444] vsize: 7396
Current children cumulated CPU time (s) 395.93
Current children cumulated vsize (Kb) 9524
[startup+490.041 s]
Raw data (loadavg): 1.02 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 1854 0 0 0 36338 4178 0 0 25 0 1 0 19823691 8757248 1824 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2138 1824 413 48 0 2090 0
[pid=5444] vsize: 8552
Current children cumulated CPU time (s) 405.18
Current children cumulated vsize (Kb) 10680
[startup+500.042 s]
Raw data (loadavg): 1.01 1.02 0.96 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2090 0 0 0 37232 4215 0 0 25 0 1 0 19823691 9551872 2060 4294967295 134512640 134702520 3221223952 3221223232 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2332 2060 413 48 0 2284 0
[pid=5444] vsize: 9328
Current children cumulated CPU time (s) 414.49
Current children cumulated vsize (Kb) 11456
[startup+510.043 s]
Raw data (loadavg): 1.01 1.02 0.96 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2314 0 0 0 38139 4247 0 0 25 0 1 0 19823691 10596352 2284 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2587 2284 413 48 0 2539 0
[pid=5444] vsize: 10348
Current children cumulated CPU time (s) 423.88
Current children cumulated vsize (Kb) 12476
[startup+520.043 s]
Raw data (loadavg): 1.09 1.04 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 38875 4335 0 0 17 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221222956 1074652326 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 432.12
Current children cumulated vsize (Kb) 12760
[startup+530.043 s]
Raw data (loadavg): 1.08 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 39616 4417 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 440.35
Current children cumulated vsize (Kb) 12760
[startup+540.044 s]
Raw data (loadavg): 1.06 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 40496 4457 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 449.55
Current children cumulated vsize (Kb) 12760
[startup+550.044 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 41378 4499 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223072 134584634 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 458.79
Current children cumulated vsize (Kb) 12760
[startup+560.045 s]
Raw data (loadavg): 1.04 1.03 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2402 0 0 0 42273 4535 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 468.1
Current children cumulated vsize (Kb) 12760
[startup+570.046 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 43160 4574 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 477.36
Current children cumulated vsize (Kb) 12760
[startup+580.045 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 44066 4608 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 486.76
Current children cumulated vsize (Kb) 12760
[startup+590.046 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2402 0 0 0 44977 4640 0 0 25 0 1 0 19823691 10887168 2372 4294967295 134512640 134702520 3221223952 3221223172 134550184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 2658 2372 413 48 0 2610 0
[pid=5444] vsize: 10632
Current children cumulated CPU time (s) 496.19
Current children cumulated vsize (Kb) 12760
[startup+600.047 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 2501 0 0 0 45895 4666 0 0 25 0 1 0 19823691 11407360 2471 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2785 2471 413 48 0 2737 0
[pid=5444] vsize: 11140
Current children cumulated CPU time (s) 505.63
Current children cumulated vsize (Kb) 13268
[startup+610.048 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2676 0 0 0 46816 4694 0 0 25 0 1 0 19823691 12017664 2646 4294967295 134512640 134702520 3221223952 3221223232 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 2934 2646 413 48 0 2886 0
[pid=5444] vsize: 11736
Current children cumulated CPU time (s) 515.12
Current children cumulated vsize (Kb) 13864
[startup+620.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 2835 0 0 0 47743 4719 0 0 25 0 1 0 19823691 12664832 2805 4294967295 134512640 134702520 3221223952 3221223232 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 3092 2805 413 48 0 3044 0
[pid=5444] vsize: 12368
Current children cumulated CPU time (s) 524.64
Current children cumulated vsize (Kb) 14496
[startup+630.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3002 0 0 0 48665 4748 0 0 25 0 1 0 19823691 13451264 2972 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3284 2972 413 48 0 3236 0
[pid=5444] vsize: 13136
Current children cumulated CPU time (s) 534.15
Current children cumulated vsize (Kb) 15264
[startup+640.049 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3134 0 0 0 49592 4772 0 0 25 0 1 0 19823691 13926400 3104 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3400 3104 413 48 0 3352 0
[pid=5444] vsize: 13600
Current children cumulated CPU time (s) 543.66
Current children cumulated vsize (Kb) 15728
[startup+650.05 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3269 0 0 0 50527 4796 0 0 25 0 1 0 19823691 14577664 3239 4294967295 134512640 134702520 3221223952 3221223232 134557715 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3559 3239 413 48 0 3511 0
[pid=5444] vsize: 14236
Current children cumulated CPU time (s) 553.25
Current children cumulated vsize (Kb) 16364
[startup+660.051 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3373 0 0 0 51473 4815 0 0 25 0 1 0 19823691 14897152 3343 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3637 3343 413 48 0 3589 0
[pid=5444] vsize: 14548
Current children cumulated CPU time (s) 562.9
Current children cumulated vsize (Kb) 16676
[startup+670.052 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3484 0 0 0 52409 4839 0 0 25 0 1 0 19823691 15388672 3454 4294967295 134512640 134702520 3221223952 3221223232 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 3757 3454 413 48 0 3709 0
[pid=5444] vsize: 15028
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 17156
[startup+680.052 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3630 0 0 0 53347 4861 0 0 25 0 1 0 19823691 16011264 3600 4294967295 134512640 134702520 3221223952 3221223232 134553175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 3909 3600 413 48 0 3861 0
[pid=5444] vsize: 15636
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (Kb) 17764
[startup+690.053 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3762 0 0 0 54287 4883 0 0 25 0 1 0 19823691 16592896 3732 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4051 3732 413 48 0 4003 0
[pid=5444] vsize: 16204
Current children cumulated CPU time (s) 591.72
Current children cumulated vsize (Kb) 18332
[startup+700.053 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 55098 4947 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 600.47
Current children cumulated vsize (Kb) 18172
[startup+710.055 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 55918 5008 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 609.28
Current children cumulated vsize (Kb) 18172
[startup+720.056 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 56724 5075 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 618.01
Current children cumulated vsize (Kb) 18172
[startup+730.057 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 57499 5151 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 626.52
Current children cumulated vsize (Kb) 18172
[startup+740.057 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 58307 5217 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 635.26
Current children cumulated vsize (Kb) 18172
[startup+750.058 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 59097 5283 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 643.82
Current children cumulated vsize (Kb) 18172
[startup+760.059 s]
Raw data (loadavg): 1.07 1.03 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 59878 5359 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 652.39
Current children cumulated vsize (Kb) 18172
[startup+770.059 s]
Raw data (loadavg): 1.06 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 60698 5422 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 661.22
Current children cumulated vsize (Kb) 18172
[startup+780.06 s]
Raw data (loadavg): 1.05 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 61526 5478 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 18172
[startup+790.062 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 62200 5583 0 0 17 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 677.85
Current children cumulated vsize (Kb) 18172
[startup+800.062 s]
Raw data (loadavg): 1.04 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 62951 5663 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 686.16
Current children cumulated vsize (Kb) 18172
[startup+810.063 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 63734 5735 0 0 19 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 694.71
Current children cumulated vsize (Kb) 18172
[startup+820.064 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 64508 5813 0 0 20 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 703.23
Current children cumulated vsize (Kb) 18172
[startup+830.063 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 65307 5884 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 711.93
Current children cumulated vsize (Kb) 18172
[startup+840.064 s]
Raw data (loadavg): 1.02 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 66094 5958 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 720.54
Current children cumulated vsize (Kb) 18172
[startup+850.065 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 66906 6026 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 729.34
Current children cumulated vsize (Kb) 18172
[startup+860.065 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 67693 6099 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 737.94
Current children cumulated vsize (Kb) 18172
[startup+870.066 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 68513 6159 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 746.74
Current children cumulated vsize (Kb) 18172
[startup+880.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 69318 6224 0 0 19 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 755.44
Current children cumulated vsize (Kb) 18172
[startup+890.067 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 70134 6288 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 764.24
Current children cumulated vsize (Kb) 18172
[startup+900.068 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 70814 6395 0 0 17 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 772.11
Current children cumulated vsize (Kb) 18172
[startup+910.069 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 71558 6481 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 780.41
Current children cumulated vsize (Kb) 18172
[startup+920.069 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 72372 6547 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552141 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 789.21
Current children cumulated vsize (Kb) 18172
[startup+930.069 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 73177 6615 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 797.94
Current children cumulated vsize (Kb) 18172
[startup+940.07 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 73958 6687 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 806.47
Current children cumulated vsize (Kb) 18172
[startup+950.071 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 74775 6746 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 815.23
Current children cumulated vsize (Kb) 18172
[startup+960.071 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 75560 6820 0 0 24 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 823.82
Current children cumulated vsize (Kb) 18172
[startup+970.072 s]
Raw data (loadavg): 1.08 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 76369 6884 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 832.55
Current children cumulated vsize (Kb) 18172
[startup+980.072 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 77142 6960 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 841.04
Current children cumulated vsize (Kb) 18172
[startup+990.073 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 77949 7026 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 849.77
Current children cumulated vsize (Kb) 18172
[startup+1000.07 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 78741 7095 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 858.38
Current children cumulated vsize (Kb) 18172
[startup+1010.07 s]
Raw data (loadavg): 1.04 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 79570 7155 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 867.27
Current children cumulated vsize (Kb) 18172
[startup+1020.08 s]
Raw data (loadavg): 1.03 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 80388 7217 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 876.07
Current children cumulated vsize (Kb) 18172
[startup+1030.08 s]
Raw data (loadavg): 1.03 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 81213 7277 0 0 23 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 884.92
Current children cumulated vsize (Kb) 18172
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.02 0.98 1/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) T 5441 5441 4005 0 -1 0 3772 0 0 0 82023 7343 0 0 25 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 893.68
Current children cumulated vsize (Kb) 18172
[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 82848 7404 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223232 134552903 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 902.54
Current children cumulated vsize (Kb) 18172
[startup+1060.08 s]
Raw data (loadavg): 1.02 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 83652 7470 0 0 22 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221223344 134603380 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 911.24
Current children cumulated vsize (Kb) 18172
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 5444
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 19823683 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 242 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5444/stat): 5444 (vallst) R 5441 5441 4005 0 -1 0 3772 0 0 0 84453 7537 0 0 20 0 1 0 19823691 16429056 3727 4294967295 134512640 134702520 3221223952 3221222848 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5444/statm): 4011 3727 413 48 0 3963 0
[pid=5444] vsize: 16044
Current children cumulated CPU time (s) 919.92
Current children cumulated vsize (Kb) 18172
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=5444) exited with status: 2
New process pid=5445
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=5445) exited with status: 0
New process pid=5446
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+1080.08 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 263 0 0 0 242 32 0 0 20 0 1 0 19931368 2179072 233 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 532 233 413 48 0 484 0
[pid=5446] vsize: 2128
Current children cumulated CPU time (s) 927.22
Current children cumulated vsize (Kb) 4256
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.01 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 265 0 0 0 938 130 0 0 19 0 1 0 19931368 2179072 235 4294967295 134512640 134702520 3221223712 3221222720 134552441 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 532 235 413 48 0 484 0
[pid=5446] vsize: 2128
Current children cumulated CPU time (s) 935.16
Current children cumulated vsize (Kb) 4256
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 482 0 0 0 1664 221 0 0 21 0 1 0 19931368 3035136 452 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 741 452 413 48 0 693 0
[pid=5446] vsize: 2964
Current children cumulated CPU time (s) 943.33
Current children cumulated vsize (Kb) 5092
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 503 0 0 0 2424 303 0 0 20 0 1 0 19931368 3166208 473 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 473 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 951.75
Current children cumulated vsize (Kb) 5220
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 517 0 0 0 3200 378 0 0 22 0 1 0 19931368 3166208 487 4294967295 134512640 134702520 3221223712 3221223208 134603229 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 487 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 960.26
Current children cumulated vsize (Kb) 5220
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 519 0 0 0 3918 475 0 0 20 0 1 0 19931368 3166208 489 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 773 489 413 48 0 725 0
[pid=5446] vsize: 3092
Current children cumulated CPU time (s) 968.41
Current children cumulated vsize (Kb) 5220
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 528 0 0 0 4659 566 0 0 23 0 1 0 19931368 3301376 498 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 806 498 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 976.73
Current children cumulated vsize (Kb) 5352
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 541 0 0 0 5428 641 0 0 22 0 1 0 19931368 3301376 511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 806 511 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 985.17
Current children cumulated vsize (Kb) 5352
[startup+1160.08 s]
Raw data (loadavg): 1.08 1.02 0.98 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 550 0 0 0 6182 723 0 0 20 0 1 0 19931368 3301376 520 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 806 520 413 48 0 758 0
[pid=5446] vsize: 3224
Current children cumulated CPU time (s) 993.53
Current children cumulated vsize (Kb) 5352
[startup+1170.08 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 556 0 0 0 6937 804 0 0 21 0 1 0 19931368 3436544 526 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 526 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (Kb) 5484
[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 560 0 0 0 7695 887 0 0 20 0 1 0 19931368 3436544 530 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 530 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1010.3
Current children cumulated vsize (Kb) 5484
[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 560 0 0 0 8403 986 0 0 20 0 1 0 19931368 3436544 530 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 530 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1018.37
Current children cumulated vsize (Kb) 5484
[startup+1200.08 s]
Raw data (loadavg): 1.12 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 566 0 0 0 9180 1063 0 0 23 0 1 0 19931368 3436544 536 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 536 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1026.91
Current children cumulated vsize (Kb) 5484
[startup+1210.09 s]
Raw data (loadavg): 1.10 1.03 0.99 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 567 0 0 0 9935 1146 0 0 21 0 1 0 19931368 3436544 537 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 537 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1035.29
Current children cumulated vsize (Kb) 5484
[startup+1220.09 s]
Raw data (loadavg): 1.08 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 573 0 0 0 10713 1221 0 0 23 0 1 0 19931368 3436544 543 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 543 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1043.82
Current children cumulated vsize (Kb) 5484
[startup+1230.09 s]
Raw data (loadavg): 1.07 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 577 0 0 0 11480 1301 0 0 20 0 1 0 19931368 3436544 547 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 547 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (Kb) 5484
[startup+1240.09 s]
Raw data (loadavg): 1.06 1.03 0.99 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 579 0 0 0 12233 1386 0 0 20 0 1 0 19931368 3436544 549 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 549 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1060.67
Current children cumulated vsize (Kb) 5484
[startup+1250.09 s]
Raw data (loadavg): 1.05 1.03 0.99 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 579 0 0 0 12939 1491 0 0 20 0 1 0 19931368 3436544 549 4294967295 134512640 134702520 3221223712 3221222992 134552336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 839 549 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1068.78
Current children cumulated vsize (Kb) 5484
[startup+1260.09 s]
Raw data (loadavg): 1.12 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 588 0 0 0 13751 1560 0 0 21 0 1 0 19931368 3436544 558 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 839 558 413 48 0 791 0
[pid=5446] vsize: 3356
Current children cumulated CPU time (s) 1077.59
Current children cumulated vsize (Kb) 5484
[startup+1270.09 s]
Raw data (loadavg): 1.10 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 591 0 0 0 14536 1636 0 0 23 0 1 0 19931368 3571712 561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 561 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1086.2
Current children cumulated vsize (Kb) 5616
[startup+1280.09 s]
Raw data (loadavg): 1.08 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 596 0 0 0 15321 1708 0 0 23 0 1 0 19931368 3571712 566 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 566 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1094.77
Current children cumulated vsize (Kb) 5616
[startup+1290.09 s]
Raw data (loadavg): 1.07 1.04 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 597 0 0 0 16113 1776 0 0 23 0 1 0 19931368 3571712 567 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 567 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1103.37
Current children cumulated vsize (Kb) 5616
[startup+1300.09 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 599 0 0 0 16887 1855 0 0 23 0 1 0 19931368 3571712 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 569 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1111.9
Current children cumulated vsize (Kb) 5616
[startup+1310.09 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 604 0 0 0 17665 1929 0 0 22 0 1 0 19931368 3571712 574 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 574 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1120.42
Current children cumulated vsize (Kb) 5616
[startup+1320.09 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 605 0 0 0 18406 2017 0 0 20 0 1 0 19931368 3571712 575 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 575 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1128.71
Current children cumulated vsize (Kb) 5616
[startup+1330.09 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 606 0 0 0 19128 2112 0 0 22 0 1 0 19931368 3571712 576 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 576 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1136.88
Current children cumulated vsize (Kb) 5616
[startup+1340.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 609 0 0 0 19944 2176 0 0 22 0 1 0 19931368 3571712 579 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 579 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1145.68
Current children cumulated vsize (Kb) 5616
[startup+1350.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 614 0 0 0 20727 2248 0 0 21 0 1 0 19931368 3571712 584 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 584 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1154.23
Current children cumulated vsize (Kb) 5616
[startup+1360.1 s]
Raw data (loadavg): 1.02 1.03 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 617 0 0 0 21530 2315 0 0 21 0 1 0 19931368 3571712 587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 872 587 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1162.93
Current children cumulated vsize (Kb) 5616
[startup+1370.1 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 620 0 0 0 22322 2384 0 0 22 0 1 0 19931368 3571712 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5446/statm): 872 590 413 48 0 824 0
[pid=5446] vsize: 3488
Current children cumulated CPU time (s) 1171.54
Current children cumulated vsize (Kb) 5616
[startup+1380.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) T 5441 5441 4005 0 -1 0 624 0 0 0 23105 2459 0 0 23 0 1 0 19931368 3706880 594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5446/statm): 905 594 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1180.12
Current children cumulated vsize (Kb) 5748
[startup+1390.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 625 0 0 0 23885 2539 0 0 22 0 1 0 19931368 3706880 595 4294967295 134512640 134702520 3221223712 3221222992 134552749 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 595 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1188.72
Current children cumulated vsize (Kb) 5748
[startup+1400.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 625 0 0 0 24683 2611 0 0 21 0 1 0 19931368 3706880 595 4294967295 134512640 134702520 3221223712 3221222888 134550241 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 595 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1197.42
Current children cumulated vsize (Kb) 5748
[startup+1410.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 628 0 0 0 25472 2681 0 0 23 0 1 0 19931368 3706880 598 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 598 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1206.01
Current children cumulated vsize (Kb) 5748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1410.1 s]
Raw data (loadavg): 1.08 1.04 1.00 2/56 5446
Raw data (/proc/5441/stat): 5441 (vallstSAT2005PB) S 5440 5441 4005 0 -1 0 378 4147 0 0 1 1 84808 7638 17 0 1 0 19823683 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5441/statm): 532 248 485 147 0 385 0
[pid=5441] vsize: 2128
Raw data (/proc/5446/stat): 5446 (vallst) R 5441 5441 4005 0 -1 0 628 0 0 0 25472 2681 0 0 23 0 1 0 19931368 3706880 598 4294967295 134512640 134702520 3221223712 3221222832 134584493 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5446/statm): 905 598 413 48 0 857 0
[pid=5446] vsize: 3620
Current children cumulated CPU time (s) 1206.01
Current children cumulated vsize (Kb) 5748
Sending SIGTERM to -5441
Sleeping 2 seconds
New process pid=5448
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5449
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
One traced child (pid=5446) exited with status: 3
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/3988/stat
open syscall for file /proc/3988/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/3988/cmdline
open syscall for file /proc/3988/environ
open syscall for file /proc/4013/stat
open syscall for file /proc/4013/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/4013/cmdline
open syscall for file /proc/4013/environ
open syscall for file /proc/5402/stat
open syscall for file /proc/5402/status
open syscall for file /proc/5402/cmdline
open syscall for file /proc/5402/environ
open syscall for file /proc/5440/stat
open syscall for file /proc/5440/status
open syscall for file /proc/5440/cmdline
open syscall for file /proc/5440/environ
open syscall for file /proc/5441/stat
open syscall for file /proc/5441/status
open syscall for file /proc/5441/cmdline
open syscall for file /proc/5441/environ
open syscall for file /proc/5448/stat
open syscall for file /proc/5448/status
open syscall for file /proc/5448/cmdline
open syscall for file /proc/5448/environ
open syscall for file /proc/5449/stat
open syscall for file /proc/5449/status
open syscall for file /proc/5449/cmdline
open syscall for file /proc/5449/environ
One traced child (pid=5448) exited with status: 0
One traced child (pid=5449) exited with status: 0
New process pid=5450
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=5450) exited with status: 0
New process pid=5451
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=5451) exited with status: 0
One traced child (pid=5441) 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): 1410.58
CPU time (s): 1206.18
CPU user time (s): 1102.9
CPU system time (s): 103.276
CPU usage (%): 85.5098
Max. virtual memory (cumulated for all children) (Kb): 18332