1:
seed: 0
Nr of vars set: 200 (#equs: 0)
Nr of vars set: 200 (#equs: 0)
#decisions: 18707; #end-nodes: 6520;
#proof improvement attempts: 0; #restarts: 73
Current batch, end-nodes: 37 / 98 (98)
#axs: 331, #non-axs: 0
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: 40701 (998:>=*);
#decisions: 14305; #end-nodes: 4942;
#proof improvement attempts: 0; #restarts: 56
Current batch, end-nodes: 83 / 94 (94)
#axs: 331, #non-axs: 0
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: 40705 (994:>=*);
#decisions: 244183; #end-nodes: 109851;
#proof improvement attempts: 0; #restarts: 671
Current batch, end-nodes: 17 / 247 (247)
#axs: 331, #non-axs: 0
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: 40721 (978:>=*);
#decisions: 41210; #end-nodes: 15234;
#proof improvement attempts: 0; #restarts: 153
Current batch, end-nodes: 111 / 118 (118)
#axs: 331, #non-axs: 0
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: 40725 (974:>=*);
#decisions: 11299; #end-nodes: 4080;
#proof improvement attempts: 0; #restarts: 47
Current batch, end-nodes: 60 / 91 (91)
#axs: 331, #non-axs: 0
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: 40727 (972:>=*);
#decisions: 35; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 331, #non-axs: 0
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: 40735 (964:>=*);
#decisions: 25247; #end-nodes: 8810;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 103 (103)
#axs: 331, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 40735 (964:>=*)
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: 200 (#equs: 0)
Time taken: 5 min, 14 sec
2:
seed: 0
Nr of vars set: 200 (#equs: 0)
Nr of vars set: 200 (#equs: 0)
#decisions: 42223; #end-nodes: 18094;
#proof improvement attempts: 0; #restarts: 132
Current batch, end-nodes: 117 / 153 (153)
#axs: 331, #non-axs: 0
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: 39041 (958:>=*);
#decisions: 138733; #end-nodes: 63411;
#proof improvement attempts: 0; #restarts: 379
Current batch, end-nodes: 86 / 214 (214)
#axs: 331, #non-axs: 0
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: 39043 (956:>=*);
#decisions: 271344; #end-nodes: 130096;
#proof improvement attempts: 0; #restarts: 648
Current batch, end-nodes: 30 / 282 (282)
#axs: 331, #non-axs: 0
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: 39045 (954:>=*);
#decisions: 118419; #end-nodes: 53594;
#proof improvement attempts: 0; #restarts: 332
Current batch, end-nodes: 61 / 203 (203)
#axs: 331, #non-axs: 0
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: 39047 (952:>=*);
#decisions: 396089; #end-nodes: 196872;
#proof improvement attempts: 0; #restarts: 864
Current batch, end-nodes: 124 / 336 (336)
#axs: 331, #non-axs: 0
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: 39051 (948:>=*);
Interupt request received.
#decisions: 107113; #end-nodes: 48283;
#proof improvement attempts: 0; #restarts: 305
Current batch, end-nodes: 117 / 196 (196)
#axs: 331, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 39051 (948:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1705 (#equs: 0)
Time taken: 14 min, 45 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/5877/stat): 5877 (vallstSAT2005PB) R 5876 5877 4059 0 -1 0 19 0 0 0 0 0 0 0 24 0 1 0 20301341 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5877/statm): 174 3 169 147 0 27 0
[pid=5877] 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=5878
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=5878) exited with status: 0
New process pid=5879
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=5879) exited with status: 0
New process pid=5880
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/wulflinc7/normalized-mps-v2-13-7-10teams.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0025 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 345 0 0 0 684 101 0 0 19 0 1 0 20301350 2772992 315 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 677 315 413 48 0 629 0
[pid=5880] vsize: 2708
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (Kb) 4836
[startup+20.0031 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 345 0 0 0 1366 210 0 0 19 0 1 0 20301350 2772992 315 4294967295 134512640 134702520 3221223952 3221223316 1074752209 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 677 315 413 48 0 629 0
[pid=5880] vsize: 2708
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (Kb) 4836
[startup+30.0038 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 417 0 0 0 2051 321 0 0 19 0 1 0 20301350 3878912 387 4294967295 134512640 134702520 3221223952 3221222848 134551086 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 947 387 413 48 0 899 0
[pid=5880] vsize: 3788
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (Kb) 5916
[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 433 0 0 0 2812 401 0 0 21 0 1 0 20301350 3883008 403 4294967295 134512640 134702520 3221223952 3221222848 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 403 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 32.14
Current children cumulated vsize (Kb) 5920
[startup+50.005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 438 0 0 0 3593 470 0 0 21 0 1 0 20301350 3883008 408 4294967295 134512640 134702520 3221223952 3221223232 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 408 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 40.64
Current children cumulated vsize (Kb) 5920
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 441 0 0 0 4378 544 0 0 22 0 1 0 20301350 3883008 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 411 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 49.23
Current children cumulated vsize (Kb) 5920
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 441 0 0 0 5160 620 0 0 21 0 1 0 20301350 3883008 411 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 948 411 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 57.81
Current children cumulated vsize (Kb) 5920
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 443 0 0 0 5940 695 0 0 22 0 1 0 20301350 3883008 413 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 413 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 66.36
Current children cumulated vsize (Kb) 5920
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 453 0 0 0 6721 771 0 0 22 0 1 0 20301350 3883008 423 4294967295 134512640 134702520 3221223952 3221223152 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 423 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 74.93
Current children cumulated vsize (Kb) 5920
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 454 0 0 0 7511 845 0 0 21 0 1 0 20301350 3883008 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 424 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 83.57
Current children cumulated vsize (Kb) 5920
[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 454 0 0 0 8289 921 0 0 20 0 1 0 20301350 3883008 424 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 424 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 92.11
Current children cumulated vsize (Kb) 5920
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 468 0 0 0 9080 992 0 0 21 0 1 0 20301350 3883008 438 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 438 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 100.73
Current children cumulated vsize (Kb) 5920
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 470 0 0 0 9869 1066 0 0 22 0 1 0 20301350 3883008 440 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 440 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 109.36
Current children cumulated vsize (Kb) 5920
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 470 0 0 0 10652 1141 0 0 22 0 1 0 20301350 3883008 440 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 440 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 117.94
Current children cumulated vsize (Kb) 5920
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 476 0 0 0 11435 1217 0 0 21 0 1 0 20301350 3883008 446 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 948 446 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 126.53
Current children cumulated vsize (Kb) 5920
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 485 0 0 0 12224 1292 0 0 21 0 1 0 20301350 3883008 455 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 455 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 135.17
Current children cumulated vsize (Kb) 5920
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 491 0 0 0 13019 1359 0 0 21 0 1 0 20301350 3883008 461 4294967295 134512640 134702520 3221223952 3221222848 134553375 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 461 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 143.79
Current children cumulated vsize (Kb) 5920
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 491 0 0 0 13804 1428 0 0 21 0 1 0 20301350 3883008 461 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 461 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 152.33
Current children cumulated vsize (Kb) 5920
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 503 0 0 0 14592 1500 0 0 22 0 1 0 20301350 3883008 473 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 473 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 160.93
Current children cumulated vsize (Kb) 5920
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 511 0 0 0 15377 1569 0 0 23 0 1 0 20301350 3883008 481 4294967295 134512640 134702520 3221223952 3221223536 134559033 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 481 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 169.47
Current children cumulated vsize (Kb) 5920
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 512 0 0 0 16168 1638 0 0 22 0 1 0 20301350 3883008 482 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 482 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 178.07
Current children cumulated vsize (Kb) 5920
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 512 0 0 0 16953 1711 0 0 22 0 1 0 20301350 3883008 482 4294967295 134512640 134702520 3221223952 3221222848 134553422 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 948 482 413 48 0 900 0
[pid=5880] vsize: 3792
Current children cumulated CPU time (s) 186.65
Current children cumulated vsize (Kb) 5920
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 514 0 0 0 17743 1786 0 0 21 0 1 0 20301350 4018176 484 4294967295 134512640 134702520 3221223952 3221222848 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 981 484 413 48 0 933 0
[pid=5880] vsize: 3924
Current children cumulated CPU time (s) 195.3
Current children cumulated vsize (Kb) 6052
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 657 0 0 0 18544 1856 0 0 24 0 1 0 20301350 4005888 627 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 627 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (Kb) 6040
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 659 0 0 0 19334 1928 0 0 22 0 1 0 20301350 4005888 629 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 629 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 212.63
Current children cumulated vsize (Kb) 6040
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 659 0 0 0 20114 2002 0 0 22 0 1 0 20301350 4005888 629 4294967295 134512640 134702520 3221223952 3221222848 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 629 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 221.17
Current children cumulated vsize (Kb) 6040
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 669 0 0 0 20914 2068 0 0 21 0 1 0 20301350 4005888 639 4294967295 134512640 134702520 3221223952 3221222848 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 639 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 229.83
Current children cumulated vsize (Kb) 6040
[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 671 0 0 0 21730 2130 0 0 24 0 1 0 20301350 4005888 641 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 641 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 238.61
Current children cumulated vsize (Kb) 6040
[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 22520 2201 0 0 19 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 247.22
Current children cumulated vsize (Kb) 6040
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 23309 2273 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (Kb) 6040
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 673 0 0 0 24079 2353 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 264.33
Current children cumulated vsize (Kb) 6040
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) T 5877 5877 4059 0 -1 0 673 0 0 0 24865 2424 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 272.9
Current children cumulated vsize (Kb) 6040
[startup+330.024 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 25646 2498 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (Kb) 6040
[startup+340.024 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 26417 2576 0 0 21 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 289.94
Current children cumulated vsize (Kb) 6040
[startup+350.025 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 27189 2654 0 0 21 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 298.44
Current children cumulated vsize (Kb) 6040
[startup+360.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5880
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 20301341 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 242 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5880/stat): 5880 (vallst) R 5877 5877 4059 0 -1 0 673 0 0 0 27968 2729 0 0 22 0 1 0 20301350 4005888 643 4294967295 134512640 134702520 3221223952 3221222848 134552826 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5880/statm): 978 643 413 48 0 930 0
[pid=5880] vsize: 3912
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (Kb) 6040
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=5880) exited with status: 2
New process pid=5881
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=5881) exited with status: 0
New process pid=5882
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+370.026 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 309 0 0 0 66 7 0 0 20 0 1 0 20338261 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 609 279 413 48 0 561 0
[pid=5882] vsize: 2436
Current children cumulated CPU time (s) 315.52
Current children cumulated vsize (Kb) 4564
[startup+380.027 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 309 0 0 0 820 92 0 0 21 0 1 0 20338261 2494464 279 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 609 279 413 48 0 561 0
[pid=5882] vsize: 2436
Current children cumulated CPU time (s) 323.91
Current children cumulated vsize (Kb) 4564
[startup+390.029 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 400 0 0 0 1576 176 0 0 21 0 1 0 20338261 3338240 370 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 815 370 413 48 0 767 0
[pid=5882] vsize: 3260
Current children cumulated CPU time (s) 332.31
Current children cumulated vsize (Kb) 5388
[startup+400.029 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 422 0 0 0 2355 253 0 0 21 0 1 0 20338261 3465216 392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 846 392 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (Kb) 5512
[startup+410.029 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 435 0 0 0 3146 326 0 0 21 0 1 0 20338261 3465216 405 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 405 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 349.51
Current children cumulated vsize (Kb) 5512
[startup+420.03 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 435 0 0 0 3928 402 0 0 21 0 1 0 20338261 3465216 405 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 405 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 5512
[startup+430.03 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 438 0 0 0 4707 479 0 0 22 0 1 0 20338261 3465216 408 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 846 408 413 48 0 798 0
[pid=5882] vsize: 3384
Current children cumulated CPU time (s) 366.65
Current children cumulated vsize (Kb) 5512
[startup+440.031 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 442 0 0 0 5487 554 0 0 21 0 1 0 20338261 3469312 412 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 412 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 375.2
Current children cumulated vsize (Kb) 5516
[startup+450.031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 444 0 0 0 6269 628 0 0 21 0 1 0 20338261 3469312 414 4294967295 134512640 134702520 3221223712 3221222912 134617910 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 414 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 383.76
Current children cumulated vsize (Kb) 5516
[startup+460.032 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 444 0 0 0 7054 702 0 0 21 0 1 0 20338261 3469312 414 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 414 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 392.35
Current children cumulated vsize (Kb) 5516
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 445 0 0 0 7834 778 0 0 22 0 1 0 20338261 3469312 415 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 415 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 400.91
Current children cumulated vsize (Kb) 5516
[startup+480.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 450 0 0 0 8618 851 0 0 22 0 1 0 20338261 3469312 420 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 420 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 409.48
Current children cumulated vsize (Kb) 5516
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 455 0 0 0 9400 921 0 0 19 0 1 0 20338261 3469312 425 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 425 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 418
Current children cumulated vsize (Kb) 5516
[startup+500.036 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 455 0 0 0 10177 998 0 0 21 0 1 0 20338261 3469312 425 4294967295 134512640 134702520 3221223712 3221222608 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 425 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 426.54
Current children cumulated vsize (Kb) 5516
[startup+510.035 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 458 0 0 0 10957 1072 0 0 21 0 1 0 20338261 3469312 428 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 428 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 435.08
Current children cumulated vsize (Kb) 5516
[startup+520.036 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 468 0 0 0 11740 1150 0 0 22 0 1 0 20338261 3469312 438 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 438 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 443.69
Current children cumulated vsize (Kb) 5516
[startup+530.037 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 572 0 0 0 12521 1227 0 0 21 0 1 0 20338261 3469312 542 4294967295 134512640 134702520 3221223712 3221222608 134553123 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 542 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 452.27
Current children cumulated vsize (Kb) 5516
[startup+540.037 s]
Raw data (loadavg): 1.04 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 572 0 0 0 13299 1302 0 0 21 0 1 0 20338261 3469312 542 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 542 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 460.8
Current children cumulated vsize (Kb) 5516
[startup+550.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 574 0 0 0 14093 1374 0 0 23 0 1 0 20338261 3469312 544 4294967295 134512640 134702520 3221223712 3221222736 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 544 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 469.46
Current children cumulated vsize (Kb) 5516
[startup+560.038 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 577 0 0 0 14882 1444 0 0 23 0 1 0 20338261 3469312 547 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 547 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 478.05
Current children cumulated vsize (Kb) 5516
[startup+570.04 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 578 0 0 0 15665 1513 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222992 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 486.57
Current children cumulated vsize (Kb) 5516
[startup+580.041 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 578 0 0 0 16452 1588 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 495.19
Current children cumulated vsize (Kb) 5516
[startup+590.041 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 578 0 0 0 17224 1666 0 0 21 0 1 0 20338261 3469312 548 4294967295 134512640 134702520 3221223712 3221222608 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 847 548 413 48 0 799 0
[pid=5882] vsize: 3388
Current children cumulated CPU time (s) 503.69
Current children cumulated vsize (Kb) 5516
[startup+600.042 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 579 0 0 0 18003 1743 0 0 22 0 1 0 20338261 3592192 549 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 549 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 512.25
Current children cumulated vsize (Kb) 5636
[startup+610.043 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 18781 1823 0 0 22 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 520.83
Current children cumulated vsize (Kb) 5636
[startup+620.043 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 19562 1901 0 0 21 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 529.42
Current children cumulated vsize (Kb) 5636
[startup+630.044 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 580 0 0 0 20342 1976 0 0 22 0 1 0 20338261 3592192 550 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 550 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 537.97
Current children cumulated vsize (Kb) 5636
[startup+640.045 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 581 0 0 0 21124 2053 0 0 21 0 1 0 20338261 3592192 551 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 551 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 546.56
Current children cumulated vsize (Kb) 5636
[startup+650.046 s]
Raw data (loadavg): 1.10 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 583 0 0 0 21917 2119 0 0 22 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 555.15
Current children cumulated vsize (Kb) 5636
[startup+660.046 s]
Raw data (loadavg): 1.09 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 583 0 0 0 22692 2194 0 0 21 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 563.65
Current children cumulated vsize (Kb) 5636
[startup+670.047 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 583 0 0 0 23468 2270 0 0 22 0 1 0 20338261 3592192 553 4294967295 134512640 134702520 3221223712 3221222608 134552731 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 553 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 572.17
Current children cumulated vsize (Kb) 5636
[startup+680.048 s]
Raw data (loadavg): 1.06 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 585 0 0 0 24264 2341 0 0 23 0 1 0 20338261 3592192 555 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 555 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 580.84
Current children cumulated vsize (Kb) 5636
[startup+690.049 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 586 0 0 0 25055 2417 0 0 23 0 1 0 20338261 3592192 556 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 556 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 589.51
Current children cumulated vsize (Kb) 5636
[startup+700.049 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 587 0 0 0 25837 2487 0 0 21 0 1 0 20338261 3592192 557 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 557 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 598.03
Current children cumulated vsize (Kb) 5636
[startup+710.05 s]
Raw data (loadavg): 1.04 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 587 0 0 0 26630 2557 0 0 22 0 1 0 20338261 3592192 557 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 557 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 606.66
Current children cumulated vsize (Kb) 5636
[startup+720.051 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 589 0 0 0 27428 2621 0 0 22 0 1 0 20338261 3592192 559 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 559 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 615.28
Current children cumulated vsize (Kb) 5636
[startup+730.051 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 590 0 0 0 28224 2693 0 0 23 0 1 0 20338261 3592192 560 4294967295 134512640 134702520 3221223712 3221222992 134552284 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 560 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 623.96
Current children cumulated vsize (Kb) 5636
[startup+740.053 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 591 0 0 0 29002 2770 0 0 21 0 1 0 20338261 3592192 561 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 561 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 632.51
Current children cumulated vsize (Kb) 5636
[startup+750.053 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 591 0 0 0 29780 2850 0 0 22 0 1 0 20338261 3592192 561 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 561 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 641.09
Current children cumulated vsize (Kb) 5636
[startup+760.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 593 0 0 0 30582 2918 0 0 22 0 1 0 20338261 3592192 563 4294967295 134512640 134702520 3221223712 3221222608 134550611 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 563 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 649.79
Current children cumulated vsize (Kb) 5636
[startup+770.054 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 594 0 0 0 31373 2990 0 0 22 0 1 0 20338261 3592192 564 4294967295 134512640 134702520 3221223712 3221222992 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 564 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 658.42
Current children cumulated vsize (Kb) 5636
[startup+780.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 595 0 0 0 32160 3061 0 0 21 0 1 0 20338261 3592192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 565 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 667
Current children cumulated vsize (Kb) 5636
[startup+790.056 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 595 0 0 0 32940 3134 0 0 21 0 1 0 20338261 3592192 565 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 565 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 675.53
Current children cumulated vsize (Kb) 5636
[startup+800.057 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 596 0 0 0 33740 3205 0 0 23 0 1 0 20338261 3592192 566 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 566 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 684.24
Current children cumulated vsize (Kb) 5636
[startup+810.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 34540 3270 0 0 22 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 692.89
Current children cumulated vsize (Kb) 5636
[startup+820.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 598 0 0 0 35321 3344 0 0 22 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222912 134617864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 701.44
Current children cumulated vsize (Kb) 5636
[startup+830.059 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 36104 3415 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 709.98
Current children cumulated vsize (Kb) 5636
[startup+840.06 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 598 0 0 0 36882 3489 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 718.5
Current children cumulated vsize (Kb) 5636
[startup+850.062 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 598 0 0 0 37662 3568 0 0 21 0 1 0 20338261 3592192 568 4294967295 134512640 134702520 3221223712 3221222608 134550404 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 568 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 727.09
Current children cumulated vsize (Kb) 5636
[startup+860.062 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 38453 3641 0 0 22 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134553409 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 735.73
Current children cumulated vsize (Kb) 5636
[startup+870.063 s]
Raw data (loadavg): 1.05 1.03 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 39234 3717 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 744.3
Current children cumulated vsize (Kb) 5636
[startup+880.064 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 40013 3793 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 752.85
Current children cumulated vsize (Kb) 5636
[startup+890.064 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 40802 3863 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 761.44
Current children cumulated vsize (Kb) 5636
[startup+900.065 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 41590 3936 0 0 23 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 770.05
Current children cumulated vsize (Kb) 5636
[startup+910.066 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5882
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 599 0 0 0 42363 4015 0 0 21 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 778.57
Current children cumulated vsize (Kb) 5636
[startup+920.066 s]
Raw data (loadavg): 1.02 1.02 1.00 1/60 5886
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 599 0 0 0 43144 4088 0 0 22 0 1 0 20338261 3592192 569 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 569 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 787.11
Current children cumulated vsize (Kb) 5636
[startup+930.067 s]
Raw data (loadavg): 1.09 1.04 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 43925 4161 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 795.65
Current children cumulated vsize (Kb) 5636
[startup+940.068 s]
Raw data (loadavg): 1.08 1.03 1.00 1/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 44701 4236 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 804.16
Current children cumulated vsize (Kb) 5636
[startup+950.068 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 45487 4307 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 812.73
Current children cumulated vsize (Kb) 5636
[startup+960.068 s]
Raw data (loadavg): 1.05 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 46268 4379 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 821.26
Current children cumulated vsize (Kb) 5636
[startup+970.068 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5937
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 47053 4458 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 829.9
Current children cumulated vsize (Kb) 5636
[startup+980.069 s]
Raw data (loadavg): 1.04 1.03 1.00 2/56 5939
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 600 0 0 0 47833 4531 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 838.43
Current children cumulated vsize (Kb) 5636
[startup+990.07 s]
Raw data (loadavg): 1.03 1.03 1.00 1/56 5941
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 48611 4607 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 846.97
Current children cumulated vsize (Kb) 5636
[startup+1000.07 s]
Raw data (loadavg): 1.03 1.03 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 49391 4679 0 0 21 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 855.49
Current children cumulated vsize (Kb) 5636
[startup+1010.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 600 0 0 0 50181 4753 0 0 22 0 1 0 20338261 3592192 570 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 570 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 864.13
Current children cumulated vsize (Kb) 5636
[startup+1020.07 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 601 0 0 0 50977 4819 0 0 17 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 872.75
Current children cumulated vsize (Kb) 5636
[startup+1030.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 601 0 0 0 51761 4892 0 0 22 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 881.32
Current children cumulated vsize (Kb) 5636
[startup+1040.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 601 0 0 0 52548 4966 0 0 22 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 889.93
Current children cumulated vsize (Kb) 5636
[startup+1050.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 601 0 0 0 53338 5034 0 0 23 0 1 0 20338261 3592192 571 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 571 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 898.51
Current children cumulated vsize (Kb) 5636
[startup+1060.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 602 0 0 0 54136 5103 0 0 21 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222608 134553312 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 907.18
Current children cumulated vsize (Kb) 5636
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 602 0 0 0 54912 5176 0 0 22 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 915.67
Current children cumulated vsize (Kb) 5636
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 602 0 0 0 55701 5251 0 0 21 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 924.31
Current children cumulated vsize (Kb) 5636
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 602 0 0 0 56506 5317 0 0 22 0 1 0 20338261 3592192 572 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 572 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 933.02
Current children cumulated vsize (Kb) 5636
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 603 0 0 0 57295 5390 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (Kb) 5636
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 603 0 0 0 58083 5464 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 950.26
Current children cumulated vsize (Kb) 5636
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 603 0 0 0 58862 5543 0 0 22 0 1 0 20338261 3592192 573 4294967295 134512640 134702520 3221223712 3221222832 134573505 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 573 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 958.84
Current children cumulated vsize (Kb) 5636
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 604 0 0 0 59678 5605 0 0 24 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222736 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 967.62
Current children cumulated vsize (Kb) 5636
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 604 0 0 0 60475 5672 0 0 16 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 976.26
Current children cumulated vsize (Kb) 5636
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 604 0 0 0 61255 5751 0 0 15 0 1 0 20338261 3592192 574 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 574 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 984.85
Current children cumulated vsize (Kb) 5636
[startup+1160.08 s]
Raw data (loadavg): 1.08 1.03 1.01 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 605 0 0 0 62039 5825 0 0 15 0 1 0 20338261 3592192 575 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 575 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 993.43
Current children cumulated vsize (Kb) 5636
[startup+1170.08 s]
Raw data (loadavg): 1.07 1.03 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 605 0 0 0 62835 5895 0 0 16 0 1 0 20338261 3592192 575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 877 575 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (Kb) 5636
[startup+1180.08 s]
Raw data (loadavg): 1.06 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 606 0 0 0 63642 5963 0 0 16 0 1 0 20338261 3592192 576 4294967295 134512640 134702520 3221223712 3221222992 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 576 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1010.84
Current children cumulated vsize (Kb) 5636
[startup+1190.08 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 607 0 0 0 64423 6036 0 0 15 0 1 0 20338261 3592192 577 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 577 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1019.38
Current children cumulated vsize (Kb) 5636
[startup+1200.09 s]
Raw data (loadavg): 1.04 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 607 0 0 0 65206 6111 0 0 16 0 1 0 20338261 3592192 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 577 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1027.96
Current children cumulated vsize (Kb) 5636
[startup+1210.09 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 608 0 0 0 66014 6175 0 0 16 0 1 0 20338261 3592192 578 4294967295 134512640 134702520 3221223712 3221222736 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 877 578 413 48 0 829 0
[pid=5882] vsize: 3508
Current children cumulated CPU time (s) 1036.68
Current children cumulated vsize (Kb) 5636
[startup+1220.09 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 66817 6241 0 0 16 0 1 0 20338261 3727360 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 910 579 413 48 0 862 0
[pid=5882] vsize: 3640
Current children cumulated CPU time (s) 1045.37
Current children cumulated vsize (Kb) 5768
[startup+1230.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 67609 6311 0 0 15 0 1 0 20338261 3715072 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 579 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1053.99
Current children cumulated vsize (Kb) 5756
[startup+1240.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 609 0 0 0 68389 6385 0 0 15 0 1 0 20338261 3715072 579 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 579 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1062.53
Current children cumulated vsize (Kb) 5756
[startup+1250.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 610 0 0 0 69195 6450 0 0 16 0 1 0 20338261 3715072 580 4294967295 134512640 134702520 3221223712 3221222912 134617472 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 580 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1071.24
Current children cumulated vsize (Kb) 5756
[startup+1260.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 611 0 0 0 70005 6516 0 0 15 0 1 0 20338261 3715072 581 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 581 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1080
Current children cumulated vsize (Kb) 5756
[startup+1270.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 70807 6581 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1088.67
Current children cumulated vsize (Kb) 5756
[startup+1280.09 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5943
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 71593 6658 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1097.3
Current children cumulated vsize (Kb) 5756
[startup+1290.09 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 72375 6738 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1105.92
Current children cumulated vsize (Kb) 5756
[startup+1300.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 73157 6814 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222736 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1114.5
Current children cumulated vsize (Kb) 5756
[startup+1310.09 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 73938 6890 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1123.07
Current children cumulated vsize (Kb) 5756
[startup+1320.09 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 74719 6969 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1131.67
Current children cumulated vsize (Kb) 5756
[startup+1330.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 75502 7044 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1140.25
Current children cumulated vsize (Kb) 5756
[startup+1340.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 76291 7120 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1148.9
Current children cumulated vsize (Kb) 5756
[startup+1350.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 77062 7198 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1157.39
Current children cumulated vsize (Kb) 5756
[startup+1360.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 77844 7270 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1165.93
Current children cumulated vsize (Kb) 5756
[startup+1370.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 78634 7340 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1174.53
Current children cumulated vsize (Kb) 5756
[startup+1380.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 79418 7414 0 0 15 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1183.11
Current children cumulated vsize (Kb) 5756
[startup+1390.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) R 5877 5877 4059 0 -1 0 612 0 0 0 80203 7492 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221222608 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1191.74
Current children cumulated vsize (Kb) 5756
[startup+1400.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 80993 7563 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 5756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1400.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5945
Raw data (/proc/5877/stat): 5877 (vallstSAT2005PB) S 5876 5877 4059 0 -1 0 378 1048 0 0 1 1 28676 2801 18 0 1 0 20301341 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5877/statm): 532 248 485 147 0 385 0
[pid=5877] vsize: 2128
Raw data (/proc/5882/stat): 5882 (vallst) T 5877 5877 4059 0 -1 0 612 0 0 0 80993 7563 0 0 16 0 1 0 20338261 3715072 582 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5882/statm): 907 582 413 48 0 859 0
[pid=5882] vsize: 3628
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 5756
Sending SIGTERM to -5877
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5947
New process pid=5948
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
One traced child (pid=5882) exited with status: 3
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1451/stat
open syscall for file /proc/1451/status
open syscall for file /proc/1451/cmdline
open syscall for file /proc/1451/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5838/stat
open syscall for file /proc/5838/status
open syscall for file /proc/5838/cmdline
open syscall for file /proc/5838/environ
open syscall for file /proc/5876/stat
open syscall for file /proc/5876/status
open syscall for file /proc/5876/cmdline
open syscall for file /proc/5876/environ
open syscall for file /proc/5877/stat
open syscall for file /proc/5877/status
open syscall for file /proc/5877/cmdline
open syscall for file /proc/5877/environ
open syscall for file /proc/5947/stat
open syscall for file /proc/5947/status
open syscall for file /proc/5947/cmdline
open syscall for file /proc/5947/environ
open syscall for file /proc/5948/stat
open syscall for file /proc/5948/status
open syscall for file /proc/5948/cmdline
open syscall for file /proc/5948/environ
One traced child (pid=5947) exited with status: 0
One traced child (pid=5948) exited with status: 0
New process pid=5949
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=5949) exited with status: 0
New process pid=5950
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=5950) exited with status: 0
One traced child (pid=5877) 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): 1400.59
CPU time (s): 1200.51
CPU user time (s): 1096.78
CPU system time (s): 103.728
CPU usage (%): 85.7147
Max. virtual memory (cumulated for all children) (Kb): 6052