1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 535; #end-nodes: 71;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 71 / 87 (80)
#axs: 26521, #non-axs: 31
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: 1865 (1590:>=*);
#decisions: 47187; #end-nodes: 17311;
#proof improvement attempts: 0; #restarts: 151
Current batch, end-nodes: 5 / 117 (117)
#axs: 26521, #non-axs: 1351
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1885 (1570:>=*);
#decisions: 92767; #end-nodes: 36073;
#proof improvement attempts: 0; #restarts: 256
Current batch, end-nodes: 39 / 171 (144)
#axs: 26521, #non-axs: 2671
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 1892 (1563:>=*);
Interupt request received.
#decisions: 525810; #end-nodes: 246387;
#proof improvement attempts: 0; #restarts: 1005
Current batch, end-nodes: 324 / 331 (331)
#axs: 26521, #non-axs: 3925
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 1892 (1563:>=*)
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: 3112 (#equs: 0)
Time taken: 20 min, 5 sec
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
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/11245/stat): 11245 (vallstSAT2005PB) R 11244 11245 5929 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842913804 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11245/statm): 174 3 169 147 0 27 0
[pid=11245] 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=11246
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=11246) exited with status: 0
New process pid=11247
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=11247) exited with status: 0
New process pid=11248
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/wulflinc19/normalized-ii16b1.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0048 s]
Raw data (loadavg): 0.93 0.98 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 718 0 0 0 828 60 0 0 24 0 1 0 1842913813 4603904 688 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 1124 688 413 48 0 1076 0
[pid=11248] vsize: 4496
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (Kb) 6624
[startup+20.0056 s]
Raw data (loadavg): 0.94 0.98 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1039 0 0 0 1688 110 0 0 25 0 1 0 1842913813 8826880 1009 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2155 1009 413 48 0 2107 0
[pid=11248] vsize: 8620
Current children cumulated CPU time (s) 18.01
Current children cumulated vsize (Kb) 10748
[startup+30.0064 s]
Raw data (loadavg): 0.95 0.98 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1055 0 0 0 2644 126 0 0 25 0 1 0 1842913813 8990720 1025 4294967295 134512640 134702520 3221223968 3221223248 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2195 1025 413 48 0 2147 0
[pid=11248] vsize: 8780
Current children cumulated CPU time (s) 27.73
Current children cumulated vsize (Kb) 10908
[startup+40.0072 s]
Raw data (loadavg): 0.96 0.98 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1073 0 0 0 3603 138 0 0 25 0 1 0 1842913813 8990720 1043 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2195 1043 413 48 0 2147 0
[pid=11248] vsize: 8780
Current children cumulated CPU time (s) 37.44
Current children cumulated vsize (Kb) 10908
[startup+50.008 s]
Raw data (loadavg): 0.96 0.98 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1088 0 0 0 4563 153 0 0 25 0 1 0 1842913813 8990720 1058 4294967295 134512640 134702520 3221223968 3221195264 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2195 1058 413 48 0 2147 0
[pid=11248] vsize: 8780
Current children cumulated CPU time (s) 47.19
Current children cumulated vsize (Kb) 10908
[startup+60.0088 s]
Raw data (loadavg): 0.97 0.98 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1290 0 0 0 5521 169 0 0 25 0 1 0 1842913813 8990720 1260 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2195 1260 413 48 0 2147 0
[pid=11248] vsize: 8780
Current children cumulated CPU time (s) 56.93
Current children cumulated vsize (Kb) 10908
[startup+70.0096 s]
Raw data (loadavg): 0.97 0.98 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1416 0 0 0 6469 188 0 0 25 0 1 0 1842913813 9101312 1386 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2222 1386 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 66.6
Current children cumulated vsize (Kb) 11016
[startup+80.0114 s]
Raw data (loadavg): 1.05 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1416 0 0 0 7426 204 0 0 25 0 1 0 1842913813 9101312 1386 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2222 1386 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 76.33
Current children cumulated vsize (Kb) 11016
[startup+90.0122 s]
Raw data (loadavg): 1.04 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1716 0 0 0 8386 219 0 0 25 0 1 0 1842913813 9101312 1686 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2222 1686 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 86.08
Current children cumulated vsize (Kb) 11016
[startup+100.012 s]
Raw data (loadavg): 1.04 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1837 0 0 0 9344 233 0 0 25 0 1 0 1842913813 9101312 1807 4294967295 134512640 134702520 3221223968 3221060844 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2222 1807 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 95.8
Current children cumulated vsize (Kb) 11016
[startup+110.014 s]
Raw data (loadavg): 1.03 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1841 0 0 0 10296 248 0 0 25 0 1 0 1842913813 9101312 1811 4294967295 134512640 134702520 3221223968 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2222 1811 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 105.47
Current children cumulated vsize (Kb) 11016
[startup+120.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1846 0 0 0 11259 260 0 0 25 0 1 0 1842913813 9101312 1816 4294967295 134512640 134702520 3221223968 3221223248 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2222 1816 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 115.22
Current children cumulated vsize (Kb) 11016
[startup+130.015 s]
Raw data (loadavg): 1.02 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1853 0 0 0 12217 276 0 0 25 0 1 0 1842913813 9101312 1823 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2222 1823 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 124.96
Current children cumulated vsize (Kb) 11016
[startup+140.016 s]
Raw data (loadavg): 1.02 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1862 0 0 0 13177 290 0 0 25 0 1 0 1842913813 9101312 1832 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2222 1832 413 48 0 2174 0
[pid=11248] vsize: 8888
Current children cumulated CPU time (s) 134.7
Current children cumulated vsize (Kb) 11016
[startup+150.017 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1869 0 0 0 14133 303 0 0 25 0 1 0 1842913813 9228288 1839 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2253 1839 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 144.39
Current children cumulated vsize (Kb) 11140
[startup+160.018 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1881 0 0 0 15089 318 0 0 25 0 1 0 1842913813 9228288 1851 4294967295 134512640 134702520 3221223968 3221223248 134552550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2253 1851 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 154.1
Current children cumulated vsize (Kb) 11140
[startup+170.019 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1889 0 0 0 16045 333 0 0 25 0 1 0 1842913813 9228288 1859 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2253 1859 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 163.81
Current children cumulated vsize (Kb) 11140
[startup+180.02 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1889 0 0 0 17010 346 0 0 25 0 1 0 1842913813 9228288 1859 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2253 1859 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (Kb) 11140
[startup+190.021 s]
Raw data (loadavg): 1.01 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1890 0 0 0 17978 356 0 0 25 0 1 0 1842913813 9228288 1860 4294967295 134512640 134702520 3221223968 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1860 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 183.37
Current children cumulated vsize (Kb) 11140
[startup+200.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1892 0 0 0 18936 370 0 0 25 0 1 0 1842913813 9228288 1862 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1862 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 193.09
Current children cumulated vsize (Kb) 11140
[startup+210.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1894 0 0 0 19895 385 0 0 25 0 1 0 1842913813 9228288 1864 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1864 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 202.83
Current children cumulated vsize (Kb) 11140
[startup+220.024 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1897 0 0 0 20855 398 0 0 25 0 1 0 1842913813 9228288 1867 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1867 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 212.56
Current children cumulated vsize (Kb) 11140
[startup+230.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1898 0 0 0 21813 413 0 0 25 0 1 0 1842913813 9228288 1868 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1868 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (Kb) 11140
[startup+240.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1901 0 0 0 22776 428 0 0 25 0 1 0 1842913813 9228288 1871 4294967295 134512640 134702520 3221223968 3221223248 134552293 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1871 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 232.07
Current children cumulated vsize (Kb) 11140
[startup+250.025 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1903 0 0 0 23733 442 0 0 25 0 1 0 1842913813 9228288 1873 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1873 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 241.78
Current children cumulated vsize (Kb) 11140
[startup+260.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1903 0 0 0 24698 455 0 0 25 0 1 0 1842913813 9228288 1873 4294967295 134512640 134702520 3221223968 3221223248 134552254 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2253 1873 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 251.56
Current children cumulated vsize (Kb) 11140
[startup+270.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1905 0 0 0 25652 472 0 0 25 0 1 0 1842913813 9228288 1875 4294967295 134512640 134702520 3221223968 3221222992 134552345 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2253 1875 413 48 0 2205 0
[pid=11248] vsize: 9012
Current children cumulated CPU time (s) 261.27
Current children cumulated vsize (Kb) 11140
[startup+280.029 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1909 0 0 0 26622 484 0 0 25 0 1 0 1842913813 9338880 1879 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1879 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 271.09
Current children cumulated vsize (Kb) 11248
[startup+290.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1913 0 0 0 27577 500 0 0 25 0 1 0 1842913813 9338880 1883 4294967295 134512640 134702520 3221223968 3221223248 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2280 1883 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 280.8
Current children cumulated vsize (Kb) 11248
[startup+300.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1916 0 0 0 28534 514 0 0 25 0 1 0 1842913813 9338880 1886 4294967295 134512640 134702520 3221223968 3221223248 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1886 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 290.51
Current children cumulated vsize (Kb) 11248
[startup+310.031 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1918 0 0 0 29488 529 0 0 25 0 1 0 1842913813 9338880 1888 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2280 1888 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 300.2
Current children cumulated vsize (Kb) 11248
[startup+320.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1920 0 0 0 30452 539 0 0 25 0 1 0 1842913813 9338880 1890 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1890 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 309.94
Current children cumulated vsize (Kb) 11248
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1928 0 0 0 31414 552 0 0 25 0 1 0 1842913813 9338880 1898 4294967295 134512640 134702520 3221223968 3221223248 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1898 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 319.69
Current children cumulated vsize (Kb) 11248
[startup+340.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1936 0 0 0 32379 566 0 0 25 0 1 0 1842913813 9338880 1906 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1906 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 329.48
Current children cumulated vsize (Kb) 11248
[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1942 0 0 0 33340 580 0 0 25 0 1 0 1842913813 9338880 1912 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1912 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 339.23
Current children cumulated vsize (Kb) 11248
[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1952 0 0 0 34305 592 0 0 25 0 1 0 1842913813 9338880 1922 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2280 1922 413 48 0 2232 0
[pid=11248] vsize: 9120
Current children cumulated CPU time (s) 349
Current children cumulated vsize (Kb) 11248
[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1958 0 0 0 35264 607 0 0 25 0 1 0 1842913813 9478144 1928 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2314 1928 413 48 0 2266 0
[pid=11248] vsize: 9256
Current children cumulated CPU time (s) 358.74
Current children cumulated vsize (Kb) 11384
[startup+380.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1958 0 0 0 36232 619 0 0 25 0 1 0 1842913813 9449472 1928 4294967295 134512640 134702520 3221223968 3221223248 134552208 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1928 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 368.54
Current children cumulated vsize (Kb) 11356
[startup+390.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1961 0 0 0 37188 635 0 0 25 0 1 0 1842913813 9449472 1931 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1931 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 378.26
Current children cumulated vsize (Kb) 11356
[startup+400.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1963 0 0 0 38150 646 0 0 25 0 1 0 1842913813 9449472 1933 4294967295 134512640 134702520 3221223968 3221223088 134578851 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1933 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 387.99
Current children cumulated vsize (Kb) 11356
[startup+410.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1964 0 0 0 39111 659 0 0 25 0 1 0 1842913813 9449472 1934 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1934 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 397.73
Current children cumulated vsize (Kb) 11356
[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1966 0 0 0 40076 671 0 0 25 0 1 0 1842913813 9449472 1936 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1936 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 407.5
Current children cumulated vsize (Kb) 11356
[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1967 0 0 0 41028 690 0 0 25 0 1 0 1842913813 9449472 1937 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1937 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 417.21
Current children cumulated vsize (Kb) 11356
[startup+440.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1969 0 0 0 41990 704 0 0 25 0 1 0 1842913813 9449472 1939 4294967295 134512640 134702520 3221223968 3221222864 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1939 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 426.97
Current children cumulated vsize (Kb) 11356
[startup+450.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1969 0 0 0 42952 717 0 0 25 0 1 0 1842913813 9449472 1939 4294967295 134512640 134702520 3221223968 3221222856 134553840 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2307 1939 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 436.72
Current children cumulated vsize (Kb) 11356
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1970 0 0 0 43911 732 0 0 25 0 1 0 1842913813 9449472 1940 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1940 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 446.46
Current children cumulated vsize (Kb) 11356
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1972 0 0 0 44874 745 0 0 25 0 1 0 1842913813 9449472 1942 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1942 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 456.22
Current children cumulated vsize (Kb) 11356
[startup+480.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1975 0 0 0 45831 761 0 0 25 0 1 0 1842913813 9449472 1945 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1945 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 465.95
Current children cumulated vsize (Kb) 11356
[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1977 0 0 0 46792 776 0 0 25 0 1 0 1842913813 9449472 1947 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1947 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 475.71
Current children cumulated vsize (Kb) 11356
[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1978 0 0 0 47752 788 0 0 25 0 1 0 1842913813 9449472 1948 4294967295 134512640 134702520 3221223968 3221223088 134584462 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1948 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 485.43
Current children cumulated vsize (Kb) 11356
[startup+510.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1980 0 0 0 48715 801 0 0 25 0 1 0 1842913813 9449472 1950 4294967295 134512640 134702520 3221223968 3221223248 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1950 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 495.19
Current children cumulated vsize (Kb) 11356
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1983 0 0 0 49674 818 0 0 25 0 1 0 1842913813 9449472 1953 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2307 1953 413 48 0 2259 0
[pid=11248] vsize: 9228
Current children cumulated CPU time (s) 504.95
Current children cumulated vsize (Kb) 11356
[startup+530.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1985 0 0 0 50638 829 0 0 25 0 1 0 1842913813 9588736 1955 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2341 1955 413 48 0 2293 0
[pid=11248] vsize: 9364
Current children cumulated CPU time (s) 514.7
Current children cumulated vsize (Kb) 11492
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1986 0 0 0 51602 840 0 0 25 0 1 0 1842913813 9560064 1956 4294967295 134512640 134702520 3221223968 3221223248 134552884 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2334 1956 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 524.45
Current children cumulated vsize (Kb) 11464
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1989 0 0 0 52560 855 0 0 25 0 1 0 1842913813 9560064 1959 4294967295 134512640 134702520 3221223968 3221223248 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2334 1959 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 534.18
Current children cumulated vsize (Kb) 11464
[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 1992 0 0 0 53514 871 0 0 25 0 1 0 1842913813 9560064 1962 4294967295 134512640 134702520 3221223968 3221223248 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2334 1962 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 543.88
Current children cumulated vsize (Kb) 11464
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1992 0 0 0 54478 883 0 0 25 0 1 0 1842913813 9560064 1962 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1962 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 553.64
Current children cumulated vsize (Kb) 11464
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1995 0 0 0 55443 895 0 0 25 0 1 0 1842913813 9560064 1965 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1965 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 563.41
Current children cumulated vsize (Kb) 11464
[startup+590.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 1999 0 0 0 56403 908 0 0 25 0 1 0 1842913813 9560064 1969 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1969 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 573.14
Current children cumulated vsize (Kb) 11464
[startup+600.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2002 0 0 0 57364 922 0 0 25 0 1 0 1842913813 9560064 1972 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1972 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 582.89
Current children cumulated vsize (Kb) 11464
[startup+610.061 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2003 0 0 0 58324 935 0 0 25 0 1 0 1842913813 9560064 1973 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1973 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 592.62
Current children cumulated vsize (Kb) 11464
[startup+620.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2003 0 0 0 59288 949 0 0 18 0 1 0 1842913813 9560064 1973 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1973 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 602.4
Current children cumulated vsize (Kb) 11464
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2005 0 0 0 60250 962 0 0 25 0 1 0 1842913813 9560064 1975 4294967295 134512640 134702520 3221223968 3221223248 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1975 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 612.15
Current children cumulated vsize (Kb) 11464
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2006 0 0 0 61208 978 0 0 25 0 1 0 1842913813 9560064 1976 4294967295 134512640 134702520 3221223968 3221223088 134578907 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1976 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 621.89
Current children cumulated vsize (Kb) 11464
[startup+650.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2009 0 0 0 62164 992 0 0 25 0 1 0 1842913813 9560064 1979 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1979 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 631.59
Current children cumulated vsize (Kb) 11464
[startup+660.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2013 0 0 0 63120 1008 0 0 25 0 1 0 1842913813 9560064 1983 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2334 1983 413 48 0 2286 0
[pid=11248] vsize: 9336
Current children cumulated CPU time (s) 641.31
Current children cumulated vsize (Kb) 11464
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2016 0 0 0 64081 1023 0 0 25 0 1 0 1842913813 9687040 1986 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 1986 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 651.07
Current children cumulated vsize (Kb) 11588
[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2018 0 0 0 65041 1036 0 0 25 0 1 0 1842913813 9687040 1988 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 1988 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 660.8
Current children cumulated vsize (Kb) 11588
[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2028 0 0 0 66007 1046 0 0 25 0 1 0 1842913813 9687040 1998 4294967295 134512640 134702520 3221223968 3221223248 134552270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2365 1998 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 670.56
Current children cumulated vsize (Kb) 11588
[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2033 0 0 0 66964 1060 0 0 25 0 1 0 1842913813 9687040 2003 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 2003 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 680.27
Current children cumulated vsize (Kb) 11588
[startup+710.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2034 0 0 0 67929 1073 0 0 25 0 1 0 1842913813 9687040 2004 4294967295 134512640 134702520 3221223968 3221223248 134552268 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2365 2004 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 690.05
Current children cumulated vsize (Kb) 11588
[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2037 0 0 0 68880 1092 0 0 25 0 1 0 1842913813 9687040 2007 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2365 2007 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 699.75
Current children cumulated vsize (Kb) 11588
[startup+730.072 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2039 0 0 0 69841 1106 0 0 25 0 1 0 1842913813 9687040 2009 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 2009 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 709.5
Current children cumulated vsize (Kb) 11588
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2041 0 0 0 70805 1119 0 0 25 0 1 0 1842913813 9687040 2011 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 2011 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 719.27
Current children cumulated vsize (Kb) 11588
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2059 0 0 0 71763 1135 0 0 25 0 1 0 1842913813 9687040 2029 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 2029 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 729.01
Current children cumulated vsize (Kb) 11588
[startup+760.074 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2084 0 0 0 72729 1145 0 0 25 0 1 0 1842913813 9687040 2054 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2365 2054 413 48 0 2317 0
[pid=11248] vsize: 9460
Current children cumulated CPU time (s) 738.77
Current children cumulated vsize (Kb) 11588
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2104 0 0 0 73699 1155 0 0 25 0 1 0 1842913813 9822208 2074 4294967295 134512640 134702520 3221223968 3221223248 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2398 2074 413 48 0 2350 0
[pid=11248] vsize: 9592
Current children cumulated CPU time (s) 748.57
Current children cumulated vsize (Kb) 11720
[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 0.94 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2122 0 0 0 74662 1169 0 0 25 0 1 0 1842913813 10399744 2092 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2092 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 758.34
Current children cumulated vsize (Kb) 12284
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2143 0 0 0 75622 1185 0 0 25 0 1 0 1842913813 10399744 2113 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2113 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 768.1
Current children cumulated vsize (Kb) 12284
[startup+800.077 s]
Raw data (loadavg): 1.00 1.00 0.94 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2143 0 0 0 76588 1197 0 0 25 0 1 0 1842913813 10399744 2113 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2113 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 777.88
Current children cumulated vsize (Kb) 12284
[startup+810.078 s]
Raw data (loadavg): 1.08 1.02 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2147 0 0 0 77550 1210 0 0 25 0 1 0 1842913813 10399744 2117 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2117 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 787.63
Current children cumulated vsize (Kb) 12284
[startup+820.079 s]
Raw data (loadavg): 1.07 1.02 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2150 0 0 0 78504 1227 0 0 25 0 1 0 1842913813 10399744 2120 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2539 2120 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 797.34
Current children cumulated vsize (Kb) 12284
[startup+830.08 s]
Raw data (loadavg): 1.06 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2154 0 0 0 79456 1242 0 0 25 0 1 0 1842913813 10399744 2124 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2539 2124 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 807.01
Current children cumulated vsize (Kb) 12284
[startup+840.081 s]
Raw data (loadavg): 1.05 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2157 0 0 0 80409 1258 0 0 25 0 1 0 1842913813 10399744 2127 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2127 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 816.7
Current children cumulated vsize (Kb) 12284
[startup+850.082 s]
Raw data (loadavg): 1.04 1.01 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2160 0 0 0 81375 1270 0 0 25 0 1 0 1842913813 10399744 2130 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2539 2130 413 48 0 2491 0
[pid=11248] vsize: 10156
Current children cumulated CPU time (s) 826.48
Current children cumulated vsize (Kb) 12284
[startup+860.082 s]
Raw data (loadavg): 1.03 1.01 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2163 0 0 0 82332 1284 0 0 25 0 1 0 1842913813 10530816 2133 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2133 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 836.19
Current children cumulated vsize (Kb) 12412
[startup+870.083 s]
Raw data (loadavg): 1.03 1.01 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2168 0 0 0 83291 1297 0 0 25 0 1 0 1842913813 10530816 2138 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2138 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 845.91
Current children cumulated vsize (Kb) 12412
[startup+880.084 s]
Raw data (loadavg): 1.02 1.01 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2172 0 0 0 84251 1312 0 0 25 0 1 0 1842913813 10530816 2142 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2571 2142 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 855.66
Current children cumulated vsize (Kb) 12412
[startup+890.085 s]
Raw data (loadavg): 1.02 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2173 0 0 0 85213 1325 0 0 25 0 1 0 1842913813 10530816 2143 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2143 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 865.41
Current children cumulated vsize (Kb) 12412
[startup+900.086 s]
Raw data (loadavg): 1.02 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2174 0 0 0 86171 1339 0 0 25 0 1 0 1842913813 10530816 2144 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2571 2144 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 875.13
Current children cumulated vsize (Kb) 12412
[startup+910.088 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2177 0 0 0 87127 1354 0 0 25 0 1 0 1842913813 10530816 2147 4294967295 134512640 134702520 3221223968 3221223248 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2571 2147 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 884.84
Current children cumulated vsize (Kb) 12412
[startup+920.09 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2179 0 0 0 88078 1372 0 0 25 0 1 0 1842913813 10530816 2149 4294967295 134512640 134702520 3221223968 3221223248 134552864 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2149 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 894.53
Current children cumulated vsize (Kb) 12412
[startup+930.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2182 0 0 0 89043 1384 0 0 25 0 1 0 1842913813 10530816 2152 4294967295 134512640 134702520 3221223968 3221223248 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2571 2152 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 904.3
Current children cumulated vsize (Kb) 12412
[startup+940.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2186 0 0 0 90000 1399 0 0 25 0 1 0 1842913813 10530816 2156 4294967295 134512640 134702520 3221223968 3221223188 134550159 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2571 2156 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 914.02
Current children cumulated vsize (Kb) 12412
[startup+950.091 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2190 0 0 0 90955 1412 0 0 25 0 1 0 1842913813 10530816 2160 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2160 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 923.7
Current children cumulated vsize (Kb) 12412
[startup+960.092 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2192 0 0 0 91922 1423 0 0 25 0 1 0 1842913813 10530816 2162 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2571 2162 413 48 0 2523 0
[pid=11248] vsize: 10284
Current children cumulated CPU time (s) 933.48
Current children cumulated vsize (Kb) 12412
[startup+970.093 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2197 0 0 0 92875 1438 0 0 25 0 1 0 1842913813 10665984 2167 4294967295 134512640 134702520 3221223968 3221223248 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2604 2167 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 943.16
Current children cumulated vsize (Kb) 12544
[startup+980.094 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2202 0 0 0 93836 1453 0 0 25 0 1 0 1842913813 10665984 2172 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2172 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 952.92
Current children cumulated vsize (Kb) 12544
[startup+990.095 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2202 0 0 0 94792 1467 0 0 25 0 1 0 1842913813 10665984 2172 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2172 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 962.62
Current children cumulated vsize (Kb) 12544
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2203 0 0 0 95749 1482 0 0 25 0 1 0 1842913813 10665984 2173 4294967295 134512640 134702520 3221223968 3221223360 134605854 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2604 2173 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 972.34
Current children cumulated vsize (Kb) 12544
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2206 0 0 0 96706 1497 0 0 19 0 1 0 1842913813 10665984 2176 4294967295 134512640 134702520 3221223968 3221223248 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2604 2176 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 982.06
Current children cumulated vsize (Kb) 12544
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2207 0 0 0 97670 1512 0 0 25 0 1 0 1842913813 10665984 2177 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2177 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 991.85
Current children cumulated vsize (Kb) 12544
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2213 0 0 0 98624 1527 0 0 25 0 1 0 1842913813 10665984 2183 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2183 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 1001.54
Current children cumulated vsize (Kb) 12544
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2214 0 0 0 99578 1543 0 0 25 0 1 0 1842913813 10665984 2184 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2184 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 1011.24
Current children cumulated vsize (Kb) 12544
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2218 0 0 0 100532 1560 0 0 25 0 1 0 1842913813 10665984 2188 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2188 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 1020.95
Current children cumulated vsize (Kb) 12544
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2220 0 0 0 101500 1572 0 0 25 0 1 0 1842913813 10665984 2190 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2190 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 1030.75
Current children cumulated vsize (Kb) 12544
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2223 0 0 0 102462 1585 0 0 25 0 1 0 1842913813 10665984 2193 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2604 2193 413 48 0 2556 0
[pid=11248] vsize: 10416
Current children cumulated CPU time (s) 1040.5
Current children cumulated vsize (Kb) 12544
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2226 0 0 0 103423 1598 0 0 25 0 1 0 1842913813 10809344 2196 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2639 2196 413 48 0 2591 0
[pid=11248] vsize: 10556
Current children cumulated CPU time (s) 1050.24
Current children cumulated vsize (Kb) 12684
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2227 0 0 0 104381 1614 0 0 25 0 1 0 1842913813 10809344 2197 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2639 2197 413 48 0 2591 0
[pid=11248] vsize: 10556
Current children cumulated CPU time (s) 1059.98
Current children cumulated vsize (Kb) 12684
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2229 0 0 0 105340 1629 0 0 25 0 1 0 1842913813 10792960 2199 4294967295 134512640 134702520 3221223968 3221223248 134552296 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2199 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1069.72
Current children cumulated vsize (Kb) 12668
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2233 0 0 0 106282 1651 0 0 25 0 1 0 1842913813 10792960 2203 4294967295 134512640 134702520 3221223968 3221223216 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2635 2203 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1079.36
Current children cumulated vsize (Kb) 12668
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2236 0 0 0 107243 1662 0 0 25 0 1 0 1842913813 10792960 2206 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2635 2206 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1089.08
Current children cumulated vsize (Kb) 12668
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2240 0 0 0 108196 1677 0 0 25 0 1 0 1842913813 10792960 2210 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2210 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1098.76
Current children cumulated vsize (Kb) 12668
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2245 0 0 0 109144 1694 0 0 25 0 1 0 1842913813 10792960 2215 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2215 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1108.41
Current children cumulated vsize (Kb) 12668
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2247 0 0 0 110107 1707 0 0 25 0 1 0 1842913813 10792960 2217 4294967295 134512640 134702520 3221223968 3221223248 134552981 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2217 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1118.17
Current children cumulated vsize (Kb) 12668
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2251 0 0 0 111063 1722 0 0 25 0 1 0 1842913813 10792960 2221 4294967295 134512640 134702520 3221223968 3221223248 134552731 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2221 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1127.88
Current children cumulated vsize (Kb) 12668
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2253 0 0 0 112013 1741 0 0 25 0 1 0 1842913813 10792960 2223 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2223 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1137.57
Current children cumulated vsize (Kb) 12668
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2254 0 0 0 112979 1754 0 0 25 0 1 0 1842913813 10792960 2224 4294967295 134512640 134702520 3221223968 3221223188 134549020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2635 2224 413 48 0 2587 0
[pid=11248] vsize: 10540
Current children cumulated CPU time (s) 1147.36
Current children cumulated vsize (Kb) 12668
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2256 0 0 0 113935 1768 0 0 25 0 1 0 1842913813 10932224 2226 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2669 2226 413 48 0 2621 0
[pid=11248] vsize: 10676
Current children cumulated CPU time (s) 1157.06
Current children cumulated vsize (Kb) 12804
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2257 0 0 0 114895 1783 0 0 25 0 1 0 1842913813 10915840 2227 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2665 2227 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1166.81
Current children cumulated vsize (Kb) 12788
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2259 0 0 0 115852 1798 0 0 25 0 1 0 1842913813 10915840 2229 4294967295 134512640 134702520 3221223968 3221223248 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2665 2229 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1176.53
Current children cumulated vsize (Kb) 12788
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2263 0 0 0 116797 1817 0 0 25 0 1 0 1842913813 10915840 2233 4294967295 134512640 134702520 3221223968 3221223248 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2665 2233 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1186.17
Current children cumulated vsize (Kb) 12788
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2267 0 0 0 117747 1835 0 0 25 0 1 0 1842913813 10915840 2237 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/11248/statm): 2665 2237 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1195.85
Current children cumulated vsize (Kb) 12788
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) R 11245 11245 5929 0 -1 0 2269 0 0 0 118707 1848 0 0 25 0 1 0 1842913813 10915840 2239 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2665 2239 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1205.58
Current children cumulated vsize (Kb) 12788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 11248
Raw data (/proc/11245/stat): 11245 (vallstSAT2005PB) S 11244 11245 5929 0 -1 0 330 232 0 0 1 1 0 1 20 0 1 0 1842913804 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/11245/statm): 532 242 485 147 0 385 0
[pid=11245] vsize: 2128
Raw data (/proc/11248/stat): 11248 (vallst) T 11245 11245 5929 0 -1 0 2269 0 0 0 118707 1848 0 0 25 0 1 0 1842913813 10915840 2239 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/11248/statm): 2665 2239 413 48 0 2617 0
[pid=11248] vsize: 10660
Current children cumulated CPU time (s) 1205.58
Current children cumulated vsize (Kb) 12788
Sending SIGTERM to -11245
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=11250
New process pid=11251
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/3766/stat
open syscall for file /proc/3766/status
open syscall for file /proc/3766/cmdline
open syscall for file /proc/3766/environ
open syscall for file /proc/6014/stat
open syscall for file /proc/6014/status
open syscall for file /proc/6014/cmdline
open syscall for file /proc/6014/environ
open syscall for file /proc/6040/stat
open syscall for file /proc/6040/status
open syscall for file /proc/6040/cmdline
open syscall for file /proc/6040/environ
open syscall for file /proc/6065/stat
open syscall for file /proc/6065/status
open syscall for file /proc/6065/cmdline
open syscall for file /proc/6065/environ
open syscall for file /proc/15342/stat
open syscall for file /proc/15342/status
open syscall for file /proc/15342/cmdline
open syscall for file /proc/15342/environ
open syscall for file /proc/15343/stat
open syscall for file /proc/15343/status
open syscall for file /proc/15343/cmdline
open syscall for file /proc/15343/environ
open syscall for file /proc/20705/stat
open syscall for file /proc/20705/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/20705/cmdline
open syscall for file /proc/20705/environ
open syscall for file /proc/20741/stat
open syscall for file /proc/20741/status
open syscall for file /proc/20741/cmdline
open syscall for file /proc/20741/environ
open syscall for file /proc/5929/stat
open syscall for file /proc/5929/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/5929/cmdline
open syscall for file /proc/5929/environ
open syscall for file /proc/5930/stat
open syscall for file /proc/5930/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/5930/cmdline
open syscall for file /proc/5930/environ
open syscall for file /proc/5939/stat
open syscall for file /proc/5939/status
open syscall for file /proc/5939/cmdline
open syscall for file /proc/5939/environ
open syscall for file /proc/11208/stat
open syscall for file /proc/11208/status
open syscall for file /proc/11208/cmdline
open syscall for file /proc/11208/environ
open syscall for file /proc/11244/stat
open syscall for file /proc/11244/status
open syscall for file /proc/11244/cmdline
open syscall for file /proc/11244/environ
open syscall for file /proc/11245/stat
open syscall for file /proc/11245/status
open syscall for file /proc/11245/cmdline
open syscall for file /proc/11245/environ
open syscall for file /proc/11248/stat
open syscall for file /proc/11248/status
open syscall for file /proc/11248/cmdline
open syscall for file /proc/11248/environ
open syscall for file /proc/11250/stat
open syscall for file /proc/11250/status
open syscall for file /proc/11250/cmdline
open syscall for file /proc/11250/environ
open syscall for file /proc/11251/stat
open syscall for file /proc/11251/status
open syscall for file /proc/11251/cmdline
open syscall for file /proc/11251/environ
One traced child (pid=11250) exited with status: 0
One traced child (pid=11251) exited with status: 0
New process pid=11252
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=11248) exited with status: 3
One traced child (pid=11252) exited with status: 0
New process pid=11253
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=11253) exited with status: 0
New process pid=11254
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=11254) exited with status: 0
New process pid=11255
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=11255) exited with status: 0
One traced child (pid=11245) 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): 1240.72
CPU time (s): 1206.04
CPU user time (s): 1187.39
CPU system time (s): 18.6492
CPU usage (%): 97.2048
Max. virtual memory (cumulated for all children) (Kb): 12804