1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 72)
#decisions: 5264; #end-nodes: 1312;
#proof improvement attempts: 0; #restarts: 8
Current batch, end-nodes: 589 / 757 (82)
#axs: 1377, #non-axs: 1235
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: 381 (50:>=*);
#decisions: 104391; #end-nodes: 37046;
#proof improvement attempts: 0; #restarts: 248
Current batch, end-nodes: 78 / 145 (142)
#axs: 1406, #non-axs: 3992
tight: meta-meta: start: 5, end: 7; meta: start: 6, end (keep): 9
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 383 (48:>=*);
#decisions: 457053; #end-nodes: 178433;
#proof improvement attempts: 0; #restarts: 836
Current batch, end-nodes: 270 / 289 (289)
#axs: 1413, #non-axs: 3744
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 385 (46:>=*);
#decisions: 235394; #end-nodes: 92749;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 226 (223)
#axs: 1413, #non-axs: 1416
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 385 (46:>=*)
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: 42 (#equs: 108)
Time taken: 5 min, 14 sec
2:
seed: 0
Nr of vars set: 42 (#equs: 0)
Nr of vars set: 42 (#equs: 0)
#decisions: 43655; #end-nodes: 16284;
#proof improvement attempts: 0; #restarts: 108
Current batch, end-nodes: 141 / 148 (147)
#axs: 989, #non-axs: 1696
tight: meta-meta: start: 4, end: 5; meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 332 (31:>=*);
#decisions: 231785; #end-nodes: 90262;
#proof improvement attempts: 0; #restarts: 408
Current batch, end-nodes: 99 / 243 (222)
#axs: 989, #non-axs: 1056
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 334 (29:>=*);
Interupt request received.
#decisions: 4500891; #end-nodes: 1645420;
#proof improvement attempts: 0; #restarts: 2359
Current batch, end-nodes: 539 / 1214 (709)
#axs: 1001, #non-axs: 2066
tight: meta-meta: start: 3, end: 4; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 22, end (keep): 33
Model found with constant:
(pushed:) 334 (29:>=*)
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: 230 (#equs: 12)
Time taken: 14 min, 48 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/22468/stat): 22468 (vallstSAT2005PB) R 22467 22468 31915 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787593674 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22468/statm): 174 3 169 147 0 27 0
[pid=22468] 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=22469
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=22469) exited with status: 0
New process pid=22470
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=22470) exited with status: 0
New process pid=22471
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/wulflinc3/normalized-s4-4-3-8pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.004 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 350 0 0 0 376 195 0 0 18 0 1 0 1787593684 2924544 320 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 714 320 413 48 0 666 0
[pid=22471] vsize: 2856
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (Kb) 4984
[startup+20.0058 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 411 0 0 0 1005 318 0 0 18 0 1 0 1787593684 3198976 381 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 381 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 13.25
Current children cumulated vsize (Kb) 5252
[startup+30.0066 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 411 0 0 0 1604 450 0 0 18 0 1 0 1787593684 3198976 381 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 381 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 20.56
Current children cumulated vsize (Kb) 5252
[startup+40.0065 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 412 0 0 0 2252 567 0 0 17 0 1 0 1787593684 3198976 382 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 382 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 28.21
Current children cumulated vsize (Kb) 5252
[startup+50.0083 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 2865 694 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 35.61
Current children cumulated vsize (Kb) 5252
[startup+60.0091 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 3486 826 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 43.14
Current children cumulated vsize (Kb) 5252
[startup+70.011 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 4117 948 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (Kb) 5252
[startup+80.0118 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 4715 1079 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 57.96
Current children cumulated vsize (Kb) 5252
[startup+90.0127 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) R 22468 22468 31915 0 -1 0 433 0 0 0 5336 1203 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221223168 134617912 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 65.41
Current children cumulated vsize (Kb) 5252
[startup+100.013 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 5955 1331 0 0 18 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 72.88
Current children cumulated vsize (Kb) 5252
[startup+110.014 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 433 0 0 0 6584 1451 0 0 19 0 1 0 1787593684 3198976 403 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 403 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 80.37
Current children cumulated vsize (Kb) 5252
[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 441 0 0 0 7204 1574 0 0 18 0 1 0 1787593684 3198976 411 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 411 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 87.8
Current children cumulated vsize (Kb) 5252
[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 441 0 0 0 7791 1710 0 0 18 0 1 0 1787593684 3198976 411 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 411 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 95.03
Current children cumulated vsize (Kb) 5252
[startup+140.018 s]
Raw data (loadavg): 1.16 1.04 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 441 0 0 0 8418 1831 0 0 18 0 1 0 1787593684 3198976 411 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 411 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 102.51
Current children cumulated vsize (Kb) 5252
[startup+150.02 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 501 0 0 0 9034 1956 0 0 18 0 1 0 1787593684 3198976 471 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 471 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 5252
[startup+160.021 s]
Raw data (loadavg): 1.19 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 501 0 0 0 9672 2075 0 0 18 0 1 0 1787593684 3198976 471 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 471 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 117.49
Current children cumulated vsize (Kb) 5252
[startup+170.022 s]
Raw data (loadavg): 1.16 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 10314 2196 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 125.12
Current children cumulated vsize (Kb) 5252
[startup+180.023 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 10934 2318 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 132.54
Current children cumulated vsize (Kb) 5252
[startup+190.024 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 11562 2439 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 5252
[startup+200.025 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 12197 2559 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 147.58
Current children cumulated vsize (Kb) 5252
[startup+210.026 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 12808 2688 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 154.98
Current children cumulated vsize (Kb) 5252
[startup+220.028 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 13428 2820 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 162.5
Current children cumulated vsize (Kb) 5252
[startup+230.028 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 14045 2942 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 169.89
Current children cumulated vsize (Kb) 5252
[startup+240.029 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 14659 3071 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 177.32
Current children cumulated vsize (Kb) 5252
[startup+250.03 s]
Raw data (loadavg): 1.24 1.09 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 15309 3189 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 185
Current children cumulated vsize (Kb) 5252
[startup+260.031 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 15910 3318 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 192.3
Current children cumulated vsize (Kb) 5252
[startup+270.033 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 16534 3450 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 199.86
Current children cumulated vsize (Kb) 5252
[startup+280.034 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 17174 3563 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 207.39
Current children cumulated vsize (Kb) 5252
[startup+290.034 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 17810 3684 0 0 19 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 214.96
Current children cumulated vsize (Kb) 5252
[startup+300.035 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 18406 3819 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (Kb) 5252
[startup+310.036 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 19029 3944 0 0 18 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 229.75
Current children cumulated vsize (Kb) 5252
[startup+320.038 s]
Raw data (loadavg): 1.07 1.07 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 19634 4075 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 237.11
Current children cumulated vsize (Kb) 5252
[startup+330.039 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 20262 4199 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 244.63
Current children cumulated vsize (Kb) 5252
[startup+340.04 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 20876 4327 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 252.05
Current children cumulated vsize (Kb) 5252
[startup+350.042 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 21490 4459 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 259.51
Current children cumulated vsize (Kb) 5252
[startup+360.042 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 22117 4586 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 267.05
Current children cumulated vsize (Kb) 5252
[startup+370.043 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 22719 4717 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 274.38
Current children cumulated vsize (Kb) 5252
[startup+380.044 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 23350 4840 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 281.92
Current children cumulated vsize (Kb) 5252
[startup+390.045 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 23964 4968 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 289.34
Current children cumulated vsize (Kb) 5252
[startup+400.047 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 24579 5100 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 296.81
Current children cumulated vsize (Kb) 5252
[startup+410.047 s]
Raw data (loadavg): 1.16 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 25219 5227 0 0 16 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 304.48
Current children cumulated vsize (Kb) 5252
[startup+420.049 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 22471
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1787593674 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 242 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22471/stat): 22471 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 25831 5359 0 0 15 0 1 0 1787593684 3198976 483 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22471/statm): 781 483 413 48 0 733 0
[pid=22471] vsize: 3124
Current children cumulated CPU time (s) 311.92
Current children cumulated vsize (Kb) 5252
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=22471) exited with status: 2
New process pid=22472
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=22472) exited with status: 0
New process pid=22473
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+430.051 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 226 0 0 0 289 118 0 0 16 0 1 0 1787636036 2035712 197 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 497 197 413 48 0 449 0
[pid=22473] vsize: 1988
Current children cumulated CPU time (s) 318.56
Current children cumulated vsize (Kb) 4116
[startup+440.052 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 299 0 0 0 790 283 0 0 17 0 1 0 1787636036 2785280 270 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 680 270 413 48 0 632 0
[pid=22473] vsize: 2720
Current children cumulated CPU time (s) 325.22
Current children cumulated vsize (Kb) 4848
[startup+450.053 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 302 0 0 0 1263 453 0 0 17 0 1 0 1787636036 2789376 273 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 681 273 413 48 0 633 0
[pid=22473] vsize: 2724
Current children cumulated CPU time (s) 331.65
Current children cumulated vsize (Kb) 4852
[startup+460.054 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 303 0 0 0 1753 622 0 0 17 0 1 0 1787636036 2916352 274 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 274 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 338.24
Current children cumulated vsize (Kb) 4976
[startup+470.055 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 304 0 0 0 2223 799 0 0 18 0 1 0 1787636036 2916352 275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 275 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 344.71
Current children cumulated vsize (Kb) 4976
[startup+480.056 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 318 0 0 0 2714 960 0 0 16 0 1 0 1787636036 2916352 289 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 289 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 351.23
Current children cumulated vsize (Kb) 4976
[startup+490.057 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 319 0 0 0 3160 1137 0 0 18 0 1 0 1787636036 2916352 290 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 290 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 357.46
Current children cumulated vsize (Kb) 4976
[startup+500.059 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 320 0 0 0 3577 1325 0 0 16 0 1 0 1787636036 2916352 291 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 291 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 363.51
Current children cumulated vsize (Kb) 4976
[startup+510.06 s]
Raw data (loadavg): 1.16 1.08 1.02 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 325 0 0 0 4073 1492 0 0 17 0 1 0 1787636036 2916352 296 4294967295 134512640 134702520 3221223712 3221222832 134573381 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 296 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 370.14
Current children cumulated vsize (Kb) 4976
[startup+520.061 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 326 0 0 0 4507 1680 0 0 18 0 1 0 1787636036 2916352 297 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 297 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 376.36
Current children cumulated vsize (Kb) 4976
[startup+530.062 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 326 0 0 0 4993 1847 0 0 17 0 1 0 1787636036 2916352 297 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 297 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 382.89
Current children cumulated vsize (Kb) 4976
[startup+540.063 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 326 0 0 0 5421 2030 0 0 17 0 1 0 1787636036 2916352 297 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 297 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 389
Current children cumulated vsize (Kb) 4976
[startup+550.064 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 326 0 0 0 5898 2202 0 0 16 0 1 0 1787636036 2916352 297 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 297 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 395.49
Current children cumulated vsize (Kb) 4976
[startup+560.065 s]
Raw data (loadavg): 1.14 1.09 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 327 0 0 0 6340 2389 0 0 18 0 1 0 1787636036 2916352 298 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 298 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 401.78
Current children cumulated vsize (Kb) 4976
[startup+570.067 s]
Raw data (loadavg): 1.20 1.10 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 327 0 0 0 6795 2569 0 0 16 0 1 0 1787636036 2916352 298 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 298 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 408.13
Current children cumulated vsize (Kb) 4976
[startup+580.068 s]
Raw data (loadavg): 1.24 1.11 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 327 0 0 0 7274 2734 0 0 18 0 1 0 1787636036 2916352 298 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 298 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 414.57
Current children cumulated vsize (Kb) 4976
[startup+590.069 s]
Raw data (loadavg): 1.20 1.11 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 328 0 0 0 7698 2921 0 0 17 0 1 0 1787636036 2916352 299 4294967295 134512640 134702520 3221223712 3221222480 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 299 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 420.68
Current children cumulated vsize (Kb) 4976
[startup+600.069 s]
Raw data (loadavg): 1.17 1.10 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 333 0 0 0 8202 3091 0 0 15 0 1 0 1787636036 2916352 304 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 304 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 427.42
Current children cumulated vsize (Kb) 4976
[startup+610.07 s]
Raw data (loadavg): 1.15 1.10 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 334 0 0 0 8640 3276 0 0 15 0 1 0 1787636036 2916352 305 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 305 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 433.65
Current children cumulated vsize (Kb) 4976
[startup+620.071 s]
Raw data (loadavg): 1.12 1.10 1.02 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 335 0 0 0 9165 3438 0 0 15 0 1 0 1787636036 2916352 306 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 306 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 440.52
Current children cumulated vsize (Kb) 4976
[startup+630.072 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 339 0 0 0 9626 3617 0 0 15 0 1 0 1787636036 2916352 310 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 712 310 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 446.92
Current children cumulated vsize (Kb) 4976
[startup+640.073 s]
Raw data (loadavg): 1.23 1.12 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 364 0 0 0 10171 3768 0 0 15 0 1 0 1787636036 2916352 335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 335 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 453.88
Current children cumulated vsize (Kb) 4976
[startup+650.074 s]
Raw data (loadavg): 1.20 1.12 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 365 0 0 0 10686 3931 0 0 15 0 1 0 1787636036 2916352 336 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 336 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 460.66
Current children cumulated vsize (Kb) 4976
[startup+660.074 s]
Raw data (loadavg): 1.17 1.11 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 366 0 0 0 11172 4105 0 0 15 0 1 0 1787636036 2916352 337 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 337 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 467.26
Current children cumulated vsize (Kb) 4976
[startup+670.075 s]
Raw data (loadavg): 1.22 1.13 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 367 0 0 0 11728 4260 0 0 15 0 1 0 1787636036 2916352 338 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 712 338 413 48 0 664 0
[pid=22473] vsize: 2848
Current children cumulated CPU time (s) 474.37
Current children cumulated vsize (Kb) 4976
[startup+680.077 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 368 0 0 0 12190 4438 0 0 15 0 1 0 1787636036 3047424 339 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 339 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 480.77
Current children cumulated vsize (Kb) 5104
[startup+690.078 s]
Raw data (loadavg): 1.16 1.12 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 429 0 0 0 12746 4585 0 0 15 0 1 0 1787636036 3047424 400 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 744 400 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 487.8
Current children cumulated vsize (Kb) 5104
[startup+700.079 s]
Raw data (loadavg): 1.29 1.14 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 476 0 0 0 13280 4738 0 0 15 0 1 0 1787636036 3047424 447 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 447 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 494.67
Current children cumulated vsize (Kb) 5104
[startup+710.081 s]
Raw data (loadavg): 1.24 1.14 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 476 0 0 0 13791 4901 0 0 15 0 1 0 1787636036 3047424 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 744 447 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 501.41
Current children cumulated vsize (Kb) 5104
[startup+720.082 s]
Raw data (loadavg): 1.20 1.13 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 477 0 0 0 14339 5053 0 0 15 0 1 0 1787636036 3047424 448 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 448 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 508.41
Current children cumulated vsize (Kb) 5104
[startup+730.083 s]
Raw data (loadavg): 1.25 1.15 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 477 0 0 0 14797 5228 0 0 15 0 1 0 1787636036 3047424 448 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 448 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 514.74
Current children cumulated vsize (Kb) 5104
[startup+740.084 s]
Raw data (loadavg): 1.29 1.16 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 486 0 0 0 15381 5364 0 0 16 0 1 0 1787636036 3047424 457 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 457 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (Kb) 5104
[startup+750.085 s]
Raw data (loadavg): 1.32 1.17 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 488 0 0 0 15935 5516 0 0 16 0 1 0 1787636036 3047424 459 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 744 459 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 529
Current children cumulated vsize (Kb) 5104
[startup+760.086 s]
Raw data (loadavg): 1.35 1.18 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 489 0 0 0 16411 5687 0 0 15 0 1 0 1787636036 3047424 460 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 744 460 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 535.47
Current children cumulated vsize (Kb) 5104
[startup+770.088 s]
Raw data (loadavg): 1.29 1.17 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 490 0 0 0 16984 5835 0 0 15 0 1 0 1787636036 3047424 461 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 744 461 413 48 0 696 0
[pid=22473] vsize: 2976
Current children cumulated CPU time (s) 542.68
Current children cumulated vsize (Kb) 5104
[startup+780.088 s]
Raw data (loadavg): 1.25 1.17 1.06 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 502 0 0 0 17607 5963 0 0 16 0 1 0 1787636036 3182592 473 4294967295 134512640 134702520 3221223712 3221223272 134564449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 473 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 550.19
Current children cumulated vsize (Kb) 5236
[startup+790.088 s]
Raw data (loadavg): 1.21 1.16 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 503 0 0 0 18086 6133 0 0 15 0 1 0 1787636036 3182592 474 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 474 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 556.68
Current children cumulated vsize (Kb) 5236
[startup+800.089 s]
Raw data (loadavg): 1.18 1.16 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 505 0 0 0 18641 6277 0 0 15 0 1 0 1787636036 3182592 476 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 476 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 563.67
Current children cumulated vsize (Kb) 5236
[startup+810.09 s]
Raw data (loadavg): 1.15 1.15 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 505 0 0 0 19230 6409 0 0 15 0 1 0 1787636036 3182592 476 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 476 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 570.88
Current children cumulated vsize (Kb) 5236
[startup+820.092 s]
Raw data (loadavg): 1.13 1.14 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 506 0 0 0 19738 6573 0 0 15 0 1 0 1787636036 3182592 477 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 477 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 577.6
Current children cumulated vsize (Kb) 5236
[startup+830.093 s]
Raw data (loadavg): 1.18 1.16 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 509 0 0 0 20317 6711 0 0 15 0 1 0 1787636036 3182592 480 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 480 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 584.77
Current children cumulated vsize (Kb) 5236
[startup+840.093 s]
Raw data (loadavg): 1.15 1.15 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 510 0 0 0 20915 6845 0 0 16 0 1 0 1787636036 3182592 481 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 481 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 592.09
Current children cumulated vsize (Kb) 5236
[startup+850.094 s]
Raw data (loadavg): 1.13 1.14 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 513 0 0 0 21524 6981 0 0 15 0 1 0 1787636036 3182592 484 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 484 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 5236
[startup+860.095 s]
Raw data (loadavg): 1.11 1.14 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 514 0 0 0 22012 7153 0 0 15 0 1 0 1787636036 3182592 485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 485 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 606.14
Current children cumulated vsize (Kb) 5236
[startup+870.097 s]
Raw data (loadavg): 1.09 1.13 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 517 0 0 0 22595 7296 0 0 15 0 1 0 1787636036 3182592 488 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 488 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 613.4
Current children cumulated vsize (Kb) 5236
[startup+880.098 s]
Raw data (loadavg): 1.08 1.13 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 520 0 0 0 23206 7427 0 0 15 0 1 0 1787636036 3182592 491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 491 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 620.82
Current children cumulated vsize (Kb) 5236
[startup+890.099 s]
Raw data (loadavg): 1.06 1.12 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 521 0 0 0 23729 7592 0 0 15 0 1 0 1787636036 3182592 492 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 492 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 627.7
Current children cumulated vsize (Kb) 5236
[startup+900.1 s]
Raw data (loadavg): 1.05 1.12 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 522 0 0 0 24293 7740 0 0 16 0 1 0 1787636036 3182592 493 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 777 493 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 634.82
Current children cumulated vsize (Kb) 5236
[startup+910.1 s]
Raw data (loadavg): 1.12 1.13 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 522 0 0 0 24894 7876 0 0 16 0 1 0 1787636036 3182592 493 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 777 493 413 48 0 729 0
[pid=22473] vsize: 3108
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (Kb) 5236
[startup+920.102 s]
Raw data (loadavg): 1.18 1.14 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 529 0 0 0 25495 8008 0 0 16 0 1 0 1787636036 3317760 500 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 810 500 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 649.52
Current children cumulated vsize (Kb) 5368
[startup+930.103 s]
Raw data (loadavg): 1.23 1.15 1.06 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 533 0 0 0 26003 8169 0 0 15 0 1 0 1787636036 3317760 504 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 504 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 656.21
Current children cumulated vsize (Kb) 5368
[startup+940.103 s]
Raw data (loadavg): 1.20 1.15 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 533 0 0 0 26595 8301 0 0 15 0 1 0 1787636036 3317760 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 810 504 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 663.45
Current children cumulated vsize (Kb) 5368
[startup+950.105 s]
Raw data (loadavg): 1.17 1.14 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 533 0 0 0 27188 8439 0 0 15 0 1 0 1787636036 3317760 504 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 504 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 670.76
Current children cumulated vsize (Kb) 5368
[startup+960.106 s]
Raw data (loadavg): 1.14 1.14 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 533 0 0 0 27786 8573 0 0 15 0 1 0 1787636036 3317760 504 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 504 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 678.08
Current children cumulated vsize (Kb) 5368
[startup+970.107 s]
Raw data (loadavg): 1.12 1.13 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 533 0 0 0 28306 8728 0 0 15 0 1 0 1787636036 3317760 504 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 504 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 684.83
Current children cumulated vsize (Kb) 5368
[startup+980.108 s]
Raw data (loadavg): 1.10 1.13 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 539 0 0 0 28977 8838 0 0 15 0 1 0 1787636036 3317760 510 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 810 510 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 692.64
Current children cumulated vsize (Kb) 5368
[startup+990.109 s]
Raw data (loadavg): 1.08 1.12 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 550 0 0 0 29628 8958 0 0 15 0 1 0 1787636036 3317760 521 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 810 521 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 700.35
Current children cumulated vsize (Kb) 5368
[startup+1000.11 s]
Raw data (loadavg): 1.07 1.12 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 551 0 0 0 30212 9102 0 0 15 0 1 0 1787636036 3317760 522 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 522 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 707.63
Current children cumulated vsize (Kb) 5368
[startup+1010.11 s]
Raw data (loadavg): 1.06 1.11 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 552 0 0 0 30781 9244 0 0 15 0 1 0 1787636036 3317760 523 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 523 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 714.74
Current children cumulated vsize (Kb) 5368
[startup+1020.11 s]
Raw data (loadavg): 1.05 1.11 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 553 0 0 0 31304 9401 0 0 16 0 1 0 1787636036 3317760 524 4294967295 134512640 134702520 3221223712 3221223104 134603356 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 810 524 413 48 0 762 0
[pid=22473] vsize: 3240
Current children cumulated CPU time (s) 721.54
Current children cumulated vsize (Kb) 5368
[startup+1030.11 s]
Raw data (loadavg): 1.12 1.12 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 564 0 0 0 31969 9515 0 0 16 0 1 0 1787636036 3452928 535 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 843 535 413 48 0 795 0
[pid=22473] vsize: 3372
Current children cumulated CPU time (s) 729.33
Current children cumulated vsize (Kb) 5500
[startup+1040.11 s]
Raw data (loadavg): 1.10 1.12 1.06 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 885 0 0 0 32686 9608 0 0 16 0 1 0 1787636036 4718592 856 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 1152 856 413 48 0 1104 0
[pid=22473] vsize: 4608
Current children cumulated CPU time (s) 737.43
Current children cumulated vsize (Kb) 6736
[startup+1050.12 s]
Raw data (loadavg): 1.08 1.11 1.06 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 1130 0 0 0 33514 9664 0 0 17 0 1 0 1787636036 5750784 1101 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 1404 1101 413 48 0 1356 0
[pid=22473] vsize: 5616
Current children cumulated CPU time (s) 746.27
Current children cumulated vsize (Kb) 7744
[startup+1060.12 s]
Raw data (loadavg): 1.07 1.11 1.06 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 1331 0 0 0 34357 9718 0 0 17 0 1 0 1787636036 6533120 1302 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 1595 1302 413 48 0 1547 0
[pid=22473] vsize: 6380
Current children cumulated CPU time (s) 755.24
Current children cumulated vsize (Kb) 8508
[startup+1070.12 s]
Raw data (loadavg): 1.06 1.11 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 1490 0 0 0 35217 9766 0 0 17 0 1 0 1787636036 7159808 1461 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 1748 1461 413 48 0 1700 0
[pid=22473] vsize: 6992
Current children cumulated CPU time (s) 764.32
Current children cumulated vsize (Kb) 9120
[startup+1080.12 s]
Raw data (loadavg): 1.05 1.10 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 1652 0 0 0 36148 9792 0 0 18 0 1 0 1787636036 7909376 1623 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 1931 1623 413 48 0 1883 0
[pid=22473] vsize: 7724
Current children cumulated CPU time (s) 773.89
Current children cumulated vsize (Kb) 9852
[startup+1090.12 s]
Raw data (loadavg): 1.04 1.10 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 1816 0 0 0 37079 9816 0 0 19 0 1 0 1787636036 8552448 1787 4294967295 134512640 134702520 3221223712 3221222992 134550667 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2088 1787 413 48 0 2040 0
[pid=22473] vsize: 8352
Current children cumulated CPU time (s) 783.44
Current children cumulated vsize (Kb) 10480
[startup+1100.12 s]
Raw data (loadavg): 1.03 1.09 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 1961 0 0 0 38028 9833 0 0 25 0 1 0 1787636036 9199616 1932 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2246 1932 413 48 0 2198 0
[pid=22473] vsize: 8984
Current children cumulated CPU time (s) 793.1
Current children cumulated vsize (Kb) 11112
[startup+1110.12 s]
Raw data (loadavg): 1.03 1.09 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2052 0 0 0 38956 9858 0 0 20 0 1 0 1787636036 9486336 2023 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2316 2023 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 802.63
Current children cumulated vsize (Kb) 11392
[startup+1120.12 s]
Raw data (loadavg): 1.02 1.09 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2052 0 0 0 39529 10001 0 0 16 0 1 0 1787636036 9486336 2023 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2316 2023 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 809.79
Current children cumulated vsize (Kb) 11392
[startup+1130.12 s]
Raw data (loadavg): 1.02 1.08 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2052 0 0 0 40398 10046 0 0 17 0 1 0 1787636036 9486336 2023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2316 2023 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 818.93
Current children cumulated vsize (Kb) 11392
[startup+1140.13 s]
Raw data (loadavg): 1.02 1.08 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2052 0 0 0 41253 10098 0 0 17 0 1 0 1787636036 9486336 2023 4294967295 134512640 134702520 3221223712 3221223104 134604331 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2316 2023 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 828
Current children cumulated vsize (Kb) 11392
[startup+1150.13 s]
Raw data (loadavg): 1.01 1.08 1.05 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2052 0 0 0 42191 10119 0 0 19 0 1 0 1787636036 9486336 2023 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2316 2023 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 837.59
Current children cumulated vsize (Kb) 11392
[startup+1160.13 s]
Raw data (loadavg): 1.01 1.07 1.05 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2054 0 0 0 43058 10161 0 0 17 0 1 0 1787636036 9486336 2025 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2316 2025 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 846.68
Current children cumulated vsize (Kb) 11392
[startup+1170.13 s]
Raw data (loadavg): 1.01 1.07 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2055 0 0 0 43989 10186 0 0 17 0 1 0 1787636036 9486336 2026 4294967295 134512640 134702520 3221223712 3221222608 134557264 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2316 2026 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 856.24
Current children cumulated vsize (Kb) 11392
[startup+1180.13 s]
Raw data (loadavg): 1.01 1.07 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2055 0 0 0 44877 10222 0 0 18 0 1 0 1787636036 9486336 2026 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2316 2026 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 865.48
Current children cumulated vsize (Kb) 11392
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.07 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2056 0 0 0 45814 10245 0 0 17 0 1 0 1787636036 9486336 2027 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2316 2027 413 48 0 2268 0
[pid=22473] vsize: 9264
Current children cumulated CPU time (s) 875.08
Current children cumulated vsize (Kb) 11392
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.06 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2196 0 0 0 46743 10271 0 0 20 0 1 0 1787636036 10170368 2167 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2483 2167 413 48 0 2435 0
[pid=22473] vsize: 9932
Current children cumulated CPU time (s) 884.63
Current children cumulated vsize (Kb) 12060
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.06 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2236 0 0 0 47642 10302 0 0 18 0 1 0 1787636036 10321920 2207 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2520 2207 413 48 0 2472 0
[pid=22473] vsize: 10080
Current children cumulated CPU time (s) 893.93
Current children cumulated vsize (Kb) 12208
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.06 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2368 0 0 0 48592 10320 0 0 25 0 1 0 1787636036 10780672 2339 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2632 2339 413 48 0 2584 0
[pid=22473] vsize: 10528
Current children cumulated CPU time (s) 903.61
Current children cumulated vsize (Kb) 12656
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.06 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2482 0 0 0 49547 10336 0 0 25 0 1 0 1787636036 11268096 2453 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2751 2453 413 48 0 2703 0
[pid=22473] vsize: 11004
Current children cumulated CPU time (s) 913.32
Current children cumulated vsize (Kb) 13132
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.05 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2508 0 0 0 50442 10371 0 0 20 0 1 0 1787636036 11431936 2479 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2791 2479 413 48 0 2743 0
[pid=22473] vsize: 11164
Current children cumulated CPU time (s) 922.62
Current children cumulated vsize (Kb) 13292
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.05 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2555 0 0 0 51404 10383 0 0 25 0 1 0 1787636036 11608064 2526 4294967295 134512640 134702520 3221223712 3221223104 134603625 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 2834 2526 413 48 0 2786 0
[pid=22473] vsize: 11336
Current children cumulated CPU time (s) 932.36
Current children cumulated vsize (Kb) 13464
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.05 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2664 0 0 0 52361 10400 0 0 20 0 1 0 1787636036 12210176 2635 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 2981 2635 413 48 0 2933 0
[pid=22473] vsize: 11924
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (Kb) 14052
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.05 1.04 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2750 0 0 0 53330 10411 0 0 25 0 1 0 1787636036 12541952 2721 4294967295 134512640 134702520 3221223712 3221223104 134604352 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3062 2721 413 48 0 3014 0
[pid=22473] vsize: 12248
Current children cumulated CPU time (s) 951.9
Current children cumulated vsize (Kb) 14376
[startup+1280.14 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 2842 0 0 0 54294 10424 0 0 25 0 1 0 1787636036 12976128 2813 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3168 2813 413 48 0 3120 0
[pid=22473] vsize: 12672
Current children cumulated CPU time (s) 961.67
Current children cumulated vsize (Kb) 14800
[startup+1290.14 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 2918 0 0 0 55253 10441 0 0 25 0 1 0 1787636036 13152256 2889 4294967295 134512640 134702520 3221223712 3221222960 134564365 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3211 2889 413 48 0 3163 0
[pid=22473] vsize: 12844
Current children cumulated CPU time (s) 971.43
Current children cumulated vsize (Kb) 14972
[startup+1300.14 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 3036 0 0 0 56217 10454 0 0 25 0 1 0 1787636036 13795328 3007 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3368 3007 413 48 0 3320 0
[pid=22473] vsize: 13472
Current children cumulated CPU time (s) 981.2
Current children cumulated vsize (Kb) 15600
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3102 0 0 0 57186 10464 0 0 25 0 1 0 1787636036 14065664 3073 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3434 3073 413 48 0 3386 0
[pid=22473] vsize: 13736
Current children cumulated CPU time (s) 990.99
Current children cumulated vsize (Kb) 15864
[startup+1320.15 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 57942 10550 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 999.41
Current children cumulated vsize (Kb) 15748
[startup+1330.15 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 3121 0 0 0 58695 10632 0 0 17 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223104 134604331 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1007.76
Current children cumulated vsize (Kb) 15748
[startup+1340.15 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 59607 10663 0 0 17 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1017.19
Current children cumulated vsize (Kb) 15748
[startup+1350.15 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 60361 10748 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1025.58
Current children cumulated vsize (Kb) 15748
[startup+1360.15 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 60998 10872 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1033.19
Current children cumulated vsize (Kb) 15748
[startup+1370.15 s]
Raw data (loadavg): 1.00 1.03 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 61609 11001 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1040.59
Current children cumulated vsize (Kb) 15748
[startup+1380.15 s]
Raw data (loadavg): 1.07 1.04 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 62257 11120 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1048.26
Current children cumulated vsize (Kb) 15748
[startup+1390.15 s]
Raw data (loadavg): 1.06 1.04 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 62767 11284 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1055
Current children cumulated vsize (Kb) 15748
[startup+1400.15 s]
Raw data (loadavg): 1.05 1.04 1.03 2/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) R 22468 22468 31915 0 -1 0 3121 0 0 0 63398 11415 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1062.62
Current children cumulated vsize (Kb) 15748
[startup+1410.16 s]
Raw data (loadavg): 1.12 1.05 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 64023 11540 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 15748
[startup+1420.16 s]
Raw data (loadavg): 1.10 1.05 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 64663 11663 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1077.75
Current children cumulated vsize (Kb) 15748
[startup+1430.16 s]
Raw data (loadavg): 1.08 1.05 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 65264 11799 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1085.12
Current children cumulated vsize (Kb) 15748
[startup+1440.16 s]
Raw data (loadavg): 1.07 1.05 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 65768 11959 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1091.76
Current children cumulated vsize (Kb) 15748
[startup+1450.16 s]
Raw data (loadavg): 1.13 1.06 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 66407 12075 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1099.31
Current children cumulated vsize (Kb) 15748
[startup+1460.16 s]
Raw data (loadavg): 1.11 1.06 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 67045 12192 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1106.86
Current children cumulated vsize (Kb) 15748
[startup+1470.16 s]
Raw data (loadavg): 1.17 1.07 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 67743 12294 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1114.86
Current children cumulated vsize (Kb) 15748
[startup+1480.16 s]
Raw data (loadavg): 1.15 1.07 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 68396 12412 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1122.57
Current children cumulated vsize (Kb) 15748
[startup+1490.16 s]
Raw data (loadavg): 1.12 1.07 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 68985 12548 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1129.82
Current children cumulated vsize (Kb) 15748
[startup+1500.17 s]
Raw data (loadavg): 1.10 1.07 1.03 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 69565 12689 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1137.03
Current children cumulated vsize (Kb) 15748
[startup+1510.17 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 70134 12831 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1144.14
Current children cumulated vsize (Kb) 15748
[startup+1520.17 s]
Raw data (loadavg): 1.14 1.08 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 70765 12959 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1151.73
Current children cumulated vsize (Kb) 15748
[startup+1530.17 s]
Raw data (loadavg): 1.11 1.07 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 71382 13092 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1159.23
Current children cumulated vsize (Kb) 15748
[startup+1540.17 s]
Raw data (loadavg): 1.17 1.09 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 72006 13214 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1166.69
Current children cumulated vsize (Kb) 15748
[startup+1550.17 s]
Raw data (loadavg): 1.14 1.08 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 72573 13359 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1173.81
Current children cumulated vsize (Kb) 15748
[startup+1560.17 s]
Raw data (loadavg): 1.12 1.08 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 73101 13515 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1180.65
Current children cumulated vsize (Kb) 15748
[startup+1570.17 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 73690 13654 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1187.93
Current children cumulated vsize (Kb) 15748
[startup+1580.18 s]
Raw data (loadavg): 1.15 1.09 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 74304 13785 0 0 16 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1195.38
Current children cumulated vsize (Kb) 15748
[startup+1590.18 s]
Raw data (loadavg): 1.12 1.09 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 74931 13909 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1202.89
Current children cumulated vsize (Kb) 15748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1590.18 s]
Raw data (loadavg): 1.12 1.09 1.04 1/57 22473
Raw data (/proc/22468/stat): 22468 (vallstSAT2005PB) S 22467 22468 31915 0 -1 0 378 888 0 0 2 1 26040 5406 17 0 1 0 1787593674 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/22468/statm): 532 248 485 147 0 385 0
[pid=22468] vsize: 2128
Raw data (/proc/22473/stat): 22473 (vallst) T 22468 22468 31915 0 -1 0 3121 0 0 0 74931 13909 0 0 15 0 1 0 1787636036 13946880 3085 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/22473/statm): 3405 3085 413 48 0 3357 0
[pid=22473] vsize: 13620
Current children cumulated CPU time (s) 1202.89
Current children cumulated vsize (Kb) 15748
Sending SIGTERM to -22468
Sleeping 2 seconds
New process pid=22475
New process pid=22476
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=22473) exited with status: 3
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/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/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/10661/stat
open syscall for file /proc/10661/status
open syscall for file /proc/10661/cmdline
open syscall for file /proc/10661/environ
open syscall for file /proc/10688/stat
open syscall for file /proc/10688/status
open syscall for file /proc/10688/cmdline
open syscall for file /proc/10688/environ
open syscall for file /proc/10712/stat
open syscall for file /proc/10712/status
open syscall for file /proc/10712/cmdline
open syscall for file /proc/10712/environ
open syscall for file /proc/24729/stat
open syscall for file /proc/24729/status
open syscall for file /proc/24729/cmdline
open syscall for file /proc/24729/environ
open syscall for file /proc/24730/stat
open syscall for file /proc/24730/status
open syscall for file /proc/24730/cmdline
open syscall for file /proc/24730/environ
open syscall for file /proc/2696/stat
open syscall for file /proc/2696/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/2696/cmdline
open syscall for file /proc/2696/environ
open syscall for file /proc/2731/stat
open syscall for file /proc/2731/status
open syscall for file /proc/2731/cmdline
open syscall for file /proc/2731/environ
open syscall for file /proc/31915/stat
open syscall for file /proc/31915/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31915/cmdline
open syscall for file /proc/31915/environ
open syscall for file /proc/31916/stat
open syscall for file /proc/31916/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/31916/cmdline
open syscall for file /proc/31916/environ
open syscall for file /proc/31925/stat
open syscall for file /proc/31925/status
open syscall for file /proc/31925/cmdline
open syscall for file /proc/31925/environ
open syscall for file /proc/22431/stat
open syscall for file /proc/22431/status
open syscall for file /proc/22431/cmdline
open syscall for file /proc/22431/environ
open syscall for file /proc/22467/stat
open syscall for file /proc/22467/status
open syscall for file /proc/22467/cmdline
open syscall for file /proc/22467/environ
open syscall for file /proc/22468/stat
open syscall for file /proc/22468/status
open syscall for file /proc/22468/cmdline
open syscall for file /proc/22468/environ
open syscall for file /proc/22475/stat
open syscall for file /proc/22475/status
open syscall for file /proc/22475/cmdline
open syscall for file /proc/22475/environ
open syscall for file /proc/22476/stat
open syscall for file /proc/22476/status
open syscall for file /proc/22476/cmdline
open syscall for file /proc/22476/environ
One traced child (pid=22475) exited with status: 0
One traced child (pid=22476) exited with status: 0
New process pid=22477
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=22477) exited with status: 0
New process pid=22478
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=22478) exited with status: 0
One traced child (pid=22468) 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): 1590.68
CPU time (s): 1203.04
CPU user time (s): 1009.79
CPU system time (s): 193.25
CPU usage (%): 75.6307
Max. virtual memory (cumulated for all children) (Kb): 15864