1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 1143; #end-nodes: 715;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 595 / 1067 (80)
#axs: 21622, #non-axs: 322
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 781 (736:>=*);
#decisions: 199453; #end-nodes: 136721;
#proof improvement attempts: 0; #restarts: 480
Current batch, end-nodes: 0 / 199 (199)
#axs: 22669, #non-axs: 312
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 781 (736:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 330 (#equs: 1047)
Time taken: 5 min, 17 sec
2:
seed: 0
Nr of vars set: 330 (#equs: 0)
Nr of vars set: 330 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 330 (#equs: 0)
Time taken: 14 min, 46 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/23442/stat): 23442 (vallstSAT2005PB) R 23441 23442 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843009326 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/23442/statm): 174 3 169 147 0 27 0
[pid=23442] 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=23443
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=23443) exited with status: 0
New process pid=23444
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=23444) exited with status: 0
New process pid=23445
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/wulflinc26/normalized-ii32c4.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0042 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 673 0 0 0 923 25 0 0 25 0 1 0 1843009334 4567040 643 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 1115 643 413 48 0 1067 0
[pid=23445] vsize: 4460
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (Kb) 6588
[startup+20.0059 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 833 0 0 0 1833 57 0 0 25 0 1 0 1843009334 9752576 803 4294967295 134512640 134702520 3221223968 3221223248 134552864 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2381 803 413 48 0 2333 0
[pid=23445] vsize: 9524
Current children cumulated CPU time (s) 18.92
Current children cumulated vsize (Kb) 11652
[startup+30.0076 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 1947 0 0 0 2800 70 0 0 25 0 1 0 1843009334 9887744 1917 4294967295 134512640 134702520 3221223968 3221223248 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2414 1917 413 48 0 2366 0
[pid=23445] vsize: 9656
Current children cumulated CPU time (s) 28.72
Current children cumulated vsize (Kb) 11784
[startup+40.0082 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2022 0 0 0 3766 82 0 0 25 0 1 0 1843009334 9887744 1992 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2414 1992 413 48 0 2366 0
[pid=23445] vsize: 9656
Current children cumulated CPU time (s) 38.5
Current children cumulated vsize (Kb) 11784
[startup+50.0089 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2035 0 0 0 4728 94 0 0 25 0 1 0 1843009334 10022912 2005 4294967295 134512640 134702520 3221223968 3221223248 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2447 2005 413 48 0 2399 0
[pid=23445] vsize: 9788
Current children cumulated CPU time (s) 48.24
Current children cumulated vsize (Kb) 11916
[startup+60.0096 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2054 0 0 0 5695 104 0 0 25 0 1 0 1843009334 10022912 2024 4294967295 134512640 134702520 3221223968 3221223248 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2447 2024 413 48 0 2399 0
[pid=23445] vsize: 9788
Current children cumulated CPU time (s) 58.01
Current children cumulated vsize (Kb) 11916
[startup+70.0103 s]
Raw data (loadavg): 0.97 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2087 0 0 0 6659 117 0 0 25 0 1 0 1843009334 10158080 2057 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2057 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 67.78
Current children cumulated vsize (Kb) 12048
[startup+80.012 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2101 0 0 0 7629 127 0 0 25 0 1 0 1843009334 10158080 2071 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2071 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 77.58
Current children cumulated vsize (Kb) 12048
[startup+90.0127 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2119 0 0 0 8591 140 0 0 25 0 1 0 1843009334 10158080 2089 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2480 2089 413 48 0 2432 0
[pid=23445] vsize: 9920
Current children cumulated CPU time (s) 87.33
Current children cumulated vsize (Kb) 12048
[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2142 0 0 0 9555 152 0 0 25 0 1 0 1843009334 10293248 2112 4294967295 134512640 134702520 3221223968 3221223248 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2513 2112 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 97.09
Current children cumulated vsize (Kb) 12180
[startup+110.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2150 0 0 0 10508 168 0 0 25 0 1 0 1843009334 10293248 2120 4294967295 134512640 134702520 3221223968 3221223088 134578849 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2120 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 106.78
Current children cumulated vsize (Kb) 12180
[startup+120.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2161 0 0 0 11469 181 0 0 25 0 1 0 1843009334 10293248 2131 4294967295 134512640 134702520 3221223968 3221222864 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2131 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 116.52
Current children cumulated vsize (Kb) 12180
[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2168 0 0 0 12430 195 0 0 25 0 1 0 1843009334 10293248 2138 4294967295 134512640 134702520 3221223968 3221223248 134552991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2513 2138 413 48 0 2465 0
[pid=23445] vsize: 10052
Current children cumulated CPU time (s) 126.27
Current children cumulated vsize (Kb) 12180
[startup+140.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2174 0 0 0 13385 212 0 0 25 0 1 0 1843009334 10428416 2144 4294967295 134512640 134702520 3221223968 3221223360 134604468 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2144 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 135.99
Current children cumulated vsize (Kb) 12312
[startup+150.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2181 0 0 0 14336 231 0 0 25 0 1 0 1843009334 10428416 2151 4294967295 134512640 134702520 3221223968 3221222864 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2151 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (Kb) 12312
[startup+160.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2181 0 0 0 15315 236 0 0 25 0 1 0 1843009334 10428416 2151 4294967295 134512640 134702520 3221223968 3221222864 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2151 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 155.53
Current children cumulated vsize (Kb) 12312
[startup+170.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2185 0 0 0 16266 254 0 0 25 0 1 0 1843009334 10428416 2155 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2155 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 165.22
Current children cumulated vsize (Kb) 12312
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2189 0 0 0 17208 272 0 0 25 0 1 0 1843009334 10428416 2159 4294967295 134512640 134702520 3221223968 3221223232 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2159 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 174.82
Current children cumulated vsize (Kb) 12312
[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2192 0 0 0 18147 291 0 0 17 0 1 0 1843009334 10428416 2162 4294967295 134512640 134702520 3221223968 3221223248 134553140 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2162 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 184.4
Current children cumulated vsize (Kb) 12312
[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2193 0 0 0 19093 309 0 0 25 0 1 0 1843009334 10428416 2163 4294967295 134512640 134702520 3221223968 3221222864 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2546 2163 413 48 0 2498 0
[pid=23445] vsize: 10184
Current children cumulated CPU time (s) 194.04
Current children cumulated vsize (Kb) 12312
[startup+210.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2195 0 0 0 20088 311 0 0 25 0 1 0 1843009334 10604544 2165 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2165 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (Kb) 12484
[startup+220.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2201 0 0 0 21049 325 0 0 25 0 1 0 1843009334 10604544 2171 4294967295 134512640 134702520 3221223968 3221222864 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2171 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 213.76
Current children cumulated vsize (Kb) 12484
[startup+230.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2202 0 0 0 21996 342 0 0 25 0 1 0 1843009334 10604544 2172 4294967295 134512640 134702520 3221223968 3221222992 134553162 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2172 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 223.4
Current children cumulated vsize (Kb) 12484
[startup+240.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2202 0 0 0 22975 350 0 0 25 0 1 0 1843009334 10604544 2172 4294967295 134512640 134702520 3221223968 3221222864 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2172 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 233.27
Current children cumulated vsize (Kb) 12484
[startup+250.028 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2205 0 0 0 23961 355 0 0 25 0 1 0 1843009334 10604544 2175 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2589 2175 413 48 0 2541 0
[pid=23445] vsize: 10356
Current children cumulated CPU time (s) 243.18
Current children cumulated vsize (Kb) 12484
[startup+260.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2208 0 0 0 24915 371 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221222864 134552128 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 252.88
Current children cumulated vsize (Kb) 12612
[startup+270.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) T 23442 23442 16528 0 -1 0 2208 0 0 0 25865 387 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 262.54
Current children cumulated vsize (Kb) 12612
[startup+280.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2208 0 0 0 26857 390 0 0 25 0 1 0 1843009334 10735616 2178 4294967295 134512640 134702520 3221223968 3221222864 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2178 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 272.49
Current children cumulated vsize (Kb) 12612
[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2210 0 0 0 27833 398 0 0 25 0 1 0 1843009334 10735616 2180 4294967295 134512640 134702520 3221223968 3221222864 134552866 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2180 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (Kb) 12612
[startup+300.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 28781 417 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221223248 134552175 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 292
Current children cumulated vsize (Kb) 12612
[startup+310.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 29728 433 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221222864 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 301.63
Current children cumulated vsize (Kb) 12612
[startup+320.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23445
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1843009326 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 242 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23445/stat): 23445 (vallst) R 23442 23442 16528 0 -1 0 2211 0 0 0 30714 438 0 0 25 0 1 0 1843009334 10735616 2181 4294967295 134512640 134702520 3221223968 3221222864 134552831 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/23445/statm): 2621 2181 413 48 0 2573 0
[pid=23445] vsize: 10484
Current children cumulated CPU time (s) 311.54
Current children cumulated vsize (Kb) 12612
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=23445) exited with status: 2
New process pid=23446
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=23446) exited with status: 0
New process pid=23447
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+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 290 0 0 0 352 16 0 0 25 0 1 0 1843041938 3522560 261 4294967295 134512640 134702520 3221223712 3221222832 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 860 261 413 48 0 812 0
[pid=23447] vsize: 3440
Current children cumulated CPU time (s) 321.2
Current children cumulated vsize (Kb) 5568
[startup+340.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 291 0 0 0 1293 37 0 0 25 0 1 0 1843041938 3522560 262 4294967295 134512640 134702520 3221223712 3221222720 134551090 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 860 262 413 48 0 812 0
[pid=23447] vsize: 3440
Current children cumulated CPU time (s) 330.82
Current children cumulated vsize (Kb) 5568
[startup+350.038 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 354 0 0 0 2176 76 0 0 22 0 1 0 1843041938 6901760 325 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 325 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 8868
[startup+360.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 357 0 0 0 3053 117 0 0 25 0 1 0 1843041938 6901760 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 328 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 349.22
Current children cumulated vsize (Kb) 8868
[startup+370.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 357 0 0 0 4008 133 0 0 25 0 1 0 1843041938 6901760 328 4294967295 134512640 134702520 3221223712 3221222464 134553191 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 328 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 358.93
Current children cumulated vsize (Kb) 8868
[startup+380.041 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 362 0 0 0 4880 178 0 0 25 0 1 0 1843041938 6901760 333 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 333 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 368.1
Current children cumulated vsize (Kb) 8868
[startup+390.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 366 0 0 0 5759 218 0 0 25 0 1 0 1843041938 6901760 337 4294967295 134512640 134702520 3221223712 3221222480 134551028 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 337 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 377.29
Current children cumulated vsize (Kb) 8868
[startup+400.043 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 366 0 0 0 6700 237 0 0 22 0 1 0 1843041938 6901760 337 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 337 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 386.89
Current children cumulated vsize (Kb) 8868
[startup+410.044 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 372 0 0 0 7563 285 0 0 25 0 1 0 1843041938 6901760 343 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1685 343 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 396
Current children cumulated vsize (Kb) 8868
[startup+420.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 374 0 0 0 8459 320 0 0 25 0 1 0 1843041938 6901760 345 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 345 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 405.31
Current children cumulated vsize (Kb) 8868
[startup+430.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 376 0 0 0 9390 345 0 0 25 0 1 0 1843041938 6901760 347 4294967295 134512640 134702520 3221223712 3221222608 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1685 347 413 48 0 1637 0
[pid=23447] vsize: 6740
Current children cumulated CPU time (s) 414.87
Current children cumulated vsize (Kb) 8868
[startup+440.047 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 380 0 0 0 10241 396 0 0 25 0 1 0 1843041938 7028736 351 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 351 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 423.89
Current children cumulated vsize (Kb) 8992
[startup+450.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 382 0 0 0 11138 431 0 0 25 0 1 0 1843041938 7028736 353 4294967295 134512640 134702520 3221223712 3221222480 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 353 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 433.21
Current children cumulated vsize (Kb) 8992
[startup+460.049 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 383 0 0 0 12052 462 0 0 19 0 1 0 1843041938 7028736 354 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 354 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 442.66
Current children cumulated vsize (Kb) 8992
[startup+470.05 s]
Raw data (loadavg): 1.07 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 387 0 0 0 12900 513 0 0 22 0 1 0 1843041938 7028736 358 4294967295 134512640 134702520 3221223712 3221222608 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 358 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 451.65
Current children cumulated vsize (Kb) 8992
[startup+480.051 s]
Raw data (loadavg): 1.06 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 388 0 0 0 13816 540 0 0 25 0 1 0 1843041938 7028736 359 4294967295 134512640 134702520 3221223712 3221222480 134552441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 359 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 461.08
Current children cumulated vsize (Kb) 8992
[startup+490.052 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 390 0 0 0 14723 572 0 0 24 0 1 0 1843041938 7028736 361 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 361 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 470.47
Current children cumulated vsize (Kb) 8992
[startup+500.052 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 394 0 0 0 15563 624 0 0 23 0 1 0 1843041938 7028736 365 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 365 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 479.39
Current children cumulated vsize (Kb) 8992
[startup+510.052 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 395 0 0 0 16484 652 0 0 25 0 1 0 1843041938 7028736 366 4294967295 134512640 134702520 3221223712 3221222480 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 366 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 488.88
Current children cumulated vsize (Kb) 8992
[startup+520.053 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 396 0 0 0 17386 685 0 0 24 0 1 0 1843041938 7028736 367 4294967295 134512640 134702520 3221223712 3221222608 134553933 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 367 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 498.23
Current children cumulated vsize (Kb) 8992
[startup+530.055 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 401 0 0 0 18225 741 0 0 24 0 1 0 1843041938 7028736 372 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 372 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 507.18
Current children cumulated vsize (Kb) 8992
[startup+540.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 402 0 0 0 19147 767 0 0 25 0 1 0 1843041938 7028736 373 4294967295 134512640 134702520 3221223712 3221222464 134553215 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 373 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 516.66
Current children cumulated vsize (Kb) 8992
[startup+550.055 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 404 0 0 0 20045 802 0 0 23 0 1 0 1843041938 7028736 375 4294967295 134512640 134702520 3221223712 3221222548 134549017 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 375 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 525.99
Current children cumulated vsize (Kb) 8992
[startup+560.056 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 409 0 0 0 20872 857 0 0 24 0 1 0 1843041938 7028736 380 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 380 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 534.81
Current children cumulated vsize (Kb) 8992
[startup+570.057 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 410 0 0 0 21794 884 0 0 25 0 1 0 1843041938 7028736 381 4294967295 134512640 134702520 3221223712 3221222480 134552857 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 381 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 544.3
Current children cumulated vsize (Kb) 8992
[startup+580.057 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 412 0 0 0 22695 919 0 0 23 0 1 0 1843041938 7028736 383 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 383 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 553.66
Current children cumulated vsize (Kb) 8992
[startup+590.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 416 0 0 0 23525 976 0 0 19 0 1 0 1843041938 7028736 387 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 387 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 562.53
Current children cumulated vsize (Kb) 8992
[startup+600.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 417 0 0 0 24438 1006 0 0 25 0 1 0 1843041938 7028736 388 4294967295 134512640 134702520 3221223712 3221222608 134553125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 388 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 571.96
Current children cumulated vsize (Kb) 8992
[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 418 0 0 0 25323 1043 0 0 19 0 1 0 1843041938 7028736 389 4294967295 134512640 134702520 3221223712 3221206208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 389 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (Kb) 8992
[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 422 0 0 0 26154 1097 0 0 24 0 1 0 1843041938 7028736 393 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 393 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 590.03
Current children cumulated vsize (Kb) 8992
[startup+630.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 424 0 0 0 27044 1135 0 0 25 0 1 0 1843041938 7028736 395 4294967295 134512640 134702520 3221223712 3221222480 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 395 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 599.31
Current children cumulated vsize (Kb) 8992
[startup+640.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 425 0 0 0 27955 1163 0 0 24 0 1 0 1843041938 7028736 396 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 396 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 608.7
Current children cumulated vsize (Kb) 8992
[startup+650.064 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 429 0 0 0 28763 1231 0 0 17 0 1 0 1843041938 7028736 400 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 400 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 617.46
Current children cumulated vsize (Kb) 8992
[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 431 0 0 0 29642 1271 0 0 25 0 1 0 1843041938 7028736 402 4294967295 134512640 134702520 3221223712 3221222480 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 402 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 626.65
Current children cumulated vsize (Kb) 8992
[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 432 0 0 0 30565 1297 0 0 21 0 1 0 1843041938 7028736 403 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 403 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 636.14
Current children cumulated vsize (Kb) 8992
[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 435 0 0 0 31382 1357 0 0 23 0 1 0 1843041938 7028736 406 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 1716 406 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 644.91
Current children cumulated vsize (Kb) 8992
[startup+690.068 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 440 0 0 0 32236 1407 0 0 25 0 1 0 1843041938 7028736 411 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 411 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 653.95
Current children cumulated vsize (Kb) 8992
[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 440 0 0 0 33190 1422 0 0 25 0 1 0 1843041938 7028736 411 4294967295 134512640 134702520 3221223712 3221222420 134549005 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 411 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 663.64
Current children cumulated vsize (Kb) 8992
[startup+710.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 444 0 0 0 33983 1492 0 0 21 0 1 0 1843041938 7028736 415 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 415 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 672.27
Current children cumulated vsize (Kb) 8992
[startup+720.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 445 0 0 0 34821 1546 0 0 25 0 1 0 1843041938 7028736 416 4294967295 134512640 134702520 3221223712 3221222608 134553165 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 416 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 681.19
Current children cumulated vsize (Kb) 8992
[startup+730.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 446 0 0 0 35770 1563 0 0 25 0 1 0 1843041938 7028736 417 4294967295 134512640 134702520 3221223712 3221222608 134552539 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 1716 417 413 48 0 1668 0
[pid=23447] vsize: 6864
Current children cumulated CPU time (s) 690.85
Current children cumulated vsize (Kb) 8992
[startup+740.072 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 908 0 0 0 36603 1621 0 0 24 0 1 0 1843041938 8515584 879 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2079 879 413 48 0 2031 0
[pid=23447] vsize: 8316
Current children cumulated CPU time (s) 699.76
Current children cumulated vsize (Kb) 10444
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1008 0 0 0 37425 1686 0 0 23 0 1 0 1843041938 8650752 912 4294967295 134512640 134702520 3221223712 3221222608 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2112 912 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 708.63
Current children cumulated vsize (Kb) 10576
[startup+760.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1009 0 0 0 38338 1717 0 0 25 0 1 0 1843041938 8650752 913 4294967295 134512640 134702520 3221223712 3221222464 134553231 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2112 913 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 718.07
Current children cumulated vsize (Kb) 10576
[startup+770.074 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1012 0 0 0 39235 1754 0 0 22 0 1 0 1843041938 8650752 916 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2112 916 413 48 0 2064 0
[pid=23447] vsize: 8448
Current children cumulated CPU time (s) 727.41
Current children cumulated vsize (Kb) 10576
[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1102 0 0 0 40063 1812 0 0 23 0 1 0 1843041938 9101312 1006 4294967295 134512640 134702520 3221223712 3221223104 134605875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2222 1006 413 48 0 2174 0
[pid=23447] vsize: 8888
Current children cumulated CPU time (s) 736.27
Current children cumulated vsize (Kb) 11016
[startup+790.077 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1129 0 0 0 40897 1870 0 0 25 0 1 0 1843041938 8785920 940 4294967295 134512640 134702520 3221223712 3221222420 134549010 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 940 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 745.19
Current children cumulated vsize (Kb) 10708
[startup+800.077 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1129 0 0 0 41853 1885 0 0 25 0 1 0 1843041938 8785920 940 4294967295 134512640 134702520 3221223712 3221222480 134553027 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 940 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 754.9
Current children cumulated vsize (Kb) 10708
[startup+810.078 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1221 0 0 0 42666 1944 0 0 21 0 1 0 1843041938 9236480 1032 4294967295 134512640 134702520 3221223712 3221200608 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2255 1032 413 48 0 2207 0
[pid=23447] vsize: 9020
Current children cumulated CPU time (s) 763.62
Current children cumulated vsize (Kb) 11148
[startup+820.079 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1263 0 0 0 43489 2001 0 0 21 0 1 0 1843041938 9236480 1067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2255 1067 413 48 0 2207 0
[pid=23447] vsize: 9020
Current children cumulated CPU time (s) 772.42
Current children cumulated vsize (Kb) 11148
[startup+830.08 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1277 0 0 0 44389 2034 0 0 25 0 1 0 1843041938 8785920 961 4294967295 134512640 134702520 3221223712 3221222480 134553514 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 961 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 781.75
Current children cumulated vsize (Kb) 10708
[startup+840.081 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1278 0 0 0 45300 2066 0 0 25 0 1 0 1843041938 8785920 962 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2145 962 413 48 0 2097 0
[pid=23447] vsize: 8580
Current children cumulated CPU time (s) 791.18
Current children cumulated vsize (Kb) 10708
[startup+850.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1417 0 0 0 46106 2130 0 0 23 0 1 0 1843041938 9371648 1082 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2288 1082 413 48 0 2240 0
[pid=23447] vsize: 9152
Current children cumulated CPU time (s) 799.88
Current children cumulated vsize (Kb) 11280
[startup+860.082 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1494 0 0 0 46937 2187 0 0 25 0 1 0 1843041938 8916992 978 4294967295 134512640 134702520 3221223712 3221222592 134553867 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 978 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 808.76
Current children cumulated vsize (Kb) 10836
[startup+870.083 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1495 0 0 0 47877 2207 0 0 25 0 1 0 1843041938 8916992 979 4294967295 134512640 134702520 3221223712 3221222480 134552903 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 979 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 818.36
Current children cumulated vsize (Kb) 10836
[startup+880.084 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1581 0 0 0 48731 2256 0 0 25 0 1 0 1843041938 9367552 1065 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2287 1065 413 48 0 2239 0
[pid=23447] vsize: 9148
Current children cumulated CPU time (s) 827.39
Current children cumulated vsize (Kb) 11276
[startup+890.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1723 0 0 0 49528 2327 0 0 19 0 1 0 1843041938 9818112 1139 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2397 1139 413 48 0 2349 0
[pid=23447] vsize: 9588
Current children cumulated CPU time (s) 836.07
Current children cumulated vsize (Kb) 11716
[startup+900.084 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 1813 0 0 0 50392 2375 0 0 25 0 1 0 1843041938 8916992 1002 4294967295 134512640 134702520 3221223712 3221222480 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2177 1002 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 845.19
Current children cumulated vsize (Kb) 10836
[startup+910.085 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1813 0 0 0 51345 2390 0 0 25 0 1 0 1843041938 8916992 1002 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2177 1002 413 48 0 2129 0
[pid=23447] vsize: 8708
Current children cumulated CPU time (s) 854.87
Current children cumulated vsize (Kb) 10836
[startup+920.085 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 1985 0 0 0 52141 2458 0 0 24 0 1 0 1843041938 9506816 1123 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2321 1123 413 48 0 2273 0
[pid=23447] vsize: 9284
Current children cumulated CPU time (s) 863.51
Current children cumulated vsize (Kb) 11412
[startup+930.086 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2079 0 0 0 52971 2518 0 0 21 0 1 0 1843041938 9957376 1217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2431 1217 413 48 0 2383 0
[pid=23447] vsize: 9724
Current children cumulated CPU time (s) 872.41
Current children cumulated vsize (Kb) 11852
[startup+940.087 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2092 0 0 0 53856 2557 0 0 25 0 1 0 1843041938 9056256 1025 4294967295 134512640 134702520 3221223712 3221222480 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1025 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 881.65
Current children cumulated vsize (Kb) 10972
[startup+950.087 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2092 0 0 0 54767 2586 0 0 22 0 1 0 1843041938 9056256 1025 4294967295 134512640 134702520 3221223712 3221222608 134552889 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1025 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 891.05
Current children cumulated vsize (Kb) 10972
[startup+960.088 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2301 0 0 0 55584 2651 0 0 21 0 1 0 1843041938 9957376 1217 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2431 1217 413 48 0 2383 0
[pid=23447] vsize: 9724
Current children cumulated CPU time (s) 899.87
Current children cumulated vsize (Kb) 11852
[startup+970.089 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2354 0 0 0 56393 2714 0 0 17 0 1 0 1843041938 9056256 1041 4294967295 134512640 134702520 3221223712 3221222588 134564336 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1041 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 908.59
Current children cumulated vsize (Kb) 10972
[startup+980.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2354 0 0 0 57312 2743 0 0 25 0 1 0 1843041938 9056256 1041 4294967295 134512640 134702520 3221223712 3221222480 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1041 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 918.07
Current children cumulated vsize (Kb) 10972
[startup+990.09 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2355 0 0 0 58207 2777 0 0 22 0 1 0 1843041938 9056256 1042 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1042 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 927.36
Current children cumulated vsize (Kb) 10972
[startup+1000.09 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2357 0 0 0 58991 2850 0 0 17 0 1 0 1843041938 9056256 1044 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1044 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 935.93
Current children cumulated vsize (Kb) 10972
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2358 0 0 0 59825 2907 0 0 25 0 1 0 1843041938 9056256 1045 4294967295 134512640 134702520 3221223712 3221222448 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1045 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 944.84
Current children cumulated vsize (Kb) 10972
[startup+1020.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2358 0 0 0 60780 2922 0 0 25 0 1 0 1843041938 9056256 1045 4294967295 134512640 134702520 3221223712 3221222480 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1045 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 954.54
Current children cumulated vsize (Kb) 10972
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2361 0 0 0 61572 2991 0 0 18 0 1 0 1843041938 9056256 1048 4294967295 134512640 134702520 3221223712 3221222608 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1048 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 963.15
Current children cumulated vsize (Kb) 10972
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2363 0 0 0 62344 3064 0 0 24 0 1 0 1843041938 9056256 1050 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1050 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 971.6
Current children cumulated vsize (Kb) 10972
[startup+1050.1 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2363 0 0 0 63269 3090 0 0 25 0 1 0 1843041938 9056256 1050 4294967295 134512640 134702520 3221223712 3221222480 134553142 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1050 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 981.11
Current children cumulated vsize (Kb) 10972
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2364 0 0 0 64128 3135 0 0 19 0 1 0 1843041938 9056256 1051 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1051 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 990.15
Current children cumulated vsize (Kb) 10972
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.01 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2366 0 0 0 64906 3213 0 0 20 0 1 0 1843041938 9056256 1053 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1053 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 998.71
Current children cumulated vsize (Kb) 10972
[startup+1080.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2367 0 0 0 65733 3271 0 0 25 0 1 0 1843041938 9056256 1054 4294967295 134512640 134702520 3221223712 3221222448 134548991 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1054 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1007.56
Current children cumulated vsize (Kb) 10972
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2367 0 0 0 66689 3286 0 0 25 0 1 0 1843041938 9056256 1054 4294967295 134512640 134702520 3221223712 3221222480 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1054 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1017.27
Current children cumulated vsize (Kb) 10972
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2369 0 0 0 67464 3360 0 0 23 0 1 0 1843041938 9056256 1056 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1056 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1025.76
Current children cumulated vsize (Kb) 10972
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2371 0 0 0 68226 3443 0 0 20 0 1 0 1843041938 9056256 1058 4294967295 134512640 134702520 3221223712 3221222576 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1058 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1034.21
Current children cumulated vsize (Kb) 10972
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2371 0 0 0 69146 3468 0 0 25 0 1 0 1843041938 9056256 1058 4294967295 134512640 134702520 3221223712 3221222480 134552810 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1058 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1043.66
Current children cumulated vsize (Kb) 10972
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2372 0 0 0 70036 3506 0 0 25 0 1 0 1843041938 9056256 1059 4294967295 134512640 134702520 3221223712 3221222608 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1059 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1052.94
Current children cumulated vsize (Kb) 10972
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2374 0 0 0 70802 3583 0 0 25 0 1 0 1843041938 9056256 1061 4294967295 134512640 134702520 3221223712 3221222608 134551042 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1061 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1061.37
Current children cumulated vsize (Kb) 10972
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2376 0 0 0 71597 3654 0 0 25 0 1 0 1843041938 9056256 1063 4294967295 134512640 134702520 3221223712 3221222608 134552354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1063 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1070.03
Current children cumulated vsize (Kb) 10972
[startup+1160.11 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2376 0 0 0 72544 3672 0 0 25 0 1 0 1843041938 9056256 1063 4294967295 134512640 134702520 3221223712 3221222480 134552539 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1063 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1079.68
Current children cumulated vsize (Kb) 10972
[startup+1170.11 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2377 0 0 0 73359 3736 0 0 22 0 1 0 1843041938 9056256 1064 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1064 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1088.47
Current children cumulated vsize (Kb) 10972
[startup+1180.11 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2379 0 0 0 74131 3812 0 0 25 0 1 0 1843041938 9056256 1066 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1066 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1096.95
Current children cumulated vsize (Kb) 10972
[startup+1190.11 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2380 0 0 0 74986 3860 0 0 25 0 1 0 1843041938 9056256 1067 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1067 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1105.98
Current children cumulated vsize (Kb) 10972
[startup+1200.11 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2380 0 0 0 75895 3891 0 0 19 0 1 0 1843041938 9056256 1067 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1067 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1115.38
Current children cumulated vsize (Kb) 10972
[startup+1210.11 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2382 0 0 0 76673 3967 0 0 21 0 1 0 1843041938 9056256 1069 4294967295 134512640 134702520 3221223712 3221222992 134552799 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1069 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1123.92
Current children cumulated vsize (Kb) 10972
[startup+1220.11 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2384 0 0 0 77433 4047 0 0 25 0 1 0 1843041938 9056256 1071 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1071 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1132.32
Current children cumulated vsize (Kb) 10972
[startup+1230.11 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2384 0 0 0 78358 4075 0 0 25 0 1 0 1843041938 9056256 1071 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1071 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1141.85
Current children cumulated vsize (Kb) 10972
[startup+1240.11 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2385 0 0 0 79208 4125 0 0 17 0 1 0 1843041938 9056256 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1072 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1150.85
Current children cumulated vsize (Kb) 10972
[startup+1250.11 s]
Raw data (loadavg): 1.08 1.04 1.01 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2387 0 0 0 80000 4194 0 0 25 0 1 0 1843041938 9056256 1074 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1074 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1159.46
Current children cumulated vsize (Kb) 10972
[startup+1260.12 s]
Raw data (loadavg): 1.07 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2388 0 0 0 80783 4265 0 0 25 0 1 0 1843041938 9056256 1075 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1075 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1168
Current children cumulated vsize (Kb) 10972
[startup+1270.12 s]
Raw data (loadavg): 1.06 1.03 1.01 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2388 0 0 0 81734 4283 0 0 25 0 1 0 1843041938 9056256 1075 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/23447/statm): 2211 1075 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1177.69
Current children cumulated vsize (Kb) 10972
[startup+1280.12 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) T 23442 23442 16528 0 -1 0 2390 0 0 0 82532 4349 0 0 23 0 1 0 1843041938 9056256 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1077 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1186.33
Current children cumulated vsize (Kb) 10972
[startup+1290.12 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2392 0 0 0 83284 4428 0 0 24 0 1 0 1843041938 9056256 1079 4294967295 134512640 134702520 3221223712 3221222608 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1079 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1194.64
Current children cumulated vsize (Kb) 10972
[startup+1300.12 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2393 0 0 0 84129 4480 0 0 25 0 1 0 1843041938 9056256 1080 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1080 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 10972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1300.12 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 23447
Raw data (/proc/23442/stat): 23442 (vallstSAT2005PB) S 23441 23442 16528 0 -1 0 378 2586 0 0 2 1 31304 445 19 0 1 0 1843009326 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/23442/statm): 532 248 485 147 0 385 0
[pid=23442] vsize: 2128
Raw data (/proc/23447/stat): 23447 (vallst) R 23442 23442 16528 0 -1 0 2393 0 0 0 84129 4480 0 0 25 0 1 0 1843041938 9056256 1080 4294967295 134512640 134702520 3221223712 3221222480 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/23447/statm): 2211 1080 413 48 0 2163 0
[pid=23447] vsize: 8844
Current children cumulated CPU time (s) 1203.61
Current children cumulated vsize (Kb) 10972
Sending SIGTERM to -23442
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=23449
New process pid=23450
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=23447) exited with status: 3
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/15372/stat
open syscall for file /proc/15372/status
open syscall for file /proc/15372/cmdline
open syscall for file /proc/15372/environ
open syscall for file /proc/2659/stat
open syscall for file /proc/2659/status
open syscall for file /proc/2659/cmdline
open syscall for file /proc/2659/environ
open syscall for file /proc/2686/stat
open syscall for file /proc/2686/status
open syscall for file /proc/2686/cmdline
open syscall for file /proc/2686/environ
open syscall for file /proc/2710/stat
open syscall for file /proc/2710/status
open syscall for file /proc/2710/cmdline
open syscall for file /proc/2710/environ
open syscall for file /proc/30711/stat
open syscall for file /proc/30711/status
open syscall for file /proc/30711/cmdline
open syscall for file /proc/30711/environ
open syscall for file /proc/30712/stat
open syscall for file /proc/30712/status
open syscall for file /proc/30712/cmdline
open syscall for file /proc/30712/environ
open syscall for file /proc/704/stat
open syscall for file /proc/704/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/704/cmdline
open syscall for file /proc/704/environ
open syscall for file /proc/739/stat
open syscall for file /proc/739/status
open syscall for file /proc/739/cmdline
open syscall for file /proc/739/environ
open syscall for file /proc/16528/stat
open syscall for file /proc/16528/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/16528/cmdline
open syscall for file /proc/16528/environ
open syscall for file /proc/16529/stat
open syscall for file /proc/16529/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/16529/cmdline
open syscall for file /proc/16529/environ
open syscall for file /proc/16538/stat
open syscall for file /proc/16538/status
open syscall for file /proc/16538/cmdline
open syscall for file /proc/16538/environ
open syscall for file /proc/23405/stat
open syscall for file /proc/23405/status
open syscall for file /proc/23405/cmdline
open syscall for file /proc/23405/environ
open syscall for file /proc/23441/stat
open syscall for file /proc/23441/status
open syscall for file /proc/23441/cmdline
open syscall for file /proc/23441/environ
open syscall for file /proc/23442/stat
open syscall for file /proc/23442/status
open syscall for file /proc/23442/cmdline
open syscall for file /proc/23442/environ
open syscall for file /proc/23449/stat
open syscall for file /proc/23449/status
open syscall for file /proc/23449/cmdline
open syscall for file /proc/23449/environ
open syscall for file /proc/23450/stat
open syscall for file /proc/23450/status
open syscall for file /proc/23450/cmdline
open syscall for file /proc/23450/environ
One traced child (pid=23449) exited with status: 0
One traced child (pid=23450) exited with status: 0
New process pid=23451
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=23451) exited with status: 0
New process pid=23452
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=23452) exited with status: 0
One traced child (pid=23442) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.62
CPU time (s): 1203.75
CPU user time (s): 1154.41
CPU system time (s): 49.3405
CPU usage (%): 92.5519
Max. virtual memory (cumulated for all children) (Kb): 12612