1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 1443 (#equs: 4)
#decisions: 459788; #end-nodes: 200185;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 178 (175)
#axs: 1652, #non-axs: 4840
tight: meta-meta: start: 4, end: 5; meta: start: 10, end (keep): 19
loose: meta-meta: start: 8, end: 12; meta: start: 27, end (keep): 43
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: 1550 (#equs: 5)
Time taken: 5 min, 16 sec
2:
seed: 0
Nr of vars set: 1550 (#equs: 0)
Nr of vars set: 1550 (#equs: 0)
#decisions: 1177493; #end-nodes: 536860;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 278 (263)
#axs: 1629, #non-axs: 2463
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 7
loose: meta-meta: start: 6, end: 8; meta: start: 18, end (keep): 26
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 1583 (#equs: 1)
Time taken: 11 min, 28 sec
3:
Error: out-theory file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf couldn't be opened.
No such file or directory
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 1583 (#equs: 0)
Nr of vars set: 1584 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1586 (#equs: 0)
Time taken: 3 min, 20 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/9110/stat): 9110 (vallstSAT2005PB) R 9109 9110 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1852924347 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9110/statm): 174 3 169 147 0 27 0
[pid=9110] 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=9111
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=9111) exited with status: 0
New process pid=9112
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=9112) exited with status: 0
New process pid=9113
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/wulflinc22/normalized-mps-v2-20-10-air04.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0037 s]
Raw data (loadavg): 1.04 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1156 0 0 0 893 38 0 0 25 0 1 0 1852924354 6635520 1055 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 1620 1055 413 48 0 1572 0
[pid=9113] vsize: 6480
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (Kb) 8608
[startup+20.0054 s]
Raw data (loadavg): 1.03 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1205 0 0 0 1762 84 0 0 23 0 1 0 1852924354 12681216 1104 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3096 1104 413 48 0 3048 0
[pid=9113] vsize: 12384
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (Kb) 14512
[startup+30.0062 s]
Raw data (loadavg): 1.02 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1344 0 0 0 2659 120 0 0 25 0 1 0 1852924354 12771328 1243 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3118 1243 413 48 0 3070 0
[pid=9113] vsize: 12472
Current children cumulated CPU time (s) 27.81
Current children cumulated vsize (Kb) 14600
[startup+40.0069 s]
Raw data (loadavg): 1.02 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1563 0 0 0 3560 156 0 0 25 0 1 0 1852924354 12906496 1462 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3151 1462 413 48 0 3103 0
[pid=9113] vsize: 12604
Current children cumulated CPU time (s) 37.18
Current children cumulated vsize (Kb) 14732
[startup+50.0086 s]
Raw data (loadavg): 1.02 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1596 0 0 0 4471 186 0 0 25 0 1 0 1852924354 13041664 1495 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3184 1495 413 48 0 3136 0
[pid=9113] vsize: 12736
Current children cumulated CPU time (s) 46.59
Current children cumulated vsize (Kb) 14864
[startup+60.0093 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 1616 0 0 0 5379 217 0 0 25 0 1 0 1852924354 13012992 1515 4294967295 134512640 134702520 3221223952 3221222976 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3177 1515 413 48 0 3129 0
[pid=9113] vsize: 12708
Current children cumulated CPU time (s) 55.98
Current children cumulated vsize (Kb) 14836
[startup+70.011 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1619 0 0 0 6279 252 0 0 25 0 1 0 1852924354 13012992 1518 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3177 1518 413 48 0 3129 0
[pid=9113] vsize: 12708
Current children cumulated CPU time (s) 65.33
Current children cumulated vsize (Kb) 14836
[startup+80.0117 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 1791 0 0 0 7182 287 0 0 25 0 1 0 1852924354 13152256 1690 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3211 1690 413 48 0 3163 0
[pid=9113] vsize: 12844
Current children cumulated CPU time (s) 74.71
Current children cumulated vsize (Kb) 14972
[startup+90.0124 s]
Raw data (loadavg): 1.01 1.00 0.93 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2354 0 0 0 8080 326 0 0 18 0 1 0 1852924354 13287424 2253 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3244 2253 413 48 0 3196 0
[pid=9113] vsize: 12976
Current children cumulated CPU time (s) 84.08
Current children cumulated vsize (Kb) 15104
[startup+100.013 s]
Raw data (loadavg): 1.01 1.00 0.93 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 2890 0 0 0 8991 359 0 0 25 0 1 0 1852924354 13557760 2789 4294967295 134512640 134702520 3221223952 3221212208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3310 2789 413 48 0 3262 0
[pid=9113] vsize: 13240
Current children cumulated CPU time (s) 93.52
Current children cumulated vsize (Kb) 15368
[startup+110.014 s]
Raw data (loadavg): 1.08 1.02 0.94 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2905 0 0 0 9896 388 0 0 25 0 1 0 1852924354 13557760 2804 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3310 2804 413 48 0 3262 0
[pid=9113] vsize: 13240
Current children cumulated CPU time (s) 102.86
Current children cumulated vsize (Kb) 15368
[startup+120.016 s]
Raw data (loadavg): 1.07 1.02 0.94 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 2925 0 0 0 10808 417 0 0 25 0 1 0 1852924354 13692928 2824 4294967295 134512640 134702520 3221223952 3221144828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3343 2824 413 48 0 3295 0
[pid=9113] vsize: 13372
Current children cumulated CPU time (s) 112.27
Current children cumulated vsize (Kb) 15500
[startup+130.016 s]
Raw data (loadavg): 1.06 1.01 0.94 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2936 0 0 0 11721 447 0 0 25 0 1 0 1852924354 13692928 2835 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3343 2835 413 48 0 3295 0
[pid=9113] vsize: 13372
Current children cumulated CPU time (s) 121.7
Current children cumulated vsize (Kb) 15500
[startup+140.017 s]
Raw data (loadavg): 1.13 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 2992 0 0 0 12637 479 0 0 25 0 1 0 1852924354 13828096 2891 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3376 2891 413 48 0 3328 0
[pid=9113] vsize: 13504
Current children cumulated CPU time (s) 131.18
Current children cumulated vsize (Kb) 15632
[startup+150.018 s]
Raw data (loadavg): 1.11 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3001 0 0 0 13553 509 0 0 25 0 1 0 1852924354 13975552 2900 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3412 2900 413 48 0 3364 0
[pid=9113] vsize: 13648
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (Kb) 15776
[startup+160.018 s]
Raw data (loadavg): 1.09 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3002 0 0 0 14457 541 0 0 25 0 1 0 1852924354 13946880 2901 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3405 2901 413 48 0 3357 0
[pid=9113] vsize: 13620
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 15748
[startup+170.02 s]
Raw data (loadavg): 1.08 1.03 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3004 0 0 0 15362 573 0 0 25 0 1 0 1852924354 13950976 2903 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3406 2903 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (Kb) 15752
[startup+180.021 s]
Raw data (loadavg): 1.07 1.03 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3011 0 0 0 16275 604 0 0 25 0 1 0 1852924354 13950976 2910 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3406 2910 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 168.81
Current children cumulated vsize (Kb) 15752
[startup+190.022 s]
Raw data (loadavg): 1.06 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3020 0 0 0 17192 634 0 0 25 0 1 0 1852924354 13950976 2919 4294967295 134512640 134702520 3221223952 3221223072 134578600 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3406 2919 413 48 0 3358 0
[pid=9113] vsize: 13624
Current children cumulated CPU time (s) 178.28
Current children cumulated vsize (Kb) 15752
[startup+200.023 s]
Raw data (loadavg): 1.05 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3039 0 0 0 18109 662 0 0 25 0 1 0 1852924354 14086144 2938 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2938 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 187.73
Current children cumulated vsize (Kb) 15884
[startup+210.024 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3044 0 0 0 19016 695 0 0 25 0 1 0 1852924354 14086144 2943 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2943 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 197.13
Current children cumulated vsize (Kb) 15884
[startup+220.025 s]
Raw data (loadavg): 1.03 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3051 0 0 0 19933 724 0 0 18 0 1 0 1852924354 14086144 2950 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3439 2950 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 206.59
Current children cumulated vsize (Kb) 15884
[startup+230.025 s]
Raw data (loadavg): 1.03 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3051 0 0 0 20851 752 0 0 18 0 1 0 1852924354 14086144 2950 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3439 2950 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 216.05
Current children cumulated vsize (Kb) 15884
[startup+240.026 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3058 0 0 0 21758 784 0 0 25 0 1 0 1852924354 14086144 2957 4294967295 134512640 134702520 3221223952 3221223232 134550809 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3439 2957 413 48 0 3391 0
[pid=9113] vsize: 13756
Current children cumulated CPU time (s) 225.44
Current children cumulated vsize (Kb) 15884
[startup+250.027 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3085 0 0 0 22693 806 0 0 25 0 1 0 1852924354 14221312 2984 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3472 2984 413 48 0 3424 0
[pid=9113] vsize: 13888
Current children cumulated CPU time (s) 235.01
Current children cumulated vsize (Kb) 16016
[startup+260.028 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) R 9110 9110 21452 0 -1 0 3168 0 0 0 23590 845 0 0 25 0 1 0 1852924354 14221312 3067 4294967295 134512640 134702520 3221223952 3221223232 134552884 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3472 3067 413 48 0 3424 0
[pid=9113] vsize: 13888
Current children cumulated CPU time (s) 244.37
Current children cumulated vsize (Kb) 16016
[startup+270.029 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3240 0 0 0 24501 876 0 0 25 0 1 0 1852924354 15044608 3139 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3673 3139 413 48 0 3625 0
[pid=9113] vsize: 14692
Current children cumulated CPU time (s) 253.79
Current children cumulated vsize (Kb) 16820
[startup+280.03 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3329 0 0 0 25426 904 0 0 25 0 1 0 1852924354 15179776 3228 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3706 3228 413 48 0 3658 0
[pid=9113] vsize: 14824
Current children cumulated CPU time (s) 263.32
Current children cumulated vsize (Kb) 16952
[startup+290.031 s]
Raw data (loadavg): 1.01 1.02 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3371 0 0 0 26353 930 0 0 25 0 1 0 1852924354 15179776 3270 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3706 3270 413 48 0 3658 0
[pid=9113] vsize: 14824
Current children cumulated CPU time (s) 272.85
Current children cumulated vsize (Kb) 16952
[startup+300.031 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3447 0 0 0 27270 960 0 0 25 0 1 0 1852924354 15314944 3346 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3739 3346 413 48 0 3691 0
[pid=9113] vsize: 14956
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (Kb) 17084
[startup+310.032 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3502 0 0 0 28203 981 0 0 25 0 1 0 1852924354 16138240 3401 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3940 3401 413 48 0 3892 0
[pid=9113] vsize: 15760
Current children cumulated CPU time (s) 291.86
Current children cumulated vsize (Kb) 17888
[startup+320.033 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3558 0 0 0 29140 1004 0 0 25 0 1 0 1852924354 16273408 3457 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9113/statm): 3973 3457 413 48 0 3925 0
[pid=9113] vsize: 15892
Current children cumulated CPU time (s) 301.46
Current children cumulated vsize (Kb) 18020
[startup+330.034 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9113
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 330 232 0 0 1 0 0 1 22 0 1 0 1852924347 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 242 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9113/stat): 9113 (vallst) T 9110 9110 21452 0 -1 0 3561 0 0 0 30059 1035 0 0 25 0 1 0 1852924354 16273408 3460 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9113/statm): 3973 3460 413 48 0 3925 0
[pid=9113] vsize: 15892
Current children cumulated CPU time (s) 310.96
Current children cumulated vsize (Kb) 18020
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=9113) exited with status: 2
New process pid=9114
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=9114) exited with status: 0
New process pid=9115
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+340.034 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 986 0 0 0 354 13 0 0 25 0 1 0 1852957968 6070272 956 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 1482 956 413 48 0 1434 0
[pid=9115] vsize: 5928
Current children cumulated CPU time (s) 320.45
Current children cumulated vsize (Kb) 8056
[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1019 0 0 0 1270 39 0 0 25 0 1 0 1852957968 6340608 989 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 1548 989 413 48 0 1500 0
[pid=9115] vsize: 6192
Current children cumulated CPU time (s) 329.87
Current children cumulated vsize (Kb) 8320
[startup+360.036 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1157 0 0 0 2179 70 0 0 25 0 1 0 1852957968 11673600 1127 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2850 1127 413 48 0 2802 0
[pid=9115] vsize: 11400
Current children cumulated CPU time (s) 339.27
Current children cumulated vsize (Kb) 13528
[startup+370.036 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1360 0 0 0 3090 101 0 0 25 0 1 0 1852957968 11808768 1330 4294967295 134512640 134702520 3221223712 3221222736 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2883 1330 413 48 0 2835 0
[pid=9115] vsize: 11532
Current children cumulated CPU time (s) 348.69
Current children cumulated vsize (Kb) 13660
[startup+380.038 s]
Raw data (loadavg): 1.07 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1553 0 0 0 3974 142 0 0 25 0 1 0 1852957968 11943936 1523 4294967295 134512640 134702520 3221223712 3221196128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2916 1523 413 48 0 2868 0
[pid=9115] vsize: 11664
Current children cumulated CPU time (s) 357.94
Current children cumulated vsize (Kb) 13792
[startup+390.039 s]
Raw data (loadavg): 1.06 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1562 0 0 0 4877 176 0 0 25 0 1 0 1852957968 12079104 1532 4294967295 134512640 134702520 3221223712 3221222992 134552175 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1532 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 367.31
Current children cumulated vsize (Kb) 13924
[startup+400.041 s]
Raw data (loadavg): 1.05 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1571 0 0 0 5783 212 0 0 25 0 1 0 1852957968 12079104 1541 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1541 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 376.73
Current children cumulated vsize (Kb) 13924
[startup+410.041 s]
Raw data (loadavg): 1.04 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1571 0 0 0 6698 243 0 0 25 0 1 0 1852957968 12079104 1541 4294967295 134512640 134702520 3221223712 3221222992 134552991 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 2949 1541 413 48 0 2901 0
[pid=9115] vsize: 11796
Current children cumulated CPU time (s) 386.19
Current children cumulated vsize (Kb) 13924
[startup+420.043 s]
Raw data (loadavg): 1.04 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 1674 0 0 0 7588 281 0 0 25 0 1 0 1852957968 12214272 1644 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2982 1644 413 48 0 2934 0
[pid=9115] vsize: 11928
Current children cumulated CPU time (s) 395.47
Current children cumulated vsize (Kb) 14056
[startup+430.044 s]
Raw data (loadavg): 1.03 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 1678 0 0 0 8488 315 0 0 25 0 1 0 1852957968 12214272 1648 4294967295 134512640 134702520 3221223712 3221036128 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 2982 1648 413 48 0 2934 0
[pid=9115] vsize: 11928
Current children cumulated CPU time (s) 404.81
Current children cumulated vsize (Kb) 14056
[startup+440.044 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2435 0 0 0 9380 354 0 0 25 0 1 0 1852957968 12484608 2405 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3048 2405 413 48 0 3000 0
[pid=9115] vsize: 12192
Current children cumulated CPU time (s) 414.12
Current children cumulated vsize (Kb) 14320
[startup+450.046 s]
Raw data (loadavg): 1.02 1.02 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2593 0 0 0 10293 387 0 0 25 0 1 0 1852957968 12611584 2563 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3079 2563 413 48 0 3031 0
[pid=9115] vsize: 12316
Current children cumulated CPU time (s) 423.58
Current children cumulated vsize (Kb) 14444
[startup+460.047 s]
Raw data (loadavg): 1.02 1.02 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2632 0 0 0 11186 424 0 0 25 0 1 0 1852957968 12746752 2602 4294967295 134512640 134702520 3221223712 3221222992 134552866 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3112 2602 413 48 0 3064 0
[pid=9115] vsize: 12448
Current children cumulated CPU time (s) 432.88
Current children cumulated vsize (Kb) 14576
[startup+470.048 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2670 0 0 0 12095 456 0 0 25 0 1 0 1852957968 12881920 2640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3145 2640 413 48 0 3097 0
[pid=9115] vsize: 12580
Current children cumulated CPU time (s) 442.29
Current children cumulated vsize (Kb) 14708
[startup+480.049 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2679 0 0 0 12987 492 0 0 18 0 1 0 1852957968 12881920 2649 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3145 2649 413 48 0 3097 0
[pid=9115] vsize: 12580
Current children cumulated CPU time (s) 451.57
Current children cumulated vsize (Kb) 14708
[startup+490.051 s]
Raw data (loadavg): 1.01 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2686 0 0 0 13899 521 0 0 25 0 1 0 1852957968 13037568 2656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3183 2656 413 48 0 3135 0
[pid=9115] vsize: 12732
Current children cumulated CPU time (s) 460.98
Current children cumulated vsize (Kb) 14860
[startup+500.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2686 0 0 0 14797 556 0 0 25 0 1 0 1852957968 12980224 2656 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3169 2656 413 48 0 3121 0
[pid=9115] vsize: 12676
Current children cumulated CPU time (s) 470.31
Current children cumulated vsize (Kb) 14804
[startup+510.053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2705 0 0 0 15695 589 0 0 25 0 1 0 1852957968 12980224 2675 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3169 2675 413 48 0 3121 0
[pid=9115] vsize: 12676
Current children cumulated CPU time (s) 479.62
Current children cumulated vsize (Kb) 14804
[startup+520.055 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2723 0 0 0 16592 623 0 0 25 0 1 0 1852957968 13115392 2693 4294967295 134512640 134702520 3221223712 3221199488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3202 2693 413 48 0 3154 0
[pid=9115] vsize: 12808
Current children cumulated CPU time (s) 488.93
Current children cumulated vsize (Kb) 14936
[startup+530.056 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2726 0 0 0 17487 660 0 0 18 0 1 0 1852957968 13115392 2696 4294967295 134512640 134702520 3221223712 3221222832 134573613 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3202 2696 413 48 0 3154 0
[pid=9115] vsize: 12808
Current children cumulated CPU time (s) 498.25
Current children cumulated vsize (Kb) 14936
[startup+540.056 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2744 0 0 0 18380 696 0 0 25 0 1 0 1852957968 13254656 2714 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3236 2714 413 48 0 3188 0
[pid=9115] vsize: 12944
Current children cumulated CPU time (s) 507.54
Current children cumulated vsize (Kb) 15072
[startup+550.057 s]
Raw data (loadavg): 1.00 1.01 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2749 0 0 0 19265 734 0 0 25 0 1 0 1852957968 13225984 2719 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2719 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 516.77
Current children cumulated vsize (Kb) 15044
[startup+560.058 s]
Raw data (loadavg): 1.00 1.01 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2753 0 0 0 20158 770 0 0 18 0 1 0 1852957968 13225984 2723 4294967295 134512640 134702520 3221223712 3221222832 134578768 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2723 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 526.06
Current children cumulated vsize (Kb) 15044
[startup+570.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 2756 0 0 0 21040 811 0 0 25 0 1 0 1852957968 13225984 2726 4294967295 134512640 134702520 3221223712 3221196448 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2726 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 535.29
Current children cumulated vsize (Kb) 15044
[startup+580.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2760 0 0 0 21955 839 0 0 25 0 1 0 1852957968 13225984 2730 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2730 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 544.72
Current children cumulated vsize (Kb) 15044
[startup+590.061 s]
Raw data (loadavg): 1.07 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2760 0 0 0 22854 873 0 0 25 0 1 0 1852957968 13225984 2730 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3229 2730 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 554.05
Current children cumulated vsize (Kb) 15044
[startup+600.062 s]
Raw data (loadavg): 1.06 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2766 0 0 0 23736 916 0 0 25 0 1 0 1852957968 13225984 2736 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3229 2736 413 48 0 3181 0
[pid=9115] vsize: 12916
Current children cumulated CPU time (s) 563.3
Current children cumulated vsize (Kb) 15044
[startup+610.062 s]
Raw data (loadavg): 1.05 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2776 0 0 0 24646 950 0 0 25 0 1 0 1852957968 13361152 2746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2746 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 572.74
Current children cumulated vsize (Kb) 15176
[startup+620.063 s]
Raw data (loadavg): 1.04 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2819 0 0 0 25555 983 0 0 25 0 1 0 1852957968 13361152 2789 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2789 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (Kb) 15176
[startup+630.064 s]
Raw data (loadavg): 1.04 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 2907 0 0 0 26462 1014 0 0 25 0 1 0 1852957968 13361152 2877 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3262 2877 413 48 0 3214 0
[pid=9115] vsize: 13048
Current children cumulated CPU time (s) 591.54
Current children cumulated vsize (Kb) 15176
[startup+640.065 s]
Raw data (loadavg): 1.03 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3013 0 0 0 27385 1042 0 0 25 0 1 0 1852957968 14213120 2983 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3470 2983 413 48 0 3422 0
[pid=9115] vsize: 13880
Current children cumulated CPU time (s) 601.05
Current children cumulated vsize (Kb) 16008
[startup+650.065 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3112 0 0 0 28301 1072 0 0 25 0 1 0 1852957968 14348288 3082 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3503 3082 413 48 0 3455 0
[pid=9115] vsize: 14012
Current children cumulated CPU time (s) 610.51
Current children cumulated vsize (Kb) 16140
[startup+660.066 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3202 0 0 0 29234 1097 0 0 25 0 1 0 1852957968 15200256 3172 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3711 3172 413 48 0 3663 0
[pid=9115] vsize: 14844
Current children cumulated CPU time (s) 620.09
Current children cumulated vsize (Kb) 16972
[startup+670.068 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3228 0 0 0 30166 1120 0 0 25 0 1 0 1852957968 15335424 3198 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3744 3198 413 48 0 3696 0
[pid=9115] vsize: 14976
Current children cumulated CPU time (s) 629.64
Current children cumulated vsize (Kb) 17104
[startup+680.068 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3263 0 0 0 31108 1140 0 0 25 0 1 0 1852957968 15335424 3233 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3744 3233 413 48 0 3696 0
[pid=9115] vsize: 14976
Current children cumulated CPU time (s) 639.26
Current children cumulated vsize (Kb) 17104
[startup+690.069 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3323 0 0 0 32042 1163 0 0 19 0 1 0 1852957968 15470592 3293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3777 3293 413 48 0 3729 0
[pid=9115] vsize: 15108
Current children cumulated CPU time (s) 648.83
Current children cumulated vsize (Kb) 17236
[startup+700.071 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3382 0 0 0 32976 1187 0 0 25 0 1 0 1852957968 15470592 3352 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 3777 3352 413 48 0 3729 0
[pid=9115] vsize: 15108
Current children cumulated CPU time (s) 658.41
Current children cumulated vsize (Kb) 17236
[startup+710.072 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3472 0 0 0 33893 1218 0 0 25 0 1 0 1852957968 16322560 3442 4294967295 134512640 134702520 3221223712 3221130828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 3985 3442 413 48 0 3937 0
[pid=9115] vsize: 15940
Current children cumulated CPU time (s) 667.89
Current children cumulated vsize (Kb) 18068
[startup+720.073 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3496 0 0 0 34827 1243 0 0 19 0 1 0 1852957968 16457728 3466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4018 3466 413 48 0 3970 0
[pid=9115] vsize: 16072
Current children cumulated CPU time (s) 677.48
Current children cumulated vsize (Kb) 18200
[startup+730.075 s]
Raw data (loadavg): 1.00 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3544 0 0 0 35753 1268 0 0 19 0 1 0 1852957968 16457728 3514 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4018 3514 413 48 0 3970 0
[pid=9115] vsize: 16072
Current children cumulated CPU time (s) 686.99
Current children cumulated vsize (Kb) 18200
[startup+740.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3626 0 0 0 36676 1293 0 0 25 0 1 0 1852957968 16592896 3596 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4051 3596 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 696.47
Current children cumulated vsize (Kb) 18332
[startup+750.076 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3640 0 0 0 37610 1317 0 0 25 0 1 0 1852957968 16592896 3610 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4051 3610 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 706.05
Current children cumulated vsize (Kb) 18332
[startup+760.077 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3652 0 0 0 38538 1341 0 0 25 0 1 0 1852957968 16592896 3622 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4051 3622 413 48 0 4003 0
[pid=9115] vsize: 16204
Current children cumulated CPU time (s) 715.57
Current children cumulated vsize (Kb) 18332
[startup+770.078 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3684 0 0 0 39476 1360 0 0 25 0 1 0 1852957968 16728064 3654 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4084 3654 413 48 0 4036 0
[pid=9115] vsize: 16336
Current children cumulated CPU time (s) 725.14
Current children cumulated vsize (Kb) 18464
[startup+780.079 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3768 0 0 0 40416 1381 0 0 25 0 1 0 1852957968 17580032 3738 4294967295 134512640 134702520 3221223712 3221222992 134552868 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4292 3738 413 48 0 4244 0
[pid=9115] vsize: 17168
Current children cumulated CPU time (s) 734.75
Current children cumulated vsize (Kb) 19296
[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3794 0 0 0 41345 1408 0 0 20 0 1 0 1852957968 16867328 3731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3731 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 744.31
Current children cumulated vsize (Kb) 18600
[startup+800.08 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3794 0 0 0 42262 1436 0 0 25 0 1 0 1852957968 16867328 3731 4294967295 134512640 134702520 3221223712 3221222992 134550414 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4118 3731 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 753.76
Current children cumulated vsize (Kb) 18600
[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3796 0 0 0 43159 1472 0 0 25 0 1 0 1852957968 16867328 3733 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4118 3733 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 763.09
Current children cumulated vsize (Kb) 18600
[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3803 0 0 0 44080 1501 0 0 25 0 1 0 1852957968 16867328 3740 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3740 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 772.59
Current children cumulated vsize (Kb) 18600
[startup+830.083 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3804 0 0 0 44987 1530 0 0 25 0 1 0 1852957968 16867328 3741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3741 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 781.95
Current children cumulated vsize (Kb) 18600
[startup+840.084 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3806 0 0 0 45902 1559 0 0 25 0 1 0 1852957968 16867328 3743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4118 3743 413 48 0 4070 0
[pid=9115] vsize: 16472
Current children cumulated CPU time (s) 791.39
Current children cumulated vsize (Kb) 18600
[startup+850.086 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3809 0 0 0 46816 1591 0 0 20 0 1 0 1852957968 17002496 3746 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3746 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 800.85
Current children cumulated vsize (Kb) 18732
[startup+860.086 s]
Raw data (loadavg): 1.08 1.02 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3814 0 0 0 47740 1617 0 0 25 0 1 0 1852957968 17002496 3751 4294967295 134512640 134702520 3221223712 3221222832 134573392 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3751 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 810.35
Current children cumulated vsize (Kb) 18732
[startup+870.088 s]
Raw data (loadavg): 1.07 1.02 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3821 0 0 0 48662 1645 0 0 25 0 1 0 1852957968 17002496 3758 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3758 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 819.85
Current children cumulated vsize (Kb) 18732
[startup+880.089 s]
Raw data (loadavg): 1.06 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3823 0 0 0 49593 1668 0 0 25 0 1 0 1852957968 17002496 3760 4294967295 134512640 134702520 3221223712 3221222992 134557529 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3760 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (Kb) 18732
[startup+890.089 s]
Raw data (loadavg): 1.05 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3825 0 0 0 50517 1692 0 0 25 0 1 0 1852957968 17002496 3762 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3762 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 838.87
Current children cumulated vsize (Kb) 18732
[startup+900.091 s]
Raw data (loadavg): 1.04 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3836 0 0 0 51440 1717 0 0 23 0 1 0 1852957968 17002496 3773 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4151 3773 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 848.35
Current children cumulated vsize (Kb) 18732
[startup+910.092 s]
Raw data (loadavg): 1.03 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3838 0 0 0 52362 1743 0 0 25 0 1 0 1852957968 17002496 3775 4294967295 134512640 134702520 3221223712 3221222736 134557252 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4151 3775 413 48 0 4103 0
[pid=9115] vsize: 16604
Current children cumulated CPU time (s) 857.83
Current children cumulated vsize (Kb) 18732
[startup+920.092 s]
Raw data (loadavg): 1.03 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3842 0 0 0 53283 1771 0 0 25 0 1 0 1852957968 17154048 3779 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4188 3779 413 48 0 4140 0
[pid=9115] vsize: 16752
Current children cumulated CPU time (s) 867.32
Current children cumulated vsize (Kb) 18880
[startup+930.093 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3842 0 0 0 54188 1804 0 0 25 0 1 0 1852957968 17096704 3779 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4174 3779 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 876.7
Current children cumulated vsize (Kb) 18824
[startup+940.094 s]
Raw data (loadavg): 1.02 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3851 0 0 0 55110 1833 0 0 25 0 1 0 1852957968 17096704 3788 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4174 3788 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 886.21
Current children cumulated vsize (Kb) 18824
[startup+950.095 s]
Raw data (loadavg): 1.02 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3853 0 0 0 56018 1866 0 0 19 0 1 0 1852957968 17096704 3790 4294967295 134512640 134702520 3221223712 3221222992 134552569 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4174 3790 413 48 0 4126 0
[pid=9115] vsize: 16696
Current children cumulated CPU time (s) 895.62
Current children cumulated vsize (Kb) 18824
[startup+960.095 s]
Raw data (loadavg): 1.01 1.01 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3870 0 0 0 56937 1892 0 0 25 0 1 0 1852957968 17231872 3807 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4207 3807 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 905.07
Current children cumulated vsize (Kb) 18956
[startup+970.097 s]
Raw data (loadavg): 1.01 1.01 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3882 0 0 0 57854 1921 0 0 20 0 1 0 1852957968 17231872 3819 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4207 3819 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 914.53
Current children cumulated vsize (Kb) 18956
[startup+980.098 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3895 0 0 0 58769 1952 0 0 25 0 1 0 1852957968 17231872 3832 4294967295 134512640 134702520 3221223712 3221222992 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4207 3832 413 48 0 4159 0
[pid=9115] vsize: 16828
Current children cumulated CPU time (s) 923.99
Current children cumulated vsize (Kb) 18956
[startup+990.098 s]
Raw data (loadavg): 1.01 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3911 0 0 0 59694 1980 0 0 25 0 1 0 1852957968 17367040 3848 4294967295 134512640 134702520 3221223712 3221222968 134548989 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3848 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 933.52
Current children cumulated vsize (Kb) 19088
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 60593 2016 0 0 19 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 942.87
Current children cumulated vsize (Kb) 19088
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 61495 2051 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221222992 134552894 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 952.24
Current children cumulated vsize (Kb) 19088
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 62383 2091 0 0 19 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 961.52
Current children cumulated vsize (Kb) 19088
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 63288 2126 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 970.92
Current children cumulated vsize (Kb) 19088
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3913 0 0 0 64190 2162 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 980.3
Current children cumulated vsize (Kb) 19088
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) R 9110 9110 21452 0 -1 0 3913 0 0 0 65083 2199 0 0 25 0 1 0 1852957968 17367040 3850 4294967295 134512640 134702520 3221223712 3221139948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9115/statm): 4240 3850 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 989.6
Current children cumulated vsize (Kb) 19088
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9115
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 378 3936 0 0 1 1 30620 1056 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9115/stat): 9115 (vallst) T 9110 9110 21452 0 -1 0 3918 0 0 0 66000 2228 0 0 25 0 1 0 1852957968 17367040 3855 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9115/statm): 4240 3855 413 48 0 4192 0
[pid=9115] vsize: 16960
Current children cumulated CPU time (s) 999.06
Current children cumulated vsize (Kb) 19088
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=9115) exited with status: 2
New process pid=9116
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=9116) exited with status: 0
New process pid=9117
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+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 958 0 0 0 307 12 0 0 25 0 1 0 1853031039 5660672 929 4294967295 134512640 134702520 3221223712 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 1382 929 413 48 0 1334 0
[pid=9117] vsize: 5528
Current children cumulated CPU time (s) 1008.55
Current children cumulated vsize (Kb) 7656
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 991 0 0 0 1220 43 0 0 25 0 1 0 1853031039 5939200 962 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 1450 962 413 48 0 1402 0
[pid=9117] vsize: 5800
Current children cumulated CPU time (s) 1017.99
Current children cumulated vsize (Kb) 7928
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 1205 0 0 0 2104 84 0 0 18 0 1 0 1853031039 10272768 1176 4294967295 134512640 134702520 3221223712 3221179488 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2508 1176 413 48 0 2460 0
[pid=9117] vsize: 10032
Current children cumulated CPU time (s) 1027.24
Current children cumulated vsize (Kb) 12160
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2192 0 0 0 3013 116 0 0 25 0 1 0 1853031039 10686464 2163 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2609 2163 413 48 0 2561 0
[pid=9117] vsize: 10436
Current children cumulated CPU time (s) 1036.65
Current children cumulated vsize (Kb) 12564
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2247 0 0 0 3922 146 0 0 25 0 1 0 1853031039 10956800 2218 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2675 2218 413 48 0 2627 0
[pid=9117] vsize: 10700
Current children cumulated CPU time (s) 1046.04
Current children cumulated vsize (Kb) 12828
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2283 0 0 0 4820 181 0 0 19 0 1 0 1853031039 11091968 2254 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2708 2254 413 48 0 2660 0
[pid=9117] vsize: 10832
Current children cumulated CPU time (s) 1055.37
Current children cumulated vsize (Kb) 12960
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2326 0 0 0 5726 216 0 0 25 0 1 0 1853031039 11227136 2297 4294967295 134512640 134702520 3221223712 3221161088 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2741 2297 413 48 0 2693 0
[pid=9117] vsize: 10964
Current children cumulated CPU time (s) 1064.78
Current children cumulated vsize (Kb) 13092
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2341 0 0 0 6628 248 0 0 25 0 1 0 1853031039 11227136 2312 4294967295 134512640 134702520 3221223712 3221086688 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2741 2312 413 48 0 2693 0
[pid=9117] vsize: 10964
Current children cumulated CPU time (s) 1074.12
Current children cumulated vsize (Kb) 13092
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2364 0 0 0 7514 288 0 0 25 0 1 0 1853031039 11374592 2335 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2777 2335 413 48 0 2729 0
[pid=9117] vsize: 11108
Current children cumulated CPU time (s) 1083.38
Current children cumulated vsize (Kb) 13236
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2421 0 0 0 8440 315 0 0 25 0 1 0 1853031039 11644928 2392 4294967295 134512640 134702520 3221223712 3221222992 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2843 2392 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1092.91
Current children cumulated vsize (Kb) 13500
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2427 0 0 0 9337 352 0 0 19 0 1 0 1853031039 11644928 2398 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2843 2398 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1102.25
Current children cumulated vsize (Kb) 13500
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2436 0 0 0 10226 390 0 0 25 0 1 0 1853031039 11644928 2407 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2843 2407 413 48 0 2795 0
[pid=9117] vsize: 11372
Current children cumulated CPU time (s) 1111.52
Current children cumulated vsize (Kb) 13500
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2439 0 0 0 11140 422 0 0 25 0 1 0 1853031039 11780096 2410 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2876 2410 413 48 0 2828 0
[pid=9117] vsize: 11504
Current children cumulated CPU time (s) 1120.98
Current children cumulated vsize (Kb) 13632
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2442 0 0 0 12042 455 0 0 25 0 1 0 1853031039 11722752 2413 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2862 2413 413 48 0 2814 0
[pid=9117] vsize: 11448
Current children cumulated CPU time (s) 1130.33
Current children cumulated vsize (Kb) 13576
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2450 0 0 0 12923 494 0 0 25 0 1 0 1853031039 11722752 2421 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2862 2421 413 48 0 2814 0
[pid=9117] vsize: 11448
Current children cumulated CPU time (s) 1139.53
Current children cumulated vsize (Kb) 13576
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2470 0 0 0 13806 532 0 0 19 0 1 0 1853031039 11857920 2441 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2895 2441 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1148.74
Current children cumulated vsize (Kb) 13708
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2476 0 0 0 14695 568 0 0 19 0 1 0 1853031039 11857920 2447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2447 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1157.99
Current children cumulated vsize (Kb) 13708
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2488 0 0 0 15582 607 0 0 25 0 1 0 1853031039 11857920 2459 4294967295 134512640 134702520 3221223712 3221222984 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2459 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1167.25
Current children cumulated vsize (Kb) 13708
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2493 0 0 0 16465 646 0 0 25 0 1 0 1853031039 11857920 2464 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2895 2464 413 48 0 2847 0
[pid=9117] vsize: 11580
Current children cumulated CPU time (s) 1176.47
Current children cumulated vsize (Kb) 13708
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2499 0 0 0 17382 675 0 0 25 0 1 0 1853031039 11997184 2470 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2929 2470 413 48 0 2881 0
[pid=9117] vsize: 11716
Current children cumulated CPU time (s) 1185.93
Current children cumulated vsize (Kb) 13844
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 0.96 1/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) T 9110 9110 21452 0 -1 0 2499 0 0 0 18286 709 0 0 25 0 1 0 1853031039 11968512 2470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/9117/statm): 2922 2470 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1195.31
Current children cumulated vsize (Kb) 13816
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2503 0 0 0 19170 748 0 0 25 0 1 0 1853031039 11968512 2474 4294967295 134512640 134702520 3221223712 3221191808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2922 2474 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1204.54
Current children cumulated vsize (Kb) 13816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/57 9117
Raw data (/proc/9110/stat): 9110 (vallstSAT2005PB) S 9109 9110 21452 0 -1 0 417 7998 0 0 2 1 97223 3310 19 0 1 0 1852924347 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/9110/statm): 532 248 485 147 0 385 0
[pid=9110] vsize: 2128
Raw data (/proc/9117/stat): 9117 (vallst) R 9110 9110 21452 0 -1 0 2503 0 0 0 19170 748 0 0 25 0 1 0 1853031039 11968512 2474 4294967295 134512640 134702520 3221223712 3221191808 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/9117/statm): 2922 2474 413 48 0 2874 0
[pid=9117] vsize: 11688
Current children cumulated CPU time (s) 1204.54
Current children cumulated vsize (Kb) 13816
Sending SIGTERM to -9110
Sleeping 2 seconds
New process pid=9119
New process pid=9120
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/9073/stat
open syscall for file /proc/9073/status
open syscall for file /proc/9073/cmdline
open syscall for file /proc/9073/environ
open syscall for file /proc/9109/stat
open syscall for file /proc/9109/status
open syscall for file /proc/9109/cmdline
open syscall for file /proc/9109/environ
open syscall for file /proc/9110/stat
open syscall for file /proc/9110/status
open syscall for file /proc/9110/cmdline
open syscall for file /proc/9110/environ
open syscall for file /proc/9117/stat
open syscall for file /proc/9117/status
open syscall for file /proc/9117/cmdline
open syscall for file /proc/9117/environ
open syscall for file /proc/9119/stat
open syscall for file /proc/9119/status
open syscall for file /proc/9119/cmdline
open syscall for file /proc/9119/environ
open syscall for file /proc/9120/stat
open syscall for file /proc/9120/status
open syscall for file /proc/9120/cmdline
open syscall for file /proc/9120/environ
One traced child (pid=9120) exited with status: 0
One traced child (pid=9119) exited with status: 0
New process pid=9121
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=9121) exited with status: 0
New process pid=9122
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=9122) exited with status: 0
One traced child (pid=9110) ended because it received signal 15 (SIGTERM)
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=9117) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1280.99
CPU time (s): 200.041
CPU user time (s): 192.547
CPU system time (s): 7.49386
CPU usage (%): 15.6161
Max. virtual memory (cumulated for all children) (Kb): 19296