1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 939 (#equs: 2)
#decisions: 71749; #end-nodes: 10944;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 143 (103)
#axs: 240473, #non-axs: 1744
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 970 (#equs: 5)
Time taken: 19 min, 57 sec
2:
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/31750/stat): 31750 (vallstSAT2005PB) R 31749 31750 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787825198 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31750/statm): 174 3 169 147 0 27 0
[pid=31750] 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=31751
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=31751) exited with status: 0
New process pid=31752
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=31752) exited with status: 0
New process pid=31753
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/wulflinc7/normalized-cache-ibm-q-full.all.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0039 s]
Raw data (loadavg): 0.97 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 6994 0 0 0 942 34 0 0 25 0 1 0 1787825205 32968704 6430 4294967295 134512640 134702520 3221223952 3220988588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 8049 6430 413 48 0 8001 0
[pid=31753] vsize: 32196
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (Kb) 34324
[startup+20.0045 s]
Raw data (loadavg): 0.97 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7135 0 0 0 1941 35 0 0 25 0 1 0 1787825205 33546240 6571 4294967295 134512640 134702520 3221223952 3220304268 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8190 6571 413 48 0 8142 0
[pid=31753] vsize: 32760
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 34888
[startup+30.0041 s]
Raw data (loadavg): 0.98 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7369 0 0 0 2941 35 0 0 25 0 1 0 1787825205 34504704 6805 4294967295 134512640 134702520 3221223952 3219346848 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8424 6805 413 48 0 8376 0
[pid=31753] vsize: 33696
Current children cumulated CPU time (s) 29.77
Current children cumulated vsize (Kb) 35824
[startup+40.0048 s]
Raw data (loadavg): 0.98 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7812 0 0 0 3941 36 0 0 25 0 1 0 1787825205 36319232 7248 4294967295 134512640 134702520 3221223952 3220901548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8867 7248 413 48 0 8819 0
[pid=31753] vsize: 35468
Current children cumulated CPU time (s) 39.78
Current children cumulated vsize (Kb) 37596
[startup+50.0054 s]
Raw data (loadavg): 0.98 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7812 0 0 0 4941 36 0 0 25 0 1 0 1787825205 36319232 7248 4294967295 134512640 134702520 3221223952 3219797392 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8867 7248 413 48 0 8819 0
[pid=31753] vsize: 35468
Current children cumulated CPU time (s) 49.78
Current children cumulated vsize (Kb) 37596
[startup+60.006 s]
Raw data (loadavg): 0.98 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 5941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3221029068 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 37636
[startup+70.0067 s]
Raw data (loadavg): 0.99 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 6941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3220503628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 37636
[startup+80.0073 s]
Raw data (loadavg): 1.06 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 7941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3219834668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (Kb) 37636
[startup+90.0079 s]
Raw data (loadavg): 1.05 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7822 0 0 0 8941 36 0 0 25 0 1 0 1787825205 36360192 7258 4294967295 134512640 134702520 3221223952 3218280908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 8877 7258 413 48 0 8829 0
[pid=31753] vsize: 35508
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 37636
[startup+100.008 s]
Raw data (loadavg): 1.04 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7986 0 0 0 9898 50 0 0 25 0 1 0 1787825205 76881920 7412 4294967295 134512640 134702520 3221223952 3221223232 134550645 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 18770 7412 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 99.49
Current children cumulated vsize (Kb) 77208
[startup+110.009 s]
Raw data (loadavg): 1.04 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 7999 0 0 0 10867 61 0 0 25 0 1 0 1787825205 76881920 7425 4294967295 134512640 134702520 3221223952 3221223172 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7425 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 109.29
Current children cumulated vsize (Kb) 77208
[startup+120.01 s]
Raw data (loadavg): 1.03 1.04 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 11862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3221152508 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 119.26
Current children cumulated vsize (Kb) 77208
[startup+130.009 s]
Raw data (loadavg): 1.03 1.03 1.02 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 12861 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3220782428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 129.25
Current children cumulated vsize (Kb) 77208
[startup+140.011 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 13862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3220377628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 139.26
Current children cumulated vsize (Kb) 77208
[startup+150.012 s]
Raw data (loadavg): 1.02 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 14862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3219928688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 149.26
Current children cumulated vsize (Kb) 77208
[startup+160.012 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 15862 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3219397148 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 159.26
Current children cumulated vsize (Kb) 77208
[startup+170.013 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8001 0 0 0 16863 63 0 0 25 0 1 0 1787825205 76881920 7427 4294967295 134512640 134702520 3221223952 3218543068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 18770 7427 413 48 0 18722 0
[pid=31753] vsize: 75080
Current children cumulated CPU time (s) 169.27
Current children cumulated vsize (Kb) 77208
[startup+180.014 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8330 0 0 0 17862 64 0 0 25 0 1 0 1787825205 78229504 7756 4294967295 134512640 134702520 3221223952 3220419548 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7756 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 179.27
Current children cumulated vsize (Kb) 78524
[startup+190.014 s]
Raw data (loadavg): 1.01 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8343 0 0 0 18837 72 0 0 25 0 1 0 1787825205 78229504 7761 4294967295 134512640 134702520 3221223952 3221223232 134554394 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7761 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 189.1
Current children cumulated vsize (Kb) 78524
[startup+200.015 s]
Raw data (loadavg): 1.01 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8358 0 0 0 19801 84 0 0 25 0 1 0 1787825205 78229504 7776 4294967295 134512640 134702520 3221223952 3221223232 134552108 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7776 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (Kb) 78524
[startup+210.016 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 20780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3221139248 134611979 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 208.71
Current children cumulated vsize (Kb) 78524
[startup+220.016 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 21779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220894108 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 218.7
Current children cumulated vsize (Kb) 78524
[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 22779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220634432 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 228.7
Current children cumulated vsize (Kb) 78524
[startup+240.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 23779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220363388 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 238.7
Current children cumulated vsize (Kb) 78524
[startup+250.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 24779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3220080688 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 248.7
Current children cumulated vsize (Kb) 78524
[startup+260.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 25779 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219785008 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 258.7
Current children cumulated vsize (Kb) 78524
[startup+270.019 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 26780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219473948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 268.71
Current children cumulated vsize (Kb) 78524
[startup+280.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 27780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3219143088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 278.71
Current children cumulated vsize (Kb) 78524
[startup+290.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 28780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3218786748 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 288.71
Current children cumulated vsize (Kb) 78524
[startup+300.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 29780 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3218398128 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 298.71
Current children cumulated vsize (Kb) 78524
[startup+310.022 s]
Raw data (loadavg): 1.08 1.03 1.01 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 30781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3217956828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 308.72
Current children cumulated vsize (Kb) 78524
[startup+320.023 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 31781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3217420516 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 318.72
Current children cumulated vsize (Kb) 78524
[startup+330.022 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 32781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3216817948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 328.72
Current children cumulated vsize (Kb) 78524
[startup+340.023 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8371 0 0 0 33781 90 0 0 25 0 1 0 1787825205 78229504 7789 4294967295 134512640 134702520 3221223952 3216112508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19099 7789 413 48 0 19051 0
[pid=31753] vsize: 76396
Current children cumulated CPU time (s) 338.72
Current children cumulated vsize (Kb) 78524
[startup+350.023 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8742 0 0 0 34781 91 0 0 25 0 1 0 1787825205 79749120 8160 4294967295 134512640 134702520 3221223952 3214367228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19470 8160 413 48 0 19422 0
[pid=31753] vsize: 77880
Current children cumulated CPU time (s) 348.73
Current children cumulated vsize (Kb) 80008
[startup+360.024 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8937 0 0 0 35767 95 0 0 25 0 1 0 1787825205 80506880 8347 4294967295 134512640 134702520 3221223952 3221223232 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8347 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 358.63
Current children cumulated vsize (Kb) 80748
[startup+370.025 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8944 0 0 0 36751 102 0 0 25 0 1 0 1787825205 80506880 8354 4294967295 134512640 134702520 3221223952 3221223232 134552349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8354 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 368.54
Current children cumulated vsize (Kb) 80748
[startup+380.025 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 37730 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3221187248 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 378.41
Current children cumulated vsize (Kb) 80748
[startup+390.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 38731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220942268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 388.42
Current children cumulated vsize (Kb) 80748
[startup+400.026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 39731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220688828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (Kb) 80748
[startup+410.027 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 40731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220425948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (Kb) 80748
[startup+420.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 41731 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3220152848 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 418.42
Current children cumulated vsize (Kb) 80748
[startup+430.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 42732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219868028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 428.43
Current children cumulated vsize (Kb) 80748
[startup+440.028 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 43732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219569948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 438.43
Current children cumulated vsize (Kb) 80748
[startup+450.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 44732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3219255548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 448.43
Current children cumulated vsize (Kb) 80748
[startup+460.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 45732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218920828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 458.43
Current children cumulated vsize (Kb) 80748
[startup+470.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 46732 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218560188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 468.43
Current children cumulated vsize (Kb) 80748
[startup+480.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 47733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3218164828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 478.44
Current children cumulated vsize (Kb) 80748
[startup+490.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 48733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3217712048 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 488.44
Current children cumulated vsize (Kb) 80748
[startup+500.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 49733 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3217160828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 498.44
Current children cumulated vsize (Kb) 80748
[startup+510.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 50734 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3216548348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 508.45
Current children cumulated vsize (Kb) 80748
[startup+520.034 s]
Raw data (loadavg): 1.00 1.01 1.00 3/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8957 0 0 0 51734 110 0 0 25 0 1 0 1787825205 80506880 8367 4294967295 134512640 134702520 3221223952 3215805632 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19655 8367 413 48 0 19607 0
[pid=31753] vsize: 78620
Current children cumulated CPU time (s) 518.45
Current children cumulated vsize (Kb) 80748
[startup+530.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 52734 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3221180988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 528.45
Current children cumulated vsize (Kb) 80908
[startup+540.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 53734 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3220711868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 538.45
Current children cumulated vsize (Kb) 80908
[startup+550.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 54735 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3220160988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 548.46
Current children cumulated vsize (Kb) 80908
[startup+560.038 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 8997 0 0 0 55735 110 0 0 25 0 1 0 1787825205 80670720 8407 4294967295 134512640 134702520 3221223952 3219417308 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8407 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 558.46
Current children cumulated vsize (Kb) 80908
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9007 0 0 0 56731 112 0 0 25 0 1 0 1787825205 80670720 8409 4294967295 134512640 134702520 3221223952 3221223232 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8409 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 568.44
Current children cumulated vsize (Kb) 80908
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9022 0 0 0 57708 118 0 0 25 0 1 0 1787825205 80670720 8424 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8424 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 578.27
Current children cumulated vsize (Kb) 80908
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 58685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3221222428 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 588.12
Current children cumulated vsize (Kb) 80908
[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 59685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220979388 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 598.12
Current children cumulated vsize (Kb) 80908
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 60685 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220727068 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 608.12
Current children cumulated vsize (Kb) 80908
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 61686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220465628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 618.13
Current children cumulated vsize (Kb) 80908
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 62686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220194108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 628.13
Current children cumulated vsize (Kb) 80908
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 63686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219910928 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 638.13
Current children cumulated vsize (Kb) 80908
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 64686 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219614908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (Kb) 80908
[startup+660.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 65687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219302908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 658.14
Current children cumulated vsize (Kb) 80908
[startup+670.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 66687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218971548 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 668.14
Current children cumulated vsize (Kb) 80908
[startup+680.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 67687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218614752 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 678.14
Current children cumulated vsize (Kb) 80908
[startup+690.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 68687 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3218225308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 688.14
Current children cumulated vsize (Kb) 80908
[startup+700.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 69688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3217782448 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 698.15
Current children cumulated vsize (Kb) 80908
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 70688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3217244188 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 708.15
Current children cumulated vsize (Kb) 80908
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 71688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3216639708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 718.15
Current children cumulated vsize (Kb) 80908
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 72688 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3215929636 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 728.15
Current children cumulated vsize (Kb) 80908
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 73689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3214056048 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 738.16
Current children cumulated vsize (Kb) 80908
[startup+750.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 74689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220767708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 748.16
Current children cumulated vsize (Kb) 80908
[startup+760.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 75689 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3220207408 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 758.16
Current children cumulated vsize (Kb) 80908
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9040 0 0 0 76690 126 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3219432208 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 768.17
Current children cumulated vsize (Kb) 80908
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9048 0 0 0 77686 128 0 0 25 0 1 0 1787825205 80670720 8442 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8442 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 778.15
Current children cumulated vsize (Kb) 80908
[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9067 0 0 0 78660 136 0 0 25 0 1 0 1787825205 80670720 8461 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8461 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 787.97
Current children cumulated vsize (Kb) 80908
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 79640 143 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3221220528 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 797.84
Current children cumulated vsize (Kb) 80908
[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 80640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220979388 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 807.85
Current children cumulated vsize (Kb) 80908
[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 81639 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220729948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 817.84
Current children cumulated vsize (Kb) 80908
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 82640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220468508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 827.85
Current children cumulated vsize (Kb) 80908
[startup+840.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 83640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220196988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 837.85
Current children cumulated vsize (Kb) 80908
[startup+850.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 84640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219913948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 847.85
Current children cumulated vsize (Kb) 80908
[startup+860.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 85640 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219617788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 857.85
Current children cumulated vsize (Kb) 80908
[startup+870.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 86641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219305952 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 867.86
Current children cumulated vsize (Kb) 80908
[startup+880.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 87641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218974748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 877.86
Current children cumulated vsize (Kb) 80908
[startup+890.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 88641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218618108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 887.86
Current children cumulated vsize (Kb) 80908
[startup+900.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 89641 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3218228668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 897.86
Current children cumulated vsize (Kb) 80908
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 90642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217786428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 907.87
Current children cumulated vsize (Kb) 80908
[startup+920.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 91642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217248828 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 917.87
Current children cumulated vsize (Kb) 80908
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 92642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3216644508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 927.87
Current children cumulated vsize (Kb) 80908
[startup+940.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 93642 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3215935868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 937.87
Current children cumulated vsize (Kb) 80908
[startup+950.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 94643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3214106272 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 947.88
Current children cumulated vsize (Kb) 80908
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 95643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220788188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 957.88
Current children cumulated vsize (Kb) 80908
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 96643 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3220258748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 967.88
Current children cumulated vsize (Kb) 80908
[startup+980.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 97644 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3219578916 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 977.89
Current children cumulated vsize (Kb) 80908
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9083 0 0 0 98644 144 0 0 25 0 1 0 1787825205 80670720 8477 4294967295 134512640 134702520 3221223952 3217862908 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19695 8477 413 48 0 19647 0
[pid=31753] vsize: 78780
Current children cumulated CPU time (s) 987.89
Current children cumulated vsize (Kb) 80908
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9092 0 0 0 99627 151 0 0 25 0 1 0 1787825205 80805888 8478 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8478 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 997.79
Current children cumulated vsize (Kb) 81040
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) T 31750 31750 15400 0 -1 0 9096 0 0 0 100602 160 0 0 25 0 1 0 1787825205 80805888 8482 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31753/statm): 19728 8482 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1007.63
Current children cumulated vsize (Kb) 81040
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 101597 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3221039708 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1017.59
Current children cumulated vsize (Kb) 81040
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 102598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220789488 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1027.6
Current children cumulated vsize (Kb) 81040
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 103598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220530268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1037.6
Current children cumulated vsize (Kb) 81040
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 104598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220260988 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1047.6
Current children cumulated vsize (Kb) 81040
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 105598 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219980848 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1057.6
Current children cumulated vsize (Kb) 81040
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 106599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219687868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1067.61
Current children cumulated vsize (Kb) 81040
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 107599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219379868 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1077.61
Current children cumulated vsize (Kb) 81040
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 108599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219053628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1087.61
Current children cumulated vsize (Kb) 81040
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 109599 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3218703088 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1097.61
Current children cumulated vsize (Kb) 81040
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 110600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3218322108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1107.62
Current children cumulated vsize (Kb) 81040
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 111600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3217894908 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1117.62
Current children cumulated vsize (Kb) 81040
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 112600 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3217379868 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1127.62
Current children cumulated vsize (Kb) 81040
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 113601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3216787728 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1137.63
Current children cumulated vsize (Kb) 81040
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 114601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3216116528 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1147.63
Current children cumulated vsize (Kb) 81040
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 115601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3214991868 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1157.63
Current children cumulated vsize (Kb) 81040
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 116601 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220882748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1167.63
Current children cumulated vsize (Kb) 81040
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 117602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3220344828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1177.64
Current children cumulated vsize (Kb) 81040
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 118602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3219640668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1187.64
Current children cumulated vsize (Kb) 81040
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31753
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 330 232 0 0 0 1 0 0 17 0 1 0 1787825198 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 242 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31753/stat): 31753 (vallst) R 31750 31750 15400 0 -1 0 9097 0 0 0 119602 161 0 0 25 0 1 0 1787825205 80805888 8483 4294967295 134512640 134702520 3221223952 3221211888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/31753/statm): 19728 8483 413 48 0 19680 0
[pid=31753] vsize: 78912
Current children cumulated CPU time (s) 1197.64
Current children cumulated vsize (Kb) 81040
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=31753) exited with status: 2
New process pid=31754
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=31754) exited with status: 0
New process pid=31755
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+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31755
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 378 9480 0 0 1 1 119842 181 19 0 1 0 1787825198 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 248 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31755/stat): 31755 (vallst) R 31750 31750 15400 0 -1 0 5891 0 0 0 691 27 0 0 25 0 1 0 1787945492 31023104 5862 4294967295 134512640 134702520 3221223712 3220997628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31755/statm): 7574 5862 413 48 0 7526 0
[pid=31755] vsize: 30296
Current children cumulated CPU time (s) 1207.43
Current children cumulated vsize (Kb) 32424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 31755
Raw data (/proc/31750/stat): 31750 (vallstSAT2005PB) S 31749 31750 15400 0 -1 0 378 9480 0 0 1 1 119842 181 19 0 1 0 1787825198 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31750/statm): 532 248 485 147 0 385 0
[pid=31750] vsize: 2128
Raw data (/proc/31755/stat): 31755 (vallst) R 31750 31750 15400 0 -1 0 5891 0 0 0 691 27 0 0 25 0 1 0 1787945492 31023104 5862 4294967295 134512640 134702520 3221223712 3220997628 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31755/statm): 7574 5862 413 48 0 7526 0
[pid=31755] vsize: 30296
Current children cumulated CPU time (s) 1207.43
Current children cumulated vsize (Kb) 32424
Sending SIGTERM to -31750
Sleeping 2 seconds
New process pid=31757
New process pid=31758
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/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/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/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/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/31713/stat
open syscall for file /proc/31713/status
open syscall for file /proc/31713/cmdline
open syscall for file /proc/31713/environ
open syscall for file /proc/31749/stat
open syscall for file /proc/31749/status
open syscall for file /proc/31749/cmdline
open syscall for file /proc/31749/environ
open syscall for file /proc/31750/stat
open syscall for file /proc/31750/status
open syscall for file /proc/31750/cmdline
open syscall for file /proc/31750/environ
open syscall for file /proc/31755/stat
open syscall for file /proc/31755/status
open syscall for file /proc/31755/cmdline
open syscall for file /proc/31755/environ
open syscall for file /proc/31757/stat
open syscall for file /proc/31757/status
open syscall for file /proc/31757/cmdline
open syscall for file /proc/31757/environ
open syscall for file /proc/31758/stat
open syscall for file /proc/31758/status
open syscall for file /proc/31758/cmdline
open syscall for file /proc/31758/environ
One traced child (pid=31757) exited with status: 0
One traced child (pid=31758) exited with status: 0
New process pid=31759
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=31759) exited with status: 0
New process pid=31760
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=31760) exited with status: 0
One traced child (pid=31750) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -31750
One traced child (pid=31755) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.11
CPU time (s): 9.1976
CPU user time (s): 8.90864
CPU system time (s): 0.288956
CPU usage (%): 0.758811
Max. virtual memory (cumulated for all children) (Kb): 81040