1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 112)
#decisions: 54259; #end-nodes: 14164;
#proof improvement attempts: 0; #restarts: 99
Current batch, end-nodes: 48 / 146 (104)
#axs: 2151, #non-axs: 5516
tight: meta-meta: start: 5, end: 7; meta: start: 10, end (keep): 18
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 599 (72:>=*);
#decisions: 26641; #end-nodes: 7590;
#proof improvement attempts: 0; #restarts: 65
Current batch, end-nodes: 87 / 101 (96)
#axs: 2170, #non-axs: 10487
tight: meta-meta: start: 5, end: 7; meta: start: 7, end (keep): 11
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 601 (70:>=*);
#decisions: 29643; #end-nodes: 9309;
#proof improvement attempts: 0; #restarts: 72
Current batch, end-nodes: 109 / 110 (98)
#axs: 2184, #non-axs: 4375
tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 603 (68:>=*);
#decisions: 9268; #end-nodes: 2862;
#proof improvement attempts: 0; #restarts: 25
Current batch, end-nodes: 102 / 128 (86)
#axs: 2189, #non-axs: 4582
tight: meta-meta: start: 5, end: 7; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 605 (66:>=*);
#decisions: 149532; #end-nodes: 59742;
#proof improvement attempts: 0; #restarts: 342
Current batch, end-nodes: 123 / 208 (165)
#axs: 2215, #non-axs: 3719
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 607 (64:>=*);
#decisions: 107; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 82 (80)
#axs: 2215, #non-axs: 3721
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 609 (62:>=*);
#decisions: 298403; #end-nodes: 154070;
#proof improvement attempts: 0; #restarts: 672
Current batch, end-nodes: 0 / 259 (247)
#axs: 2270, #non-axs: 2635
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 609 (62:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 172 (#equs: 241)
Time taken: 5 min, 10 sec
2:
seed: 0
Nr of vars set: 172 (#equs: 0)
Nr of vars set: 173 (#equs: 2)
#decisions: 753670; #end-nodes: 474964;
#proof improvement attempts: 0; #restarts: 1248
Current batch, end-nodes: 0 / 509 (431)
#axs: 1140, #non-axs: 1687
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 215 (#equs: 41)
Time taken: 4 min, 13 sec
3:
seed: 0
Nr of vars set: 215 (#equs: 0)
Nr of vars set: 215 (#equs: 0)
#decisions: 1391961; #end-nodes: 999744;
#proof improvement attempts: 0; #restarts: 1824
Current batch, end-nodes: 0 / 645 (615)
#axs: 855, #non-axs: 10506
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 24, end (keep): 38
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 239 (#equs: 30)
Time taken: 9 min, 3 sec
4:
seed: 0
Nr of vars set: 239 (#equs: 0)
Nr of vars set: 240 (#equs: 2)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 241 (#equs: 3)
Time taken in seconds: 97
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/19166/stat): 19166 (vallstSAT2005PB) R 19165 19166 5299 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845814729 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/19166/statm): 174 3 169 147 0 27 0
[pid=19166] 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=19167
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=19167) exited with status: 0
New process pid=19168
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=19168) exited with status: 0
New process pid=19169
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/wulflinc23/normalized-s4-4-3-1pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0041 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 333 0 0 0 311 214 0 0 16 0 1 0 1845814736 3039232 303 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 742 303 413 48 0 694 0
[pid=19169] vsize: 2968
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (Kb) 5096
[startup+20.0047 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 459 0 0 0 856 362 0 0 15 0 1 0 1845814736 3489792 429 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 852 429 413 48 0 804 0
[pid=19169] vsize: 3408
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (Kb) 5536
[startup+30.0064 s]
Raw data (loadavg): 1.01 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 1382 523 0 0 16 0 1 0 1845814736 3493888 430 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 853 430 413 48 0 805 0
[pid=19169] vsize: 3412
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (Kb) 5540
[startup+40.007 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 2069 629 0 0 16 0 1 0 1845814736 3493888 430 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 853 430 413 48 0 805 0
[pid=19169] vsize: 3412
Current children cumulated CPU time (s) 26.99
Current children cumulated vsize (Kb) 5540
[startup+50.0077 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 2759 735 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 34.95
Current children cumulated vsize (Kb) 5664
[startup+60.0084 s]
Raw data (loadavg): 1.00 0.97 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 3410 851 0 0 15 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 42.62
Current children cumulated vsize (Kb) 5664
[startup+70.0089 s]
Raw data (loadavg): 1.08 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 4063 969 0 0 15 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (Kb) 5664
[startup+80.0106 s]
Raw data (loadavg): 1.07 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 4721 1087 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 58.09
Current children cumulated vsize (Kb) 5664
[startup+90.0112 s]
Raw data (loadavg): 1.06 0.99 0.99 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 5402 1195 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 65.98
Current children cumulated vsize (Kb) 5664
[startup+100.012 s]
Raw data (loadavg): 1.12 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 6086 1298 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 73.85
Current children cumulated vsize (Kb) 5664
[startup+110.012 s]
Raw data (loadavg): 1.10 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 479 0 0 0 6734 1421 0 0 16 0 1 0 1845814736 3620864 449 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 449 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 81.56
Current children cumulated vsize (Kb) 5664
[startup+120.013 s]
Raw data (loadavg): 1.09 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 518 0 0 0 7390 1536 0 0 16 0 1 0 1845814736 3620864 488 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 488 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 89.27
Current children cumulated vsize (Kb) 5664
[startup+130.015 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 518 0 0 0 8085 1644 0 0 15 0 1 0 1845814736 3620864 488 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 488 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 97.3
Current children cumulated vsize (Kb) 5664
[startup+140.015 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 550 0 0 0 8747 1759 0 0 15 0 1 0 1845814736 3620864 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 520 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 105.07
Current children cumulated vsize (Kb) 5664
[startup+150.016 s]
Raw data (loadavg): 1.05 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 9398 1877 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 112.76
Current children cumulated vsize (Kb) 5664
[startup+160.017 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 10085 1983 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 120.69
Current children cumulated vsize (Kb) 5664
[startup+170.017 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 10779 2088 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 128.68
Current children cumulated vsize (Kb) 5664
[startup+180.019 s]
Raw data (loadavg): 1.10 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 11442 2201 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 136.44
Current children cumulated vsize (Kb) 5664
[startup+190.02 s]
Raw data (loadavg): 1.09 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 12119 2313 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 144.33
Current children cumulated vsize (Kb) 5664
[startup+200.02 s]
Raw data (loadavg): 1.07 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 12807 2413 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 152.21
Current children cumulated vsize (Kb) 5664
[startup+210.021 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 13457 2535 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 159.93
Current children cumulated vsize (Kb) 5664
[startup+220.022 s]
Raw data (loadavg): 1.13 1.03 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 14146 2643 0 0 16 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 167.9
Current children cumulated vsize (Kb) 5664
[startup+230.022 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 582 0 0 0 14885 2731 0 0 15 0 1 0 1845814736 3620864 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 552 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 176.17
Current children cumulated vsize (Kb) 5664
[startup+240.023 s]
Raw data (loadavg): 1.17 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 15604 2826 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 184.31
Current children cumulated vsize (Kb) 5664
[startup+250.023 s]
Raw data (loadavg): 1.15 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 16307 2925 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 192.33
Current children cumulated vsize (Kb) 5664
[startup+260.024 s]
Raw data (loadavg): 1.12 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 17061 3011 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 200.73
Current children cumulated vsize (Kb) 5664
[startup+270.025 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 17798 3102 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 209.01
Current children cumulated vsize (Kb) 5664
[startup+280.026 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 18489 3205 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 216.95
Current children cumulated vsize (Kb) 5664
[startup+290.027 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 19227 3295 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 225.23
Current children cumulated vsize (Kb) 5664
[startup+300.028 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 19995 3375 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 233.71
Current children cumulated vsize (Kb) 5664
[startup+310.029 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 20713 3472 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 241.86
Current children cumulated vsize (Kb) 5664
[startup+320.03 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 21407 3581 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 249.89
Current children cumulated vsize (Kb) 5664
[startup+330.031 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 22169 3666 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 258.36
Current children cumulated vsize (Kb) 5664
[startup+340.031 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 22928 3751 0 0 15 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (Kb) 5664
[startup+350.032 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 23630 3852 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 274.83
Current children cumulated vsize (Kb) 5664
[startup+360.033 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 24331 3953 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 282.85
Current children cumulated vsize (Kb) 5664
[startup+370.033 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 25090 4035 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 291.26
Current children cumulated vsize (Kb) 5664
[startup+380.034 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 25844 4122 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 299.67
Current children cumulated vsize (Kb) 5664
[startup+390.034 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19169
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 1845814729 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 242 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19169/stat): 19169 (vallst) T 19166 19166 5299 0 -1 0 615 0 0 0 26546 4227 0 0 16 0 1 0 1845814736 3620864 585 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19169/statm): 884 585 413 48 0 836 0
[pid=19169] vsize: 3536
Current children cumulated CPU time (s) 307.74
Current children cumulated vsize (Kb) 5664
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=19169) exited with status: 2
New process pid=19170
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=19170) exited with status: 0
New process pid=19171
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+400.035 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 256 0 0 0 298 105 0 0 17 0 1 0 1845854121 2252800 227 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 550 227 413 48 0 502 0
[pid=19171] vsize: 2200
Current children cumulated CPU time (s) 314.86
Current children cumulated vsize (Kb) 4328
[startup+410.036 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 313 0 0 0 867 251 0 0 16 0 1 0 1845854121 3293184 284 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 284 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 322.01
Current children cumulated vsize (Kb) 5344
[startup+420.036 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 327 0 0 0 1407 400 0 0 16 0 1 0 1845854121 3293184 298 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 298 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 328.9
Current children cumulated vsize (Kb) 5344
[startup+430.038 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 344 0 0 0 1996 539 0 0 16 0 1 0 1845854121 3293184 315 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 315 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 336.18
Current children cumulated vsize (Kb) 5344
[startup+440.039 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 345 0 0 0 2559 686 0 0 16 0 1 0 1845854121 3293184 316 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 316 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 343.28
Current children cumulated vsize (Kb) 5344
[startup+450.039 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 346 0 0 0 3107 833 0 0 16 0 1 0 1845854121 3293184 317 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 804 317 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 350.23
Current children cumulated vsize (Kb) 5344
[startup+460.04 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 347 0 0 0 3681 984 0 0 16 0 1 0 1845854121 3293184 318 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 318 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 357.48
Current children cumulated vsize (Kb) 5344
[startup+470.041 s]
Raw data (loadavg): 1.16 1.06 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 363 0 0 0 4235 1134 0 0 15 0 1 0 1845854121 3293184 334 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 804 334 413 48 0 756 0
[pid=19171] vsize: 3216
Current children cumulated CPU time (s) 364.52
Current children cumulated vsize (Kb) 5344
[startup+480.042 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 370 0 0 0 4846 1266 0 0 16 0 1 0 1845854121 3297280 341 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 341 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 371.95
Current children cumulated vsize (Kb) 5348
[startup+490.043 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 371 0 0 0 5390 1418 0 0 16 0 1 0 1845854121 3297280 342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 342 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 378.91
Current children cumulated vsize (Kb) 5348
[startup+500.043 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 371 0 0 0 6006 1543 0 0 16 0 1 0 1845854121 3297280 342 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 342 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 386.32
Current children cumulated vsize (Kb) 5348
[startup+510.044 s]
Raw data (loadavg): 1.24 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 372 0 0 0 6539 1703 0 0 15 0 1 0 1845854121 3297280 343 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 805 343 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 393.25
Current children cumulated vsize (Kb) 5348
[startup+520.045 s]
Raw data (loadavg): 1.20 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 373 0 0 0 7165 1829 0 0 16 0 1 0 1845854121 3297280 344 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 344 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 400.77
Current children cumulated vsize (Kb) 5348
[startup+530.046 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 407 0 0 0 7743 1974 0 0 15 0 1 0 1845854121 3297280 378 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 378 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 408
Current children cumulated vsize (Kb) 5348
[startup+540.047 s]
Raw data (loadavg): 1.22 1.09 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 407 0 0 0 8371 2097 0 0 16 0 1 0 1845854121 3297280 378 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 805 378 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 415.51
Current children cumulated vsize (Kb) 5348
[startup+550.048 s]
Raw data (loadavg): 1.19 1.09 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 410 0 0 0 9051 2207 0 0 15 0 1 0 1845854121 3297280 381 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 805 381 413 48 0 757 0
[pid=19171] vsize: 3220
Current children cumulated CPU time (s) 423.41
Current children cumulated vsize (Kb) 5348
[startup+560.048 s]
Raw data (loadavg): 1.24 1.10 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 412 0 0 0 9585 2369 0 0 16 0 1 0 1845854121 3428352 383 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 383 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 430.37
Current children cumulated vsize (Kb) 5476
[startup+570.049 s]
Raw data (loadavg): 1.20 1.10 1.02 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 413 0 0 0 10224 2489 0 0 16 0 1 0 1845854121 3428352 384 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 384 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 437.96
Current children cumulated vsize (Kb) 5476
[startup+580.05 s]
Raw data (loadavg): 1.25 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 414 0 0 0 10827 2624 0 0 15 0 1 0 1845854121 3428352 385 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 385 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 445.34
Current children cumulated vsize (Kb) 5476
[startup+590.05 s]
Raw data (loadavg): 1.21 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 415 0 0 0 11444 2750 0 0 16 0 1 0 1845854121 3428352 386 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 386 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 452.77
Current children cumulated vsize (Kb) 5476
[startup+600.051 s]
Raw data (loadavg): 1.26 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 540 0 0 0 12162 2842 0 0 16 0 1 0 1845854121 3428352 511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 511 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 460.87
Current children cumulated vsize (Kb) 5476
[startup+610.053 s]
Raw data (loadavg): 1.22 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 540 0 0 0 12725 2985 0 0 16 0 1 0 1845854121 3428352 511 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 511 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 467.93
Current children cumulated vsize (Kb) 5476
[startup+620.053 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 541 0 0 0 13399 3096 0 0 16 0 1 0 1845854121 3428352 512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 512 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 475.78
Current children cumulated vsize (Kb) 5476
[startup+630.054 s]
Raw data (loadavg): 1.23 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 541 0 0 0 14084 3203 0 0 16 0 1 0 1845854121 3428352 512 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 512 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 483.7
Current children cumulated vsize (Kb) 5476
[startup+640.054 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 542 0 0 0 14662 3351 0 0 15 0 1 0 1845854121 3428352 513 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 513 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 490.96
Current children cumulated vsize (Kb) 5476
[startup+650.055 s]
Raw data (loadavg): 1.16 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 542 0 0 0 15353 3454 0 0 16 0 1 0 1845854121 3428352 513 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 513 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 498.9
Current children cumulated vsize (Kb) 5476
[startup+660.056 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 547 0 0 0 16041 3563 0 0 16 0 1 0 1845854121 3428352 518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 837 518 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 506.87
Current children cumulated vsize (Kb) 5476
[startup+670.056 s]
Raw data (loadavg): 1.12 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 547 0 0 0 16609 3708 0 0 15 0 1 0 1845854121 3428352 518 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 837 518 413 48 0 789 0
[pid=19171] vsize: 3348
Current children cumulated CPU time (s) 514
Current children cumulated vsize (Kb) 5476
[startup+680.058 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 17370 3790 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 522.43
Current children cumulated vsize (Kb) 5612
[startup+690.059 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 18047 3903 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 530.33
Current children cumulated vsize (Kb) 5612
[startup+700.059 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 18647 4038 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 537.68
Current children cumulated vsize (Kb) 5612
[startup+710.06 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 19317 4147 0 0 16 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 545.47
Current children cumulated vsize (Kb) 5612
[startup+720.061 s]
Raw data (loadavg): 1.11 1.10 1.03 2/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 556 0 0 0 20004 4253 0 0 15 0 1 0 1845854121 3567616 527 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 527 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 553.4
Current children cumulated vsize (Kb) 5612
[startup+730.062 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 19171
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 378 990 0 0 1 2 26812 4268 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19171/stat): 19171 (vallst) T 19166 19166 5299 0 -1 0 557 0 0 0 20671 4366 0 0 15 0 1 0 1845854121 3567616 528 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19171/statm): 871 528 413 48 0 823 0
[pid=19171] vsize: 3484
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (Kb) 5612
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=19171) exited with status: 2
New process pid=19172
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=19172) exited with status: 0
New process pid=19173
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+740.063 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 248 0 0 0 241 99 0 0 16 0 1 0 1845888223 2228224 219 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 544 219 413 48 0 496 0
[pid=19173] vsize: 2176
Current children cumulated CPU time (s) 567.86
Current children cumulated vsize (Kb) 4304
[startup+750.063 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 305 0 0 0 790 247 0 0 16 0 1 0 1845888223 2809856 276 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 686 276 413 48 0 638 0
[pid=19173] vsize: 2744
Current children cumulated CPU time (s) 574.83
Current children cumulated vsize (Kb) 4872
[startup+760.064 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 334 0 0 0 1310 401 0 0 15 0 1 0 1845888223 2949120 305 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 720 305 413 48 0 672 0
[pid=19173] vsize: 2880
Current children cumulated CPU time (s) 581.57
Current children cumulated vsize (Kb) 5008
[startup+770.065 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 337 0 0 0 1902 535 0 0 16 0 1 0 1845888223 2945024 308 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 308 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 588.83
Current children cumulated vsize (Kb) 5004
[startup+780.068 s]
Raw data (loadavg): 1.16 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 338 0 0 0 2404 702 0 0 16 0 1 0 1845888223 2945024 309 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 719 309 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 595.52
Current children cumulated vsize (Kb) 5004
[startup+790.069 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 340 0 0 0 3010 832 0 0 16 0 1 0 1845888223 2945024 311 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 311 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 602.88
Current children cumulated vsize (Kb) 5004
[startup+800.07 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 364 0 0 0 3540 994 0 0 16 0 1 0 1845888223 2945024 335 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 335 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 609.8
Current children cumulated vsize (Kb) 5004
[startup+810.07 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 367 0 0 0 4150 1125 0 0 15 0 1 0 1845888223 2945024 338 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 338 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 617.21
Current children cumulated vsize (Kb) 5004
[startup+820.071 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 368 0 0 0 4692 1282 0 0 16 0 1 0 1845888223 2945024 339 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 339 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 624.2
Current children cumulated vsize (Kb) 5004
[startup+830.072 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 5337 1403 0 0 16 0 1 0 1845888223 2945024 402 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 402 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 631.86
Current children cumulated vsize (Kb) 5004
[startup+840.072 s]
Raw data (loadavg): 1.13 1.11 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 433 0 0 0 5863 1564 0 0 16 0 1 0 1845888223 2945024 404 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 719 404 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 638.73
Current children cumulated vsize (Kb) 5004
[startup+850.073 s]
Raw data (loadavg): 1.11 1.10 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 433 0 0 0 6512 1680 0 0 16 0 1 0 1845888223 2945024 404 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 719 404 413 48 0 671 0
[pid=19173] vsize: 2876
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (Kb) 5004
[startup+860.073 s]
Raw data (loadavg): 1.09 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 460 0 0 0 7190 1785 0 0 16 0 1 0 1845888223 3080192 431 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 431 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 654.21
Current children cumulated vsize (Kb) 5136
[startup+870.074 s]
Raw data (loadavg): 1.16 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 461 0 0 0 7755 1930 0 0 15 0 1 0 1845888223 3080192 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 432 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 661.31
Current children cumulated vsize (Kb) 5136
[startup+880.075 s]
Raw data (loadavg): 1.13 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 461 0 0 0 8404 2046 0 0 16 0 1 0 1845888223 3080192 432 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 432 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 668.96
Current children cumulated vsize (Kb) 5136
[startup+890.075 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 466 0 0 0 8963 2196 0 0 16 0 1 0 1845888223 3080192 437 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 437 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 676.05
Current children cumulated vsize (Kb) 5136
[startup+900.076 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 467 0 0 0 9630 2310 0 0 16 0 1 0 1845888223 3080192 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 438 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 683.86
Current children cumulated vsize (Kb) 5136
[startup+910.078 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 467 0 0 0 10256 2434 0 0 15 0 1 0 1845888223 3080192 438 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 438 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 691.36
Current children cumulated vsize (Kb) 5136
[startup+920.078 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 470 0 0 0 10856 2569 0 0 16 0 1 0 1845888223 3080192 441 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 441 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 698.71
Current children cumulated vsize (Kb) 5136
[startup+930.079 s]
Raw data (loadavg): 1.06 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 471 0 0 0 11541 2677 0 0 15 0 1 0 1845888223 3080192 442 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 442 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 706.64
Current children cumulated vsize (Kb) 5136
[startup+940.08 s]
Raw data (loadavg): 1.13 1.10 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 471 0 0 0 12088 2823 0 0 15 0 1 0 1845888223 3080192 442 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 442 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 713.57
Current children cumulated vsize (Kb) 5136
[startup+950.079 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 472 0 0 0 12773 2933 0 0 16 0 1 0 1845888223 3080192 443 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 443 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 721.52
Current children cumulated vsize (Kb) 5136
[startup+960.08 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 476 0 0 0 13462 3038 0 0 16 0 1 0 1845888223 3080192 447 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 447 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 5136
[startup+970.081 s]
Raw data (loadavg): 1.16 1.11 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 479 0 0 0 14018 3188 0 0 16 0 1 0 1845888223 3080192 450 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 450 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 736.52
Current children cumulated vsize (Kb) 5136
[startup+980.081 s]
Raw data (loadavg): 1.20 1.12 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 480 0 0 0 14708 3292 0 0 16 0 1 0 1845888223 3080192 451 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 451 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 744.46
Current children cumulated vsize (Kb) 5136
[startup+990.083 s]
Raw data (loadavg): 1.17 1.11 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 481 0 0 0 15398 3398 0 0 16 0 1 0 1845888223 3080192 452 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 452 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 752.42
Current children cumulated vsize (Kb) 5136
[startup+1000.08 s]
Raw data (loadavg): 1.22 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 482 0 0 0 15949 3553 0 0 15 0 1 0 1845888223 3080192 453 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 453 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 759.48
Current children cumulated vsize (Kb) 5136
[startup+1010.08 s]
Raw data (loadavg): 1.18 1.12 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 482 0 0 0 16644 3656 0 0 16 0 1 0 1845888223 3080192 453 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 453 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 767.46
Current children cumulated vsize (Kb) 5136
[startup+1020.08 s]
Raw data (loadavg): 1.16 1.12 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 487 0 0 0 17401 3737 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 775.84
Current children cumulated vsize (Kb) 5136
[startup+1030.09 s]
Raw data (loadavg): 1.21 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 487 0 0 0 17952 3884 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 782.82
Current children cumulated vsize (Kb) 5136
[startup+1040.09 s]
Raw data (loadavg): 1.17 1.12 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 487 0 0 0 18654 3983 0 0 16 0 1 0 1845888223 3080192 458 4294967295 134512640 134702520 3221223712 3221222992 134553333 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 458 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 790.83
Current children cumulated vsize (Kb) 5136
[startup+1050.09 s]
Raw data (loadavg): 1.22 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 489 0 0 0 19360 4082 0 0 16 0 1 0 1845888223 3080192 460 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 460 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 798.88
Current children cumulated vsize (Kb) 5136
[startup+1060.09 s]
Raw data (loadavg): 1.19 1.13 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 489 0 0 0 19950 4223 0 0 16 0 1 0 1845888223 3080192 460 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 460 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 806.19
Current children cumulated vsize (Kb) 5136
[startup+1070.09 s]
Raw data (loadavg): 1.16 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 491 0 0 0 20662 4321 0 0 16 0 1 0 1845888223 3080192 462 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 462 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 814.29
Current children cumulated vsize (Kb) 5136
[startup+1080.09 s]
Raw data (loadavg): 1.13 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 491 0 0 0 21381 4422 0 0 16 0 1 0 1845888223 3080192 462 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 462 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 822.49
Current children cumulated vsize (Kb) 5136
[startup+1090.09 s]
Raw data (loadavg): 1.11 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 492 0 0 0 21948 4568 0 0 15 0 1 0 1845888223 3080192 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 752 463 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 829.62
Current children cumulated vsize (Kb) 5136
[startup+1100.09 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 492 0 0 0 22646 4665 0 0 16 0 1 0 1845888223 3080192 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 752 463 413 48 0 704 0
[pid=19173] vsize: 3008
Current children cumulated CPU time (s) 837.57
Current children cumulated vsize (Kb) 5136
[startup+1110.09 s]
Raw data (loadavg): 1.08 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 493 0 0 0 23372 4758 0 0 16 0 1 0 1845888223 3207168 464 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 464 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 845.76
Current children cumulated vsize (Kb) 5260
[startup+1120.09 s]
Raw data (loadavg): 1.22 1.14 1.06 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 495 0 0 0 23942 4900 0 0 15 0 1 0 1845888223 3207168 466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 466 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 852.88
Current children cumulated vsize (Kb) 5260
[startup+1130.09 s]
Raw data (loadavg): 1.19 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 495 0 0 0 24663 4995 0 0 16 0 1 0 1845888223 3207168 466 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 466 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 861.04
Current children cumulated vsize (Kb) 5260
[startup+1140.09 s]
Raw data (loadavg): 1.16 1.13 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 496 0 0 0 25382 5089 0 0 15 0 1 0 1845888223 3207168 467 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 467 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 869.17
Current children cumulated vsize (Kb) 5260
[startup+1150.1 s]
Raw data (loadavg): 1.13 1.12 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 496 0 0 0 25982 5226 0 0 16 0 1 0 1845888223 3207168 467 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 467 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 876.54
Current children cumulated vsize (Kb) 5260
[startup+1160.1 s]
Raw data (loadavg): 1.11 1.12 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 497 0 0 0 26665 5333 0 0 15 0 1 0 1845888223 3207168 468 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 468 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 884.44
Current children cumulated vsize (Kb) 5260
[startup+1170.1 s]
Raw data (loadavg): 1.09 1.11 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 499 0 0 0 27415 5414 0 0 16 0 1 0 1845888223 3207168 470 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 470 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 892.75
Current children cumulated vsize (Kb) 5260
[startup+1180.1 s]
Raw data (loadavg): 1.08 1.11 1.05 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 501 0 0 0 28155 5506 0 0 16 0 1 0 1845888223 3207168 472 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 783 472 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 901.07
Current children cumulated vsize (Kb) 5260
[startup+1190.1 s]
Raw data (loadavg): 1.07 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 502 0 0 0 28720 5654 0 0 16 0 1 0 1845888223 3207168 473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 473 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 908.2
Current children cumulated vsize (Kb) 5260
[startup+1200.1 s]
Raw data (loadavg): 1.06 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 502 0 0 0 29452 5749 0 0 16 0 1 0 1845888223 3207168 473 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 783 473 413 48 0 735 0
[pid=19173] vsize: 3132
Current children cumulated CPU time (s) 916.47
Current children cumulated vsize (Kb) 5260
[startup+1210.1 s]
Raw data (loadavg): 1.05 1.10 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 606 0 0 0 30198 5838 0 0 16 0 1 0 1845888223 3686400 577 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 900 577 413 48 0 852 0
[pid=19173] vsize: 3600
Current children cumulated CPU time (s) 924.82
Current children cumulated vsize (Kb) 5728
[startup+1220.1 s]
Raw data (loadavg): 1.04 1.09 1.05 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1026 0 0 0 31050 5889 0 0 16 0 1 0 1845888223 5378048 997 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1313 997 413 48 0 1265 0
[pid=19173] vsize: 5252
Current children cumulated CPU time (s) 933.85
Current children cumulated vsize (Kb) 7380
[startup+1230.1 s]
Raw data (loadavg): 1.03 1.09 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 1391 0 0 0 31977 5917 0 0 17 0 1 0 1845888223 6778880 1362 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19173/statm): 1655 1362 413 48 0 1607 0
[pid=19173] vsize: 6620
Current children cumulated CPU time (s) 943.4
Current children cumulated vsize (Kb) 8748
[startup+1240.1 s]
Raw data (loadavg): 1.03 1.09 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 32612 6042 0 0 16 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 951
Current children cumulated vsize (Kb) 8928
[startup+1250.1 s]
Raw data (loadavg): 1.02 1.08 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 33489 6083 0 0 18 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 960.18
Current children cumulated vsize (Kb) 8928
[startup+1260.11 s]
Raw data (loadavg): 1.02 1.08 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1445 0 0 0 34432 6101 0 0 21 0 1 0 1845888223 6963200 1416 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1700 1416 413 48 0 1652 0
[pid=19173] vsize: 6800
Current children cumulated CPU time (s) 969.79
Current children cumulated vsize (Kb) 8928
[startup+1270.11 s]
Raw data (loadavg): 1.02 1.08 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1609 0 0 0 35373 6122 0 0 17 0 1 0 1845888223 7041024 1438 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19173/statm): 1719 1438 413 48 0 1671 0
[pid=19173] vsize: 6876
Current children cumulated CPU time (s) 979.41
Current children cumulated vsize (Kb) 9004
[startup+1280.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1609 0 0 0 36277 6159 0 0 20 0 1 0 1845888223 7041024 1438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1719 1438 413 48 0 1671 0
[pid=19173] vsize: 6876
Current children cumulated CPU time (s) 988.82
Current children cumulated vsize (Kb) 9004
[startup+1290.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1682 0 0 0 37177 6193 0 0 17 0 1 0 1845888223 7380992 1511 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 1802 1511 413 48 0 1754 0
[pid=19173] vsize: 7208
Current children cumulated CPU time (s) 998.16
Current children cumulated vsize (Kb) 9336
[startup+1300.11 s]
Raw data (loadavg): 1.01 1.07 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 1900 0 0 0 38128 6211 0 0 25 0 1 0 1845888223 8380416 1729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2046 1729 413 48 0 1998 0
[pid=19173] vsize: 8184
Current children cumulated CPU time (s) 1007.85
Current children cumulated vsize (Kb) 10312
[startup+1310.11 s]
Raw data (loadavg): 1.01 1.07 1.04 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 1970 0 0 0 39034 6242 0 0 20 0 1 0 1845888223 8630272 1798 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2107 1798 413 48 0 2059 0
[pid=19173] vsize: 8428
Current children cumulated CPU time (s) 1017.22
Current children cumulated vsize (Kb) 10556
[startup+1320.11 s]
Raw data (loadavg): 1.00 1.06 1.04 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2151 0 0 0 39995 6254 0 0 25 0 1 0 1845888223 9412608 1979 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2298 1979 413 48 0 2250 0
[pid=19173] vsize: 9192
Current children cumulated CPU time (s) 1026.95
Current children cumulated vsize (Kb) 11320
[startup+1330.11 s]
Raw data (loadavg): 1.00 1.06 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2327 0 0 0 40957 6268 0 0 25 0 1 0 1845888223 10186752 2155 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2487 2155 413 48 0 2439 0
[pid=19173] vsize: 9948
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (Kb) 12076
[startup+1340.11 s]
Raw data (loadavg): 1.00 1.06 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2496 0 0 0 41922 6283 0 0 25 0 1 0 1845888223 10801152 2324 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2637 2324 413 48 0 2589 0
[pid=19173] vsize: 10548
Current children cumulated CPU time (s) 1046.51
Current children cumulated vsize (Kb) 12676
[startup+1350.11 s]
Raw data (loadavg): 1.00 1.06 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2509 0 0 0 42845 6309 0 0 25 0 1 0 1845888223 10747904 2331 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2624 2331 413 48 0 2576 0
[pid=19173] vsize: 10496
Current children cumulated CPU time (s) 1056
Current children cumulated vsize (Kb) 12624
[startup+1360.11 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2509 0 0 0 43813 6320 0 0 25 0 1 0 1845888223 10747904 2331 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2624 2331 413 48 0 2576 0
[pid=19173] vsize: 10496
Current children cumulated CPU time (s) 1065.79
Current children cumulated vsize (Kb) 12624
[startup+1370.11 s]
Raw data (loadavg): 1.00 1.05 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2599 0 0 0 44777 6334 0 0 25 0 1 0 1845888223 11251712 2421 4294967295 134512640 134702520 3221223712 3221223136 134595904 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2747 2421 413 48 0 2699 0
[pid=19173] vsize: 10988
Current children cumulated CPU time (s) 1075.57
Current children cumulated vsize (Kb) 13116
[startup+1380.11 s]
Raw data (loadavg): 1.00 1.05 1.03 2/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) R 19166 19166 5299 0 -1 0 2600 0 0 0 45710 6358 0 0 25 0 1 0 1845888223 11141120 2422 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2720 2422 413 48 0 2672 0
[pid=19173] vsize: 10880
Current children cumulated CPU time (s) 1085.14
Current children cumulated vsize (Kb) 13008
[startup+1390.12 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2650 0 0 0 46678 6370 0 0 25 0 1 0 1845888223 11444224 2472 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2794 2472 413 48 0 2746 0
[pid=19173] vsize: 11176
Current children cumulated CPU time (s) 1094.94
Current children cumulated vsize (Kb) 13304
[startup+1400.12 s]
Raw data (loadavg): 1.00 1.05 1.03 1/57 19173
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 417 1692 0 0 2 2 47731 8711 17 0 1 0 1845814729 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 248 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19173/stat): 19173 (vallst) T 19166 19166 5299 0 -1 0 2723 0 0 0 47517 6423 0 0 16 0 1 0 1845888223 11616256 2538 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19173/statm): 2836 2538 413 48 0 2788 0
[pid=19173] vsize: 11344
Current children cumulated CPU time (s) 1103.86
Current children cumulated vsize (Kb) 13472
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=19173) exited with status: 2
New process pid=19174
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=19174) exited with status: 0
New process pid=19175
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+1410.12 s]
Raw data (loadavg): 1.00 1.04 1.03 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 370 0 0 0 294 43 0 0 19 0 1 0 1845955337 2932736 341 4294967295 134512640 134702520 3221223040 3221222176 134552340 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 716 341 413 48 0 668 0
[pid=19175] vsize: 2864
Current children cumulated CPU time (s) 1111.39
Current children cumulated vsize (Kb) 4992
[startup+1420.12 s]
Raw data (loadavg): 1.00 1.04 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 373 0 0 0 949 160 0 0 17 0 1 0 1845955337 2932736 344 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 716 344 413 48 0 668 0
[pid=19175] vsize: 2864
Current children cumulated CPU time (s) 1119.11
Current children cumulated vsize (Kb) 4992
[startup+1430.12 s]
Raw data (loadavg): 1.07 1.06 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 426 0 0 0 1590 276 0 0 15 0 1 0 1845955337 4616192 397 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 397 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1126.68
Current children cumulated vsize (Kb) 6636
[startup+1440.12 s]
Raw data (loadavg): 1.06 1.05 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 2202 408 0 0 16 0 1 0 1845955337 4616192 402 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 402 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1134.12
Current children cumulated vsize (Kb) 6636
[startup+1450.12 s]
Raw data (loadavg): 1.12 1.07 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 431 0 0 0 2759 554 0 0 16 0 1 0 1845955337 4616192 402 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 402 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1141.15
Current children cumulated vsize (Kb) 6636
[startup+1460.12 s]
Raw data (loadavg): 1.19 1.08 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 432 0 0 0 3242 728 0 0 16 0 1 0 1845955337 4616192 403 4294967295 134512640 134702520 3221223040 3221222584 134571829 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 403 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1147.72
Current children cumulated vsize (Kb) 6636
[startup+1470.12 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 432 0 0 0 3854 859 0 0 16 0 1 0 1845955337 4616192 403 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 403 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1155.15
Current children cumulated vsize (Kb) 6636
[startup+1480.12 s]
Raw data (loadavg): 1.13 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 433 0 0 0 4484 980 0 0 15 0 1 0 1845955337 4616192 404 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 404 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1162.66
Current children cumulated vsize (Kb) 6636
[startup+1490.12 s]
Raw data (loadavg): 1.11 1.07 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 434 0 0 0 4944 1155 0 0 16 0 1 0 1845955337 4616192 405 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 405 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1169.01
Current children cumulated vsize (Kb) 6636
[startup+1500.12 s]
Raw data (loadavg): 1.09 1.07 1.03 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 436 0 0 0 5551 1289 0 0 16 0 1 0 1845955337 4616192 407 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 407 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1176.42
Current children cumulated vsize (Kb) 6636
[startup+1510.13 s]
Raw data (loadavg): 1.16 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 443 0 0 0 6183 1413 0 0 16 0 1 0 1845955337 4616192 414 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 414 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1183.98
Current children cumulated vsize (Kb) 6636
[startup+1520.13 s]
Raw data (loadavg): 1.13 1.08 1.04 2/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) R 19166 19166 5299 0 -1 0 444 0 0 0 6701 1573 0 0 16 0 1 0 1845955337 4616192 415 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/19175/statm): 1127 415 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1190.76
Current children cumulated vsize (Kb) 6636
[startup+1530.13 s]
Raw data (loadavg): 1.11 1.08 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 444 0 0 0 7245 1724 0 0 16 0 1 0 1845955337 4616192 415 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 415 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1197.71
Current children cumulated vsize (Kb) 6636
[startup+1540.13 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 445 0 0 0 7897 1844 0 0 16 0 1 0 1845955337 4616192 416 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 416 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1205.43
Current children cumulated vsize (Kb) 6636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1540.13 s]
Raw data (loadavg): 1.18 1.09 1.04 1/57 19175
Raw data (/proc/19166/stat): 19166 (vallstSAT2005PB) S 19165 19166 5299 0 -1 0 457 4558 0 0 2 2 95577 15221 17 0 1 0 1845814729 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/19166/statm): 532 249 485 147 0 385 0
[pid=19166] vsize: 2128
Raw data (/proc/19175/stat): 19175 (vallst) T 19166 19166 5299 0 -1 0 445 0 0 0 7897 1844 0 0 16 0 1 0 1845955337 4616192 416 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/19175/statm): 1127 416 413 48 0 1079 0
[pid=19175] vsize: 4508
Current children cumulated CPU time (s) 1205.43
Current children cumulated vsize (Kb) 6636
Sending SIGTERM to -19166
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=19177
New process pid=19178
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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
One traced child (pid=19175) exited with status: 3
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/25252/stat
open syscall for file /proc/25252/status
open syscall for file /proc/25252/cmdline
open syscall for file /proc/25252/environ
open syscall for file /proc/32447/stat
open syscall for file /proc/32447/status
open syscall for file /proc/32447/cmdline
open syscall for file /proc/32447/environ
open syscall for file /proc/32474/stat
open syscall for file /proc/32474/status
open syscall for file /proc/32474/cmdline
open syscall for file /proc/32474/environ
open syscall for file /proc/32498/stat
open syscall for file /proc/32498/status
open syscall for file /proc/32498/cmdline
open syscall for file /proc/32498/environ
open syscall for file /proc/4537/stat
open syscall for file /proc/4537/status
open syscall for file /proc/4537/cmdline
open syscall for file /proc/4537/environ
open syscall for file /proc/4557/stat
open syscall for file /proc/4557/status
open syscall for file /proc/4557/cmdline
open syscall for file /proc/4557/environ
open syscall for file /proc/18962/stat
open syscall for file /proc/18962/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/18962/cmdline
open syscall for file /proc/18962/environ
open syscall for file /proc/18997/stat
open syscall for file /proc/18997/status
open syscall for file /proc/18997/cmdline
open syscall for file /proc/18997/environ
open syscall for file /proc/5299/stat
open syscall for file /proc/5299/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/5299/cmdline
open syscall for file /proc/5299/environ
open syscall for file /proc/5300/stat
open syscall for file /proc/5300/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/5300/cmdline
open syscall for file /proc/5300/environ
open syscall for file /proc/5309/stat
open syscall for file /proc/5309/status
open syscall for file /proc/5309/cmdline
open syscall for file /proc/5309/environ
open syscall for file /proc/19129/stat
open syscall for file /proc/19129/status
open syscall for file /proc/19129/cmdline
open syscall for file /proc/19129/environ
open syscall for file /proc/19165/stat
open syscall for file /proc/19165/status
open syscall for file /proc/19165/cmdline
open syscall for file /proc/19165/environ
open syscall for file /proc/19166/stat
open syscall for file /proc/19166/status
open syscall for file /proc/19166/cmdline
open syscall for file /proc/19166/environ
open syscall for file /proc/19177/stat
open syscall for file /proc/19177/status
open syscall for file /proc/19177/cmdline
open syscall for file /proc/19177/environ
open syscall for file /proc/19178/stat
open syscall for file /proc/19178/status
open syscall for file /proc/19178/cmdline
open syscall for file /proc/19178/environ
One traced child (pid=19177) exited with status: 0
One traced child (pid=19178) exited with status: 0
New process pid=19179
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=19179) exited with status: 0
New process pid=19180
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=19180) exited with status: 0
One traced child (pid=19166) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1540.62
CPU time (s): 1205.56
CPU user time (s): 1034.82
CPU system time (s): 170.747
CPU usage (%): 78.2518
Max. virtual memory (cumulated for all children) (Kb): 13472