1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 586; #end-nodes: 317;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 317 / 642 (80)
#axs: 13298, #non-axs: 260
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: 886 (785:>=*);
#decisions: 220867; #end-nodes: 155212;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 247 (247)
#axs: 14135, #non-axs: 1138
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:) 886 (785:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 172 (#equs: 837)
Time taken: 5 min, 30 sec
2:
seed: 0
Nr of vars set: 172 (#equs: 0)
Nr of vars set: 172 (#equs: 42)
#decisions: 234071; #end-nodes: 167864;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 311 (311)
#axs: 4475, #non-axs: 789
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 175 (#equs: 227)
Time taken: 4 min, 18 sec
3:
seed: 0
Nr of vars set: 175 (#equs: 0)
Nr of vars set: 175 (#equs: 5)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176 (#equs: 28)
Time taken: 10 min, 16 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) R 8408 8409 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784735285 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8409/statm): 174 3 169 147 0 27 0
[pid=8409] 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=8410
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=8410) exited with status: 0
New process pid=8411
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=8411) exited with status: 0
New process pid=8412
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/wulflinc5/normalized-ii16d2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 458 0 0 0 824 59 0 0 24 0 1 0 1784735294 3309568 428 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 808 428 413 48 0 760 0
[pid=8412] vsize: 3232
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (Kb) 5360
[startup+20.0053 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 749 0 0 0 1675 110 0 0 25 0 1 0 1784735294 5713920 719 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1395 719 413 48 0 1347 0
[pid=8412] vsize: 5580
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (Kb) 7708
[startup+30.006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1137 0 0 0 2641 122 0 0 25 0 1 0 1784735294 5849088 1107 4294967295 134512640 134702520 3221223968 3221223248 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1428 1107 413 48 0 1380 0
[pid=8412] vsize: 5712
Current children cumulated CPU time (s) 27.64
Current children cumulated vsize (Kb) 7840
[startup+40.0068 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1191 0 0 0 3596 139 0 0 25 0 1 0 1784735294 6303744 1161 4294967295 134512640 134702520 3221223968 3221222864 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1539 1161 413 48 0 1491 0
[pid=8412] vsize: 6156
Current children cumulated CPU time (s) 37.36
Current children cumulated vsize (Kb) 8284
[startup+50.0085 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1215 0 0 0 4557 152 0 0 25 0 1 0 1784735294 6303744 1185 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1539 1185 413 48 0 1491 0
[pid=8412] vsize: 6156
Current children cumulated CPU time (s) 47.1
Current children cumulated vsize (Kb) 8284
[startup+60.0093 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1246 0 0 0 5506 171 0 0 25 0 1 0 1784735294 6438912 1216 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1572 1216 413 48 0 1524 0
[pid=8412] vsize: 6288
Current children cumulated CPU time (s) 56.78
Current children cumulated vsize (Kb) 8416
[startup+70.011 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1261 0 0 0 6456 188 0 0 18 0 1 0 1784735294 6438912 1231 4294967295 134512640 134702520 3221223968 3221223088 134578907 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1572 1231 413 48 0 1524 0
[pid=8412] vsize: 6288
Current children cumulated CPU time (s) 66.45
Current children cumulated vsize (Kb) 8416
[startup+80.0128 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1281 0 0 0 7399 207 0 0 25 0 1 0 1784735294 6594560 1251 4294967295 134512640 134702520 3221223968 3221222984 134557386 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1251 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 76.07
Current children cumulated vsize (Kb) 8568
[startup+90.0135 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1288 0 0 0 8354 223 0 0 25 0 1 0 1784735294 6594560 1258 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1258 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 85.78
Current children cumulated vsize (Kb) 8568
[startup+100.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1288 0 0 0 9318 235 0 0 25 0 1 0 1784735294 6594560 1258 4294967295 134512640 134702520 3221223968 3221222864 134553400 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1258 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 95.54
Current children cumulated vsize (Kb) 8568
[startup+110.015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1291 0 0 0 10257 257 0 0 25 0 1 0 1784735294 6594560 1261 4294967295 134512640 134702520 3221223968 3221223088 134579067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1261 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 105.15
Current children cumulated vsize (Kb) 8568
[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1297 0 0 0 11190 282 0 0 25 0 1 0 1784735294 6594560 1267 4294967295 134512640 134702520 3221223968 3221223088 134579031 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1267 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 114.73
Current children cumulated vsize (Kb) 8568
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1299 0 0 0 12129 302 0 0 25 0 1 0 1784735294 6594560 1269 4294967295 134512640 134702520 3221223968 3221222864 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1269 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 124.32
Current children cumulated vsize (Kb) 8568
[startup+140.018 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1299 0 0 0 13094 314 0 0 25 0 1 0 1784735294 6594560 1269 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1269 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 134.09
Current children cumulated vsize (Kb) 8568
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1300 0 0 0 14034 334 0 0 25 0 1 0 1784735294 6594560 1270 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1270 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 143.69
Current children cumulated vsize (Kb) 8568
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1302 0 0 0 14970 354 0 0 25 0 1 0 1784735294 6594560 1272 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1272 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 153.25
Current children cumulated vsize (Kb) 8568
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1304 0 0 0 15907 376 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 162.84
Current children cumulated vsize (Kb) 8568
[startup+180.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1304 0 0 0 16882 384 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 172.67
Current children cumulated vsize (Kb) 8568
[startup+190.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1304 0 0 0 17834 403 0 0 25 0 1 0 1784735294 6594560 1274 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1610 1274 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 182.38
Current children cumulated vsize (Kb) 8568
[startup+200.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1306 0 0 0 18776 422 0 0 25 0 1 0 1784735294 6594560 1276 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1610 1276 413 48 0 1562 0
[pid=8412] vsize: 6440
Current children cumulated CPU time (s) 191.99
Current children cumulated vsize (Kb) 8568
[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1310 0 0 0 19736 436 0 0 25 0 1 0 1784735294 6721536 1280 4294967295 134512640 134702520 3221223968 3221222864 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1280 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 201.73
Current children cumulated vsize (Kb) 8692
[startup+220.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1310 0 0 0 20720 441 0 0 25 0 1 0 1784735294 6721536 1280 4294967295 134512640 134702520 3221223968 3221222864 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1280 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 211.62
Current children cumulated vsize (Kb) 8692
[startup+230.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1312 0 0 0 21665 460 0 0 25 0 1 0 1784735294 6721536 1282 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1282 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 221.26
Current children cumulated vsize (Kb) 8692
[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1313 0 0 0 22607 483 0 0 25 0 1 0 1784735294 6721536 1283 4294967295 134512640 134702520 3221223968 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1283 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 230.91
Current children cumulated vsize (Kb) 8692
[startup+250.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1314 0 0 0 23570 496 0 0 25 0 1 0 1784735294 6721536 1284 4294967295 134512640 134702520 3221223968 3221222864 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1284 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 240.67
Current children cumulated vsize (Kb) 8692
[startup+260.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1315 0 0 0 24557 501 0 0 25 0 1 0 1784735294 6721536 1285 4294967295 134512640 134702520 3221223968 3221223248 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1285 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 250.59
Current children cumulated vsize (Kb) 8692
[startup+270.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1316 0 0 0 25492 522 0 0 25 0 1 0 1784735294 6721536 1286 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1286 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 260.15
Current children cumulated vsize (Kb) 8692
[startup+280.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1318 0 0 0 26434 540 0 0 25 0 1 0 1784735294 6721536 1288 4294967295 134512640 134702520 3221223968 3221222992 134552741 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1288 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 269.75
Current children cumulated vsize (Kb) 8692
[startup+290.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1319 0 0 0 27401 551 0 0 25 0 1 0 1784735294 6721536 1289 4294967295 134512640 134702520 3221223968 3221222864 134552284 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1289 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (Kb) 8692
[startup+300.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1319 0 0 0 28387 556 0 0 25 0 1 0 1784735294 6721536 1289 4294967295 134512640 134702520 3221223968 3221222864 134556651 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1289 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 289.44
Current children cumulated vsize (Kb) 8692
[startup+310.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) T 8409 8409 824 0 -1 0 1321 0 0 0 29331 576 0 0 25 0 1 0 1784735294 6721536 1291 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1291 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 299.08
Current children cumulated vsize (Kb) 8692
[startup+320.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1323 0 0 0 30271 597 0 0 25 0 1 0 1784735294 6721536 1293 4294967295 134512640 134702520 3221223968 3221223248 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8412/statm): 1641 1293 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 308.69
Current children cumulated vsize (Kb) 8692
[startup+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1324 0 0 0 31228 614 0 0 25 0 1 0 1784735294 6721536 1294 4294967295 134512640 134702520 3221223968 3221222864 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1294 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 318.43
Current children cumulated vsize (Kb) 8692
[startup+340.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8412
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1784735285 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 242 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8412/stat): 8412 (vallst) R 8409 8409 824 0 -1 0 1324 0 0 0 32214 618 0 0 25 0 1 0 1784735294 6721536 1294 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8412/statm): 1641 1294 413 48 0 1593 0
[pid=8412] vsize: 6564
Current children cumulated CPU time (s) 328.33
Current children cumulated vsize (Kb) 8692
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8412) exited with status: 2
New process pid=8413
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8413) exited with status: 0
New process pid=8414
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+350.039 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 329 0 0 0 723 17 0 0 25 0 1 0 1784769516 3117056 300 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 761 300 413 48 0 713 0
[pid=8414] vsize: 3044
Current children cumulated CPU time (s) 337.93
Current children cumulated vsize (Kb) 5172
[startup+360.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 481 0 0 0 1637 47 0 0 24 0 1 0 1784769516 5369856 452 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1311 452 413 48 0 1263 0
[pid=8414] vsize: 5244
Current children cumulated CPU time (s) 347.37
Current children cumulated vsize (Kb) 7372
[startup+370.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 525 0 0 0 2538 80 0 0 24 0 1 0 1784769516 5505024 496 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1344 496 413 48 0 1296 0
[pid=8414] vsize: 5376
Current children cumulated CPU time (s) 356.71
Current children cumulated vsize (Kb) 7504
[startup+380.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 538 0 0 0 3458 106 0 0 25 0 1 0 1784769516 5533696 509 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 509 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 366.17
Current children cumulated vsize (Kb) 7532
[startup+390.042 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 538 0 0 0 4377 132 0 0 24 0 1 0 1784769516 5533696 509 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 509 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 375.62
Current children cumulated vsize (Kb) 7532
[startup+400.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 566 0 0 0 5281 167 0 0 25 0 1 0 1784769516 5533696 537 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1351 537 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 385.01
Current children cumulated vsize (Kb) 7532
[startup+410.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 569 0 0 0 6194 197 0 0 25 0 1 0 1784769516 5533696 540 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 540 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 394.44
Current children cumulated vsize (Kb) 7532
[startup+420.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 569 0 0 0 7120 224 0 0 25 0 1 0 1784769516 5533696 540 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1351 540 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 403.97
Current children cumulated vsize (Kb) 7532
[startup+430.045 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 605 0 0 0 8010 264 0 0 25 0 1 0 1784769516 5533696 576 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 576 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 413.27
Current children cumulated vsize (Kb) 7532
[startup+440.045 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 607 0 0 0 8922 296 0 0 25 0 1 0 1784769516 5533696 578 4294967295 134512640 134702520 3221223712 3221222608 134553091 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 578 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 422.71
Current children cumulated vsize (Kb) 7532
[startup+450.046 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 607 0 0 0 9852 321 0 0 25 0 1 0 1784769516 5533696 578 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1351 578 413 48 0 1303 0
[pid=8414] vsize: 5404
Current children cumulated CPU time (s) 432.26
Current children cumulated vsize (Kb) 7532
[startup+460.047 s]
Raw data (loadavg): 1.12 1.02 1.01 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 616 0 0 0 10750 355 0 0 25 0 1 0 1784769516 5660672 587 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 587 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 441.58
Current children cumulated vsize (Kb) 7656
[startup+470.048 s]
Raw data (loadavg): 1.10 1.02 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 634 0 0 0 11650 389 0 0 25 0 1 0 1784769516 5660672 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 605 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 450.92
Current children cumulated vsize (Kb) 7656
[startup+480.048 s]
Raw data (loadavg): 1.08 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 634 0 0 0 12581 416 0 0 25 0 1 0 1784769516 5660672 605 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 605 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 460.5
Current children cumulated vsize (Kb) 7656
[startup+490.049 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 649 0 0 0 13483 450 0 0 24 0 1 0 1784769516 5660672 620 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 620 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 7656
[startup+500.051 s]
Raw data (loadavg): 1.06 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 674 0 0 0 14374 489 0 0 25 0 1 0 1784769516 5660672 645 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 645 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 479.16
Current children cumulated vsize (Kb) 7656
[startup+510.052 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 674 0 0 0 15307 513 0 0 25 0 1 0 1784769516 5660672 645 4294967295 134512640 134702520 3221223712 3221222608 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 645 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 488.73
Current children cumulated vsize (Kb) 7656
[startup+520.052 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 679 0 0 0 16207 548 0 0 24 0 1 0 1784769516 5660672 650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 650 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 498.08
Current children cumulated vsize (Kb) 7656
[startup+530.054 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 959 0 0 0 17102 584 0 0 25 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221222608 134552138 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 507.39
Current children cumulated vsize (Kb) 7656
[startup+540.055 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 959 0 0 0 18021 609 0 0 25 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 516.83
Current children cumulated vsize (Kb) 7656
[startup+550.057 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 959 0 0 0 18938 639 0 0 19 0 1 0 1784769516 5660672 930 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1382 930 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 526.3
Current children cumulated vsize (Kb) 7656
[startup+560.057 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 966 0 0 0 19830 675 0 0 25 0 1 0 1784769516 5660672 937 4294967295 134512640 134702520 3221223712 3221222608 134553460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 937 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 535.58
Current children cumulated vsize (Kb) 7656
[startup+570.058 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 968 0 0 0 20736 711 0 0 25 0 1 0 1784769516 5660672 939 4294967295 134512640 134702520 3221223712 3221222608 134553011 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 939 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 545
Current children cumulated vsize (Kb) 7656
[startup+580.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 968 0 0 0 21670 733 0 0 25 0 1 0 1784769516 5660672 939 4294967295 134512640 134702520 3221223712 3221222608 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1382 939 413 48 0 1334 0
[pid=8414] vsize: 5528
Current children cumulated CPU time (s) 554.56
Current children cumulated vsize (Kb) 7656
[startup+590.06 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 973 0 0 0 22561 771 0 0 24 0 1 0 1784769516 5783552 944 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1412 944 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 563.85
Current children cumulated vsize (Kb) 7776
[startup+600.061 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) T 8409 8409 824 0 -1 0 980 0 0 0 23450 811 0 0 24 0 1 0 1784769516 5783552 951 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8414/statm): 1412 951 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 573.14
Current children cumulated vsize (Kb) 7776
[startup+610.062 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 8414
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 378 1699 0 0 1 1 32429 622 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8414/stat): 8414 (vallst) R 8409 8409 824 0 -1 0 982 0 0 0 24373 836 0 0 25 0 1 0 1784769516 5783552 953 4294967295 134512640 134702520 3221223712 3221222608 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8414/statm): 1412 953 413 48 0 1364 0
[pid=8414] vsize: 5648
Current children cumulated CPU time (s) 582.62
Current children cumulated vsize (Kb) 7776
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8414) exited with status: 2
New process pid=8415
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=8415) exited with status: 0
New process pid=8416
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+620.062 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 320 0 0 0 247 8 0 0 25 0 1 0 1784797023 2588672 292 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 632 292 413 48 0 584 0
[pid=8416] vsize: 2528
Current children cumulated CPU time (s) 592.04
Current children cumulated vsize (Kb) 4656
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 320 0 0 0 1130 50 0 0 25 0 1 0 1784797023 2588672 292 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 632 292 413 48 0 584 0
[pid=8416] vsize: 2528
Current children cumulated CPU time (s) 601.29
Current children cumulated vsize (Kb) 4656
[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 488 0 0 0 2010 91 0 0 23 0 1 0 1784797023 3682304 460 4294967295 134512640 134702520 3221223712 3221222992 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 899 460 413 48 0 851 0
[pid=8416] vsize: 3596
Current children cumulated CPU time (s) 610.5
Current children cumulated vsize (Kb) 5724
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 501 0 0 0 2884 132 0 0 25 0 1 0 1784797023 3813376 473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 473 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 619.65
Current children cumulated vsize (Kb) 5852
[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 501 0 0 0 3764 173 0 0 25 0 1 0 1784797023 3813376 473 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 473 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 628.86
Current children cumulated vsize (Kb) 5852
[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 505 0 0 0 4657 210 0 0 25 0 1 0 1784797023 3813376 477 4294967295 134512640 134702520 3221223712 3221222608 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 931 477 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 638.16
Current children cumulated vsize (Kb) 5852
[startup+680.066 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 639 0 0 0 5521 253 0 0 25 0 1 0 1784797023 3813376 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 611 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (Kb) 5852
[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 639 0 0 0 6402 294 0 0 25 0 1 0 1784797023 3813376 611 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 931 611 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 656.45
Current children cumulated vsize (Kb) 5852
[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 643 0 0 0 7293 330 0 0 21 0 1 0 1784797023 3813376 615 4294967295 134512640 134702520 3221223712 3221222608 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 931 615 413 48 0 883 0
[pid=8416] vsize: 3724
Current children cumulated CPU time (s) 665.72
Current children cumulated vsize (Kb) 5852
[startup+710.069 s]
Raw data (loadavg): 1.08 1.02 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 648 0 0 0 8168 370 0 0 23 0 1 0 1784797023 3936256 620 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 620 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 674.87
Current children cumulated vsize (Kb) 5972
[startup+720.07 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 648 0 0 0 9050 411 0 0 25 0 1 0 1784797023 3936256 620 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 620 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 684.1
Current children cumulated vsize (Kb) 5972
[startup+730.071 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 650 0 0 0 9945 448 0 0 25 0 1 0 1784797023 3936256 622 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 622 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 693.42
Current children cumulated vsize (Kb) 5972
[startup+740.072 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 653 0 0 0 10803 497 0 0 25 0 1 0 1784797023 3936256 625 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 625 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 702.49
Current children cumulated vsize (Kb) 5972
[startup+750.073 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 654 0 0 0 11685 537 0 0 25 0 1 0 1784797023 3936256 626 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 626 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 711.71
Current children cumulated vsize (Kb) 5972
[startup+760.074 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 656 0 0 0 12579 572 0 0 23 0 1 0 1784797023 3936256 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 628 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 721
Current children cumulated vsize (Kb) 5972
[startup+770.075 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 659 0 0 0 13449 616 0 0 25 0 1 0 1784797023 3936256 631 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 631 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 730.14
Current children cumulated vsize (Kb) 5972
[startup+780.076 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 661 0 0 0 14318 663 0 0 25 0 1 0 1784797023 3936256 633 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 633 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 739.3
Current children cumulated vsize (Kb) 5972
[startup+790.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 662 0 0 0 15213 698 0 0 25 0 1 0 1784797023 3936256 634 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 634 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 748.6
Current children cumulated vsize (Kb) 5972
[startup+800.077 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 667 0 0 0 16091 738 0 0 25 0 1 0 1784797023 3936256 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 639 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 757.78
Current children cumulated vsize (Kb) 5972
[startup+810.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 672 0 0 0 16950 784 0 0 25 0 1 0 1784797023 3936256 644 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 961 644 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 766.83
Current children cumulated vsize (Kb) 5972
[startup+820.079 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 672 0 0 0 17833 825 0 0 25 0 1 0 1784797023 3936256 644 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 644 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 776.07
Current children cumulated vsize (Kb) 5972
[startup+830.079 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 675 0 0 0 18719 865 0 0 25 0 1 0 1784797023 3936256 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 961 647 413 48 0 913 0
[pid=8416] vsize: 3844
Current children cumulated CPU time (s) 785.33
Current children cumulated vsize (Kb) 5972
[startup+840.08 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 679 0 0 0 19581 911 0 0 23 0 1 0 1784797023 4063232 651 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 651 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 794.41
Current children cumulated vsize (Kb) 6096
[startup+850.082 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 681 0 0 0 20459 956 0 0 25 0 1 0 1784797023 4063232 653 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 653 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 803.64
Current children cumulated vsize (Kb) 6096
[startup+860.083 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 682 0 0 0 21355 994 0 0 25 0 1 0 1784797023 4063232 654 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 654 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 812.98
Current children cumulated vsize (Kb) 6096
[startup+870.083 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 687 0 0 0 22223 1041 0 0 25 0 1 0 1784797023 4063232 659 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 659 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (Kb) 6096
[startup+880.084 s]
Raw data (loadavg): 1.09 1.03 1.01 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 692 0 0 0 23083 1088 0 0 25 0 1 0 1784797023 4063232 664 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 664 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 831.2
Current children cumulated vsize (Kb) 6096
[startup+890.085 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 693 0 0 0 23969 1128 0 0 25 0 1 0 1784797023 4063232 665 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 665 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 840.46
Current children cumulated vsize (Kb) 6096
[startup+900.086 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 696 0 0 0 24838 1174 0 0 25 0 1 0 1784797023 4063232 668 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 668 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 849.61
Current children cumulated vsize (Kb) 6096
[startup+910.087 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 700 0 0 0 25700 1220 0 0 25 0 1 0 1784797023 4063232 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 672 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 858.69
Current children cumulated vsize (Kb) 6096
[startup+920.087 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 700 0 0 0 26582 1262 0 0 25 0 1 0 1784797023 4063232 672 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 672 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 867.93
Current children cumulated vsize (Kb) 6096
[startup+930.088 s]
Raw data (loadavg): 1.07 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 702 0 0 0 27462 1303 0 0 22 0 1 0 1784797023 4063232 674 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 992 674 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 877.14
Current children cumulated vsize (Kb) 6096
[startup+940.088 s]
Raw data (loadavg): 1.06 1.04 1.01 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 707 0 0 0 28319 1353 0 0 20 0 1 0 1784797023 4063232 679 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 679 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 886.21
Current children cumulated vsize (Kb) 6096
[startup+950.09 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 707 0 0 0 29191 1398 0 0 25 0 1 0 1784797023 4063232 679 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 992 679 413 48 0 944 0
[pid=8416] vsize: 3968
Current children cumulated CPU time (s) 895.38
Current children cumulated vsize (Kb) 6096
[startup+960.091 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 708 0 0 0 30088 1433 0 0 25 0 1 0 1784797023 4198400 680 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1025 680 413 48 0 977 0
[pid=8416] vsize: 4100
Current children cumulated CPU time (s) 904.7
Current children cumulated vsize (Kb) 6228
[startup+970.092 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 712 0 0 0 30947 1483 0 0 24 0 1 0 1784797023 4182016 684 4294967295 134512640 134702520 3221223712 3221222608 134553064 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 684 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 913.79
Current children cumulated vsize (Kb) 6212
[startup+980.092 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 717 0 0 0 31801 1533 0 0 25 0 1 0 1784797023 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 689 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 922.83
Current children cumulated vsize (Kb) 6212
[startup+990.093 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 717 0 0 0 32691 1573 0 0 25 0 1 0 1784797023 4182016 689 4294967295 134512640 134702520 3221223712 3221222608 134553895 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 689 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 932.13
Current children cumulated vsize (Kb) 6212
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 718 0 0 0 33570 1617 0 0 22 0 1 0 1784797023 4182016 690 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 690 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 941.36
Current children cumulated vsize (Kb) 6212
[startup+1010.09 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 721 0 0 0 34424 1665 0 0 24 0 1 0 1784797023 4182016 693 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 693 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 950.38
Current children cumulated vsize (Kb) 6212
[startup+1020.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 722 0 0 0 35284 1712 0 0 25 0 1 0 1784797023 4182016 694 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 694 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 959.45
Current children cumulated vsize (Kb) 6212
[startup+1030.1 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 723 0 0 0 36177 1748 0 0 25 0 1 0 1784797023 4182016 695 4294967295 134512640 134702520 3221223712 3221222480 134552242 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 695 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 968.74
Current children cumulated vsize (Kb) 6212
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 723 0 0 0 37042 1793 0 0 22 0 1 0 1784797023 4182016 695 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 695 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 977.84
Current children cumulated vsize (Kb) 6212
[startup+1050.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 725 0 0 0 37904 1844 0 0 22 0 1 0 1784797023 4182016 697 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 697 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 986.97
Current children cumulated vsize (Kb) 6212
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 726 0 0 0 38778 1887 0 0 25 0 1 0 1784797023 4182016 698 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 698 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 996.14
Current children cumulated vsize (Kb) 6212
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 728 0 0 0 39654 1929 0 0 23 0 1 0 1784797023 4182016 700 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 700 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1005.32
Current children cumulated vsize (Kb) 6212
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 730 0 0 0 40515 1975 0 0 22 0 1 0 1784797023 4182016 702 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 702 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1014.39
Current children cumulated vsize (Kb) 6212
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 731 0 0 0 41371 2021 0 0 25 0 1 0 1784797023 4182016 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 703 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1023.41
Current children cumulated vsize (Kb) 6212
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 731 0 0 0 42258 2061 0 0 25 0 1 0 1784797023 4182016 703 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 703 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1032.68
Current children cumulated vsize (Kb) 6212
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 733 0 0 0 43128 2104 0 0 22 0 1 0 1784797023 4182016 705 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1021 705 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (Kb) 6212
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 734 0 0 0 43988 2151 0 0 24 0 1 0 1784797023 4182016 706 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1021 706 413 48 0 973 0
[pid=8416] vsize: 4084
Current children cumulated CPU time (s) 1050.88
Current children cumulated vsize (Kb) 6212
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 738 0 0 0 44847 2199 0 0 25 0 1 0 1784797023 4321280 710 4294967295 134512640 134702520 3221223712 3221222608 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1055 710 413 48 0 1007 0
[pid=8416] vsize: 4220
Current children cumulated CPU time (s) 1059.95
Current children cumulated vsize (Kb) 6348
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 738 0 0 0 45739 2234 0 0 25 0 1 0 1784797023 4321280 710 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1055 710 413 48 0 1007 0
[pid=8416] vsize: 4220
Current children cumulated CPU time (s) 1069.22
Current children cumulated vsize (Kb) 6348
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 742 0 0 0 46611 2279 0 0 22 0 1 0 1784797023 4308992 714 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 714 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1078.39
Current children cumulated vsize (Kb) 6336
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 745 0 0 0 47457 2332 0 0 25 0 1 0 1784797023 4308992 717 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 717 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1087.38
Current children cumulated vsize (Kb) 6336
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 746 0 0 0 48325 2379 0 0 25 0 1 0 1784797023 4308992 718 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 718 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1096.53
Current children cumulated vsize (Kb) 6336
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 747 0 0 0 49224 2412 0 0 25 0 1 0 1784797023 4308992 719 4294967295 134512640 134702520 3221223712 3221222480 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1052 719 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1105.85
Current children cumulated vsize (Kb) 6336
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 748 0 0 0 50061 2468 0 0 22 0 1 0 1784797023 4308992 720 4294967295 134512640 134702520 3221223712 3221064108 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 720 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1114.78
Current children cumulated vsize (Kb) 6336
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) R 8409 8409 824 0 -1 0 752 0 0 0 50918 2516 0 0 24 0 1 0 1784797023 4308992 724 4294967295 134512640 134702520 3221223712 3221222992 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1052 724 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (Kb) 6336
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 753 0 0 0 51790 2561 0 0 25 0 1 0 1784797023 4308992 725 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 725 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1133
Current children cumulated vsize (Kb) 6336
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 754 0 0 0 52680 2598 0 0 22 0 1 0 1784797023 4308992 726 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 726 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1142.27
Current children cumulated vsize (Kb) 6336
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 757 0 0 0 53535 2648 0 0 25 0 1 0 1784797023 4308992 729 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 729 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1151.32
Current children cumulated vsize (Kb) 6336
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 762 0 0 0 54376 2701 0 0 22 0 1 0 1784797023 4308992 734 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 734 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1160.26
Current children cumulated vsize (Kb) 6336
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 764 0 0 0 55256 2746 0 0 25 0 1 0 1784797023 4308992 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 736 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1169.51
Current children cumulated vsize (Kb) 6336
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 765 0 0 0 56135 2789 0 0 24 0 1 0 1784797023 4308992 737 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 737 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1178.73
Current children cumulated vsize (Kb) 6336
[startup+1270.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 768 0 0 0 56984 2843 0 0 23 0 1 0 1784797023 4308992 740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1052 740 413 48 0 1004 0
[pid=8416] vsize: 4208
Current children cumulated CPU time (s) 1187.76
Current children cumulated vsize (Kb) 6336
[startup+1280.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 57823 2899 0 0 24 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1196.71
Current children cumulated vsize (Kb) 6456
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 58707 2940 0 0 25 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1205.96
Current children cumulated vsize (Kb) 6456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1290.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 8416
Raw data (/proc/8409/stat): 8409 (vallstSAT2005PB) S 8408 8409 824 0 -1 0 417 2825 0 0 1 1 57467 1480 19 0 1 0 1784735285 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/8409/statm): 532 248 485 147 0 385 0
[pid=8409] vsize: 2128
Raw data (/proc/8416/stat): 8416 (vallst) T 8409 8409 824 0 -1 0 771 0 0 0 58707 2940 0 0 25 0 1 0 1784797023 4431872 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/8416/statm): 1082 743 413 48 0 1034 0
[pid=8416] vsize: 4328
Current children cumulated CPU time (s) 1205.96
Current children cumulated vsize (Kb) 6456
Sending SIGTERM to -8409
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=8418
New process pid=8419
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/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
One traced child (pid=8416) exited with status: 3
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/8372/stat
open syscall for file /proc/8372/status
open syscall for file /proc/8372/cmdline
open syscall for file /proc/8372/environ
open syscall for file /proc/8408/stat
open syscall for file /proc/8408/status
open syscall for file /proc/8408/cmdline
open syscall for file /proc/8408/environ
open syscall for file /proc/8409/stat
open syscall for file /proc/8409/status
open syscall for file /proc/8409/cmdline
open syscall for file /proc/8409/environ
open syscall for file /proc/8418/stat
open syscall for file /proc/8418/status
open syscall for file /proc/8418/cmdline
open syscall for file /proc/8418/environ
open syscall for file /proc/8419/stat
open syscall for file /proc/8419/status
open syscall for file /proc/8419/cmdline
open syscall for file /proc/8419/environ
One traced child (pid=8418) exited with status: 0
One traced child (pid=8419) exited with status: 0
New process pid=8420
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=8420) exited with status: 0
New process pid=8421
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=8421) exited with status: 0
One traced child (pid=8409) 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): 1290.61
CPU time (s): 1206.14
CPU user time (s): 1161.84
CPU system time (s): 44.2973
CPU usage (%): 93.4548
Max. virtual memory (cumulated for all children) (Kb): 8692