1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 46 (#equs: 153)
#decisions: 13451; #end-nodes: 3385;
#proof improvement attempts: 0; #restarts: 29
Current batch, end-nodes: 17 / 91 (87)
#axs: 2259, #non-axs: 3208
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 623 (72:>=*);
#decisions: 102; #end-nodes: 20;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 20 / 80 (80)
#axs: 2259, #non-axs: 3218
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 625 (70:>=*);
#decisions: 16866; #end-nodes: 4616;
#proof improvement attempts: 0; #restarts: 35
Current batch, end-nodes: 84 / 96 (88)
#axs: 2259, #non-axs: 7356
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 629 (66:>=*);
#decisions: 175778; #end-nodes: 57546;
#proof improvement attempts: 0; #restarts: 333
Current batch, end-nodes: 180 / 187 (163)
#axs: 2259, #non-axs: 3753
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: 631 (64:>=*);
#decisions: 252779; #end-nodes: 89066;
#proof improvement attempts: 0; #restarts: 452
Current batch, end-nodes: 64 / 194 (193)
#axs: 2259, #non-axs: 3453
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 633 (62:>=*);
#decisions: 133143; #end-nodes: 44875;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 646 (151)
#axs: 2259, #non-axs: 1438
tight: meta-meta: start: 3, end: 4; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 633 (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: 46 (#equs: 162)
Time taken: 5 min, 2 sec
2:
seed: 0
Nr of vars set: 46 (#equs: 0)
Nr of vars set: 46 (#equs: 0)
#decisions: 1030951; #end-nodes: 489106;
#proof improvement attempts: 0; #restarts: 1086
Current batch, end-nodes: 217 / 894 (391)
#axs: 1685, #non-axs: 4020
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: model found (1)
Model found with constant: 569 (40:>=*);
#decisions: 1220951; #end-nodes: 676343;
#proof improvement attempts: 0; #restarts: 1248
Current batch, end-nodes: 0 / 481 (431)
#axs: 1696, #non-axs: 18822
tight: meta-meta: start: 3, end: 3; meta: start: 4, end (keep): 5
loose: meta-meta: start: 7, end: 10; meta: start: 23, end (keep): 37
Model found with constant:
(pushed:) 569 (40:>=*)
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: 60 (#equs: 15)
Time taken: 14 min, 16 sec
3:
seed: 0
Nr of vars set: 60 (#equs: 0)
Nr of vars set: 60 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 60 (#equs: 0)
Time taken in seconds: 41
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/6759/stat): 6759 (vallstSAT2005PB) R 6758 6759 20115 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845821514 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/6759/statm): 174 3 169 147 0 27 0
[pid=6759] 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=6760
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=6760) exited with status: 0
New process pid=6761
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=6761) exited with status: 0
New process pid=6762
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/wulflinc28/normalized-s4-4-3-4pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.003 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 354 0 0 0 356 198 0 0 17 0 1 0 1845821522 3043328 324 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 743 324 413 48 0 695 0
[pid=6762] vsize: 2972
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (Kb) 5100
[startup+20.0047 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 472 0 0 0 997 320 0 0 16 0 1 0 1845821522 3612672 442 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 882 442 413 48 0 834 0
[pid=6762] vsize: 3528
Current children cumulated CPU time (s) 13.18
Current children cumulated vsize (Kb) 5656
[startup+30.0054 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 526 0 0 0 1702 418 0 0 16 0 1 0 1845821522 3756032 496 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 496 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 21.21
Current children cumulated vsize (Kb) 5796
[startup+40.005 s]
Raw data (loadavg): 1.03 1.01 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 526 0 0 0 2367 533 0 0 16 0 1 0 1845821522 3756032 496 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 496 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 29.01
Current children cumulated vsize (Kb) 5796
[startup+50.0067 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 3051 643 0 0 15 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 36.95
Current children cumulated vsize (Kb) 5796
[startup+60.0074 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 3756 749 0 0 16 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 45.06
Current children cumulated vsize (Kb) 5796
[startup+70.0081 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 4426 863 0 0 15 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 52.9
Current children cumulated vsize (Kb) 5796
[startup+80.0108 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 527 0 0 0 5092 976 0 0 16 0 1 0 1845821522 3756032 497 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 497 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 60.69
Current children cumulated vsize (Kb) 5796
[startup+90.0115 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 5803 1073 0 0 16 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (Kb) 5796
[startup+100.012 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 6509 1170 0 0 15 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 76.8
Current children cumulated vsize (Kb) 5796
[startup+110.013 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 535 0 0 0 7159 1292 0 0 16 0 1 0 1845821522 3756032 505 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 505 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 84.52
Current children cumulated vsize (Kb) 5796
[startup+120.015 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 7847 1398 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 92.46
Current children cumulated vsize (Kb) 5796
[startup+130.015 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 8559 1495 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (Kb) 5796
[startup+140.016 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 9254 1599 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 108.54
Current children cumulated vsize (Kb) 5796
[startup+150.018 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 9930 1715 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 116.46
Current children cumulated vsize (Kb) 5796
[startup+160.018 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 10633 1817 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 124.51
Current children cumulated vsize (Kb) 5796
[startup+170.02 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 11343 1918 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 132.62
Current children cumulated vsize (Kb) 5796
[startup+180.021 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 12008 2032 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 140.41
Current children cumulated vsize (Kb) 5796
[startup+190.02 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 12694 2143 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 148.38
Current children cumulated vsize (Kb) 5796
[startup+200.021 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) R 6759 6759 20115 0 -1 0 561 0 0 0 13407 2245 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 156.53
Current children cumulated vsize (Kb) 5796
[startup+210.022 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 14112 2348 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 164.61
Current children cumulated vsize (Kb) 5796
[startup+220.023 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 14800 2451 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 172.52
Current children cumulated vsize (Kb) 5796
[startup+230.024 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 15519 2546 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 180.66
Current children cumulated vsize (Kb) 5796
[startup+240.025 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 16252 2640 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 188.93
Current children cumulated vsize (Kb) 5796
[startup+250.025 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 16935 2750 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 196.86
Current children cumulated vsize (Kb) 5796
[startup+260.026 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 17614 2855 0 0 15 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 204.7
Current children cumulated vsize (Kb) 5796
[startup+270.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 561 0 0 0 18336 2959 0 0 16 0 1 0 1845821522 3756032 531 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 531 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 212.96
Current children cumulated vsize (Kb) 5796
[startup+280.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 19063 3056 0 0 16 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (Kb) 5796
[startup+290.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 19777 3156 0 0 16 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 229.34
Current children cumulated vsize (Kb) 5796
[startup+300.028 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 20456 3269 0 0 15 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 237.26
Current children cumulated vsize (Kb) 5796
[startup+310.029 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 21165 3371 0 0 15 0 1 0 1845821522 3756032 574 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 574 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (Kb) 5796
[startup+320.03 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 613 0 0 0 21876 3475 0 0 16 0 1 0 1845821522 3756032 583 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 583 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 253.52
Current children cumulated vsize (Kb) 5796
[startup+330.031 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 22601 3566 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 261.68
Current children cumulated vsize (Kb) 5796
[startup+340.031 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 23280 3674 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 269.55
Current children cumulated vsize (Kb) 5796
[startup+350.031 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 23981 3777 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 277.59
Current children cumulated vsize (Kb) 5796
[startup+360.033 s]
Raw data (loadavg): 1.08 1.05 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 24709 3868 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 285.78
Current children cumulated vsize (Kb) 5796
[startup+370.034 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 25396 3973 0 0 15 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 293.7
Current children cumulated vsize (Kb) 5796
[startup+380.034 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6762
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 330 232 0 0 1 0 0 0 22 0 1 0 1845821514 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 242 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6762/stat): 6762 (vallst) T 6759 6759 20115 0 -1 0 641 0 0 0 26113 4072 0 0 16 0 1 0 1845821522 3756032 611 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6762/statm): 917 611 413 48 0 869 0
[pid=6762] vsize: 3668
Current children cumulated CPU time (s) 301.86
Current children cumulated vsize (Kb) 5796
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=6762) exited with status: 2
New process pid=6763
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=6763) exited with status: 0
New process pid=6764
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+390.035 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 256 0 0 0 483 143 0 0 17 0 1 0 1845859604 2265088 227 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 553 227 413 48 0 505 0
[pid=6764] vsize: 2212
Current children cumulated CPU time (s) 308.75
Current children cumulated vsize (Kb) 4340
[startup+400.036 s]
Raw data (loadavg): 1.18 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 333 0 0 0 1070 282 0 0 18 0 1 0 1845859604 3178496 304 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 304 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 316.01
Current children cumulated vsize (Kb) 5232
[startup+410.036 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 338 0 0 0 1639 428 0 0 16 0 1 0 1845859604 3178496 309 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 309 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 323.16
Current children cumulated vsize (Kb) 5232
[startup+420.038 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 339 0 0 0 2191 575 0 0 15 0 1 0 1845859604 3178496 310 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 776 310 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 330.15
Current children cumulated vsize (Kb) 5232
[startup+430.039 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 359 0 0 0 2822 704 0 0 16 0 1 0 1845859604 3178496 330 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 330 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 337.75
Current children cumulated vsize (Kb) 5232
[startup+440.039 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 365 0 0 0 3375 854 0 0 16 0 1 0 1845859604 3178496 336 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 776 336 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 344.78
Current children cumulated vsize (Kb) 5232
[startup+450.04 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 368 0 0 0 3985 990 0 0 16 0 1 0 1845859604 3178496 339 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 776 339 413 48 0 728 0
[pid=6764] vsize: 3104
Current children cumulated CPU time (s) 352.24
Current children cumulated vsize (Kb) 5232
[startup+460.041 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 451 0 0 0 4626 1114 0 0 16 0 1 0 1845859604 3313664 422 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 422 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 5364
[startup+470.043 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 467 0 0 0 5190 1256 0 0 16 0 1 0 1845859604 3313664 438 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 438 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 366.95
Current children cumulated vsize (Kb) 5364
[startup+480.043 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 475 0 0 0 5837 1374 0 0 16 0 1 0 1845859604 3313664 446 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 809 446 413 48 0 761 0
[pid=6764] vsize: 3236
Current children cumulated CPU time (s) 374.6
Current children cumulated vsize (Kb) 5364
[startup+490.044 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 6496 1491 0 0 15 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 382.36
Current children cumulated vsize (Kb) 5524
[startup+500.045 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 7045 1639 0 0 15 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 389.33
Current children cumulated vsize (Kb) 5524
[startup+510.045 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 549 0 0 0 7675 1768 0 0 16 0 1 0 1845859604 3477504 520 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 520 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 396.92
Current children cumulated vsize (Kb) 5524
[startup+520.046 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 560 0 0 0 8353 1875 0 0 15 0 1 0 1845859604 3477504 531 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 531 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 404.77
Current children cumulated vsize (Kb) 5524
[startup+530.048 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 560 0 0 0 8922 2016 0 0 15 0 1 0 1845859604 3477504 531 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 849 531 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 411.87
Current children cumulated vsize (Kb) 5524
[startup+540.048 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 562 0 0 0 9581 2136 0 0 16 0 1 0 1845859604 3477504 533 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 533 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 419.66
Current children cumulated vsize (Kb) 5524
[startup+550.049 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 563 0 0 0 10245 2252 0 0 15 0 1 0 1845859604 3477504 534 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 849 534 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 427.46
Current children cumulated vsize (Kb) 5524
[startup+560.05 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 569 0 0 0 10864 2380 0 0 15 0 1 0 1845859604 3477504 540 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 540 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 434.93
Current children cumulated vsize (Kb) 5524
[startup+570.05 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 570 0 0 0 11492 2505 0 0 16 0 1 0 1845859604 3477504 541 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 541 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 442.46
Current children cumulated vsize (Kb) 5524
[startup+580.051 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 582 0 0 0 12197 2602 0 0 16 0 1 0 1845859604 3477504 553 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 849 553 413 48 0 801 0
[pid=6764] vsize: 3396
Current children cumulated CPU time (s) 450.48
Current children cumulated vsize (Kb) 5524
[startup+590.052 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 598 0 0 0 12926 2697 0 0 15 0 1 0 1845859604 3612672 569 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 882 569 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 458.72
Current children cumulated vsize (Kb) 5656
[startup+600.053 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 604 0 0 0 13577 2817 0 0 15 0 1 0 1845859604 3612672 575 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 575 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 466.43
Current children cumulated vsize (Kb) 5656
[startup+610.054 s]
Raw data (loadavg): 1.11 1.07 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 607 0 0 0 14226 2933 0 0 16 0 1 0 1845859604 3612672 578 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 578 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 474.08
Current children cumulated vsize (Kb) 5656
[startup+620.056 s]
Raw data (loadavg): 1.17 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 613 0 0 0 14915 3040 0 0 16 0 1 0 1845859604 3612672 584 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 584 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 482.04
Current children cumulated vsize (Kb) 5656
[startup+630.056 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 615 0 0 0 15605 3145 0 0 15 0 1 0 1845859604 3612672 586 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 586 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 5656
[startup+640.056 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 616 0 0 0 16218 3275 0 0 15 0 1 0 1845859604 3612672 587 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 882 587 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 497.42
Current children cumulated vsize (Kb) 5656
[startup+650.058 s]
Raw data (loadavg): 1.18 1.09 1.02 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 617 0 0 0 16850 3400 0 0 16 0 1 0 1845859604 3612672 588 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 882 588 413 48 0 834 0
[pid=6764] vsize: 3528
Current children cumulated CPU time (s) 504.99
Current children cumulated vsize (Kb) 5656
[startup+660.058 s]
Raw data (loadavg): 1.16 1.09 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 623 0 0 0 17542 3510 0 0 15 0 1 0 1845859604 3747840 594 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 594 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 513.01
Current children cumulated vsize (Kb) 5788
[startup+670.059 s]
Raw data (loadavg): 1.13 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 625 0 0 0 18237 3618 0 0 16 0 1 0 1845859604 3747840 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 596 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 521.04
Current children cumulated vsize (Kb) 5788
[startup+680.06 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 629 0 0 0 18897 3736 0 0 15 0 1 0 1845859604 3747840 600 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 600 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 528.82
Current children cumulated vsize (Kb) 5788
[startup+690.061 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 630 0 0 0 19523 3860 0 0 15 0 1 0 1845859604 3747840 601 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 601 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 536.32
Current children cumulated vsize (Kb) 5788
[startup+700.062 s]
Raw data (loadavg): 1.08 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 631 0 0 0 20224 3962 0 0 16 0 1 0 1845859604 3747840 602 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 915 602 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 544.35
Current children cumulated vsize (Kb) 5788
[startup+710.063 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 634 0 0 0 20921 4067 0 0 16 0 1 0 1845859604 3747840 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 605 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 552.37
Current children cumulated vsize (Kb) 5788
[startup+720.065 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 637 0 0 0 21646 4161 0 0 15 0 1 0 1845859604 3747840 608 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 915 608 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 560.56
Current children cumulated vsize (Kb) 5788
[startup+730.065 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 638 0 0 0 22251 4296 0 0 16 0 1 0 1845859604 3747840 609 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 609 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 567.96
Current children cumulated vsize (Kb) 5788
[startup+740.066 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 644 0 0 0 22944 4399 0 0 16 0 1 0 1845859604 3747840 615 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 615 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 575.92
Current children cumulated vsize (Kb) 5788
[startup+750.067 s]
Raw data (loadavg): 1.03 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 647 0 0 0 23660 4497 0 0 16 0 1 0 1845859604 3747840 618 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 915 618 413 48 0 867 0
[pid=6764] vsize: 3660
Current children cumulated CPU time (s) 584.06
Current children cumulated vsize (Kb) 5788
[startup+760.067 s]
Raw data (loadavg): 1.03 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 652 0 0 0 24373 4595 0 0 15 0 1 0 1845859604 3878912 623 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 947 623 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 592.17
Current children cumulated vsize (Kb) 5916
[startup+770.069 s]
Raw data (loadavg): 1.02 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 652 0 0 0 25021 4710 0 0 15 0 1 0 1845859604 3878912 623 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 947 623 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 599.8
Current children cumulated vsize (Kb) 5916
[startup+780.07 s]
Raw data (loadavg): 1.09 1.07 1.01 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 654 0 0 0 25706 4816 0 0 16 0 1 0 1845859604 3878912 625 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 947 625 413 48 0 899 0
[pid=6764] vsize: 3788
Current children cumulated CPU time (s) 607.71
Current children cumulated vsize (Kb) 5916
[startup+790.069 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 26370 4931 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 615.5
Current children cumulated vsize (Kb) 5920
[startup+800.071 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 27029 5045 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 623.23
Current children cumulated vsize (Kb) 5920
[startup+810.072 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 657 0 0 0 27645 5178 0 0 16 0 1 0 1845859604 3883008 628 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 628 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 630.72
Current children cumulated vsize (Kb) 5920
[startup+820.072 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 28295 5295 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 638.39
Current children cumulated vsize (Kb) 5920
[startup+830.074 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 28952 5408 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 646.09
Current children cumulated vsize (Kb) 5920
[startup+840.075 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 29567 5539 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 653.55
Current children cumulated vsize (Kb) 5920
[startup+850.076 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 30227 5655 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 661.31
Current children cumulated vsize (Kb) 5920
[startup+860.076 s]
Raw data (loadavg): 1.14 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 30907 5768 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 669.24
Current children cumulated vsize (Kb) 5920
[startup+870.078 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 31522 5898 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 676.69
Current children cumulated vsize (Kb) 5920
[startup+880.079 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 32187 6014 0 0 16 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 684.5
Current children cumulated vsize (Kb) 5920
[startup+890.079 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 658 0 0 0 32855 6123 0 0 15 0 1 0 1845859604 3883008 629 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 629 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 692.27
Current children cumulated vsize (Kb) 5920
[startup+900.081 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 661 0 0 0 33522 6240 0 0 16 0 1 0 1845859604 3883008 632 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 632 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 700.11
Current children cumulated vsize (Kb) 5920
[startup+910.082 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 662 0 0 0 34151 6364 0 0 15 0 1 0 1845859604 3883008 633 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 633 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 707.64
Current children cumulated vsize (Kb) 5920
[startup+920.083 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 662 0 0 0 34849 6467 0 0 15 0 1 0 1845859604 3883008 633 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 633 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 715.65
Current children cumulated vsize (Kb) 5920
[startup+930.084 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 668 0 0 0 35562 6562 0 0 16 0 1 0 1845859604 3883008 639 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 639 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 723.73
Current children cumulated vsize (Kb) 5920
[startup+940.085 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 668 0 0 0 36190 6688 0 0 15 0 1 0 1845859604 3883008 639 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 639 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 731.27
Current children cumulated vsize (Kb) 5920
[startup+950.086 s]
Raw data (loadavg): 1.10 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 36850 6805 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 739.04
Current children cumulated vsize (Kb) 5920
[startup+960.087 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 37544 6913 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 747.06
Current children cumulated vsize (Kb) 5920
[startup+970.088 s]
Raw data (loadavg): 1.07 1.07 1.01 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 38213 7023 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 754.85
Current children cumulated vsize (Kb) 5920
[startup+980.088 s]
Raw data (loadavg): 1.06 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 38851 7146 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (Kb) 5920
[startup+990.089 s]
Raw data (loadavg): 1.05 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 39545 7257 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 770.51
Current children cumulated vsize (Kb) 5920
[startup+1000.09 s]
Raw data (loadavg): 1.04 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 40238 7365 0 0 16 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 778.52
Current children cumulated vsize (Kb) 5920
[startup+1010.09 s]
Raw data (loadavg): 1.03 1.06 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 40904 7477 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 786.3
Current children cumulated vsize (Kb) 5920
[startup+1020.09 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 41571 7590 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 794.1
Current children cumulated vsize (Kb) 5920
[startup+1030.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 669 0 0 0 42270 7692 0 0 15 0 1 0 1845859604 3883008 640 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 640 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 802.11
Current children cumulated vsize (Kb) 5920
[startup+1040.09 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 672 0 0 0 43028 7775 0 0 16 0 1 0 1845859604 3883008 643 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 643 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 810.52
Current children cumulated vsize (Kb) 5920
[startup+1050.1 s]
Raw data (loadavg): 1.02 1.05 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 674 0 0 0 43722 7886 0 0 16 0 1 0 1845859604 3883008 645 4294967295 134512640 134702520 3221223712 3221222736 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 948 645 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 818.57
Current children cumulated vsize (Kb) 5920
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.05 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 675 0 0 0 44357 8016 0 0 15 0 1 0 1845859604 3883008 646 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 646 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 826.22
Current children cumulated vsize (Kb) 5920
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 676 0 0 0 45091 8111 0 0 16 0 1 0 1845859604 3883008 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 647 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 834.51
Current children cumulated vsize (Kb) 5920
[startup+1080.1 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 678 0 0 0 45825 8202 0 0 16 0 1 0 1845859604 3883008 649 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 649 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 842.76
Current children cumulated vsize (Kb) 5920
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 679 0 0 0 46549 8299 0 0 16 0 1 0 1845859604 3883008 650 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 650 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 850.97
Current children cumulated vsize (Kb) 5920
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 684 0 0 0 47232 8405 0 0 16 0 1 0 1845859604 3883008 655 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 948 655 413 48 0 900 0
[pid=6764] vsize: 3792
Current children cumulated CPU time (s) 858.86
Current children cumulated vsize (Kb) 5920
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 685 0 0 0 47903 8519 0 0 16 0 1 0 1845859604 4009984 656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 656 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 866.71
Current children cumulated vsize (Kb) 6044
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 688 0 0 0 48648 8607 0 0 16 0 1 0 1845859604 4009984 659 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 659 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 875.04
Current children cumulated vsize (Kb) 6044
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 691 0 0 0 49407 8689 0 0 16 0 1 0 1845859604 4009984 662 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 662 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 883.45
Current children cumulated vsize (Kb) 6044
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 696 0 0 0 50175 8769 0 0 16 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221222608 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 891.93
Current children cumulated vsize (Kb) 6044
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 696 0 0 0 50873 8878 0 0 15 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 900
Current children cumulated vsize (Kb) 6044
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 696 0 0 0 51546 8992 0 0 16 0 1 0 1845859604 4009984 667 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 667 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 907.87
Current children cumulated vsize (Kb) 6044
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 701 0 0 0 52313 9074 0 0 16 0 1 0 1845859604 4009984 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 672 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 916.36
Current children cumulated vsize (Kb) 6044
[startup+1180.11 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 701 0 0 0 53036 9172 0 0 15 0 1 0 1845859604 4009984 672 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 672 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (Kb) 6044
[startup+1190.11 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 702 0 0 0 53825 9246 0 0 16 0 1 0 1845859604 4009984 673 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 673 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 933.2
Current children cumulated vsize (Kb) 6044
[startup+1200.11 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 704 0 0 0 54544 9346 0 0 16 0 1 0 1845859604 4009984 675 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 675 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 941.39
Current children cumulated vsize (Kb) 6044
[startup+1210.11 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 704 0 0 0 55210 9457 0 0 16 0 1 0 1845859604 4009984 675 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 979 675 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 949.16
Current children cumulated vsize (Kb) 6044
[startup+1220.11 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 705 0 0 0 55949 9547 0 0 16 0 1 0 1845859604 4009984 676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 676 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 957.45
Current children cumulated vsize (Kb) 6044
[startup+1230.11 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 708 0 0 0 56722 9623 0 0 16 0 1 0 1845859604 4009984 679 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 979 679 413 48 0 931 0
[pid=6764] vsize: 3916
Current children cumulated CPU time (s) 965.94
Current children cumulated vsize (Kb) 6044
[startup+1240.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 993 0 0 0 57532 9694 0 0 17 0 1 0 1845859604 5279744 964 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1289 964 413 48 0 1241 0
[pid=6764] vsize: 5156
Current children cumulated CPU time (s) 974.75
Current children cumulated vsize (Kb) 7284
[startup+1250.11 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1238 0 0 0 58383 9746 0 0 17 0 1 0 1845859604 6303744 1209 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1539 1209 413 48 0 1491 0
[pid=6764] vsize: 6156
Current children cumulated CPU time (s) 983.78
Current children cumulated vsize (Kb) 8284
[startup+1260.11 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1450 0 0 0 59255 9792 0 0 17 0 1 0 1845859604 7045120 1421 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1720 1421 413 48 0 1672 0
[pid=6764] vsize: 6880
Current children cumulated CPU time (s) 992.96
Current children cumulated vsize (Kb) 9008
[startup+1270.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 60104 9849 0 0 16 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (Kb) 9412
[startup+1280.12 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 60813 9950 0 0 16 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1010.12
Current children cumulated vsize (Kb) 9412
[startup+1290.12 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1547 0 0 0 61626 10016 0 0 17 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223184 134657210 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1018.91
Current children cumulated vsize (Kb) 9412
[startup+1300.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 62537 10047 0 0 18 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1028.33
Current children cumulated vsize (Kb) 9412
[startup+1310.12 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1547 0 0 0 63423 10087 0 0 17 0 1 0 1845859604 7458816 1518 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1821 1518 413 48 0 1773 0
[pid=6764] vsize: 7284
Current children cumulated CPU time (s) 1037.59
Current children cumulated vsize (Kb) 9412
[startup+1320.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1568 0 0 0 64316 10126 0 0 17 0 1 0 1845859604 7626752 1539 4294967295 134512640 134702520 3221223712 3221222992 134557557 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 1862 1539 413 48 0 1814 0
[pid=6764] vsize: 7448
Current children cumulated CPU time (s) 1046.91
Current children cumulated vsize (Kb) 9576
[startup+1330.12 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 1726 0 0 0 65249 10149 0 0 18 0 1 0 1845859604 8245248 1697 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2013 1697 413 48 0 1965 0
[pid=6764] vsize: 8052
Current children cumulated CPU time (s) 1056.47
Current children cumulated vsize (Kb) 10180
[startup+1340.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1914 0 0 0 66154 10183 0 0 16 0 1 0 1845859604 8949760 1885 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2185 1885 413 48 0 2137 0
[pid=6764] vsize: 8740
Current children cumulated CPU time (s) 1065.86
Current children cumulated vsize (Kb) 10868
[startup+1350.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 1914 0 0 0 67083 10208 0 0 19 0 1 0 1845859604 8949760 1885 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2185 1885 413 48 0 2137 0
[pid=6764] vsize: 8740
Current children cumulated CPU time (s) 1075.4
Current children cumulated vsize (Kb) 10868
[startup+1360.12 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 68004 10236 0 0 17 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1084.89
Current children cumulated vsize (Kb) 11480
[startup+1370.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 68936 10260 0 0 18 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1094.45
Current children cumulated vsize (Kb) 11480
[startup+1380.13 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2065 0 0 0 69892 10277 0 0 17 0 1 0 1845859604 9576448 2036 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2338 2036 413 48 0 2290 0
[pid=6764] vsize: 9352
Current children cumulated CPU time (s) 1104.18
Current children cumulated vsize (Kb) 11480
[startup+1390.13 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 2119 0 0 0 70845 10293 0 0 25 0 1 0 1845859604 9912320 2090 4294967295 134512640 134702520 3221223712 3221223104 134604364 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2420 2090 413 48 0 2372 0
[pid=6764] vsize: 9680
Current children cumulated CPU time (s) 1113.87
Current children cumulated vsize (Kb) 11808
[startup+1400.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) R 6759 6759 20115 0 -1 0 2256 0 0 0 71791 10312 0 0 25 0 1 0 1845859604 10416128 2227 4294967295 134512640 134702520 3221223712 3221222608 134550676 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6764/statm): 2543 2227 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1123.52
Current children cumulated vsize (Kb) 12300
[startup+1410.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2256 0 0 0 72702 10343 0 0 17 0 1 0 1845859604 10416128 2227 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2227 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1132.94
Current children cumulated vsize (Kb) 12300
[startup+1420.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2257 0 0 0 73646 10365 0 0 21 0 1 0 1845859604 10416128 2228 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2228 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1142.6
Current children cumulated vsize (Kb) 12300
[startup+1430.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6764
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 378 1016 0 0 1 1 26166 4081 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6764/stat): 6764 (vallst) T 6759 6759 20115 0 -1 0 2257 0 0 0 74405 10449 0 0 16 0 1 0 1845859604 10416128 2228 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6764/statm): 2543 2228 413 48 0 2495 0
[pid=6764] vsize: 10172
Current children cumulated CPU time (s) 1151.03
Current children cumulated vsize (Kb) 12300
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=6764) exited with status: 2
New process pid=6765
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=6765) exited with status: 0
New process pid=6766
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+1440.13 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) R 6759 6759 20115 0 -1 0 459 0 0 0 34 2 0 0 21 0 1 0 1845965509 3723264 431 4294967295 134512640 134702520 3221223712 3221223376 134636015 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/6766/statm): 909 431 413 48 0 861 0
[pid=6766] vsize: 3636
Current children cumulated CPU time (s) 1159.44
Current children cumulated vsize (Kb) 5764
[startup+1450.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 515 0 0 0 790 85 0 0 19 0 1 0 1845965509 3874816 486 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 946 486 413 48 0 898 0
[pid=6766] vsize: 3784
Current children cumulated CPU time (s) 1167.83
Current children cumulated vsize (Kb) 5912
[startup+1460.13 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 557 0 0 0 1517 178 0 0 21 0 1 0 1845965509 6512640 528 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1590 528 413 48 0 1542 0
[pid=6766] vsize: 6360
Current children cumulated CPU time (s) 1176.03
Current children cumulated vsize (Kb) 8488
[startup+1470.14 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) R 6759 6759 20115 0 -1 0 577 0 0 0 2236 275 0 0 18 0 1 0 1845965509 6516736 548 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1591 548 413 48 0 1543 0
[pid=6766] vsize: 6364
Current children cumulated CPU time (s) 1184.19
Current children cumulated vsize (Kb) 8492
[startup+1480.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 638 0 0 0 2949 375 0 0 19 0 1 0 1845965509 6516736 609 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1591 609 413 48 0 1543 0
[pid=6766] vsize: 6364
Current children cumulated CPU time (s) 1192.32
Current children cumulated vsize (Kb) 8492
[startup+1490.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 639 0 0 0 3627 484 0 0 15 0 1 0 1845965509 6651904 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1624 610 413 48 0 1576 0
[pid=6766] vsize: 6496
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 8624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1490.14 s]
Raw data (loadavg): 1.00 1.01 1.00 1/57 6766
Raw data (/proc/6759/stat): 6759 (vallstSAT2005PB) S 6758 6759 20115 0 -1 0 417 3416 0 0 2 1 101289 14616 17 0 1 0 1845821514 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/6759/statm): 532 248 485 147 0 385 0
[pid=6759] vsize: 2128
Raw data (/proc/6766/stat): 6766 (vallst) T 6759 6759 20115 0 -1 0 639 0 0 0 3627 484 0 0 15 0 1 0 1845965509 6651904 610 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/6766/statm): 1624 610 413 48 0 1576 0
[pid=6766] vsize: 6496
Current children cumulated CPU time (s) 1200.19
Current children cumulated vsize (Kb) 8624
Sending SIGTERM to -6759
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=6768
New process pid=6769
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/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 /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
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
One traced child (pid=6766) exited with status: 3
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/31324/stat
open syscall for file /proc/31324/status
open syscall for file /proc/31324/cmdline
open syscall for file /proc/31324/environ
open syscall for file /proc/2146/stat
open syscall for file /proc/2146/status
open syscall for file /proc/2146/cmdline
open syscall for file /proc/2146/environ
open syscall for file /proc/2173/stat
open syscall for file /proc/2173/status
open syscall for file /proc/2173/cmdline
open syscall for file /proc/2173/environ
open syscall for file /proc/2197/stat
open syscall for file /proc/2197/status
open syscall for file /proc/2197/cmdline
open syscall for file /proc/2197/environ
open syscall for file /proc/2649/stat
open syscall for file /proc/2649/status
open syscall for file /proc/2649/cmdline
open syscall for file /proc/2649/environ
open syscall for file /proc/4357/stat
open syscall for file /proc/4357/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/4357/cmdline
open syscall for file /proc/4357/environ
open syscall for file /proc/4392/stat
open syscall for file /proc/4392/status
open syscall for file /proc/4392/cmdline
open syscall for file /proc/4392/environ
open syscall for file /proc/20115/stat
open syscall for file /proc/20115/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/20115/cmdline
open syscall for file /proc/20115/environ
open syscall for file /proc/20116/stat
open syscall for file /proc/20116/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/20116/cmdline
open syscall for file /proc/20116/environ
open syscall for file /proc/20125/stat
open syscall for file /proc/20125/status
open syscall for file /proc/20125/cmdline
open syscall for file /proc/20125/environ
open syscall for file /proc/6722/stat
open syscall for file /proc/6722/status
open syscall for file /proc/6722/cmdline
open syscall for file /proc/6722/environ
open syscall for file /proc/6758/stat
open syscall for file /proc/6758/status
open syscall for file /proc/6758/cmdline
open syscall for file /proc/6758/environ
open syscall for file /proc/6759/stat
open syscall for file /proc/6759/status
open syscall for file /proc/6759/cmdline
open syscall for file /proc/6759/environ
open syscall for file /proc/6768/stat
open syscall for file /proc/6768/status
open syscall for file /proc/6768/cmdline
open syscall for file /proc/6768/environ
open syscall for file /proc/6769/stat
open syscall for file /proc/6769/status
open syscall for file /proc/6769/cmdline
open syscall for file /proc/6769/environ
One traced child (pid=6768) exited with status: 0
One traced child (pid=6769) exited with status: 0
New process pid=6770
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=6770) exited with status: 0
New process pid=6771
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=6771) exited with status: 0
One traced child (pid=6759) 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): 1490.64
CPU time (s): 1200.35
CPU user time (s): 1049.26
CPU system time (s): 151.095
CPU usage (%): 80.5261
Max. virtual memory (cumulated for all children) (Kb): 12300