1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 596617; #end-nodes: 267745;
#proof improvement attempts: 0; #restarts: 480
Current batch, end-nodes: 0 / 206 (199)
#axs: 1652, #non-axs: 7230
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 7, end: 10; meta: start: 22, end (keep): 34
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1547 (#equs: 5)
Time taken: 6 min, 54 sec
2:
seed: 0
Nr of vars set: 1547 (#equs: 0)
Nr of vars set: 1547 (#equs: 0)
#decisions: 1140889; #end-nodes: 563949;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 519 (263)
#axs: 1629, #non-axs: 3248
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 5, end: 7; meta: start: 14, end (keep): 19
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1589 (#equs: 1)
Time taken: 11 min, 22 sec
3:
seed: 0
Nr of vars set: 1589 (#equs: 0)
Nr of vars set: 1589 (#equs: 0)
Interupt request received.
#decisions: 183849; #end-nodes: 84154;
#proof improvement attempts: 0; #restarts: 107
Current batch, end-nodes: 2981 / 3993 (186)
#axs: 1628, #non-axs: 3355
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 5, end: 7; meta: start: 14, end (keep): 19
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 3139 (#equs: 0)
Time taken: 1 min, 50 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/5529/stat): 5529 (vallstSAT2005PB) R 5528 5529 4059 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20287393 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5529/statm): 174 3 169 147 0 27 0
[pid=5529] 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=5530
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=5530) exited with status: 0
New process pid=5531
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=5531) exited with status: 0
New process pid=5532
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/wulflinc20/normalized-mps-v2-13-7-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 1156 0 0 0 896 36 0 0 25 0 1 0 20287401 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 1620 1055 413 48 0 1572 0
[pid=5532] vsize: 6480
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8608
[startup+20.0039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 1212 0 0 0 1768 78 0 0 22 0 1 0 20287401 12681216 1111 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3096 1111 413 48 0 3048 0
[pid=5532] vsize: 12384
Current children cumulated CPU time (s) 18.47
Current children cumulated vsize (Kb) 14512
[startup+30.0056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 1423 0 0 0 2655 118 0 0 25 0 1 0 20287401 12681216 1322 4294967295 134512640 134702520 3221223952 3221159088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3096 1322 413 48 0 3048 0
[pid=5532] vsize: 12384
Current children cumulated CPU time (s) 27.74
Current children cumulated vsize (Kb) 14512
[startup+40.0063 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 1543 0 0 0 3561 149 0 0 25 0 1 0 20287401 12906496 1442 4294967295 134512640 134702520 3221223952 3221222976 134553100 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3151 1442 413 48 0 3103 0
[pid=5532] vsize: 12604
Current children cumulated CPU time (s) 37.11
Current children cumulated vsize (Kb) 14732
[startup+50.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2039 0 0 0 4468 185 0 0 25 0 1 0 20287401 13176832 1938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3217 1938 413 48 0 3169 0
[pid=5532] vsize: 12868
Current children cumulated CPU time (s) 46.54
Current children cumulated vsize (Kb) 14996
[startup+60.0078 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2620 0 0 0 5376 219 0 0 25 0 1 0 20287401 13312000 2519 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3250 2519 413 48 0 3202 0
[pid=5532] vsize: 13000
Current children cumulated CPU time (s) 55.96
Current children cumulated vsize (Kb) 15128
[startup+70.0085 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2880 0 0 0 6286 250 0 0 25 0 1 0 20287401 13447168 2779 4294967295 134512640 134702520 3221223952 3221222976 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3283 2779 413 48 0 3235 0
[pid=5532] vsize: 13132
Current children cumulated CPU time (s) 65.37
Current children cumulated vsize (Kb) 15260
[startup+80.0102 s]
Raw data (loadavg): 0.99 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2883 0 0 0 7193 281 0 0 25 0 1 0 20287401 13598720 2782 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3320 2782 413 48 0 3272 0
[pid=5532] vsize: 13280
Current children cumulated CPU time (s) 74.75
Current children cumulated vsize (Kb) 15408
[startup+90.0109 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2884 0 0 0 8100 311 0 0 25 0 1 0 20287401 13545472 2783 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2783 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 84.12
Current children cumulated vsize (Kb) 15356
[startup+100.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2889 0 0 0 9005 346 0 0 25 0 1 0 20287401 13545472 2788 4294967295 134512640 134702520 3221223952 3221148668 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2788 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 15356
[startup+110.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2892 0 0 0 9915 375 0 0 25 0 1 0 20287401 13545472 2791 4294967295 134512640 134702520 3221223952 3221223232 134552981 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3307 2791 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 102.91
Current children cumulated vsize (Kb) 15356
[startup+120.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2897 0 0 0 10828 405 0 0 25 0 1 0 20287401 13545472 2796 4294967295 134512640 134702520 3221223952 3221146268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2796 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 112.34
Current children cumulated vsize (Kb) 15356
[startup+130.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2901 0 0 0 11741 436 0 0 25 0 1 0 20287401 13545472 2800 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2800 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (Kb) 15356
[startup+140.014 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2903 0 0 0 12639 469 0 0 25 0 1 0 20287401 13545472 2802 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3307 2802 413 48 0 3259 0
[pid=5532] vsize: 13228
Current children cumulated CPU time (s) 131.09
Current children cumulated vsize (Kb) 15356
[startup+150.014 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2911 0 0 0 13541 502 0 0 17 0 1 0 20287401 13549568 2810 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3308 2810 413 48 0 3260 0
[pid=5532] vsize: 13232
Current children cumulated CPU time (s) 140.44
Current children cumulated vsize (Kb) 15360
[startup+160.015 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2926 0 0 0 14462 530 0 0 25 0 1 0 20287401 13684736 2825 4294967295 134512640 134702520 3221223952 3221222976 134552882 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3341 2825 413 48 0 3293 0
[pid=5532] vsize: 13364
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 15492
[startup+170.016 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 2937 0 0 0 15359 566 0 0 25 0 1 0 20287401 13684736 2836 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3341 2836 413 48 0 3293 0
[pid=5532] vsize: 13364
Current children cumulated CPU time (s) 159.26
Current children cumulated vsize (Kb) 15492
[startup+180.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2956 0 0 0 16270 596 0 0 25 0 1 0 20287401 13819904 2855 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2855 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 168.67
Current children cumulated vsize (Kb) 15624
[startup+190.017 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2969 0 0 0 17189 623 0 0 25 0 1 0 20287401 13819904 2868 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2868 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 178.13
Current children cumulated vsize (Kb) 15624
[startup+200.018 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 2989 0 0 0 18107 653 0 0 25 0 1 0 20287401 13819904 2888 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3374 2888 413 48 0 3326 0
[pid=5532] vsize: 13496
Current children cumulated CPU time (s) 187.61
Current children cumulated vsize (Kb) 15624
[startup+210.019 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3006 0 0 0 19026 684 0 0 25 0 1 0 20287401 13955072 2905 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2905 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 197.11
Current children cumulated vsize (Kb) 15756
[startup+220.019 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3007 0 0 0 19940 713 0 0 25 0 1 0 20287401 13955072 2906 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2906 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 206.54
Current children cumulated vsize (Kb) 15756
[startup+230.02 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3011 0 0 0 20845 747 0 0 25 0 1 0 20287401 13955072 2910 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2910 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 215.93
Current children cumulated vsize (Kb) 15756
[startup+240.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3019 0 0 0 21751 778 0 0 25 0 1 0 20287401 13955072 2918 4294967295 134512640 134702520 3221223952 3221180368 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3407 2918 413 48 0 3359 0
[pid=5532] vsize: 13628
Current children cumulated CPU time (s) 225.3
Current children cumulated vsize (Kb) 15756
[startup+250.021 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3082 0 0 0 22673 805 0 0 25 0 1 0 20287401 14090240 2981 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3440 2981 413 48 0 3392 0
[pid=5532] vsize: 13760
Current children cumulated CPU time (s) 234.79
Current children cumulated vsize (Kb) 15888
[startup+260.022 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3143 0 0 0 23588 836 0 0 25 0 1 0 20287401 14090240 3042 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3440 3042 413 48 0 3392 0
[pid=5532] vsize: 13760
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 15888
[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3239 0 0 0 24510 861 0 0 25 0 1 0 20287401 15048704 3138 4294967295 134512640 134702520 3221223952 3221223232 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3674 3138 413 48 0 3626 0
[pid=5532] vsize: 14696
Current children cumulated CPU time (s) 253.72
Current children cumulated vsize (Kb) 16824
[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3324 0 0 0 25426 891 0 0 25 0 1 0 20287401 15048704 3223 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3674 3223 413 48 0 3626 0
[pid=5532] vsize: 14696
Current children cumulated CPU time (s) 263.18
Current children cumulated vsize (Kb) 16824
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3384 0 0 0 26343 919 0 0 25 0 1 0 20287401 15183872 3283 4294967295 134512640 134702520 3221223952 3221223232 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3707 3283 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (Kb) 16956
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3399 0 0 0 27272 945 0 0 25 0 1 0 20287401 15183872 3298 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3707 3298 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (Kb) 16956
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3399 0 0 0 28186 972 0 0 25 0 1 0 20287401 15183872 3298 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3707 3298 413 48 0 3659 0
[pid=5532] vsize: 14828
Current children cumulated CPU time (s) 291.59
Current children cumulated vsize (Kb) 16956
[startup+320.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3430 0 0 0 29104 998 0 0 25 0 1 0 20287401 15319040 3329 4294967295 134512640 134702520 3221223952 3221192368 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3740 3329 413 48 0 3692 0
[pid=5532] vsize: 14960
Current children cumulated CPU time (s) 301.03
Current children cumulated vsize (Kb) 17088
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3444 0 0 0 30027 1025 0 0 25 0 1 0 20287401 15319040 3343 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3740 3343 413 48 0 3692 0
[pid=5532] vsize: 14960
Current children cumulated CPU time (s) 310.53
Current children cumulated vsize (Kb) 17088
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3465 0 0 0 30956 1050 0 0 25 0 1 0 20287401 15454208 3364 4294967295 134512640 134702520 3221223952 3221100848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3773 3364 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 320.07
Current children cumulated vsize (Kb) 17220
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3469 0 0 0 31867 1081 0 0 25 0 1 0 20287401 15454208 3368 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3773 3368 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 329.49
Current children cumulated vsize (Kb) 17220
[startup+360.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3480 0 0 0 32795 1108 0 0 25 0 1 0 20287401 15454208 3379 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3773 3379 413 48 0 3725 0
[pid=5532] vsize: 15092
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (Kb) 17220
[startup+370.029 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3495 0 0 0 33728 1130 0 0 25 0 1 0 20287401 15601664 3394 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3394 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 348.59
Current children cumulated vsize (Kb) 17364
[startup+380.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3504 0 0 0 34653 1155 0 0 25 0 1 0 20287401 15601664 3403 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3403 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 358.09
Current children cumulated vsize (Kb) 17364
[startup+390.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3510 0 0 0 35573 1182 0 0 25 0 1 0 20287401 15601664 3409 4294967295 134512640 134702520 3221223952 3221178448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 3809 3409 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 367.56
Current children cumulated vsize (Kb) 17364
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3516 0 0 0 36496 1211 0 0 25 0 1 0 20287401 15601664 3415 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3809 3415 413 48 0 3761 0
[pid=5532] vsize: 15236
Current children cumulated CPU time (s) 377.08
Current children cumulated vsize (Kb) 17364
[startup+410.032 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3566 0 0 0 37424 1233 0 0 25 0 1 0 20287401 15736832 3465 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 3842 3465 413 48 0 3794 0
[pid=5532] vsize: 15368
Current children cumulated CPU time (s) 386.58
Current children cumulated vsize (Kb) 17496
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) T 5529 5529 4059 0 -1 0 3624 0 0 0 38364 1254 0 0 25 0 1 0 20287401 16560128 3523 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5532/statm): 4043 3523 413 48 0 3995 0
[pid=5532] vsize: 16172
Current children cumulated CPU time (s) 396.19
Current children cumulated vsize (Kb) 18300
[startup+430.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5532
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 330 232 0 0 0 1 0 0 22 0 1 0 20287393 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/5529/statm): 532 242 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5532/stat): 5532 (vallst) R 5529 5529 4059 0 -1 0 3644 0 0 0 39292 1280 0 0 25 0 1 0 20287401 16715776 3543 4294967295 134512640 134702520 3221223952 3221222816 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5532/statm): 4081 3543 413 48 0 4033 0
[pid=5532] vsize: 16324
Current children cumulated CPU time (s) 405.73
Current children cumulated vsize (Kb) 18452
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=5532) exited with status: 2
New process pid=5533
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=5533) exited with status: 0
New process pid=5534
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+440.035 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 537 0 0 0 37 3 0 0 23 0 1 0 20331360 5390336 508 4294967295 134512640 134702520 3221223712 3221223204 1074898590 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 1316 508 413 48 0 1268 0
[pid=5534] vsize: 5264
Current children cumulated CPU time (s) 415.23
Current children cumulated vsize (Kb) 7392
[startup+450.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 1044 0 0 0 962 29 0 0 25 0 1 0 20331360 6471680 1014 4294967295 134512640 134702520 3221223712 3221223152 134617880 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 1580 1014 413 48 0 1532 0
[pid=5534] vsize: 6320
Current children cumulated CPU time (s) 424.74
Current children cumulated vsize (Kb) 8448
[startup+460.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 1215 0 0 0 1880 59 0 0 25 0 1 0 20331360 12042240 1185 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 2940 1185 413 48 0 2892 0
[pid=5534] vsize: 11760
Current children cumulated CPU time (s) 434.22
Current children cumulated vsize (Kb) 13888
[startup+470.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 1855 0 0 0 2791 91 0 0 25 0 1 0 20331360 12312576 1825 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3006 1825 413 48 0 2958 0
[pid=5534] vsize: 12024
Current children cumulated CPU time (s) 443.65
Current children cumulated vsize (Kb) 14152
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 1892 0 0 0 3694 124 0 0 25 0 1 0 20331360 12468224 1862 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3044 1862 413 48 0 2996 0
[pid=5534] vsize: 12176
Current children cumulated CPU time (s) 453.01
Current children cumulated vsize (Kb) 14304
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2461 0 0 0 4619 150 0 0 25 0 1 0 20331360 12873728 2431 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3143 2431 413 48 0 3095 0
[pid=5534] vsize: 12572
Current children cumulated CPU time (s) 462.52
Current children cumulated vsize (Kb) 14700
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 5525 182 0 0 25 0 1 0 20331360 12877824 2441 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3144 2441 413 48 0 3096 0
[pid=5534] vsize: 12576
Current children cumulated CPU time (s) 471.9
Current children cumulated vsize (Kb) 14704
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2477 0 0 0 6435 211 0 0 25 0 1 0 20331360 12877824 2447 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3144 2447 413 48 0 3096 0
[pid=5534] vsize: 12576
Current children cumulated CPU time (s) 481.29
Current children cumulated vsize (Kb) 14704
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2482 0 0 0 7358 238 0 0 25 0 1 0 20331360 13041664 2452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3184 2452 413 48 0 3136 0
[pid=5534] vsize: 12736
Current children cumulated CPU time (s) 490.79
Current children cumulated vsize (Kb) 14864
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2483 0 0 0 8266 269 0 0 25 0 1 0 20331360 12980224 2453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3169 2453 413 48 0 3121 0
[pid=5534] vsize: 12676
Current children cumulated CPU time (s) 500.18
Current children cumulated vsize (Kb) 14804
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2490 0 0 0 9172 301 0 0 25 0 1 0 20331360 12980224 2460 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3169 2460 413 48 0 3121 0
[pid=5534] vsize: 12676
Current children cumulated CPU time (s) 509.56
Current children cumulated vsize (Kb) 14804
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2742 0 0 0 10087 331 0 0 25 0 1 0 20331360 13115392 2712 4294967295 134512640 134702520 3221223712 3221222736 134550369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3202 2712 413 48 0 3154 0
[pid=5534] vsize: 12808
Current children cumulated CPU time (s) 519.01
Current children cumulated vsize (Kb) 14936
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2795 0 0 0 10986 367 0 0 25 0 1 0 20331360 13385728 2765 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2765 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 528.36
Current children cumulated vsize (Kb) 15200
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2800 0 0 0 11885 404 0 0 25 0 1 0 20331360 13385728 2770 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2770 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 537.72
Current children cumulated vsize (Kb) 15200
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2809 0 0 0 12788 439 0 0 25 0 1 0 20331360 13385728 2779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2779 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 547.1
Current children cumulated vsize (Kb) 15200
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2809 0 0 0 13706 465 0 0 25 0 1 0 20331360 13385728 2779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3268 2779 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 556.54
Current children cumulated vsize (Kb) 15200
[startup+600.046 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2813 0 0 0 14594 502 0 0 21 0 1 0 20331360 13385728 2783 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2783 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 565.79
Current children cumulated vsize (Kb) 15200
[startup+610.048 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2819 0 0 0 15484 538 0 0 25 0 1 0 20331360 13385728 2789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3268 2789 413 48 0 3220 0
[pid=5534] vsize: 13072
Current children cumulated CPU time (s) 575.05
Current children cumulated vsize (Kb) 15200
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2874 0 0 0 16398 569 0 0 25 0 1 0 20331360 13656064 2844 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3334 2844 413 48 0 3286 0
[pid=5534] vsize: 13336
Current children cumulated CPU time (s) 584.5
Current children cumulated vsize (Kb) 15464
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2881 0 0 0 17290 610 0 0 25 0 1 0 20331360 13656064 2851 4294967295 134512640 134702520 3221223712 3221222992 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3334 2851 413 48 0 3286 0
[pid=5534] vsize: 13336
Current children cumulated CPU time (s) 593.83
Current children cumulated vsize (Kb) 15464
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2906 0 0 0 18224 635 0 0 25 0 1 0 20331360 13791232 2876 4294967295 134512640 134702520 3221223712 3221222960 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2876 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 603.42
Current children cumulated vsize (Kb) 15596
[startup+650.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2916 0 0 0 19164 657 0 0 25 0 1 0 20331360 13791232 2886 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3367 2886 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 613.04
Current children cumulated vsize (Kb) 15596
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2920 0 0 0 20065 689 0 0 25 0 1 0 20331360 13791232 2890 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2890 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 622.37
Current children cumulated vsize (Kb) 15596
[startup+670.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2924 0 0 0 20954 726 0 0 25 0 1 0 20331360 13791232 2894 4294967295 134512640 134702520 3221223712 3221222992 134557248 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3367 2894 413 48 0 3319 0
[pid=5534] vsize: 13468
Current children cumulated CPU time (s) 631.63
Current children cumulated vsize (Kb) 15596
[startup+680.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2933 0 0 0 21857 758 0 0 25 0 1 0 20331360 13926400 2903 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2903 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 640.98
Current children cumulated vsize (Kb) 15728
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 2938 0 0 0 22774 786 0 0 25 0 1 0 20331360 13926400 2908 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3400 2908 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 650.43
Current children cumulated vsize (Kb) 15728
[startup+700.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2938 0 0 0 23675 821 0 0 25 0 1 0 20331360 13926400 2908 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2908 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 659.79
Current children cumulated vsize (Kb) 15728
[startup+710.054 s]
Raw data (loadavg): 1.08 1.02 1.01 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2949 0 0 0 24571 857 0 0 25 0 1 0 20331360 13926400 2919 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2919 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 669.11
Current children cumulated vsize (Kb) 15728
[startup+720.055 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 2983 0 0 0 25482 888 0 0 25 0 1 0 20331360 13926400 2953 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3400 2953 413 48 0 3352 0
[pid=5534] vsize: 13600
Current children cumulated CPU time (s) 678.53
Current children cumulated vsize (Kb) 15728
[startup+730.056 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3060 0 0 0 26401 917 0 0 25 0 1 0 20331360 14065664 3030 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3434 3030 413 48 0 3386 0
[pid=5534] vsize: 13736
Current children cumulated CPU time (s) 688.01
Current children cumulated vsize (Kb) 15864
[startup+740.057 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3119 0 0 0 27336 939 0 0 25 0 1 0 20331360 14954496 3089 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3651 3089 413 48 0 3603 0
[pid=5534] vsize: 14604
Current children cumulated CPU time (s) 697.58
Current children cumulated vsize (Kb) 16732
[startup+750.057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3155 0 0 0 28278 959 0 0 25 0 1 0 20331360 15089664 3125 4294967295 134512640 134702520 3221223712 3221222992 134557289 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3684 3125 413 48 0 3636 0
[pid=5534] vsize: 14736
Current children cumulated CPU time (s) 707.2
Current children cumulated vsize (Kb) 16864
[startup+760.058 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3179 0 0 0 29220 979 0 0 25 0 1 0 20331360 15089664 3149 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3684 3149 413 48 0 3636 0
[pid=5534] vsize: 14736
Current children cumulated CPU time (s) 716.82
Current children cumulated vsize (Kb) 16864
[startup+770.059 s]
Raw data (loadavg): 1.03 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3200 0 0 0 30159 997 0 0 25 0 1 0 20331360 15224832 3170 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3170 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 726.39
Current children cumulated vsize (Kb) 16996
[startup+780.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3249 0 0 0 31081 1024 0 0 25 0 1 0 20331360 15224832 3219 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3219 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 735.88
Current children cumulated vsize (Kb) 16996
[startup+790.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3263 0 0 0 32006 1050 0 0 25 0 1 0 20331360 15224832 3233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3233 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 745.39
Current children cumulated vsize (Kb) 16996
[startup+800.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3299 0 0 0 32921 1082 0 0 25 0 1 0 20331360 15224832 3269 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3717 3269 413 48 0 3669 0
[pid=5534] vsize: 14868
Current children cumulated CPU time (s) 754.86
Current children cumulated vsize (Kb) 16996
[startup+810.061 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3360 0 0 0 33833 1113 0 0 25 0 1 0 20331360 15360000 3330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 3750 3330 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 764.29
Current children cumulated vsize (Kb) 17128
[startup+820.062 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3377 0 0 0 34763 1136 0 0 25 0 1 0 20331360 15360000 3347 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3750 3347 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 773.82
Current children cumulated vsize (Kb) 17128
[startup+830.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3389 0 0 0 35688 1163 0 0 25 0 1 0 20331360 15360000 3359 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3750 3359 413 48 0 3702 0
[pid=5534] vsize: 15000
Current children cumulated CPU time (s) 783.34
Current children cumulated vsize (Kb) 17128
[startup+840.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3432 0 0 0 36616 1188 0 0 25 0 1 0 20331360 16248832 3402 4294967295 134512640 134702520 3221223712 3221222736 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3967 3402 413 48 0 3919 0
[pid=5534] vsize: 15868
Current children cumulated CPU time (s) 792.87
Current children cumulated vsize (Kb) 17996
[startup+850.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3440 0 0 0 37529 1217 0 0 25 0 1 0 20331360 16248832 3410 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 3967 3410 413 48 0 3919 0
[pid=5534] vsize: 15868
Current children cumulated CPU time (s) 802.29
Current children cumulated vsize (Kb) 17996
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3463 0 0 0 38476 1234 0 0 25 0 1 0 20331360 16384000 3433 4294967295 134512640 134702520 3221223712 3221222832 134584469 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4000 3433 413 48 0 3952 0
[pid=5534] vsize: 16000
Current children cumulated CPU time (s) 811.93
Current children cumulated vsize (Kb) 18128
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3488 0 0 0 39408 1257 0 0 25 0 1 0 20331360 16384000 3458 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4000 3458 413 48 0 3952 0
[pid=5534] vsize: 16000
Current children cumulated CPU time (s) 821.48
Current children cumulated vsize (Kb) 18128
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3515 0 0 0 40337 1282 0 0 25 0 1 0 20331360 16531456 3485 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4036 3485 413 48 0 3988 0
[pid=5534] vsize: 16144
Current children cumulated CPU time (s) 831.02
Current children cumulated vsize (Kb) 18272
[startup+890.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3516 0 0 0 41262 1306 0 0 25 0 1 0 20331360 16531456 3486 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4036 3486 413 48 0 3988 0
[pid=5534] vsize: 16144
Current children cumulated CPU time (s) 840.51
Current children cumulated vsize (Kb) 18272
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5534
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3521 0 0 0 42164 1337 0 0 25 0 1 0 20331360 16474112 3491 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3491 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 849.84
Current children cumulated vsize (Kb) 18216
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 1.00 1/59 5537
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3529 0 0 0 43094 1361 0 0 25 0 1 0 20331360 16474112 3499 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3499 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 859.38
Current children cumulated vsize (Kb) 18216
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3540 0 0 0 44013 1387 0 0 25 0 1 0 20331360 16474112 3510 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4022 3510 413 48 0 3974 0
[pid=5534] vsize: 16088
Current children cumulated CPU time (s) 868.83
Current children cumulated vsize (Kb) 18216
[startup+930.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3550 0 0 0 44939 1414 0 0 25 0 1 0 20331360 16609280 3520 4294967295 134512640 134702520 3221223712 3221222992 134553111 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3520 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 878.36
Current children cumulated vsize (Kb) 18348
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3553 0 0 0 45845 1446 0 0 25 0 1 0 20331360 16609280 3523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3523 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (Kb) 18348
[startup+950.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3558 0 0 0 46754 1477 0 0 25 0 1 0 20331360 16609280 3528 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4055 3528 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 897.14
Current children cumulated vsize (Kb) 18348
[startup+960.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5589
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3563 0 0 0 47654 1513 0 0 25 0 1 0 20331360 16609280 3533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4055 3533 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 906.5
Current children cumulated vsize (Kb) 18348
[startup+970.075 s]
Raw data (loadavg): 1.07 1.02 1.00 2/56 5591
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3574 0 0 0 48583 1536 0 0 25 0 1 0 20331360 16609280 3544 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4055 3544 413 48 0 4007 0
[pid=5534] vsize: 16220
Current children cumulated CPU time (s) 916.02
Current children cumulated vsize (Kb) 18348
[startup+980.076 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5593
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3582 0 0 0 49511 1562 0 0 25 0 1 0 20331360 16744448 3552 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4088 3552 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 925.56
Current children cumulated vsize (Kb) 18480
[startup+990.076 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3594 0 0 0 50430 1590 0 0 25 0 1 0 20331360 16744448 3564 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4088 3564 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 935.03
Current children cumulated vsize (Kb) 18480
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3603 0 0 0 51352 1616 0 0 25 0 1 0 20331360 16744448 3573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4088 3573 413 48 0 4040 0
[pid=5534] vsize: 16352
Current children cumulated CPU time (s) 944.51
Current children cumulated vsize (Kb) 18480
[startup+1010.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3620 0 0 0 52283 1642 0 0 25 0 1 0 20331360 16879616 3590 4294967295 134512640 134702520 3221223712 3221012608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4121 3590 413 48 0 4073 0
[pid=5534] vsize: 16484
Current children cumulated CPU time (s) 954.08
Current children cumulated vsize (Kb) 18612
[startup+1020.08 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3622 0 0 0 53194 1673 0 0 25 0 1 0 20331360 16883712 3592 4294967295 134512640 134702520 3221223712 3221166848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3592 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 963.5
Current children cumulated vsize (Kb) 18616
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3622 0 0 0 54117 1699 0 0 25 0 1 0 20331360 16883712 3592 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3592 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 972.99
Current children cumulated vsize (Kb) 18616
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3623 0 0 0 55027 1731 0 0 25 0 1 0 20331360 16883712 3593 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3593 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 982.41
Current children cumulated vsize (Kb) 18616
[startup+1050.08 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3628 0 0 0 55944 1760 0 0 25 0 1 0 20331360 16883712 3598 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3598 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 991.87
Current children cumulated vsize (Kb) 18616
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3629 0 0 0 56876 1785 0 0 25 0 1 0 20331360 16883712 3599 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3599 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1001.44
Current children cumulated vsize (Kb) 18616
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3629 0 0 0 57764 1824 0 0 25 0 1 0 20331360 16883712 3599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3599 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1010.71
Current children cumulated vsize (Kb) 18616
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3633 0 0 0 58669 1857 0 0 25 0 1 0 20331360 16883712 3603 4294967295 134512640 134702520 3221223712 3221109548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3603 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1020.09
Current children cumulated vsize (Kb) 18616
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3633 0 0 0 59556 1895 0 0 25 0 1 0 20331360 16883712 3603 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4122 3603 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1029.34
Current children cumulated vsize (Kb) 18616
[startup+1100.09 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3636 0 0 0 60455 1931 0 0 25 0 1 0 20331360 16883712 3606 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4122 3606 413 48 0 4074 0
[pid=5534] vsize: 16488
Current children cumulated CPU time (s) 1038.69
Current children cumulated vsize (Kb) 18616
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3650 0 0 0 61342 1972 0 0 25 0 1 0 20331360 17018880 3620 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3620 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1047.97
Current children cumulated vsize (Kb) 18748
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3651 0 0 0 62246 2003 0 0 25 0 1 0 20331360 17018880 3621 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4155 3621 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1057.32
Current children cumulated vsize (Kb) 18748
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3651 0 0 0 63129 2044 0 0 25 0 1 0 20331360 17018880 3621 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3621 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1066.56
Current children cumulated vsize (Kb) 18748
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3655 0 0 0 64034 2076 0 0 25 0 1 0 20331360 17018880 3625 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3625 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1075.93
Current children cumulated vsize (Kb) 18748
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) R 5529 5529 4059 0 -1 0 3661 0 0 0 64948 2108 0 0 25 0 1 0 20331360 17018880 3631 4294967295 134512640 134702520 3221223712 3221222608 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5534/statm): 4155 3631 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1085.39
Current children cumulated vsize (Kb) 18748
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5595
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 378 4019 0 0 1 1 40174 1307 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5534/stat): 5534 (vallst) T 5529 5529 4059 0 -1 0 3662 0 0 0 65871 2135 0 0 25 0 1 0 20331360 17018880 3632 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5534/statm): 4155 3632 413 48 0 4107 0
[pid=5534] vsize: 16620
Current children cumulated CPU time (s) 1094.89
Current children cumulated vsize (Kb) 18748
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=5534) exited with status: 2
New process pid=5596
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=5596) exited with status: 0
New process pid=5597
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+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 998 0 0 0 690 23 0 0 25 0 1 0 20403662 5976064 969 4294967295 134512640 134702520 3221223712 3221222848 134553160 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 1459 969 413 48 0 1411 0
[pid=5597] vsize: 5836
Current children cumulated CPU time (s) 1104.35
Current children cumulated vsize (Kb) 7964
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 999 0 0 0 1604 53 0 0 25 0 1 0 20403662 5976064 970 4294967295 134512640 134702520 3221223712 3221222816 134564360 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 1459 970 413 48 0 1411 0
[pid=5597] vsize: 5836
Current children cumulated CPU time (s) 1113.79
Current children cumulated vsize (Kb) 7964
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 1239 0 0 0 2492 89 0 0 25 0 1 0 20403662 10485760 1210 4294967295 134512640 134702520 3221223712 3221104448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2560 1210 413 48 0 2512 0
[pid=5597] vsize: 10240
Current children cumulated CPU time (s) 1123.03
Current children cumulated vsize (Kb) 12368
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2214 0 0 0 3386 129 0 0 25 0 1 0 20403662 10756096 2185 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2626 2185 413 48 0 2578 0
[pid=5597] vsize: 10504
Current children cumulated CPU time (s) 1132.37
Current children cumulated vsize (Kb) 12632
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2279 0 0 0 4279 169 0 0 25 0 1 0 20403662 11026432 2250 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2692 2250 413 48 0 2644 0
[pid=5597] vsize: 10768
Current children cumulated CPU time (s) 1141.7
Current children cumulated vsize (Kb) 12896
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2327 0 0 0 5178 202 0 0 25 0 1 0 20403662 11296768 2298 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2758 2298 413 48 0 2710 0
[pid=5597] vsize: 11032
Current children cumulated CPU time (s) 1151.02
Current children cumulated vsize (Kb) 13160
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2366 0 0 0 6094 230 0 0 25 0 1 0 20403662 11431936 2337 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2791 2337 413 48 0 2743 0
[pid=5597] vsize: 11164
Current children cumulated CPU time (s) 1160.46
Current children cumulated vsize (Kb) 13292
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2406 0 0 0 6995 263 0 0 25 0 1 0 20403662 11567104 2377 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2824 2377 413 48 0 2776 0
[pid=5597] vsize: 11296
Current children cumulated CPU time (s) 1169.8
Current children cumulated vsize (Kb) 13424
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2439 0 0 0 7907 295 0 0 25 0 1 0 20403662 11702272 2410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2857 2410 413 48 0 2809 0
[pid=5597] vsize: 11428
Current children cumulated CPU time (s) 1179.24
Current children cumulated vsize (Kb) 13556
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2462 0 0 0 8801 329 0 0 25 0 1 0 20403662 11837440 2433 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2433 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1188.52
Current children cumulated vsize (Kb) 13688
[startup+1270.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) T 5529 5529 4059 0 -1 0 2466 0 0 0 9710 361 0 0 25 0 1 0 20403662 11837440 2437 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5597/statm): 2890 2437 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1197.93
Current children cumulated vsize (Kb) 13688
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 10609 398 0 0 25 0 1 0 20403662 11837440 2442 4294967295 134512640 134702520 3221223712 3221222992 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2442 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1207.29
Current children cumulated vsize (Kb) 13688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5597
Raw data (/proc/5529/stat): 5529 (vallstSAT2005PB) S 5528 5529 4059 0 -1 0 417 7825 0 0 1 2 106268 3451 19 0 1 0 20287393 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5529/statm): 532 248 485 147 0 385 0
[pid=5529] vsize: 2128
Raw data (/proc/5597/stat): 5597 (vallst) R 5529 5529 4059 0 -1 0 2471 0 0 0 10609 398 0 0 25 0 1 0 20403662 11837440 2442 4294967295 134512640 134702520 3221223712 3221222992 134552322 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5597/statm): 2890 2442 413 48 0 2842 0
[pid=5597] vsize: 11560
Current children cumulated CPU time (s) 1207.29
Current children cumulated vsize (Kb) 13688
Sending SIGTERM to -5529
Sleeping 2 seconds
New process pid=5599
New process pid=5600
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /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/1387/stat
open syscall for file /proc/1387/status
open syscall for file /proc/1387/cmdline
open syscall for file /proc/1387/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1503/stat
open syscall for file /proc/1503/status
open syscall for file /proc/1503/cmdline
open syscall for file /proc/1503/environ
open syscall for file /proc/1544/stat
open syscall for file /proc/1544/status
open syscall for file /proc/1544/cmdline
open syscall for file /proc/1544/environ
open syscall for file /proc/1568/stat
open syscall for file /proc/1568/status
open syscall for file /proc/1568/cmdline
open syscall for file /proc/1568/environ
open syscall for file /proc/1591/stat
open syscall for file /proc/1591/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1591/cmdline
open syscall for file /proc/1591/environ
open syscall for file /proc/1622/stat
open syscall for file /proc/1622/status
open syscall for file /proc/1622/cmdline
open syscall for file /proc/1622/environ
open syscall for file /proc/1680/stat
open syscall for file /proc/1680/status
open syscall for file /proc/1680/cmdline
open syscall for file /proc/1680/environ
open syscall for file /proc/1685/stat
open syscall for file /proc/1685/status
open syscall for file /proc/1685/cmdline
open syscall for file /proc/1685/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/4041/stat
open syscall for file /proc/4041/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/4041/cmdline
open syscall for file /proc/4041/environ
open syscall for file /proc/4067/stat
open syscall for file /proc/4067/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4067/cmdline
open syscall for file /proc/4067/environ
open syscall for file /proc/5490/stat
open syscall for file /proc/5490/status
open syscall for file /proc/5490/cmdline
open syscall for file /proc/5490/environ
open syscall for file /proc/5528/stat
open syscall for file /proc/5528/status
open syscall for file /proc/5528/cmdline
open syscall for file /proc/5528/environ
open syscall for file /proc/5529/stat
open syscall for file /proc/5529/status
open syscall for file /proc/5529/cmdline
open syscall for file /proc/5529/environ
open syscall for file /proc/5597/stat
open syscall for file /proc/5597/status
open syscall for file /proc/5597/cmdline
open syscall for file /proc/5597/environ
open syscall for file /proc/5599/stat
open syscall for file /proc/5599/status
open syscall for file /proc/5599/cmdline
open syscall for file /proc/5599/environ
open syscall for file /proc/5600/stat
open syscall for file /proc/5600/status
open syscall for file /proc/5600/cmdline
open syscall for file /proc/5600/environ
One traced child (pid=5599) exited with status: 0
One traced child (pid=5600) exited with status: 0
New process pid=5601
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5597) exited with status: 3
One traced child (pid=5601) exited with status: 0
New process pid=5602
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=5602) exited with status: 0
One traced child (pid=5529) 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): 1280.59
CPU time (s): 1207.78
CPU user time (s): 1169.17
CPU system time (s): 38.6111
CPU usage (%): 94.3144
Max. virtual memory (cumulated for all children) (Kb): 18748