1:
seed: 0
Nr of vars set: 1 (#equs: 0)
Nr of vars set: 4938 (#equs: 2268)
#decisions: 335824; #end-nodes: 43958;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 164 (151)
#axs: 70616, #non-axs: 13809
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: 6944 (#equs: 3091)
Time taken: 7 min, 37 sec
2:
seed: 0
Nr of vars set: 6944 (#equs: 0)
Nr of vars set: 6944 (#equs: 0)
#decisions: 245260; #end-nodes: 33528;
#proof improvement attempts: 0; #restarts: 192
Current batch, end-nodes: 0 / 167 (167)
#axs: 40641, #non-axs: 14041
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: 7866 (#equs: 1014)
Time taken: 5 min, 58 sec
3:
Error: changing-setting file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options couldn't be opened.
No such file or directory
seed: 0
Nr of vars set: 7866 (#equs: 0)
Nr of vars set: 7866 (#equs: 0)
Interupt request received.
#decisions: 235407; #end-nodes: 32152;
#proof improvement attempts: 0; #restarts: 160
Current batch, end-nodes: 0 / 200 (200)
#axs: 34333, #non-axs: 21419
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: an interupt signal has been received (3)
seed: 0
Nr of vars set: 7872 (#equs: 0)
Time taken: 6 min, 28 sec
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) R 30328 30329 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1846068468 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/30329/statm): 174 3 169 147 0 27 0
[pid=30329] 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=30330
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=30330) exited with status: 0
New process pid=30331
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=30331) exited with status: 0
New process pid=30332
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/wulflinc17/normalized-ooo.burch_dill.6.accl.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0032 s]
Raw data (loadavg): 0.91 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2401 0 0 0 960 16 0 0 25 0 1 0 1846068477 12570624 2305 4294967295 134512640 134702520 3221223952 3221223216 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 3069 2305 413 48 0 3021 0
[pid=30332] vsize: 12276
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 14404
[startup+20.0048 s]
Raw data (loadavg): 0.92 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2434 0 0 0 1888 39 0 0 20 0 1 0 1846068477 23990272 2338 4294967295 134512640 134702520 3221223952 3221223232 134552217 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5857 2338 413 48 0 5809 0
[pid=30332] vsize: 23428
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (Kb) 25556
[startup+30.0064 s]
Raw data (loadavg): 0.93 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2450 0 0 0 2826 60 0 0 25 0 1 0 1846068477 23990272 2354 4294967295 134512640 134702520 3221223952 3221002928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5857 2354 413 48 0 5809 0
[pid=30332] vsize: 23428
Current children cumulated CPU time (s) 28.89
Current children cumulated vsize (Kb) 25556
[startup+40.007 s]
Raw data (loadavg): 0.94 1.00 0.99 1/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) T 30329 30329 19316 0 -1 0 2468 0 0 0 3759 85 0 0 25 0 1 0 1846068477 24100864 2372 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2372 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 38.47
Current children cumulated vsize (Kb) 25664
[startup+50.0076 s]
Raw data (loadavg): 0.95 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2470 0 0 0 4752 88 0 0 25 0 1 0 1846068477 24100864 2374 4294967295 134512640 134702520 3221223952 3220878288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5884 2374 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 48.43
Current children cumulated vsize (Kb) 25664
[startup+60.0082 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2493 0 0 0 5678 114 0 0 25 0 1 0 1846068477 24100864 2397 4294967295 134512640 134702520 3221223952 3221163548 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2397 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 57.95
Current children cumulated vsize (Kb) 25664
[startup+70.0088 s]
Raw data (loadavg): 0.96 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2493 0 0 0 6678 114 0 0 25 0 1 0 1846068477 24100864 2397 4294967295 134512640 134702520 3221223952 3220814288 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5884 2397 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 67.95
Current children cumulated vsize (Kb) 25664
[startup+80.0105 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2523 0 0 0 7617 135 0 0 25 0 1 0 1846068477 24100864 2427 4294967295 134512640 134702520 3221223952 3221210588 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5884 2427 413 48 0 5836 0
[pid=30332] vsize: 23536
Current children cumulated CPU time (s) 77.55
Current children cumulated vsize (Kb) 25664
[startup+90.0111 s]
Raw data (loadavg): 0.97 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2525 0 0 0 8612 137 0 0 25 0 1 0 1846068477 24170496 2429 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2429 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 87.52
Current children cumulated vsize (Kb) 25732
[startup+100.012 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2546 0 0 0 9546 161 0 0 25 0 1 0 1846068477 24170496 2450 4294967295 134512640 134702520 3221223952 3221092368 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2450 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 97.1
Current children cumulated vsize (Kb) 25732
[startup+110.013 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2557 0 0 0 10519 170 0 0 25 0 1 0 1846068477 24170496 2461 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2461 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 106.92
Current children cumulated vsize (Kb) 25732
[startup+120.014 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2582 0 0 0 11461 190 0 0 25 0 1 0 1846068477 24170496 2486 4294967295 134512640 134702520 3221223952 3220945628 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5901 2486 413 48 0 5853 0
[pid=30332] vsize: 23604
Current children cumulated CPU time (s) 116.54
Current children cumulated vsize (Kb) 25732
[startup+130.015 s]
Raw data (loadavg): 0.98 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2595 0 0 0 12448 194 0 0 25 0 1 0 1846068477 24342528 2499 4294967295 134512640 134702520 3221223952 3221222976 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5943 2499 413 48 0 5895 0
[pid=30332] vsize: 23772
Current children cumulated CPU time (s) 126.45
Current children cumulated vsize (Kb) 25900
[startup+140.016 s]
Raw data (loadavg): 1.07 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2597 0 0 0 13367 221 0 0 25 0 1 0 1846068477 24272896 2501 4294967295 134512640 134702520 3221223952 3221196368 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2501 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 135.91
Current children cumulated vsize (Kb) 25832
[startup+150.017 s]
Raw data (loadavg): 1.06 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 14312 240 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3221223232 134553045 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 145.55
Current children cumulated vsize (Kb) 25832
[startup+160.017 s]
Raw data (loadavg): 1.05 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 15298 245 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3221030428 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 155.46
Current children cumulated vsize (Kb) 25832
[startup+170.018 s]
Raw data (loadavg): 1.04 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 16298 245 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220597948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 165.46
Current children cumulated vsize (Kb) 25832
[startup+180.018 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 17231 269 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220687868 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 175.03
Current children cumulated vsize (Kb) 25832
[startup+190.02 s]
Raw data (loadavg): 1.03 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2598 0 0 0 18231 270 0 0 25 0 1 0 1846068477 24272896 2502 4294967295 134512640 134702520 3221223952 3220902288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2502 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 185.04
Current children cumulated vsize (Kb) 25832
[startup+200.021 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2599 0 0 0 19210 276 0 0 25 0 1 0 1846068477 24272896 2503 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2503 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 194.89
Current children cumulated vsize (Kb) 25832
[startup+210.021 s]
Raw data (loadavg): 1.02 1.01 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2604 0 0 0 20153 296 0 0 25 0 1 0 1846068477 24272896 2508 4294967295 134512640 134702520 3221223952 3221144348 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2508 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (Kb) 25832
[startup+220.022 s]
Raw data (loadavg): 1.02 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2604 0 0 0 21152 296 0 0 25 0 1 0 1846068477 24272896 2508 4294967295 134512640 134702520 3221223952 3220753308 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2508 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 214.51
Current children cumulated vsize (Kb) 25832
[startup+230.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2610 0 0 0 22122 306 0 0 25 0 1 0 1846068477 24272896 2514 4294967295 134512640 134702520 3221223952 3221223232 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2514 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 224.31
Current children cumulated vsize (Kb) 25832
[startup+240.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2624 0 0 0 23078 320 0 0 25 0 1 0 1846068477 24272896 2528 4294967295 134512640 134702520 3221223952 3221083228 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2528 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 234.01
Current children cumulated vsize (Kb) 25832
[startup+250.024 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2624 0 0 0 24077 320 0 0 25 0 1 0 1846068477 24272896 2528 4294967295 134512640 134702520 3221223952 3220749008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2528 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 244
Current children cumulated vsize (Kb) 25832
[startup+260.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2645 0 0 0 25038 336 0 0 25 0 1 0 1846068477 24272896 2549 4294967295 134512640 134702520 3221223952 3221223232 134553384 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2549 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 253.77
Current children cumulated vsize (Kb) 25832
[startup+270.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2661 0 0 0 26002 347 0 0 25 0 1 0 1846068477 24272896 2565 4294967295 134512640 134702520 3221223952 3221049628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2565 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 263.52
Current children cumulated vsize (Kb) 25832
[startup+280.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2661 0 0 0 27002 347 0 0 25 0 1 0 1846068477 24272896 2565 4294967295 134512640 134702520 3221223952 3220608028 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2565 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 273.52
Current children cumulated vsize (Kb) 25832
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 27942 366 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3221223200 134549065 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 283.11
Current children cumulated vsize (Kb) 25832
[startup+300.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 28924 372 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3220986268 134531189 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 292.99
Current children cumulated vsize (Kb) 25832
[startup+310.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2663 0 0 0 29923 372 0 0 25 0 1 0 1846068477 24272896 2567 4294967295 134512640 134702520 3221223952 3220487888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2567 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 302.98
Current children cumulated vsize (Kb) 25832
[startup+320.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2674 0 0 0 30855 396 0 0 25 0 1 0 1846068477 24272896 2578 4294967295 134512640 134702520 3221223952 3221223208 134549067 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2578 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 312.54
Current children cumulated vsize (Kb) 25832
[startup+330.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2676 0 0 0 31853 397 0 0 25 0 1 0 1846068477 24272896 2580 4294967295 134512640 134702520 3221223952 3220929948 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5926 2580 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 322.53
Current children cumulated vsize (Kb) 25832
[startup+340.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2676 0 0 0 32852 397 0 0 25 0 1 0 1846068477 24272896 2580 4294967295 134512640 134702520 3221223952 3220372048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5926 2580 413 48 0 5878 0
[pid=30332] vsize: 23704
Current children cumulated CPU time (s) 332.52
Current children cumulated vsize (Kb) 25832
[startup+350.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 33768 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220824508 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (Kb) 25908
[startup+360.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 34769 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220910108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 351.97
Current children cumulated vsize (Kb) 25908
[startup+370.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2729 0 0 0 35769 425 0 0 25 0 1 0 1846068477 24350720 2633 4294967295 134512640 134702520 3221223952 3220292528 134612101 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2633 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 361.97
Current children cumulated vsize (Kb) 25908
[startup+380.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 36688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3221114768 134612101 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 371.46
Current children cumulated vsize (Kb) 25908
[startup+390.034 s]
Raw data (loadavg): 1.15 1.03 1.01 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 37688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3220920848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 381.46
Current children cumulated vsize (Kb) 25908
[startup+400.034 s]
Raw data (loadavg): 1.13 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 2777 0 0 0 38688 455 0 0 25 0 1 0 1846068477 24350720 2681 4294967295 134512640 134702520 3221223952 3220326448 134612103 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5945 2681 413 48 0 5897 0
[pid=30332] vsize: 23780
Current children cumulated CPU time (s) 391.46
Current children cumulated vsize (Kb) 25908
[startup+410.035 s]
Raw data (loadavg): 1.11 1.03 1.00 1/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) T 30329 30329 19316 0 -1 0 2861 0 0 0 39607 484 0 0 25 0 1 0 1846068477 24440832 2765 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2765 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 400.94
Current children cumulated vsize (Kb) 25996
[startup+420.036 s]
Raw data (loadavg): 1.09 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3005 0 0 0 40537 508 0 0 25 0 1 0 1846068477 24440832 2909 4294967295 134512640 134702520 3221223952 3221169308 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2909 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 410.48
Current children cumulated vsize (Kb) 25996
[startup+430.038 s]
Raw data (loadavg): 1.08 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3005 0 0 0 41537 509 0 0 25 0 1 0 1846068477 24440832 2909 4294967295 134512640 134702520 3221223952 3220861968 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5967 2909 413 48 0 5919 0
[pid=30332] vsize: 23868
Current children cumulated CPU time (s) 420.49
Current children cumulated vsize (Kb) 25996
[startup+440.038 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3007 0 0 0 42526 513 0 0 25 0 1 0 1846068477 24539136 2911 4294967295 134512640 134702520 3221223952 3221223232 134552319 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30332/statm): 5991 2911 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 430.42
Current children cumulated vsize (Kb) 26092
[startup+450.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3076 0 0 0 43439 542 0 0 25 0 1 0 1846068477 24539136 2980 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5991 2980 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 26092
[startup+460.039 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 30332
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 330 232 0 0 1 1 0 1 21 0 1 0 1846068468 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 242 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30332/stat): 30332 (vallst) R 30329 30329 19316 0 -1 0 3080 0 0 0 44435 544 0 0 25 0 1 0 1846068477 24539136 2984 4294967295 134512640 134702520 3221223952 3220869488 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30332/statm): 5991 2984 413 48 0 5943 0
[pid=30332] vsize: 23964
Current children cumulated CPU time (s) 449.82
Current children cumulated vsize (Kb) 26092
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=30332) exited with status: 2
New process pid=30333
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=30333) exited with status: 0
New process pid=30334
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+470.039 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 1674 0 0 0 139 10 0 0 25 0 1 0 1846115325 10682368 1645 4294967295 134512640 134702520 3221223712 3221222268 134531180 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 2608 1645 413 48 0 2560 0
[pid=30334] vsize: 10432
Current children cumulated CPU time (s) 459.72
Current children cumulated vsize (Kb) 12560
[startup+480.04 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 1796 0 0 0 1138 10 0 0 25 0 1 0 1846115325 11182080 1767 4294967295 134512640 134702520 3221223712 3220902448 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 2730 1767 413 48 0 2682 0
[pid=30334] vsize: 10920
Current children cumulated CPU time (s) 469.71
Current children cumulated vsize (Kb) 13048
[startup+490.04 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2037 0 0 0 2124 16 0 0 25 0 1 0 1846115325 24719360 2008 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6035 2008 413 48 0 5987 0
[pid=30334] vsize: 24140
Current children cumulated CPU time (s) 479.63
Current children cumulated vsize (Kb) 26268
[startup+500.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2088 0 0 0 3053 43 0 0 25 0 1 0 1846115325 24854528 2059 4294967295 134512640 134702520 3221223712 3221147948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6068 2059 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 489.19
Current children cumulated vsize (Kb) 26400
[startup+510.04 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2088 0 0 0 4052 43 0 0 25 0 1 0 1846115325 24854528 2059 4294967295 134512640 134702520 3221223712 3220865228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6068 2059 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 499.18
Current children cumulated vsize (Kb) 26400
[startup+520.041 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2101 0 0 0 5032 51 0 0 25 0 1 0 1846115325 24854528 2072 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6068 2072 413 48 0 6020 0
[pid=30334] vsize: 24272
Current children cumulated CPU time (s) 509.06
Current children cumulated vsize (Kb) 26400
[startup+530.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 5980 68 0 0 25 0 1 0 1846115325 24989696 2102 4294967295 134512640 134702520 3221223712 3221107008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2102 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 518.71
Current children cumulated vsize (Kb) 26532
[startup+540.042 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 6981 68 0 0 25 0 1 0 1846115325 24989696 2102 4294967295 134512640 134702520 3221223712 3220742528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2102 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 528.72
Current children cumulated vsize (Kb) 26532
[startup+550.043 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2153 0 0 0 7927 85 0 0 25 0 1 0 1846115325 24989696 2124 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2124 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 538.35
Current children cumulated vsize (Kb) 26532
[startup+560.043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2163 0 0 0 8901 96 0 0 25 0 1 0 1846115325 24989696 2134 4294967295 134512640 134702520 3221223712 3221044908 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2134 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 548.2
Current children cumulated vsize (Kb) 26532
[startup+570.044 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2163 0 0 0 9901 96 0 0 25 0 1 0 1846115325 24989696 2134 4294967295 134512640 134702520 3221223712 3220671948 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2134 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 558.2
Current children cumulated vsize (Kb) 26532
[startup+580.045 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2187 0 0 0 10845 115 0 0 25 0 1 0 1846115325 24989696 2158 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6101 2158 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 567.83
Current children cumulated vsize (Kb) 26532
[startup+590.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2202 0 0 0 11805 129 0 0 25 0 1 0 1846115325 24989696 2173 4294967295 134512640 134702520 3221223712 3221074208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2173 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 577.57
Current children cumulated vsize (Kb) 26532
[startup+600.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2202 0 0 0 12805 129 0 0 25 0 1 0 1846115325 24989696 2173 4294967295 134512640 134702520 3221223712 3220750208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6101 2173 413 48 0 6053 0
[pid=30334] vsize: 24404
Current children cumulated CPU time (s) 587.57
Current children cumulated vsize (Kb) 26532
[startup+610.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2225 0 0 0 13754 146 0 0 25 0 1 0 1846115325 25067520 2196 4294967295 134512640 134702520 3221223712 3221222992 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6120 2196 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 597.23
Current children cumulated vsize (Kb) 26608
[startup+620.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2248 0 0 0 14713 161 0 0 25 0 1 0 1846115325 25067520 2219 4294967295 134512640 134702520 3221223712 3221006992 134611993 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6120 2219 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 606.97
Current children cumulated vsize (Kb) 26608
[startup+630.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2248 0 0 0 15713 161 0 0 25 0 1 0 1846115325 25067520 2219 4294967295 134512640 134702520 3221223712 3220408108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6120 2219 413 48 0 6072 0
[pid=30334] vsize: 24480
Current children cumulated CPU time (s) 616.97
Current children cumulated vsize (Kb) 26608
[startup+640.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2310 0 0 0 16620 193 0 0 25 0 1 0 1846115325 25133056 2281 4294967295 134512640 134702520 3221223712 3221222976 134553215 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2281 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 626.36
Current children cumulated vsize (Kb) 26672
[startup+650.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2315 0 0 0 17607 197 0 0 25 0 1 0 1846115325 25133056 2286 4294967295 134512640 134702520 3221223712 3220923008 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6136 2286 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 636.27
Current children cumulated vsize (Kb) 26672
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 18589 203 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 646.15
Current children cumulated vsize (Kb) 26672
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 19509 227 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3221148288 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 655.59
Current children cumulated vsize (Kb) 26672
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2316 0 0 0 20509 227 0 0 25 0 1 0 1846115325 25133056 2287 4294967295 134512640 134702520 3221223712 3220865888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6136 2287 413 48 0 6088 0
[pid=30334] vsize: 24544
Current children cumulated CPU time (s) 665.59
Current children cumulated vsize (Kb) 26672
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2317 0 0 0 21486 235 0 0 19 0 1 0 1846115325 25202688 2288 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6153 2288 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 675.44
Current children cumulated vsize (Kb) 26740
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2319 0 0 0 22422 257 0 0 25 0 1 0 1846115325 25202688 2290 4294967295 134512640 134702520 3221223712 3221111468 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6153 2290 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 685.02
Current children cumulated vsize (Kb) 26740
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2319 0 0 0 23422 257 0 0 25 0 1 0 1846115325 25202688 2290 4294967295 134512640 134702520 3221223712 3220763648 134612002 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6153 2290 413 48 0 6105 0
[pid=30334] vsize: 24612
Current children cumulated CPU time (s) 695.02
Current children cumulated vsize (Kb) 26740
[startup+720.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) T 30329 30329 19316 0 -1 0 2322 0 0 0 24393 267 0 0 18 0 1 0 1846115325 25206784 2293 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2293 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 704.83
Current children cumulated vsize (Kb) 26744
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2323 0 0 0 25331 288 0 0 25 0 1 0 1846115325 25206784 2294 4294967295 134512640 134702520 3221223712 3221118848 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2294 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 714.42
Current children cumulated vsize (Kb) 26744
[startup+740.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2323 0 0 0 26331 288 0 0 25 0 1 0 1846115325 25206784 2294 4294967295 134512640 134702520 3221223712 3220601708 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2294 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 724.42
Current children cumulated vsize (Kb) 26744
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2335 0 0 0 27292 302 0 0 25 0 1 0 1846115325 25206784 2306 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2306 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 734.17
Current children cumulated vsize (Kb) 26744
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2357 0 0 0 28246 318 0 0 25 0 1 0 1846115325 25206784 2328 4294967295 134512640 134702520 3221223712 3221070528 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2328 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 743.87
Current children cumulated vsize (Kb) 26744
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2357 0 0 0 29246 318 0 0 25 0 1 0 1846115325 25206784 2328 4294967295 134512640 134702520 3221223712 3220706828 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6154 2328 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 753.87
Current children cumulated vsize (Kb) 26744
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2360 0 0 0 30203 333 0 0 25 0 1 0 1846115325 25206784 2331 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2331 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 763.59
Current children cumulated vsize (Kb) 26744
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 31147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3221096108 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 773.21
Current children cumulated vsize (Kb) 26744
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 32147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3220770348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 783.21
Current children cumulated vsize (Kb) 26744
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2363 0 0 0 33147 351 0 0 25 0 1 0 1846115325 25206784 2334 4294967295 134512640 134702520 3221223712 3220164128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30334/statm): 6154 2334 413 48 0 6106 0
[pid=30334] vsize: 24616
Current children cumulated CPU time (s) 793.21
Current children cumulated vsize (Kb) 26744
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2383 0 0 0 34064 379 0 0 25 0 1 0 1846115325 25272320 2354 4294967295 134512640 134702520 3221223712 3221103148 134531187 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6170 2354 413 48 0 6122 0
[pid=30334] vsize: 24680
Current children cumulated CPU time (s) 802.66
Current children cumulated vsize (Kb) 26808
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30334
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 378 3457 0 0 1 1 45268 553 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30334/stat): 30334 (vallst) R 30329 30329 19316 0 -1 0 2389 0 0 0 35052 384 0 0 25 0 1 0 1846115325 25423872 2360 4294967295 134512640 134702520 3221223712 3221222736 134552778 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30334/statm): 6207 2360 413 48 0 6159 0
[pid=30334] vsize: 24828
Current children cumulated CPU time (s) 812.59
Current children cumulated vsize (Kb) 26956
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=30334) exited with status: 2
New process pid=30335
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=30335) exited with status: 0
New process pid=30336
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+840.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1704 0 0 0 522 7 0 0 25 0 1 0 1846151953 9596928 1676 4294967295 134512640 134702520 3221223712 3221144668 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2343 1676 413 48 0 2295 0
[pid=30336] vsize: 9372
Current children cumulated CPU time (s) 822.44
Current children cumulated vsize (Kb) 11500
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1704 0 0 0 1522 7 0 0 25 0 1 0 1846151953 9596928 1676 4294967295 134512640 134702520 3221223712 3220904208 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2343 1676 413 48 0 2295 0
[pid=30336] vsize: 9372
Current children cumulated CPU time (s) 832.44
Current children cumulated vsize (Kb) 11500
[startup+860.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 1754 0 0 0 2522 7 0 0 25 0 1 0 1846151953 9801728 1726 4294967295 134512640 134702520 3221223712 3220543548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 2393 1726 413 48 0 2345 0
[pid=30336] vsize: 9572
Current children cumulated CPU time (s) 842.44
Current children cumulated vsize (Kb) 11700
[startup+870.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2047 0 0 0 3457 30 0 0 25 0 1 0 1846151953 20111360 2019 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4910 2019 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 852.02
Current children cumulated vsize (Kb) 21768
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 4425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3221064428 134531180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 861.83
Current children cumulated vsize (Kb) 21768
[startup+890.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 5425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3220780128 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 871.83
Current children cumulated vsize (Kb) 21768
[startup+900.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2070 0 0 0 6425 43 0 0 25 0 1 0 1846151953 20111360 2042 4294967295 134512640 134702520 3221223712 3220243628 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4910 2042 413 48 0 4862 0
[pid=30336] vsize: 19640
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (Kb) 21768
[startup+910.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 7309 83 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3221181708 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 891.07
Current children cumulated vsize (Kb) 21900
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 8309 83 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3220979648 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 901.07
Current children cumulated vsize (Kb) 21900
[startup+930.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2131 0 0 0 9309 84 0 0 25 0 1 0 1846151953 20246528 2103 4294967295 134512640 134702520 3221223712 3220673728 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2103 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 911.08
Current children cumulated vsize (Kb) 21900
[startup+940.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2144 0 0 0 10286 92 0 0 25 0 1 0 1846151953 20246528 2116 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4943 2116 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 920.93
Current children cumulated vsize (Kb) 21900
[startup+950.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 11215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3221149708 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 930.47
Current children cumulated vsize (Kb) 21900
[startup+960.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 12215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3220884268 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 940.47
Current children cumulated vsize (Kb) 21900
[startup+970.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2186 0 0 0 13215 117 0 0 25 0 1 0 1846151953 20246528 2158 4294967295 134512640 134702520 3221223712 3220548288 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4943 2158 413 48 0 4895 0
[pid=30336] vsize: 19772
Current children cumulated CPU time (s) 950.47
Current children cumulated vsize (Kb) 21900
[startup+980.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2218 0 0 0 14143 142 0 0 25 0 1 0 1846151953 20320256 2190 4294967295 134512640 134702520 3221223712 3221222992 134557196 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4961 2190 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 960
Current children cumulated vsize (Kb) 21972
[startup+990.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 15112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3221057568 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 969.79
Current children cumulated vsize (Kb) 21972
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 16112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3220771808 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 979.79
Current children cumulated vsize (Kb) 21972
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2232 0 0 0 17112 152 0 0 25 0 1 0 1846151953 20320256 2204 4294967295 134512640 134702520 3221223712 3220205088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2204 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 989.79
Current children cumulated vsize (Kb) 21972
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 18016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3221198848 134612103 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 999.16
Current children cumulated vsize (Kb) 21972
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 19016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3220943148 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 1009.16
Current children cumulated vsize (Kb) 21972
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2265 0 0 0 20016 185 0 0 25 0 1 0 1846151953 20320256 2237 4294967295 134512640 134702520 3221223712 3220626508 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4961 2237 413 48 0 4913 0
[pid=30336] vsize: 19844
Current children cumulated CPU time (s) 1019.16
Current children cumulated vsize (Kb) 21972
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2279 0 0 0 20974 200 0 0 25 0 1 0 1846151953 20418560 2251 4294967295 134512640 134702520 3221223712 3221222992 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2251 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1028.89
Current children cumulated vsize (Kb) 22068
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 21913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3221118208 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1038.51
Current children cumulated vsize (Kb) 22068
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 22913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3220845408 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1048.51
Current children cumulated vsize (Kb) 22068
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2301 0 0 0 23913 223 0 0 25 0 1 0 1846151953 20418560 2273 4294967295 134512640 134702520 3221223712 3220454528 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2273 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1058.51
Current children cumulated vsize (Kb) 22068
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) T 30329 30329 19316 0 -1 0 2303 0 0 0 24816 258 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1067.89
Current children cumulated vsize (Kb) 22068
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 25786 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3221044448 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1077.67
Current children cumulated vsize (Kb) 22068
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 26787 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3220755468 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1087.68
Current children cumulated vsize (Kb) 22068
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2303 0 0 0 27787 266 0 0 25 0 1 0 1846151953 20418560 2275 4294967295 134512640 134702520 3221223712 3220127788 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2275 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1097.68
Current children cumulated vsize (Kb) 22068
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 28686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3221190048 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1106.99
Current children cumulated vsize (Kb) 22068
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 29686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3220932768 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1116.99
Current children cumulated vsize (Kb) 22068
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2306 0 0 0 30686 298 0 0 25 0 1 0 1846151953 20418560 2278 4294967295 134512640 134702520 3221223712 3220613088 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2278 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1126.99
Current children cumulated vsize (Kb) 22068
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2307 0 0 0 31636 315 0 0 25 0 1 0 1846151953 20418560 2279 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/30336/statm): 4985 2279 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1136.66
Current children cumulated vsize (Kb) 22068
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 32572 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3221127168 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1146.23
Current children cumulated vsize (Kb) 22068
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 33573 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3220857228 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1156.24
Current children cumulated vsize (Kb) 22068
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2317 0 0 0 34573 336 0 0 25 0 1 0 1846151953 20418560 2289 4294967295 134512640 134702520 3221223712 3220484928 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 4985 2289 413 48 0 4937 0
[pid=30336] vsize: 19940
Current children cumulated CPU time (s) 1166.24
Current children cumulated vsize (Kb) 22068
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) T 30329 30329 19316 0 -1 0 2323 0 0 0 35500 363 0 0 25 0 1 0 1846151953 20496384 2295 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/30336/statm): 5004 2295 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1175.78
Current children cumulated vsize (Kb) 22144
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 36477 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3221042188 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1185.63
Current children cumulated vsize (Kb) 22144
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 37477 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220752768 134612002 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1195.63
Current children cumulated vsize (Kb) 22144
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 38478 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220081888 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 22144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 30336
Raw data (/proc/30329/stat): 30329 (vallstSAT2005PB) S 30328 30329 19316 0 -1 0 417 5993 0 0 2 1 80765 947 19 0 1 0 1846068468 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/30329/statm): 532 248 485 147 0 385 0
[pid=30329] vsize: 2128
Raw data (/proc/30336/stat): 30336 (vallst) R 30329 30329 19316 0 -1 0 2329 0 0 0 38478 371 0 0 25 0 1 0 1846151953 20496384 2301 4294967295 134512640 134702520 3221223712 3220081548 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/30336/statm): 5004 2301 413 48 0 4956 0
[pid=30336] vsize: 20016
Current children cumulated CPU time (s) 1205.64
Current children cumulated vsize (Kb) 22144
Sending SIGTERM to -30329
Sleeping 2 seconds
New process pid=30338
New process pid=30339
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/32036/stat
open syscall for file /proc/32036/status
open syscall for file /proc/32036/cmdline
open syscall for file /proc/32036/environ
open syscall for file /proc/1866/stat
open syscall for file /proc/1866/status
open syscall for file /proc/1866/cmdline
open syscall for file /proc/1866/environ
open syscall for file /proc/1893/stat
open syscall for file /proc/1893/status
open syscall for file /proc/1893/cmdline
open syscall for file /proc/1893/environ
open syscall for file /proc/1917/stat
open syscall for file /proc/1917/status
open syscall for file /proc/1917/cmdline
open syscall for file /proc/1917/environ
open syscall for file /proc/12510/stat
open syscall for file /proc/12510/status
open syscall for file /proc/12510/cmdline
open syscall for file /proc/12510/environ
open syscall for file /proc/16403/stat
open syscall for file /proc/16403/status
open syscall for file /proc/16403/cmdline
open syscall for file /proc/16403/environ
open syscall for file /proc/31159/stat
open syscall for file /proc/31159/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/31159/cmdline
open syscall for file /proc/31159/environ
open syscall for file /proc/31194/stat
open syscall for file /proc/31194/status
open syscall for file /proc/31194/cmdline
open syscall for file /proc/31194/environ
open syscall for file /proc/19316/stat
open syscall for file /proc/19316/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/19316/cmdline
open syscall for file /proc/19316/environ
open syscall for file /proc/19317/stat
open syscall for file /proc/19317/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/19317/cmdline
open syscall for file /proc/19317/environ
open syscall for file /proc/19326/stat
open syscall for file /proc/19326/status
open syscall for file /proc/19326/cmdline
open syscall for file /proc/19326/environ
open syscall for file /proc/30292/stat
open syscall for file /proc/30292/status
open syscall for file /proc/30292/cmdline
open syscall for file /proc/30292/environ
open syscall for file /proc/30328/stat
open syscall for file /proc/30328/status
open syscall for file /proc/30328/cmdline
open syscall for file /proc/30328/environ
open syscall for file /proc/30329/stat
open syscall for file /proc/30329/status
open syscall for file /proc/30329/cmdline
open syscall for file /proc/30329/environ
open syscall for file /proc/30336/stat
open syscall for file /proc/30336/status
open syscall for file /proc/30336/cmdline
open syscall for file /proc/30336/environ
open syscall for file /proc/30338/stat
open syscall for file /proc/30338/status
open syscall for file /proc/30338/cmdline
open syscall for file /proc/30338/environ
open syscall for file /proc/30339/stat
open syscall for file /proc/30339/status
open syscall for file /proc/30339/cmdline
open syscall for file /proc/30339/environ
One traced child (pid=30339) exited with status: 0
One traced child (pid=30338) exited with status: 0
New process pid=30340
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
One traced child (pid=30340) exited with status: 0
New process pid=30341
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=30341) exited with status: 0
One traced child (pid=30329) ended because it received signal 15 (SIGTERM)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=30336) exited with status: 3
All traced children have exited ! Game is over.
Child status: 3
Real time (s): 1231.09
CPU time (s): 389.465
CPU user time (s): 385.659
CPU system time (s): 3.80542
CPU usage (%): 31.6357
Max. virtual memory (cumulated for all children) (Kb): 26956