1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 2773 (#equs: 6)
#decisions: 264271; #end-nodes: 11894;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 120 (103)
#axs: 313462, #non-axs: 4528
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: 4221 (#equs: 12)
Time taken: 15 min, 3 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/18718/stat): 18718 (vallstSAT2005PB) R 18717 18718 4419 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846060114 712704 3 4294967295 134512640 135087896 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18718/statm): 174 3 169 147 0 27 0
[pid=18718] 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=18719
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=18719) exited with status: 0
New process pid=18720
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=18720) exited with status: 0
New process pid=18721
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/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 918 50 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3221218352 134612035 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (Kb) 45744
[startup+20.0038 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 1917 51 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3221110492 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (Kb) 45744
[startup+30.0044 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 2917 51 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3220998652 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 29.69
Current children cumulated vsize (Kb) 45744
[startup+40.0061 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 3917 51 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3220882652 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 39.69
Current children cumulated vsize (Kb) 45744
[startup+50.0067 s]
Raw data (loadavg): 1.01 1.05 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 4916 52 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3220763772 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 45744
[startup+60.0073 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9355 0 0 0 5916 52 0 0 25 0 1 0 1846060123 44662784 8763 4294967295 134512640 134702520 3221223936 3220639132 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10904 8763 413 48 0 10856 0
[pid=18721] vsize: 43616
Current children cumulated CPU time (s) 59.69
Current children cumulated vsize (Kb) 45744
[startup+70.0079 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9359 0 0 0 6916 52 0 0 25 0 1 0 1846060123 44679168 8767 4294967295 134512640 134702520 3221223936 3220511292 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 10908 8767 413 48 0 10860 0
[pid=18721] vsize: 43632
Current children cumulated CPU time (s) 69.69
Current children cumulated vsize (Kb) 45760
[startup+80.0085 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 9454 0 0 0 7916 53 0 0 25 0 1 0 1846060123 45068288 8862 4294967295 134512640 134702520 3221223936 3220120272 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11003 8862 413 48 0 10955 0
[pid=18721] vsize: 44012
Current children cumulated CPU time (s) 79.7
Current children cumulated vsize (Kb) 46140
[startup+90.0101 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10019 0 0 0 8914 54 0 0 25 0 1 0 1846060123 47382528 9427 4294967295 134512640 134702520 3221223936 3217808092 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11568 9427 413 48 0 11520 0
[pid=18721] vsize: 46272
Current children cumulated CPU time (s) 89.69
Current children cumulated vsize (Kb) 48400
[startup+100.011 s]
Raw data (loadavg): 1.00 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10114 0 0 0 9914 54 0 0 25 0 1 0 1846060123 47771648 9522 4294967295 134512640 134702520 3221223936 3219258652 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11663 9522 413 48 0 11615 0
[pid=18721] vsize: 46652
Current children cumulated CPU time (s) 99.69
Current children cumulated vsize (Kb) 48780
[startup+110.011 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10114 0 0 0 10914 54 0 0 25 0 1 0 1846060123 47771648 9522 4294967295 134512640 134702520 3221223936 3220128732 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11663 9522 413 48 0 11615 0
[pid=18721] vsize: 46652
Current children cumulated CPU time (s) 109.69
Current children cumulated vsize (Kb) 48780
[startup+120.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10114 0 0 0 11915 54 0 0 25 0 1 0 1846060123 47771648 9522 4294967295 134512640 134702520 3221223936 3219586652 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11663 9522 413 48 0 11615 0
[pid=18721] vsize: 46652
Current children cumulated CPU time (s) 119.7
Current children cumulated vsize (Kb) 48780
[startup+130.012 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10114 0 0 0 12915 54 0 0 25 0 1 0 1846060123 47771648 9522 4294967295 134512640 134702520 3221223936 3218851932 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11663 9522 413 48 0 11615 0
[pid=18721] vsize: 46652
Current children cumulated CPU time (s) 129.7
Current children cumulated vsize (Kb) 48780
[startup+140.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10357 0 0 0 13915 55 0 0 25 0 1 0 1846060123 48766976 9765 4294967295 134512640 134702520 3221223936 3221222812 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 11906 9765 413 48 0 11858 0
[pid=18721] vsize: 47624
Current children cumulated CPU time (s) 139.71
Current children cumulated vsize (Kb) 49752
[startup+150.015 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10620 0 0 0 14818 89 0 0 22 0 1 0 1846060123 106115072 10010 4294967295 134512640 134702520 3221223936 3221223216 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10010 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 149.08
Current children cumulated vsize (Kb) 105756
[startup+160.014 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) T 18718 18718 4419 0 -1 0 10638 0 0 0 15703 129 0 0 25 0 1 0 1846060123 106115072 10028 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10028 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 158.33
Current children cumulated vsize (Kb) 105756
[startup+170.016 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10649 0 0 0 16641 151 0 0 25 0 1 0 1846060123 106115072 10039 4294967295 134512640 134702520 3221223936 3221046092 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10039 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 167.93
Current children cumulated vsize (Kb) 105756
[startup+180.017 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10649 0 0 0 17641 151 0 0 25 0 1 0 1846060123 106115072 10039 4294967295 134512640 134702520 3221223936 3220424656 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10039 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 177.93
Current children cumulated vsize (Kb) 105756
[startup+190.017 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10649 0 0 0 18641 151 0 0 25 0 1 0 1846060123 106115072 10039 4294967295 134512640 134702520 3221223936 3219463072 134611979 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10039 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 187.93
Current children cumulated vsize (Kb) 105756
[startup+200.018 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10649 0 0 0 19641 152 0 0 25 0 1 0 1846060123 106115072 10039 4294967295 134512640 134702520 3221223936 3220245936 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10039 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 197.94
Current children cumulated vsize (Kb) 105756
[startup+210.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10649 0 0 0 20641 152 0 0 25 0 1 0 1846060123 106115072 10039 4294967295 134512640 134702520 3221223936 3220991852 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10039 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (Kb) 105756
[startup+220.018 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) T 18718 18718 4419 0 -1 0 10684 0 0 0 21582 171 0 0 25 0 1 0 1846060123 106115072 10046 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25907 10046 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 217.54
Current children cumulated vsize (Kb) 105756
[startup+230.019 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10709 0 0 0 22488 206 0 0 25 0 1 0 1846060123 106115072 10071 4294967295 134512640 134702520 3221223936 3221223216 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 25907 10071 413 48 0 25859 0
[pid=18721] vsize: 103628
Current children cumulated CPU time (s) 226.95
Current children cumulated vsize (Kb) 105756
[startup+240.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 23432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3221055372 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 236.59
Current children cumulated vsize (Kb) 105888
[startup+250.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 24432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3220271552 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 246.59
Current children cumulated vsize (Kb) 105888
[startup+260.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 25432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3221192332 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 256.59
Current children cumulated vsize (Kb) 105888
[startup+270.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 26432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3220449772 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 266.59
Current children cumulated vsize (Kb) 105888
[startup+280.022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 27432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3217969456 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 276.59
Current children cumulated vsize (Kb) 105888
[startup+290.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10717 0 0 0 28432 226 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3219733612 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 286.59
Current children cumulated vsize (Kb) 105888
[startup+300.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10734 0 0 0 29392 240 0 0 25 0 1 0 1846060123 106250240 10079 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10079 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 296.33
Current children cumulated vsize (Kb) 105888
[startup+310.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) T 18718 18718 4419 0 -1 0 10743 0 0 0 30324 262 0 0 25 0 1 0 1846060123 106250240 10088 4294967295 134512640 134702520 3221223936 3221223448 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10088 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 305.87
Current children cumulated vsize (Kb) 105888
[startup+320.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 31251 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3221179212 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 315.38
Current children cumulated vsize (Kb) 105888
[startup+330.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 32251 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3220844192 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 325.38
Current children cumulated vsize (Kb) 105888
[startup+340.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 33252 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3220486412 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 335.39
Current children cumulated vsize (Kb) 105888
[startup+350.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 34252 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3220100332 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 345.39
Current children cumulated vsize (Kb) 105888
[startup+360.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 35252 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3219677132 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 355.39
Current children cumulated vsize (Kb) 105888
[startup+370.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 36252 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3219193612 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 365.39
Current children cumulated vsize (Kb) 105888
[startup+380.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 37252 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3218596672 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 375.39
Current children cumulated vsize (Kb) 105888
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10755 0 0 0 38253 286 0 0 25 0 1 0 1846060123 106250240 10100 4294967295 134512640 134702520 3221223936 3217723852 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 25940 10100 413 48 0 25892 0
[pid=18721] vsize: 103760
Current children cumulated CPU time (s) 385.4
Current children cumulated vsize (Kb) 105888
[startup+400.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10992 0 0 0 39253 286 0 0 25 0 1 0 1846060123 107220992 10337 4294967295 134512640 134702520 3221223936 3221066732 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10337 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 395.4
Current children cumulated vsize (Kb) 106836
[startup+410.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10992 0 0 0 40253 287 0 0 25 0 1 0 1846060123 107220992 10337 4294967295 134512640 134702520 3221223936 3221102592 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10337 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 405.41
Current children cumulated vsize (Kb) 106836
[startup+420.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 10992 0 0 0 41253 287 0 0 25 0 1 0 1846060123 107220992 10337 4294967295 134512640 134702520 3221223936 3220781312 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10337 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 415.41
Current children cumulated vsize (Kb) 106836
[startup+430.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11010 0 0 0 42222 295 0 0 25 0 1 0 1846060123 107220992 10338 4294967295 134512640 134702520 3221223936 3221223180 134548992 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 26177 10338 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 425.18
Current children cumulated vsize (Kb) 106836
[startup+440.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11020 0 0 0 43146 322 0 0 25 0 1 0 1846060123 107220992 10348 4294967295 134512640 134702520 3221223936 3221223216 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 26177 10348 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 434.69
Current children cumulated vsize (Kb) 106836
[startup+450.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11030 0 0 0 44077 347 0 0 25 0 1 0 1846060123 107220992 10358 4294967295 134512640 134702520 3221223936 3221223216 134552544 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10358 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 444.25
Current children cumulated vsize (Kb) 106836
[startup+460.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 45060 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3220981300 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 454.14
Current children cumulated vsize (Kb) 106836
[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 46060 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3220633132 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 464.14
Current children cumulated vsize (Kb) 106836
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 47060 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3220258892 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 474.14
Current children cumulated vsize (Kb) 106836
[startup+490.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 48060 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3219851852 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 484.14
Current children cumulated vsize (Kb) 106836
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 49061 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3219397292 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 494.15
Current children cumulated vsize (Kb) 106836
[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 50061 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3218854412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 504.15
Current children cumulated vsize (Kb) 106836
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 51061 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3218124172 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 514.15
Current children cumulated vsize (Kb) 106836
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 52061 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3216496652 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 524.15
Current children cumulated vsize (Kb) 106836
[startup+540.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 53062 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3221152672 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 534.16
Current children cumulated vsize (Kb) 106836
[startup+550.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11032 0 0 0 54062 353 0 0 25 0 1 0 1846060123 107220992 10360 4294967295 134512640 134702520 3221223936 3220869152 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10360 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 544.16
Current children cumulated vsize (Kb) 106836
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11052 0 0 0 55041 361 0 0 25 0 1 0 1846060123 107220992 10363 4294967295 134512640 134702520 3221223936 3221223216 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 26177 10363 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 554.03
Current children cumulated vsize (Kb) 106836
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11068 0 0 0 55973 384 0 0 25 0 1 0 1846060123 107220992 10379 4294967295 134512640 134702520 3221223936 3221223216 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10379 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 563.58
Current children cumulated vsize (Kb) 106836
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11088 0 0 0 56913 403 0 0 25 0 1 0 1846060123 107220992 10399 4294967295 134512640 134702520 3221223936 3221223216 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10399 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 573.17
Current children cumulated vsize (Kb) 106836
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 57880 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3221114252 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 582.94
Current children cumulated vsize (Kb) 106836
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 58880 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3220774732 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 592.94
Current children cumulated vsize (Kb) 106836
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 59880 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3220411532 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 602.94
Current children cumulated vsize (Kb) 106836
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 60880 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3220018412 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 612.94
Current children cumulated vsize (Kb) 106836
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 61880 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3219585132 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 622.94
Current children cumulated vsize (Kb) 106836
[startup+640.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 62881 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3219082912 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 632.95
Current children cumulated vsize (Kb) 106836
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 63881 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3218447532 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 642.95
Current children cumulated vsize (Kb) 106836
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 64881 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3217444180 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 652.95
Current children cumulated vsize (Kb) 106836
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 3/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 65881 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3220883052 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 662.95
Current children cumulated vsize (Kb) 106836
[startup+680.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 66882 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3221035052 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 672.96
Current children cumulated vsize (Kb) 106836
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11100 0 0 0 67882 413 0 0 25 0 1 0 1846060123 107220992 10411 4294967295 134512640 134702520 3221223936 3220651052 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10411 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 682.96
Current children cumulated vsize (Kb) 106836
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11130 0 0 0 68856 422 0 0 25 0 1 0 1846060123 107220992 10424 4294967295 134512640 134702520 3221223936 3221223520 134562305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10424 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 692.79
Current children cumulated vsize (Kb) 106836
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11145 0 0 0 69807 438 0 0 25 0 1 0 1846060123 107220992 10439 4294967295 134512640 134702520 3221223936 3221223056 134572133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18721/statm): 26177 10439 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 702.46
Current children cumulated vsize (Kb) 106836
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 70769 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3221220652 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 712.22
Current children cumulated vsize (Kb) 106836
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 71769 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3220997452 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 722.22
Current children cumulated vsize (Kb) 106836
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 72769 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3220753132 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 732.22
Current children cumulated vsize (Kb) 106836
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 73770 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3220500652 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 742.23
Current children cumulated vsize (Kb) 106836
[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 74770 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3220238892 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 752.23
Current children cumulated vsize (Kb) 106836
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 75770 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3219967532 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 762.23
Current children cumulated vsize (Kb) 106836
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 76770 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3219684972 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 772.23
Current children cumulated vsize (Kb) 106836
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 77770 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3219389452 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 782.23
Current children cumulated vsize (Kb) 106836
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 78771 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3219078892 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 792.24
Current children cumulated vsize (Kb) 106836
[startup+810.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 79771 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3218750412 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 802.24
Current children cumulated vsize (Kb) 106836
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 80771 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3218400812 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 812.24
Current children cumulated vsize (Kb) 106836
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 81771 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3218024832 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (Kb) 106836
[startup+840.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 82772 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3217615232 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 832.25
Current children cumulated vsize (Kb) 106836
[startup+850.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 83772 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3217157152 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 842.25
Current children cumulated vsize (Kb) 106836
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 84772 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3216606732 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 852.25
Current children cumulated vsize (Kb) 106836
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11162 0 0 0 85772 452 0 0 25 0 1 0 1846060123 107220992 10456 4294967295 134512640 134702520 3221223936 3215856192 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26177 10456 413 48 0 26129 0
[pid=18721] vsize: 104708
Current children cumulated CPU time (s) 862.25
Current children cumulated vsize (Kb) 106836
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11516 0 0 0 86772 453 0 0 25 0 1 0 1846060123 108670976 10810 4294967295 134512640 134702520 3221223936 3214004172 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26531 10810 413 48 0 26483 0
[pid=18721] vsize: 106124
Current children cumulated CPU time (s) 872.26
Current children cumulated vsize (Kb) 108252
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11701 0 0 0 87772 453 0 0 25 0 1 0 1846060123 109428736 10995 4294967295 134512640 134702520 3221223936 3221004972 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26716 10995 413 48 0 26668 0
[pid=18721] vsize: 106864
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (Kb) 108992
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11701 0 0 0 88772 453 0 0 25 0 1 0 1846060123 109428736 10995 4294967295 134512640 134702520 3221223936 3221027712 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26716 10995 413 48 0 26668 0
[pid=18721] vsize: 106864
Current children cumulated CPU time (s) 892.26
Current children cumulated vsize (Kb) 108992
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18721
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 330 232 0 0 0 1 0 0 21 0 1 0 1846060114 2179072 242 4294967295 134512640 135087896 3221224464 3221223736 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 242 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18721/stat): 18721 (vallst) R 18718 18718 4419 0 -1 0 11701 0 0 0 89772 454 0 0 25 0 1 0 1846060123 109428736 10995 4294967295 134512640 134702520 3221223936 3220625632 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18721/statm): 26716 10995 413 48 0 26668 0
[pid=18721] vsize: 106864
Current children cumulated CPU time (s) 902.27
Current children cumulated vsize (Kb) 108992
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=18721) exited with status: 2
New process pid=18722
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=18722) exited with status: 0
New process pid=18723
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+920.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 6661 0 0 0 494 32 0 0 25 0 1 0 1846151591 40554496 6633 4294967295 134512640 134702520 3221223712 3221223336 1074475087 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18723/statm): 9901 6633 413 48 0 9853 0
[pid=18723] vsize: 39604
Current children cumulated CPU time (s) 912.01
Current children cumulated vsize (Kb) 41732
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 7893 0 0 0 1482 41 0 0 25 0 1 0 1846151591 41889792 7864 4294967295 134512640 134702520 3221223712 3220997628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 10227 7864 413 48 0 10179 0
[pid=18723] vsize: 40908
Current children cumulated CPU time (s) 921.98
Current children cumulated vsize (Kb) 43036
[startup+940.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 7893 0 0 0 2482 41 0 0 25 0 1 0 1846151591 41889792 7864 4294967295 134512640 134702520 3221223712 3220627548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 10227 7864 413 48 0 10179 0
[pid=18723] vsize: 40908
Current children cumulated CPU time (s) 931.98
Current children cumulated vsize (Kb) 43036
[startup+950.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 7943 0 0 0 3482 41 0 0 25 0 1 0 1846151591 42094592 7914 4294967295 134512640 134702520 3221223712 3220221468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 10277 7914 413 48 0 10229 0
[pid=18723] vsize: 41108
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (Kb) 43236
[startup+960.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 8053 0 0 0 4480 42 0 0 25 0 1 0 1846151591 42545152 8024 4294967295 134512640 134702520 3221223712 3219768508 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18723/statm): 10387 8024 413 48 0 10339 0
[pid=18723] vsize: 41548
Current children cumulated CPU time (s) 951.97
Current children cumulated vsize (Kb) 43676
[startup+970.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 8184 0 0 0 5479 43 0 0 25 0 1 0 1846151591 43081728 8155 4294967295 134512640 134702520 3221223712 3219233168 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 10518 8155 413 48 0 10470 0
[pid=18723] vsize: 42072
Current children cumulated CPU time (s) 961.97
Current children cumulated vsize (Kb) 44200
[startup+980.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 8360 0 0 0 6479 43 0 0 25 0 1 0 1846151591 43802624 8331 4294967295 134512640 134702520 3221223712 3218509948 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 10694 8331 413 48 0 10646 0
[pid=18723] vsize: 42776
Current children cumulated CPU time (s) 971.97
Current children cumulated vsize (Kb) 44904
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 8852 0 0 0 7478 44 0 0 25 0 1 0 1846151591 45817856 8823 4294967295 134512640 134702520 3221223712 3216496828 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11186 8823 413 48 0 11138 0
[pid=18723] vsize: 44744
Current children cumulated CPU time (s) 981.97
Current children cumulated vsize (Kb) 46872
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 8478 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3220881488 134611984 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 991.98
Current children cumulated vsize (Kb) 47624
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 9478 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3220490748 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (Kb) 47624
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 10478 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3220059068 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1011.98
Current children cumulated vsize (Kb) 47624
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 11478 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3219569308 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1021.98
Current children cumulated vsize (Kb) 47624
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 12479 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3218964348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1031.99
Current children cumulated vsize (Kb) 47624
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 13479 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3218003728 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1041.99
Current children cumulated vsize (Kb) 47624
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9040 0 0 0 14479 45 0 0 25 0 1 0 1846151591 46587904 9011 4294967295 134512640 134702520 3221223712 3220934608 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 11374 9011 413 48 0 11326 0
[pid=18723] vsize: 45496
Current children cumulated CPU time (s) 1051.99
Current children cumulated vsize (Kb) 47624
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9576 0 0 0 15411 69 0 0 25 0 1 0 1846151591 103239680 9545 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9545 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (Kb) 102948
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) T 18718 18718 4419 0 -1 0 9606 0 0 0 16341 93 0 0 25 0 1 0 1846151591 103239680 9575 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9575 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1071.09
Current children cumulated vsize (Kb) 102948
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9623 0 0 0 17284 114 0 0 25 0 1 0 1846151591 103239680 9592 4294967295 134512640 134702520 3221223712 3221222992 134553052 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9592 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1080.73
Current children cumulated vsize (Kb) 102948
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 18260 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3221190348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1090.56
Current children cumulated vsize (Kb) 102948
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 19260 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3220927148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1100.56
Current children cumulated vsize (Kb) 102948
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 20260 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3220563948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1110.56
Current children cumulated vsize (Kb) 102948
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 21261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3220169548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1120.57
Current children cumulated vsize (Kb) 102948
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 22261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3219733228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1130.57
Current children cumulated vsize (Kb) 102948
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 23261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3219235796 134611990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1140.57
Current children cumulated vsize (Kb) 102948
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 24261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3218613888 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 102948
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 25261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3217563788 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1160.57
Current children cumulated vsize (Kb) 102948
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9628 0 0 0 26261 121 0 0 25 0 1 0 1846151591 103239680 9597 4294967295 134512640 134702520 3221223712 3220809228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25205 9597 413 48 0 25157 0
[pid=18723] vsize: 100820
Current children cumulated CPU time (s) 1170.57
Current children cumulated vsize (Kb) 102948
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9642 0 0 0 27212 140 0 0 25 0 1 0 1846151591 103374848 9609 4294967295 134512640 134702520 3221223712 3221222932 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25238 9609 413 48 0 25190 0
[pid=18723] vsize: 100952
Current children cumulated CPU time (s) 1180.27
Current children cumulated vsize (Kb) 103080
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9658 0 0 0 28146 163 0 0 25 0 1 0 1846151591 103374848 9625 4294967295 134512640 134702520 3221223712 3221222992 134552163 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25238 9625 413 48 0 25190 0
[pid=18723] vsize: 100952
Current children cumulated CPU time (s) 1189.84
Current children cumulated vsize (Kb) 103080
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9676 0 0 0 29078 187 0 0 25 0 1 0 1846151591 103374848 9643 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25238 9643 413 48 0 25190 0
[pid=18723] vsize: 100952
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (Kb) 103080
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9681 0 0 0 30051 195 0 0 25 0 1 0 1846151591 103374848 9648 4294967295 134512640 134702520 3221223712 3221104428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25238 9648 413 48 0 25190 0
[pid=18723] vsize: 100952
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 103080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 18723
Raw data (/proc/18718/stat): 18718 (vallstSAT2005PB) S 18717 18718 4419 0 -1 0 378 12093 0 0 1 1 90191 482 19 0 1 0 1846060114 2179072 248 4294967295 134512640 135087896 3221224464 3221223192 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18718/statm): 532 248 485 147 0 385 0
[pid=18718] vsize: 2128
Raw data (/proc/18723/stat): 18723 (vallst) R 18718 18718 4419 0 -1 0 9681 0 0 0 30051 195 0 0 25 0 1 0 1846151591 103374848 9648 4294967295 134512640 134702520 3221223712 3221104268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18723/statm): 25238 9648 413 48 0 25190 0
[pid=18723] vsize: 100952
Current children cumulated CPU time (s) 1209.21
Current children cumulated vsize (Kb) 103080
Sending SIGTERM to -18718
Sleeping 2 seconds
New process pid=18725
New process pid=18726
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/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/19860/stat
open syscall for file /proc/19860/status
open syscall for file /proc/19860/cmdline
open syscall for file /proc/19860/environ
open syscall for file /proc/27255/stat
open syscall for file /proc/27255/status
open syscall for file /proc/27255/cmdline
open syscall for file /proc/27255/environ
open syscall for file /proc/27281/stat
open syscall for file /proc/27281/status
open syscall for file /proc/27281/cmdline
open syscall for file /proc/27281/environ
open syscall for file /proc/27306/stat
open syscall for file /proc/27306/status
open syscall for file /proc/27306/cmdline
open syscall for file /proc/27306/environ
open syscall for file /proc/4627/stat
open syscall for file /proc/4627/status
open syscall for file /proc/4627/cmdline
open syscall for file /proc/4627/environ
open syscall for file /proc/17984/stat
open syscall for file /proc/17984/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/17984/cmdline
open syscall for file /proc/17984/environ
open syscall for file /proc/18019/stat
open syscall for file /proc/18019/status
open syscall for file /proc/18019/cmdline
open syscall for file /proc/18019/environ
open syscall for file /proc/4419/stat
open syscall for file /proc/4419/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/4419/cmdline
open syscall for file /proc/4419/environ
open syscall for file /proc/4420/stat
open syscall for file /proc/4420/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/4420/cmdline
open syscall for file /proc/4420/environ
open syscall for file /proc/4429/stat
open syscall for file /proc/4429/status
open syscall for file /proc/4429/cmdline
open syscall for file /proc/4429/environ
open syscall for file /proc/18681/stat
open syscall for file /proc/18681/status
open syscall for file /proc/18681/cmdline
open syscall for file /proc/18681/environ
open syscall for file /proc/18717/stat
open syscall for file /proc/18717/status
open syscall for file /proc/18717/cmdline
open syscall for file /proc/18717/environ
open syscall for file /proc/18718/stat
open syscall for file /proc/18718/status
open syscall for file /proc/18718/cmdline
open syscall for file /proc/18718/environ
open syscall for file /proc/18723/stat
open syscall for file /proc/18723/status
open syscall for file /proc/18723/cmdline
open syscall for file /proc/18723/environ
open syscall for file /proc/18725/stat
open syscall for file /proc/18725/status
open syscall for file /proc/18725/cmdline
open syscall for file /proc/18725/environ
open syscall for file /proc/18726/stat
open syscall for file /proc/18726/status
open syscall for file /proc/18726/cmdline
open syscall for file /proc/18726/environ
One traced child (pid=18725) exited with status: 0
One traced child (pid=18726) exited with status: 0
New process pid=18727
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=18727) exited with status: 0
New process pid=18728
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=18728) exited with status: 0
One traced child (pid=18718) ended because it received signal 15 (SIGTERM)
Sending SIGKILL to -18718
One traced child (pid=18723) 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): 1222.11
CPU time (s): 304.49
CPU user time (s): 302.513
CPU system time (s): 1.9767
CPU usage (%): 24.9151
Max. virtual memory (cumulated for all children) (Kb): 108992