1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 1460; #end-nodes: 941;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 861 / 1274 (80)
#axs: 7494, #non-axs: 448
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: 396 (377:>=*);
#decisions: 1107; #end-nodes: 697;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 617 / 1055 (80)
#axs: 7494, #non-axs: 650
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: 397 (376:>=*);
#decisions: 3800; #end-nodes: 2378;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 2 / 80 (80)
#axs: 7494, #non-axs: 1360
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: 398 (375:>=*);
#decisions: 71; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 7494, #non-axs: 1360
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: 402 (371:>=*);
#decisions: 35; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 7494, #non-axs: 1360
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: 403 (370:>=*);
#decisions: 2732; #end-nodes: 1399;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 425 / 736 (81)
#axs: 7494, #non-axs: 1547
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: 405 (368:>=*);
#decisions: 43; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 7494, #non-axs: 1547
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: 406 (367:>=*);
#decisions: 42; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 7494, #non-axs: 1547
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: 407 (366:>=*);
#decisions: 14632; #end-nodes: 9319;
#proof improvement attempts: 0; #restarts: 11
Current batch, end-nodes: 491 / 744 (82)
#axs: 7494, #non-axs: 3349
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: 408 (365:>=*);
#decisions: 437978; #end-nodes: 241327;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 1406 (271)
#axs: 7549, #non-axs: 1010
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:) 408 (365:>=*)
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: 228 (#equs: 55)
Time taken: 5 min, 27 sec
2:
seed: 0
Nr of vars set: 228 (#equs: 0)
Nr of vars set: 228 (#equs: 9)
#decisions: 7692; #end-nodes: 4151;
#proof improvement attempts: 0; #restarts: 24
Current batch, end-nodes: 3 / 136 (126)
#axs: 3308, #non-axs: 1070
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: 263 (218:>=*);
#decisions: 404155; #end-nodes: 200119;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 294 (287)
#axs: 3359, #non-axs: 2277
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:) 263 (218:>=*)
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: 228 (#equs: 61)
Time taken: 4 min, 9 sec
3:
seed: 0
Nr of vars set: 228 (#equs: 0)
Nr of vars set: 228 (#equs: 0)
Interupt request received.
#decisions: 1659397; #end-nodes: 840948;
#proof improvement attempts: 0; #restarts: 1526
Current batch, end-nodes: 2117 / 2213 (541)
#axs: 3273, #non-axs: 4129
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: 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: 614 (#equs: 6)
Time taken: 10 min, 26 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/5264/stat): 5264 (vallstSAT2005PB) R 5263 5264 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784837176 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5264/statm): 174 3 169 147 0 27 0
[pid=5264] 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=5265
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=5265) exited with status: 0
New process pid=5266
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=5266) exited with status: 0
New process pid=5267
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/wulflinc13/normalized-ii32e4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0034 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 350 0 0 0 756 77 0 0 19 0 1 0 1784837185 2830336 320 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 691 320 413 48 0 643 0
[pid=5267] vsize: 2764
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (Kb) 4892
[startup+20.0041 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 440 0 0 0 1596 132 0 0 17 0 1 0 1784837185 4661248 410 4294967295 134512640 134702520 3221223968 3221223248 134554270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1138 410 413 48 0 1090 0
[pid=5267] vsize: 4552
Current children cumulated CPU time (s) 17.29
Current children cumulated vsize (Kb) 6680
[startup+30.0057 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 928 0 0 0 2504 164 0 0 25 0 1 0 1784837185 5033984 898 4294967295 134512640 134702520 3221223968 3221223248 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1229 898 413 48 0 1181 0
[pid=5267] vsize: 4916
Current children cumulated CPU time (s) 26.69
Current children cumulated vsize (Kb) 7044
[startup+40.0064 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 972 0 0 0 3400 199 0 0 23 0 1 0 1784837185 5173248 942 4294967295 134512640 134702520 3221223968 3221223088 134584452 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1263 942 413 48 0 1215 0
[pid=5267] vsize: 5052
Current children cumulated CPU time (s) 36
Current children cumulated vsize (Kb) 7180
[startup+50.007 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 995 0 0 0 4293 236 0 0 25 0 1 0 1784837185 5308416 965 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1296 965 413 48 0 1248 0
[pid=5267] vsize: 5184
Current children cumulated CPU time (s) 45.3
Current children cumulated vsize (Kb) 7312
[startup+60.0087 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1010 0 0 0 5194 271 0 0 25 0 1 0 1784837185 5312512 980 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222298933 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1297 980 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 54.66
Current children cumulated vsize (Kb) 7316
[startup+70.0093 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1015 0 0 0 6112 302 0 0 17 0 1 0 1784837185 5312512 985 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1297 985 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 64.15
Current children cumulated vsize (Kb) 7316
[startup+80.011 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1015 0 0 0 7029 329 0 0 25 0 1 0 1784837185 5312512 985 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1297 985 413 48 0 1249 0
[pid=5267] vsize: 5188
Current children cumulated CPU time (s) 73.59
Current children cumulated vsize (Kb) 7316
[startup+90.0116 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1024 0 0 0 7923 364 0 0 19 0 1 0 1784837185 5455872 994 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 994 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 82.88
Current children cumulated vsize (Kb) 7456
[startup+100.012 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1032 0 0 0 8805 403 0 0 20 0 1 0 1784837185 5455872 1002 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 1002 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 92.09
Current children cumulated vsize (Kb) 7456
[startup+110.013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1033 0 0 0 9736 428 0 0 25 0 1 0 1784837185 5455872 1003 4294967295 134512640 134702520 3221223968 3221223168 134617763 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1332 1003 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (Kb) 7456
[startup+120.014 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1033 0 0 0 10676 449 0 0 18 0 1 0 1784837185 5455872 1003 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1332 1003 413 48 0 1284 0
[pid=5267] vsize: 5328
Current children cumulated CPU time (s) 111.26
Current children cumulated vsize (Kb) 7456
[startup+130.015 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1041 0 0 0 11571 486 0 0 25 0 1 0 1784837185 5464064 1011 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1334 1011 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 120.58
Current children cumulated vsize (Kb) 7464
[startup+140.016 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1043 0 0 0 12472 521 0 0 25 0 1 0 1784837185 5464064 1013 4294967295 134512640 134702520 3221223968 3221222864 134553387 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1013 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 7464
[startup+150.017 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1043 0 0 0 13423 538 0 0 25 0 1 0 1784837185 5464064 1013 4294967295 134512640 134702520 3221223968 3221222864 134552573 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1013 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 139.62
Current children cumulated vsize (Kb) 7464
[startup+160.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1045 0 0 0 14328 571 0 0 22 0 1 0 1784837185 5464064 1015 4294967295 134512640 134702520 3221223968 3221223088 134584489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1334 1015 413 48 0 1286 0
[pid=5267] vsize: 5336
Current children cumulated CPU time (s) 149
Current children cumulated vsize (Kb) 7464
[startup+170.019 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1054 0 0 0 15222 609 0 0 25 0 1 0 1784837185 5599232 1024 4294967295 134512640 134702520 3221223968 3221222864 134552246 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1367 1024 413 48 0 1319 0
[pid=5267] vsize: 5468
Current children cumulated CPU time (s) 158.32
Current children cumulated vsize (Kb) 7596
[startup+180.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1056 0 0 0 16125 641 0 0 25 0 1 0 1784837185 5595136 1026 4294967295 134512640 134702520 3221223968 3221222864 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1026 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 167.67
Current children cumulated vsize (Kb) 7592
[startup+190.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1056 0 0 0 17077 658 0 0 25 0 1 0 1784837185 5595136 1026 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1026 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 177.36
Current children cumulated vsize (Kb) 7592
[startup+200.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1059 0 0 0 17978 693 0 0 21 0 1 0 1784837185 5595136 1029 4294967295 134512640 134702520 3221223968 3221222864 134554260 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1029 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 186.72
Current children cumulated vsize (Kb) 7592
[startup+210.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1062 0 0 0 18851 737 0 0 23 0 1 0 1784837185 5595136 1032 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1032 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 195.89
Current children cumulated vsize (Kb) 7592
[startup+220.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1064 0 0 0 19789 757 0 0 25 0 1 0 1784837185 5595136 1034 4294967295 134512640 134702520 3221223968 3221222864 134552741 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1034 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 205.47
Current children cumulated vsize (Kb) 7592
[startup+230.026 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1064 0 0 0 20756 769 0 0 25 0 1 0 1784837185 5595136 1034 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1034 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 215.26
Current children cumulated vsize (Kb) 7592
[startup+240.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1067 0 0 0 21629 812 0 0 25 0 1 0 1784837185 5595136 1037 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1037 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 224.42
Current children cumulated vsize (Kb) 7592
[startup+250.028 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1074 0 0 0 22508 850 0 0 20 0 1 0 1784837185 5595136 1044 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1044 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 233.59
Current children cumulated vsize (Kb) 7592
[startup+260.029 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1077 0 0 0 23463 864 0 0 25 0 1 0 1784837185 5595136 1047 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1047 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 243.28
Current children cumulated vsize (Kb) 7592
[startup+270.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1078 0 0 0 24400 886 0 0 24 0 1 0 1784837185 5595136 1048 4294967295 134512640 134702520 3221223968 3221222960 134564349 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1366 1048 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 252.87
Current children cumulated vsize (Kb) 7592
[startup+280.032 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1084 0 0 0 25287 926 0 0 25 0 1 0 1784837185 5595136 1054 4294967295 134512640 134702520 3221223968 3221222864 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1366 1054 413 48 0 1318 0
[pid=5267] vsize: 5464
Current children cumulated CPU time (s) 262.14
Current children cumulated vsize (Kb) 7592
[startup+290.033 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1087 0 0 0 26164 965 0 0 18 0 1 0 1784837185 5726208 1057 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1057 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 271.3
Current children cumulated vsize (Kb) 7720
[startup+300.033 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1087 0 0 0 27113 984 0 0 25 0 1 0 1784837185 5726208 1057 4294967295 134512640 134702520 3221223968 3221222852 134557400 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1057 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 280.98
Current children cumulated vsize (Kb) 7720
[startup+310.035 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1088 0 0 0 28051 1005 0 0 25 0 1 0 1784837185 5726208 1058 4294967295 134512640 134702520 3221223968 3221222864 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1058 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 290.57
Current children cumulated vsize (Kb) 7720
[startup+320.036 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1093 0 0 0 28936 1043 0 0 25 0 1 0 1784837185 5726208 1063 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1398 1063 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 299.8
Current children cumulated vsize (Kb) 7720
[startup+330.037 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) R 5264 5264 1333 0 -1 0 1096 0 0 0 29821 1082 0 0 25 0 1 0 1784837185 5726208 1066 4294967295 134512640 134702520 3221223968 3221223248 134557259 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5267/statm): 1398 1066 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 309.04
Current children cumulated vsize (Kb) 7720
[startup+340.038 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 5267
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 330 232 0 0 1 0 0 0 21 0 1 0 1784837176 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 242 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5267/stat): 5267 (vallst) T 5264 5264 1333 0 -1 0 1098 0 0 0 30747 1106 0 0 25 0 1 0 1784837185 5726208 1068 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5267/statm): 1398 1068 413 48 0 1350 0
[pid=5267] vsize: 5592
Current children cumulated CPU time (s) 318.54
Current children cumulated vsize (Kb) 7720
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=5267) exited with status: 2
New process pid=5268
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=5268) exited with status: 0
New process pid=5269
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): 1.08 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 285 0 0 0 67 2 0 0 25 0 1 0 1784872111 2600960 256 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 635 256 413 48 0 587 0
[pid=5269] vsize: 2540
Current children cumulated CPU time (s) 328.32
Current children cumulated vsize (Kb) 4668
[startup+360.039 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 287 0 0 0 1023 16 0 0 25 0 1 0 1784872111 2600960 258 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 635 258 413 48 0 587 0
[pid=5269] vsize: 2540
Current children cumulated CPU time (s) 338.02
Current children cumulated vsize (Kb) 4668
[startup+370.04 s]
Raw data (loadavg): 1.13 1.04 1.01 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 701 0 0 0 1931 49 0 0 19 0 1 0 1784872111 4292608 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1048 672 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 347.43
Current children cumulated vsize (Kb) 6320
[startup+380.042 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 717 0 0 0 2815 90 0 0 25 0 1 0 1784872111 4292608 688 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1048 688 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 356.68
Current children cumulated vsize (Kb) 6320
[startup+390.042 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 3731 118 0 0 25 0 1 0 1784872111 4292608 694 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1048 694 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 366.12
Current children cumulated vsize (Kb) 6320
[startup+400.043 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 4694 132 0 0 25 0 1 0 1784872111 4292608 694 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1048 694 413 48 0 1000 0
[pid=5269] vsize: 4192
Current children cumulated CPU time (s) 375.89
Current children cumulated vsize (Kb) 6320
[startup+410.045 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 733 0 0 0 5555 178 0 0 22 0 1 0 1784872111 4427776 704 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 704 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 384.96
Current children cumulated vsize (Kb) 6452
[startup+420.045 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 745 0 0 0 6437 218 0 0 25 0 1 0 1784872111 4427776 716 4294967295 134512640 134702520 3221223712 3221222608 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 716 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 394.18
Current children cumulated vsize (Kb) 6452
[startup+430.047 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 745 0 0 0 7395 233 0 0 25 0 1 0 1784872111 4427776 716 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1081 716 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 403.91
Current children cumulated vsize (Kb) 6452
[startup+440.048 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 749 0 0 0 8283 271 0 0 18 0 1 0 1784872111 4427776 720 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1081 720 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 413.17
Current children cumulated vsize (Kb) 6452
[startup+450.048 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 759 0 0 0 9140 317 0 0 17 0 1 0 1784872111 4427776 730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1081 730 413 48 0 1033 0
[pid=5269] vsize: 4324
Current children cumulated CPU time (s) 422.2
Current children cumulated vsize (Kb) 6452
[startup+460.049 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 762 0 0 0 10091 334 0 0 25 0 1 0 1784872111 4562944 733 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 733 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 431.88
Current children cumulated vsize (Kb) 6584
[startup+470.05 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 765 0 0 0 11015 360 0 0 25 0 1 0 1784872111 4562944 736 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1114 736 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 441.38
Current children cumulated vsize (Kb) 6584
[startup+480.051 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 776 0 0 0 11868 410 0 0 25 0 1 0 1784872111 4562944 747 4294967295 134512640 134702520 3221223712 3221222608 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 747 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 450.41
Current children cumulated vsize (Kb) 6584
[startup+490.052 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 779 0 0 0 12756 449 0 0 25 0 1 0 1784872111 4562944 750 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1114 750 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 459.68
Current children cumulated vsize (Kb) 6584
[startup+500.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 779 0 0 0 13717 462 0 0 25 0 1 0 1784872111 4562944 750 4294967295 134512640 134702520 3221223712 3221222576 134564351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 750 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 469.42
Current children cumulated vsize (Kb) 6584
[startup+510.053 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 789 0 0 0 14578 510 0 0 18 0 1 0 1784872111 4562944 760 4294967295 134512640 134702520 3221223712 3221204608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1114 760 413 48 0 1066 0
[pid=5269] vsize: 4456
Current children cumulated CPU time (s) 478.51
Current children cumulated vsize (Kb) 6584
[startup+520.054 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 809 0 0 0 15411 567 0 0 18 0 1 0 1784872111 4698112 780 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 780 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 487.41
Current children cumulated vsize (Kb) 6716
[startup+530.056 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 812 0 0 0 16325 597 0 0 25 0 1 0 1784872111 4698112 783 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 783 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 496.85
Current children cumulated vsize (Kb) 6716
[startup+540.056 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 812 0 0 0 17290 609 0 0 25 0 1 0 1784872111 4698112 783 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 783 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 506.62
Current children cumulated vsize (Kb) 6716
[startup+550.057 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 822 0 0 0 18123 667 0 0 21 0 1 0 1784872111 4698112 793 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 793 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 515.53
Current children cumulated vsize (Kb) 6716
[startup+560.058 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 826 0 0 0 18977 715 0 0 17 0 1 0 1784872111 4698112 797 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 797 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 524.55
Current children cumulated vsize (Kb) 6716
[startup+570.058 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 827 0 0 0 19909 740 0 0 25 0 1 0 1784872111 4698112 798 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1147 798 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 534.12
Current children cumulated vsize (Kb) 6716
[startup+580.059 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 828 0 0 0 20834 765 0 0 22 0 1 0 1784872111 4698112 799 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1147 799 413 48 0 1099 0
[pid=5269] vsize: 4588
Current children cumulated CPU time (s) 543.62
Current children cumulated vsize (Kb) 6716
[startup+590.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 830 0 0 0 21692 809 0 0 23 0 1 0 1784872111 4829184 801 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1179 801 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 552.64
Current children cumulated vsize (Kb) 6844
[startup+600.061 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) T 5264 5264 1333 0 -1 0 836 0 0 0 22517 866 0 0 20 0 1 0 1784872111 4829184 807 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5269/statm): 1179 807 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 561.46
Current children cumulated vsize (Kb) 6844
[startup+610.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5269
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 378 1473 0 0 1 1 31643 1118 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5269/stat): 5269 (vallst) R 5264 5264 1333 0 -1 0 836 0 0 0 23478 879 0 0 25 0 1 0 1784872111 4829184 807 4294967295 134512640 134702520 3221223712 3221222608 134557225 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5269/statm): 1179 807 413 48 0 1131 0
[pid=5269] vsize: 4716
Current children cumulated CPU time (s) 571.2
Current children cumulated vsize (Kb) 6844
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=5269) exited with status: 2
New process pid=5270
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=5270) exited with status: 0
New process pid=5271
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.063 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 302 0 0 0 375 7 0 0 25 0 1 0 1784898796 2424832 274 4294967295 134512640 134702520 3221223712 3221222848 134553118 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 592 274 413 48 0 544 0
[pid=5271] vsize: 2368
Current children cumulated CPU time (s) 580.93
Current children cumulated vsize (Kb) 4496
[startup+630.065 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 305 0 0 0 1334 23 0 0 25 0 1 0 1784898796 2560000 277 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 625 277 413 48 0 577 0
[pid=5271] vsize: 2500
Current children cumulated CPU time (s) 590.68
Current children cumulated vsize (Kb) 4628
[startup+640.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 624 0 0 0 2199 68 0 0 22 0 1 0 1784898796 3715072 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 907 596 413 48 0 859 0
[pid=5271] vsize: 3628
Current children cumulated CPU time (s) 599.78
Current children cumulated vsize (Kb) 5756
[startup+650.066 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 641 0 0 0 3054 118 0 0 19 0 1 0 1784898796 3850240 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 940 613 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 608.83
Current children cumulated vsize (Kb) 5888
[startup+660.068 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 641 0 0 0 4013 134 0 0 25 0 1 0 1784898796 3850240 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 940 613 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 618.58
Current children cumulated vsize (Kb) 5888
[startup+670.069 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 645 0 0 0 4924 163 0 0 23 0 1 0 1784898796 3850240 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 617 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 627.98
Current children cumulated vsize (Kb) 5888
[startup+680.07 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 655 0 0 0 5784 208 0 0 19 0 1 0 1784898796 3850240 627 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 627 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 637.03
Current children cumulated vsize (Kb) 5888
[startup+690.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 660 0 0 0 6689 238 0 0 25 0 1 0 1784898796 3850240 632 4294967295 134512640 134702520 3221223712 3221222608 134553914 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 632 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (Kb) 5888
[startup+700.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 660 0 0 0 7653 252 0 0 25 0 1 0 1784898796 3850240 632 4294967295 134512640 134702520 3221223712 3221222608 134552372 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 940 632 413 48 0 892 0
[pid=5271] vsize: 3760
Current children cumulated CPU time (s) 656.16
Current children cumulated vsize (Kb) 5888
[startup+710.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 673 0 0 0 8490 303 0 0 23 0 1 0 1784898796 3985408 645 4294967295 134512640 134702520 3221223712 3221222608 134557705 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 645 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 665.04
Current children cumulated vsize (Kb) 6020
[startup+720.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 680 0 0 0 9343 349 0 0 25 0 1 0 1784898796 3985408 652 4294967295 134512640 134702520 3221223712 3221222608 134557278 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 973 652 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 674.03
Current children cumulated vsize (Kb) 6020
[startup+730.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 680 0 0 0 10302 362 0 0 25 0 1 0 1784898796 3985408 652 4294967295 134512640 134702520 3221223712 3221222608 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 652 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 683.75
Current children cumulated vsize (Kb) 6020
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 682 0 0 0 11202 397 0 0 18 0 1 0 1784898796 3985408 654 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 973 654 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 693.1
Current children cumulated vsize (Kb) 6020
[startup+750.077 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 690 0 0 0 12057 444 0 0 25 0 1 0 1784898796 3985408 662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 662 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (Kb) 6020
[startup+760.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 698 0 0 0 12922 488 0 0 25 0 1 0 1784898796 3985408 670 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 670 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 711.21
Current children cumulated vsize (Kb) 6020
[startup+770.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 698 0 0 0 13882 501 0 0 25 0 1 0 1784898796 3985408 670 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 973 670 413 48 0 925 0
[pid=5271] vsize: 3892
Current children cumulated CPU time (s) 720.94
Current children cumulated vsize (Kb) 6020
[startup+780.081 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 706 0 0 0 14742 548 0 0 25 0 1 0 1784898796 4120576 678 4294967295 134512640 134702520 3221223712 3221222608 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 678 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 730.01
Current children cumulated vsize (Kb) 6152
[startup+790.082 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 710 0 0 0 15574 605 0 0 17 0 1 0 1784898796 4120576 682 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 682 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 738.9
Current children cumulated vsize (Kb) 6152
[startup+800.082 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 712 0 0 0 16481 638 0 0 25 0 1 0 1784898796 4120576 684 4294967295 134512640 134702520 3221223712 3221222548 134550217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 684 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 748.3
Current children cumulated vsize (Kb) 6152
[startup+810.083 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 712 0 0 0 17441 653 0 0 25 0 1 0 1784898796 4120576 684 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 684 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 758.05
Current children cumulated vsize (Kb) 6152
[startup+820.083 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 718 0 0 0 18265 710 0 0 21 0 1 0 1784898796 4120576 690 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 690 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 766.86
Current children cumulated vsize (Kb) 6152
[startup+830.085 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 719 0 0 0 19106 764 0 0 18 0 1 0 1784898796 4120576 691 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 691 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 775.81
Current children cumulated vsize (Kb) 6152
[startup+840.086 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 20037 788 0 0 25 0 1 0 1784898796 4120576 695 4294967295 134512640 134702520 3221223712 3221222548 134550230 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 695 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 785.36
Current children cumulated vsize (Kb) 6152
[startup+850.087 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 723 0 0 0 20954 816 0 0 18 0 1 0 1784898796 4120576 695 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1006 695 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 794.81
Current children cumulated vsize (Kb) 6152
[startup+860.088 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 727 0 0 0 21800 866 0 0 24 0 1 0 1784898796 4120576 699 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1006 699 413 48 0 958 0
[pid=5271] vsize: 4024
Current children cumulated CPU time (s) 803.77
Current children cumulated vsize (Kb) 6152
[startup+870.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 735 0 0 0 22621 925 0 0 20 0 1 0 1784898796 4251648 707 4294967295 134512640 134702520 3221223712 3221222992 134557705 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1038 707 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 812.57
Current children cumulated vsize (Kb) 6280
[startup+880.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 737 0 0 0 23565 946 0 0 25 0 1 0 1784898796 4251648 709 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 709 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (Kb) 6280
[startup+890.091 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 738 0 0 0 24480 973 0 0 25 0 1 0 1784898796 4251648 710 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 710 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 831.64
Current children cumulated vsize (Kb) 6280
[startup+900.092 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 742 0 0 0 25307 1031 0 0 21 0 1 0 1784898796 4251648 714 4294967295 134512640 134702520 3221223712 3221222832 134584561 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 714 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 840.49
Current children cumulated vsize (Kb) 6280
[startup+910.093 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 751 0 0 0 26120 1095 0 0 19 0 1 0 1784898796 4251648 723 4294967295 134512640 134702520 3221223712 3221222992 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 723 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 849.26
Current children cumulated vsize (Kb) 6280
[startup+920.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 752 0 0 0 27060 1115 0 0 20 0 1 0 1784898796 4251648 724 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1038 724 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (Kb) 6280
[startup+930.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 759 0 0 0 27964 1148 0 0 21 0 1 0 1784898796 4251648 731 4294967295 134512640 134702520 3221223712 3221222608 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1038 731 413 48 0 990 0
[pid=5271] vsize: 4152
Current children cumulated CPU time (s) 868.23
Current children cumulated vsize (Kb) 6280
[startup+940.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 766 0 0 0 28796 1206 0 0 25 0 1 0 1784898796 4386816 738 4294967295 134512640 134702520 3221223712 3221222608 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1071 738 413 48 0 1023 0
[pid=5271] vsize: 4284
Current children cumulated CPU time (s) 877.13
Current children cumulated vsize (Kb) 6412
[startup+950.098 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 771 0 0 0 29629 1262 0 0 24 0 1 0 1784898796 4382720 743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 743 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 886.02
Current children cumulated vsize (Kb) 6408
[startup+960.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 773 0 0 0 30522 1299 0 0 25 0 1 0 1784898796 4382720 745 4294967295 134512640 134702520 3221223712 3221222608 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 745 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 895.32
Current children cumulated vsize (Kb) 6408
[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 773 0 0 0 31468 1318 0 0 23 0 1 0 1784898796 4382720 745 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1070 745 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 904.97
Current children cumulated vsize (Kb) 6408
[startup+980.101 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 777 0 0 0 32289 1377 0 0 19 0 1 0 1784898796 4382720 749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 749 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 913.77
Current children cumulated vsize (Kb) 6408
[startup+990.102 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 781 0 0 0 33128 1433 0 0 25 0 1 0 1784898796 4382720 753 4294967295 134512640 134702520 3221223712 3221222608 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 753 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 922.72
Current children cumulated vsize (Kb) 6408
[startup+1000.1 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 788 0 0 0 33998 1478 0 0 25 0 1 0 1784898796 4382720 760 4294967295 134512640 134702520 3221223712 3221222608 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 760 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 931.87
Current children cumulated vsize (Kb) 6408
[startup+1010.1 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 788 0 0 0 34957 1495 0 0 25 0 1 0 1784898796 4382720 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 760 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 941.63
Current children cumulated vsize (Kb) 6408
[startup+1020.1 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 794 0 0 0 35779 1554 0 0 25 0 1 0 1784898796 4382720 766 4294967295 134512640 134702520 3221223712 3221222608 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 766 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 950.44
Current children cumulated vsize (Kb) 6408
[startup+1030.11 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 795 0 0 0 36614 1611 0 0 25 0 1 0 1784898796 4382720 767 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1070 767 413 48 0 1022 0
[pid=5271] vsize: 4280
Current children cumulated CPU time (s) 959.36
Current children cumulated vsize (Kb) 6408
[startup+1040.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 806 0 0 0 37399 1683 0 0 19 0 1 0 1784898796 4517888 778 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 778 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 967.93
Current children cumulated vsize (Kb) 6540
[startup+1050.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 806 0 0 0 38353 1699 0 0 25 0 1 0 1784898796 4517888 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1103 778 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 977.63
Current children cumulated vsize (Kb) 6540
[startup+1060.11 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 809 0 0 0 39246 1736 0 0 17 0 1 0 1784898796 4517888 781 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 781 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 986.93
Current children cumulated vsize (Kb) 6540
[startup+1070.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 816 0 0 0 40072 1795 0 0 19 0 1 0 1784898796 4517888 788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 788 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 995.78
Current children cumulated vsize (Kb) 6540
[startup+1080.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 821 0 0 0 40901 1855 0 0 23 0 1 0 1784898796 4517888 793 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 793 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1004.67
Current children cumulated vsize (Kb) 6540
[startup+1090.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 834 0 0 0 41698 1922 0 0 20 0 1 0 1784898796 4517888 806 4294967295 134512640 134702520 3221223712 3221222992 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1103 806 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1013.31
Current children cumulated vsize (Kb) 6540
[startup+1100.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 835 0 0 0 42632 1946 0 0 25 0 1 0 1784898796 4517888 807 4294967295 134512640 134702520 3221223712 3221222608 134553004 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 807 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1022.89
Current children cumulated vsize (Kb) 6540
[startup+1110.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 836 0 0 0 43547 1975 0 0 18 0 1 0 1784898796 4517888 808 4294967295 134512640 134702520 3221223712 3221222832 134579022 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1103 808 413 48 0 1055 0
[pid=5271] vsize: 4412
Current children cumulated CPU time (s) 1032.33
Current children cumulated vsize (Kb) 6540
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 840 0 0 0 44373 2035 0 0 24 0 1 0 1784898796 4653056 812 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1136 812 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1041.19
Current children cumulated vsize (Kb) 6672
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 843 0 0 0 45191 2098 0 0 19 0 1 0 1784898796 4653056 815 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 815 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1050
Current children cumulated vsize (Kb) 6672
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 851 0 0 0 45997 2161 0 0 25 0 1 0 1784898796 4653056 823 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 823 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1058.69
Current children cumulated vsize (Kb) 6672
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 851 0 0 0 46956 2176 0 0 25 0 1 0 1784898796 4653056 823 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 823 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1068.43
Current children cumulated vsize (Kb) 6672
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 853 0 0 0 47830 2219 0 0 18 0 1 0 1784898796 4653056 825 4294967295 134512640 134702520 3221223712 3221222992 134553458 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 825 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1077.6
Current children cumulated vsize (Kb) 6672
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 859 0 0 0 48656 2279 0 0 23 0 1 0 1784898796 4653056 831 4294967295 134512640 134702520 3221223712 3221223188 1074952449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 831 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1086.46
Current children cumulated vsize (Kb) 6672
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 859 0 0 0 49479 2339 0 0 19 0 1 0 1784898796 4653056 831 4294967295 134512640 134702520 3221223712 3221223228 1074652326 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 831 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1095.29
Current children cumulated vsize (Kb) 6672
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 869 0 0 0 50285 2402 0 0 25 0 1 0 1784898796 4653056 841 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 841 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1103.98
Current children cumulated vsize (Kb) 6672
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 870 0 0 0 51173 2440 0 0 25 0 1 0 1784898796 4653056 842 4294967295 134512640 134702520 3221223712 3221222608 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 842 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1113.24
Current children cumulated vsize (Kb) 6672
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 870 0 0 0 52135 2452 0 0 25 0 1 0 1784898796 4653056 842 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1136 842 413 48 0 1088 0
[pid=5271] vsize: 4544
Current children cumulated CPU time (s) 1122.98
Current children cumulated vsize (Kb) 6672
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 874 0 0 0 52919 2525 0 0 19 0 1 0 1784898796 4788224 846 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1169 846 413 48 0 1121 0
[pid=5271] vsize: 4676
Current children cumulated CPU time (s) 1131.55
Current children cumulated vsize (Kb) 6804
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 876 0 0 0 53749 2583 0 0 19 0 1 0 1784898796 4788224 848 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1169 848 413 48 0 1121 0
[pid=5271] vsize: 4676
Current children cumulated CPU time (s) 1140.43
Current children cumulated vsize (Kb) 6804
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 886 0 0 0 54567 2642 0 0 20 0 1 0 1784898796 4927488 858 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 858 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1149.2
Current children cumulated vsize (Kb) 6940
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 55414 2695 0 0 25 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1158.2
Current children cumulated vsize (Kb) 6940
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 56377 2709 0 0 25 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1167.97
Current children cumulated vsize (Kb) 6940
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 892 0 0 0 57242 2755 0 0 17 0 1 0 1784898796 4927488 864 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 864 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1177.08
Current children cumulated vsize (Kb) 6940
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 899 0 0 0 58037 2823 0 0 19 0 1 0 1784898796 4927488 871 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 871 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1185.71
Current children cumulated vsize (Kb) 6940
[startup+1290.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) R 5264 5264 1333 0 -1 0 902 0 0 0 58873 2878 0 0 25 0 1 0 1784898796 4927488 874 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5271/statm): 1203 874 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1194.62
Current children cumulated vsize (Kb) 6940
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 906 0 0 0 59684 2939 0 0 21 0 1 0 1784898796 4927488 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 878 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1203.34
Current children cumulated vsize (Kb) 6940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 5271
Raw data (/proc/5264/stat): 5264 (vallstSAT2005PB) S 5263 5264 1333 0 -1 0 417 2452 0 0 1 1 55702 2007 19 0 1 0 1784837176 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5264/statm): 532 248 485 147 0 385 0
[pid=5264] vsize: 2128
Raw data (/proc/5271/stat): 5271 (vallst) T 5264 5264 1333 0 -1 0 906 0 0 0 59684 2939 0 0 21 0 1 0 1784898796 4927488 878 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5271/statm): 1203 878 413 48 0 1155 0
[pid=5271] vsize: 4812
Current children cumulated CPU time (s) 1203.34
Current children cumulated vsize (Kb) 6940
Sending SIGTERM to -5264
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5273
New process pid=5274
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/status
open syscall for file /proc/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/1259/stat
open syscall for file /proc/1259/status
open syscall for file /proc/1259/cmdline
open syscall for file /proc/1259/environ
open syscall for file /proc/1263/stat
open syscall for file /proc/1263/status
open syscall for file /proc/1263/cmdline
open syscall for file /proc/1263/environ
open syscall for file /proc/1285/stat
open syscall for file /proc/1285/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1285/cmdline
open syscall for file /proc/1285/environ
open syscall for file /proc/1315/stat
open syscall for file /proc/1315/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1315/cmdline
open syscall for file /proc/1315/environ
open syscall for file /proc/1359/stat
open syscall for file /proc/1359/status
open syscall for file /proc/1359/cmdline
open syscall for file /proc/1359/environ
open syscall for file /proc/1517/stat
open syscall for file /proc/1517/status
open syscall for file /proc/1517/cmdline
open syscall for file /proc/1517/environ
open syscall for file /proc/1541/stat
open syscall for file /proc/1541/status
open syscall for file /proc/1541/cmdline
open syscall for file /proc/1541/environ
open syscall for file /proc/1564/stat
open syscall for file /proc/1564/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/1564/cmdline
open syscall for file /proc/1564/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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/22415/stat
open syscall for file /proc/22415/status
open syscall for file /proc/22415/cmdline
open syscall for file /proc/22415/environ
open syscall for file /proc/26525/stat
open syscall for file /proc/26525/status
open syscall for file /proc/26525/cmdline
open syscall for file /proc/26525/environ
open syscall for file /proc/26552/stat
One traced child (pid=5271) exited with status: 3
open syscall for file /proc/26552/status
open syscall for file /proc/26552/cmdline
open syscall for file /proc/26552/environ
open syscall for file /proc/26576/stat
open syscall for file /proc/26576/status
open syscall for file /proc/26576/cmdline
open syscall for file /proc/26576/environ
open syscall for file /proc/16566/stat
open syscall for file /proc/16566/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/16566/cmdline
open syscall for file /proc/16566/environ
open syscall for file /proc/16602/stat
open syscall for file /proc/16602/status
open syscall for file /proc/16602/cmdline
open syscall for file /proc/16602/environ
open syscall for file /proc/1333/stat
open syscall for file /proc/1333/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/1333/cmdline
open syscall for file /proc/1333/environ
open syscall for file /proc/1334/stat
open syscall for file /proc/1334/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/1334/cmdline
open syscall for file /proc/1334/environ
open syscall for file /proc/1343/stat
open syscall for file /proc/1343/status
open syscall for file /proc/1343/cmdline
open syscall for file /proc/1343/environ
open syscall for file /proc/5227/stat
open syscall for file /proc/5227/status
open syscall for file /proc/5227/cmdline
open syscall for file /proc/5227/environ
open syscall for file /proc/5263/stat
open syscall for file /proc/5263/status
open syscall for file /proc/5263/cmdline
open syscall for file /proc/5263/environ
open syscall for file /proc/5264/stat
open syscall for file /proc/5264/status
open syscall for file /proc/5264/cmdline
open syscall for file /proc/5264/environ
open syscall for file /proc/5273/stat
open syscall for file /proc/5273/status
open syscall for file /proc/5273/cmdline
open syscall for file /proc/5273/environ
open syscall for file /proc/5274/stat
open syscall for file /proc/5274/status
open syscall for file /proc/5274/cmdline
open syscall for file /proc/5274/environ
One traced child (pid=5273) exited with status: 0
One traced child (pid=5274) exited with status: 0
New process pid=5275
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=5275) exited with status: 0
New process pid=5276
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=5276) exited with status: 0
One traced child (pid=5264) 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): 1300.63
CPU time (s): 1203.54
CPU user time (s): 1153.98
CPU system time (s): 49.5575
CPU usage (%): 92.5353
Max. virtual memory (cumulated for all children) (Kb): 7720