1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 120)
#decisions: 276491; #end-nodes: 82294;
#proof improvement attempts: 0; #restarts: 438
Current batch, end-nodes: 104 / 213 (189)
#axs: 2289, #non-axs: 5308
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
result: model found (1)
Model found with constant: 647 (72:>=*);
#decisions: 168163; #end-nodes: 51949;
#proof improvement attempts: 0; #restarts: 317
Current batch, end-nodes: 80 / 174 (159)
#axs: 2289, #non-axs: 3255
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: 649 (70:>=*);
#decisions: 240694; #end-nodes: 84607;
#proof improvement attempts: 0; #restarts: 453
Current batch, end-nodes: 146 / 202 (193)
#axs: 2289, #non-axs: 4480
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: 651 (68:>=*);
#decisions: 29383; #end-nodes: 10346;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 106 (103)
#axs: 2289, #non-axs: 2419
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:) 651 (68:>=*)
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: 0 (#equs: 120)
Time taken: 5 min, 31 sec
2:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 47820; #end-nodes: 15375;
#proof improvement attempts: 0; #restarts: 77
Current batch, end-nodes: 424 / 466 (139)
#axs: 1929, #non-axs: 5429
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
result: model found (1)
Model found with constant: 641 (54:>=*);
#decisions: 318613; #end-nodes: 126165;
#proof improvement attempts: 0; #restarts: 479
Current batch, end-nodes: 290 / 421 (239)
#axs: 1931, #non-axs: 7231
tight: meta-meta: start: 3, end: 3; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 643 (52:>=*);
#decisions: 953001; #end-nodes: 482778;
#proof improvement attempts: 0; #restarts: 960
Current batch, end-nodes: 0 / 435 (359)
#axs: 1967, #non-axs: 4513
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
Model found with constant:
(pushed:) 643 (52:>=*)
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: 28 (#equs: 38)
Time taken: 8 min, 10 sec
3:
seed: 0
Nr of vars set: 28 (#equs: 0)
Nr of vars set: 28 (#equs: 0)
#decisions: 101458; #end-nodes: 57816;
#proof improvement attempts: 0; #restarts: 105
Current batch, end-nodes: 29 / 246 (186)
#axs: 1795, #non-axs: 4490
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: 608 (40:>=*);
#decisions: 358675; #end-nodes: 244930;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 305 (303)
#axs: 1871, #non-axs: 2937
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
Model found with constant:
(pushed:) 608 (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: 174 (#equs: 136)
Time taken: 4 min, 26 sec
4:
seed: 0
Nr of vars set: 174 (#equs: 0)
Nr of vars set: 181 (#equs: 14)
#decisions: 101703; #end-nodes: 74231;
#proof improvement attempts: 74050; #restarts: 89
Current batch, end-nodes: 6007 / 7315 (222)
#axs: 899, #non-axs: 2333
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 432 (#equs: 42)
Time taken in seconds: 63
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.027s 0m0.026s
16m40.225s 2m31.483s
s UNSATISFIABLE
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/15100/stat): 15100 (vallstSAT2005PB) R 15099 15100 824 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1787609598 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15100/statm): 174 3 169 147 0 27 0
[pid=15100] 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=15101
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=15101) exited with status: 0
New process pid=15102
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=15102) exited with status: 0
New process pid=15103
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/wulflinc5/normalized-s4-4-3-5pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0045 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 333 0 0 0 283 224 0 0 17 0 1 0 1787609607 3059712 303 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 747 303 413 48 0 699 0
[pid=15103] vsize: 2988
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (Kb) 5116
[startup+20.0053 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 440 0 0 0 673 427 0 0 16 0 1 0 1787609607 3477504 410 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 849 410 413 48 0 801 0
[pid=15103] vsize: 3396
Current children cumulated CPU time (s) 11.02
Current children cumulated vsize (Kb) 5524
[startup+30.006 s]
Raw data (loadavg): 1.17 1.03 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 478 0 0 0 1097 620 0 0 18 0 1 0 1787609607 3616768 448 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 883 448 413 48 0 835 0
[pid=15103] vsize: 3532
Current children cumulated CPU time (s) 17.19
Current children cumulated vsize (Kb) 5660
[startup+40.0078 s]
Raw data (loadavg): 1.23 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 519 0 0 0 1650 773 0 0 17 0 1 0 1787609607 3751936 489 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 489 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 24.25
Current children cumulated vsize (Kb) 5792
[startup+50.0085 s]
Raw data (loadavg): 1.19 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 519 0 0 0 2138 943 0 0 18 0 1 0 1787609607 3751936 489 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 489 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 30.83
Current children cumulated vsize (Kb) 5792
[startup+60.0092 s]
Raw data (loadavg): 1.16 1.04 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 2709 1086 0 0 18 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 37.97
Current children cumulated vsize (Kb) 5792
[startup+70.011 s]
Raw data (loadavg): 1.14 1.04 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3226 1248 0 0 17 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 44.76
Current children cumulated vsize (Kb) 5792
[startup+80.0117 s]
Raw data (loadavg): 1.19 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3778 1399 0 0 18 0 1 0 1787609607 3751936 493 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 916 493 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 51.79
Current children cumulated vsize (Kb) 5792
[startup+90.0125 s]
Raw data (loadavg): 1.16 1.05 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 4353 1542 0 0 17 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (Kb) 5792
[startup+100.013 s]
Raw data (loadavg): 1.22 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 4926 1681 0 0 17 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 66.09
Current children cumulated vsize (Kb) 5792
[startup+110.014 s]
Raw data (loadavg): 1.18 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 531 0 0 0 5523 1816 0 0 18 0 1 0 1787609607 3751936 501 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 916 501 413 48 0 868 0
[pid=15103] vsize: 3664
Current children cumulated CPU time (s) 73.41
Current children cumulated vsize (Kb) 5792
[startup+120.015 s]
Raw data (loadavg): 1.16 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 6217 1920 0 0 19 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 81.39
Current children cumulated vsize (Kb) 5796
[startup+130.015 s]
Raw data (loadavg): 1.13 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 6902 2026 0 0 19 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 89.3
Current children cumulated vsize (Kb) 5796
[startup+140.016 s]
Raw data (loadavg): 1.11 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 7586 2140 0 0 20 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 97.28
Current children cumulated vsize (Kb) 5796
[startup+150.017 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 8297 2241 0 0 17 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 105.4
Current children cumulated vsize (Kb) 5796
[startup+160.019 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 9004 2340 0 0 17 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 113.46
Current children cumulated vsize (Kb) 5796
[startup+170.019 s]
Raw data (loadavg): 1.14 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 9691 2451 0 0 18 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 121.44
Current children cumulated vsize (Kb) 5796
[startup+180.02 s]
Raw data (loadavg): 1.12 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 10419 2547 0 0 21 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 129.68
Current children cumulated vsize (Kb) 5796
[startup+190.021 s]
Raw data (loadavg): 1.10 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 11129 2645 0 0 18 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 137.76
Current children cumulated vsize (Kb) 5796
[startup+200.022 s]
Raw data (loadavg): 1.08 1.06 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 532 0 0 0 11831 2744 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222864 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 145.77
Current children cumulated vsize (Kb) 5796
[startup+210.022 s]
Raw data (loadavg): 1.14 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 12518 2855 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 153.75
Current children cumulated vsize (Kb) 5796
[startup+220.023 s]
Raw data (loadavg): 1.12 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 13276 2939 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (Kb) 5796
[startup+230.024 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 13990 3040 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 170.32
Current children cumulated vsize (Kb) 5796
[startup+240.026 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 14709 3140 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 178.51
Current children cumulated vsize (Kb) 5796
[startup+250.026 s]
Raw data (loadavg): 1.15 1.08 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 532 0 0 0 15407 3242 0 0 16 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222736 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 186.51
Current children cumulated vsize (Kb) 5796
[startup+260.027 s]
Raw data (loadavg): 1.13 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 16161 3333 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 194.96
Current children cumulated vsize (Kb) 5796
[startup+270.028 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 532 0 0 0 16877 3431 0 0 15 0 1 0 1787609607 3756032 502 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 502 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 203.1
Current children cumulated vsize (Kb) 5796
[startup+280.029 s]
Raw data (loadavg): 1.09 1.07 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 17597 3524 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222864 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 211.23
Current children cumulated vsize (Kb) 5796
[startup+290.029 s]
Raw data (loadavg): 1.08 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 18309 3628 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 219.39
Current children cumulated vsize (Kb) 5796
[startup+300.03 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 19065 3711 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 227.78
Current children cumulated vsize (Kb) 5796
[startup+310.032 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 19790 3807 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 235.99
Current children cumulated vsize (Kb) 5796
[startup+320.033 s]
Raw data (loadavg): 1.11 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 20512 3906 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 244.2
Current children cumulated vsize (Kb) 5796
[startup+330.033 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 21240 4002 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 252.44
Current children cumulated vsize (Kb) 5796
[startup+340.035 s]
Raw data (loadavg): 1.08 1.07 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 21987 4090 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223360 134603885 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 260.79
Current children cumulated vsize (Kb) 5796
[startup+350.036 s]
Raw data (loadavg): 1.07 1.06 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 22733 4178 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223216 134564365 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 269.13
Current children cumulated vsize (Kb) 5796
[startup+360.038 s]
Raw data (loadavg): 1.21 1.10 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 23456 4278 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 277.36
Current children cumulated vsize (Kb) 5796
[startup+370.038 s]
Raw data (loadavg): 1.18 1.09 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 24189 4369 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 285.6
Current children cumulated vsize (Kb) 5796
[startup+380.038 s]
Raw data (loadavg): 1.15 1.09 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 24932 4458 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223088 134572136 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 293.92
Current children cumulated vsize (Kb) 5796
[startup+390.039 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 25675 4549 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 302.26
Current children cumulated vsize (Kb) 5796
[startup+400.039 s]
Raw data (loadavg): 1.11 1.08 1.02 2/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) R 15100 15100 824 0 -1 0 547 0 0 0 26428 4633 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222864 134552553 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 310.63
Current children cumulated vsize (Kb) 5796
[startup+410.041 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 27161 4728 0 0 15 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 318.91
Current children cumulated vsize (Kb) 5796
[startup+420.042 s]
Raw data (loadavg): 1.16 1.09 1.03 1/57 15103
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 330 232 0 0 0 1 0 1 21 0 1 0 1787609598 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15100/statm): 532 242 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15103/stat): 15103 (vallst) T 15100 15100 824 0 -1 0 547 0 0 0 27908 4818 0 0 16 0 1 0 1787609607 3756032 517 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15103/statm): 917 517 413 48 0 869 0
[pid=15103] vsize: 3668
Current children cumulated CPU time (s) 327.28
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=15103) exited with status: 2
New process pid=15104
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=15104) exited with status: 0
New process pid=15105
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+430.043 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 274 0 0 0 315 79 0 0 17 0 1 0 1787652061 2293760 245 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 560 245 413 48 0 512 0
[pid=15105] vsize: 2240
Current children cumulated CPU time (s) 335.08
Current children cumulated vsize (Kb) 4368
[startup+440.043 s]
Raw data (loadavg): 1.11 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 332 0 0 0 928 212 0 0 18 0 1 0 1787652061 3313664 303 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 809 303 413 48 0 761 0
[pid=15105] vsize: 3236
Current children cumulated CPU time (s) 342.54
Current children cumulated vsize (Kb) 5364
[startup+450.044 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 351 0 0 0 1552 336 0 0 18 0 1 0 1787652061 3313664 322 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 809 322 413 48 0 761 0
[pid=15105] vsize: 3236
Current children cumulated CPU time (s) 350.02
Current children cumulated vsize (Kb) 5364
[startup+460.046 s]
Raw data (loadavg): 1.08 1.08 1.02 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 377 0 0 0 2202 454 0 0 17 0 1 0 1787652061 3481600 348 4294967295 134512640 134702520 3221223712 3221222772 134617742 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 348 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 357.7
Current children cumulated vsize (Kb) 5528
[startup+470.047 s]
Raw data (loadavg): 1.07 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 410 0 0 0 2857 565 0 0 18 0 1 0 1787652061 3481600 381 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 381 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 365.36
Current children cumulated vsize (Kb) 5528
[startup+480.047 s]
Raw data (loadavg): 1.13 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 411 0 0 0 3456 701 0 0 18 0 1 0 1787652061 3481600 382 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 382 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 372.71
Current children cumulated vsize (Kb) 5528
[startup+490.048 s]
Raw data (loadavg): 1.19 1.10 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 414 0 0 0 4095 823 0 0 19 0 1 0 1787652061 3481600 385 4294967295 134512640 134702520 3221223712 3221222992 134550803 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 385 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 380.32
Current children cumulated vsize (Kb) 5528
[startup+500.049 s]
Raw data (loadavg): 1.24 1.12 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 418 0 0 0 4744 943 0 0 19 0 1 0 1787652061 3481600 389 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 389 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 388.01
Current children cumulated vsize (Kb) 5528
[startup+510.051 s]
Raw data (loadavg): 1.20 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 419 0 0 0 5348 1076 0 0 18 0 1 0 1787652061 3481600 390 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 390 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 395.38
Current children cumulated vsize (Kb) 5528
[startup+520.051 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 420 0 0 0 5976 1204 0 0 17 0 1 0 1787652061 3481600 391 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 391 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 402.94
Current children cumulated vsize (Kb) 5528
[startup+530.051 s]
Raw data (loadavg): 1.14 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 434 0 0 0 6650 1315 0 0 19 0 1 0 1787652061 3481600 405 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 850 405 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 410.79
Current children cumulated vsize (Kb) 5528
[startup+540.052 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 436 0 0 0 7281 1444 0 0 18 0 1 0 1787652061 3481600 407 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 407 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 418.39
Current children cumulated vsize (Kb) 5528
[startup+550.053 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 436 0 0 0 7912 1567 0 0 19 0 1 0 1787652061 3481600 407 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 850 407 413 48 0 802 0
[pid=15105] vsize: 3400
Current children cumulated CPU time (s) 425.93
Current children cumulated vsize (Kb) 5528
[startup+560.053 s]
Raw data (loadavg): 1.09 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 439 0 0 0 8577 1683 0 0 20 0 1 0 1787652061 3604480 410 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 410 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 433.74
Current children cumulated vsize (Kb) 5648
[startup+570.054 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 441 0 0 0 9251 1798 0 0 18 0 1 0 1787652061 3604480 412 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 412 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 441.63
Current children cumulated vsize (Kb) 5648
[startup+580.055 s]
Raw data (loadavg): 1.06 1.08 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 442 0 0 0 9868 1930 0 0 17 0 1 0 1787652061 3604480 413 4294967295 134512640 134702520 3221223712 3221222480 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 413 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 449.12
Current children cumulated vsize (Kb) 5648
[startup+590.056 s]
Raw data (loadavg): 1.13 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 443 0 0 0 10507 2052 0 0 18 0 1 0 1787652061 3604480 414 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 414 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 456.73
Current children cumulated vsize (Kb) 5648
[startup+600.056 s]
Raw data (loadavg): 1.11 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 448 0 0 0 11193 2162 0 0 20 0 1 0 1787652061 3604480 419 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 419 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 464.69
Current children cumulated vsize (Kb) 5648
[startup+610.058 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 544 0 0 0 11871 2270 0 0 17 0 1 0 1787652061 3604480 515 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 515 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 472.55
Current children cumulated vsize (Kb) 5648
[startup+620.059 s]
Raw data (loadavg): 1.15 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 545 0 0 0 12520 2387 0 0 18 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 480.21
Current children cumulated vsize (Kb) 5648
[startup+630.06 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 545 0 0 0 13158 2514 0 0 17 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 487.86
Current children cumulated vsize (Kb) 5648
[startup+640.061 s]
Raw data (loadavg): 1.10 1.10 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 545 0 0 0 13788 2639 0 0 19 0 1 0 1787652061 3604480 516 4294967295 134512640 134702520 3221223712 3221222992 134550752 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 516 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 495.41
Current children cumulated vsize (Kb) 5648
[startup+650.062 s]
Raw data (loadavg): 1.09 1.09 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 548 0 0 0 14441 2762 0 0 20 0 1 0 1787652061 3604480 519 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 519 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 503.17
Current children cumulated vsize (Kb) 5648
[startup+660.064 s]
Raw data (loadavg): 1.07 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 548 0 0 0 15086 2885 0 0 17 0 1 0 1787652061 3604480 519 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 519 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 510.85
Current children cumulated vsize (Kb) 5648
[startup+670.065 s]
Raw data (loadavg): 1.06 1.08 1.03 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 549 0 0 0 15724 3009 0 0 19 0 1 0 1787652061 3604480 520 4294967295 134512640 134702520 3221223712 3221222992 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 520 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 518.47
Current children cumulated vsize (Kb) 5648
[startup+680.065 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 549 0 0 0 16378 3129 0 0 19 0 1 0 1787652061 3604480 520 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 520 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 526.21
Current children cumulated vsize (Kb) 5648
[startup+690.067 s]
Raw data (loadavg): 1.04 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 550 0 0 0 17027 3247 0 0 18 0 1 0 1787652061 3604480 521 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 521 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 533.88
Current children cumulated vsize (Kb) 5648
[startup+700.068 s]
Raw data (loadavg): 1.12 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 551 0 0 0 17666 3363 0 0 16 0 1 0 1787652061 3604480 522 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 522 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 541.43
Current children cumulated vsize (Kb) 5648
[startup+710.069 s]
Raw data (loadavg): 1.10 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 552 0 0 0 18329 3484 0 0 15 0 1 0 1787652061 3604480 523 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 880 523 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 549.27
Current children cumulated vsize (Kb) 5648
[startup+720.07 s]
Raw data (loadavg): 1.08 1.09 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 619 0 0 0 19009 3596 0 0 15 0 1 0 1787652061 3604480 590 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 590 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 557.19
Current children cumulated vsize (Kb) 5648
[startup+730.071 s]
Raw data (loadavg): 1.07 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 619 0 0 0 19657 3717 0 0 16 0 1 0 1787652061 3604480 590 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 880 590 413 48 0 832 0
[pid=15105] vsize: 3520
Current children cumulated CPU time (s) 564.88
Current children cumulated vsize (Kb) 5648
[startup+740.072 s]
Raw data (loadavg): 1.06 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 620 0 0 0 20298 3838 0 0 15 0 1 0 1787652061 3727360 591 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 591 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 572.5
Current children cumulated vsize (Kb) 5768
[startup+750.072 s]
Raw data (loadavg): 1.05 1.08 1.03 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 20977 3949 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 580.4
Current children cumulated vsize (Kb) 5768
[startup+760.074 s]
Raw data (loadavg): 1.04 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 21641 4062 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 588.17
Current children cumulated vsize (Kb) 5768
[startup+770.075 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 622 0 0 0 22294 4178 0 0 15 0 1 0 1787652061 3727360 593 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 593 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 595.86
Current children cumulated vsize (Kb) 5768
[startup+780.076 s]
Raw data (loadavg): 1.03 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 623 0 0 0 22965 4291 0 0 15 0 1 0 1787652061 3727360 594 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 594 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 603.7
Current children cumulated vsize (Kb) 5768
[startup+790.077 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 624 0 0 0 23646 4401 0 0 15 0 1 0 1787652061 3727360 595 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 595 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 611.61
Current children cumulated vsize (Kb) 5768
[startup+800.078 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 24309 4513 0 0 16 0 1 0 1787652061 3727360 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 596 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 619.36
Current children cumulated vsize (Kb) 5768
[startup+810.079 s]
Raw data (loadavg): 1.02 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 24956 4636 0 0 15 0 1 0 1787652061 3727360 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 910 596 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 627.06
Current children cumulated vsize (Kb) 5768
[startup+820.08 s]
Raw data (loadavg): 1.01 1.06 1.02 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 630 0 0 0 25662 4739 0 0 16 0 1 0 1787652061 3727360 601 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 601 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 635.15
Current children cumulated vsize (Kb) 5768
[startup+830.08 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 646 0 0 0 26372 4836 0 0 16 0 1 0 1787652061 3727360 617 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 910 617 413 48 0 862 0
[pid=15105] vsize: 3640
Current children cumulated CPU time (s) 643.22
Current children cumulated vsize (Kb) 5768
[startup+840.082 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 665 0 0 0 27124 4921 0 0 16 0 1 0 1787652061 3862528 636 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 943 636 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 651.59
Current children cumulated vsize (Kb) 5900
[startup+850.083 s]
Raw data (loadavg): 1.01 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 671 0 0 0 27780 5039 0 0 15 0 1 0 1787652061 3862528 642 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 642 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 659.33
Current children cumulated vsize (Kb) 5900
[startup+860.085 s]
Raw data (loadavg): 1.00 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 671 0 0 0 28448 5158 0 0 15 0 1 0 1787652061 3862528 642 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 642 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 667.2
Current children cumulated vsize (Kb) 5900
[startup+870.085 s]
Raw data (loadavg): 1.08 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 676 0 0 0 29163 5259 0 0 15 0 1 0 1787652061 3862528 647 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 943 647 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 675.36
Current children cumulated vsize (Kb) 5900
[startup+880.086 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 679 0 0 0 29878 5360 0 0 16 0 1 0 1787652061 3862528 650 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 943 650 413 48 0 895 0
[pid=15105] vsize: 3772
Current children cumulated CPU time (s) 683.52
Current children cumulated vsize (Kb) 5900
[startup+890.087 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 685 0 0 0 30568 5465 0 0 15 0 1 0 1787652061 3997696 656 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 976 656 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 691.47
Current children cumulated vsize (Kb) 6032
[startup+900.089 s]
Raw data (loadavg): 1.05 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 686 0 0 0 31209 5595 0 0 16 0 1 0 1787652061 3997696 657 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 976 657 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 699.18
Current children cumulated vsize (Kb) 6032
[startup+910.089 s]
Raw data (loadavg): 1.04 1.05 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 687 0 0 0 31920 5697 0 0 15 0 1 0 1787652061 3997696 658 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 976 658 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 707.31
Current children cumulated vsize (Kb) 6032
[startup+920.09 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 705 0 0 0 32695 5776 0 0 16 0 1 0 1787652061 3997696 676 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 976 676 413 48 0 928 0
[pid=15105] vsize: 3904
Current children cumulated CPU time (s) 715.85
Current children cumulated vsize (Kb) 6032
[startup+930.091 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 727 0 0 0 33454 5862 0 0 16 0 1 0 1787652061 4132864 698 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 698 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 724.3
Current children cumulated vsize (Kb) 6164
[startup+940.093 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 738 0 0 0 34230 5941 0 0 16 0 1 0 1787652061 4132864 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 709 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 732.85
Current children cumulated vsize (Kb) 6164
[startup+950.093 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) R 15100 15100 824 0 -1 0 747 0 0 0 34999 6021 0 0 16 0 1 0 1787652061 4132864 718 4294967295 134512640 134702520 3221223712 3221222992 134552882 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1009 718 413 48 0 961 0
[pid=15105] vsize: 4036
Current children cumulated CPU time (s) 741.34
Current children cumulated vsize (Kb) 6164
[startup+960.095 s]
Raw data (loadavg): 1.09 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 766 0 0 0 35829 6078 0 0 16 0 1 0 1787652061 4268032 737 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 737 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 750.21
Current children cumulated vsize (Kb) 6296
[startup+970.097 s]
Raw data (loadavg): 1.07 1.06 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 770 0 0 0 36527 6179 0 0 15 0 1 0 1787652061 4268032 741 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 741 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 758.2
Current children cumulated vsize (Kb) 6296
[startup+980.098 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 770 0 0 0 37207 6288 0 0 16 0 1 0 1787652061 4268032 741 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1042 741 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 766.09
Current children cumulated vsize (Kb) 6296
[startup+990.098 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 771 0 0 0 37940 6384 0 0 16 0 1 0 1787652061 4268032 742 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1042 742 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 774.38
Current children cumulated vsize (Kb) 6296
[startup+1000.1 s]
Raw data (loadavg): 1.12 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 778 0 0 0 38768 6444 0 0 16 0 1 0 1787652061 4268032 749 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1042 749 413 48 0 994 0
[pid=15105] vsize: 4168
Current children cumulated CPU time (s) 783.26
Current children cumulated vsize (Kb) 6296
[startup+1010.1 s]
Raw data (loadavg): 1.17 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 781 0 0 0 39508 6531 0 0 16 0 1 0 1787652061 4395008 752 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 752 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 791.53
Current children cumulated vsize (Kb) 6420
[startup+1020.1 s]
Raw data (loadavg): 1.15 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 784 0 0 0 40293 6605 0 0 16 0 1 0 1787652061 4395008 755 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 755 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 800.12
Current children cumulated vsize (Kb) 6420
[startup+1030.1 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 789 0 0 0 41093 6672 0 0 15 0 1 0 1787652061 4395008 760 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15105/statm): 1073 760 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 808.79
Current children cumulated vsize (Kb) 6420
[startup+1040.1 s]
Raw data (loadavg): 1.10 1.07 1.02 1/57 15105
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 378 922 0 0 1 1 28256 4856 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15105/stat): 15105 (vallst) T 15100 15100 824 0 -1 0 790 0 0 0 41779 6781 0 0 15 0 1 0 1787652061 4395008 761 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15105/statm): 1073 761 413 48 0 1025 0
[pid=15105] vsize: 4292
Current children cumulated CPU time (s) 816.74
Current children cumulated vsize (Kb) 6420
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=15105) exited with status: 2
New process pid=15106
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=15106) exited with status: 0
New process pid=15107
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+1050.1 s]
Raw data (loadavg): 1.09 1.07 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 304 0 0 0 264 50 0 0 19 0 1 0 1787714210 2412544 275 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 589 275 413 48 0 541 0
[pid=15107] vsize: 2356
Current children cumulated CPU time (s) 824.57
Current children cumulated vsize (Kb) 4484
[startup+1060.11 s]
Raw data (loadavg): 1.07 1.07 1.02 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 328 0 0 0 861 181 0 0 18 0 1 0 1787714210 3297280 299 4294967295 134512640 134702520 3221223712 3221222832 134588528 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 805 299 413 48 0 757 0
[pid=15107] vsize: 3220
Current children cumulated CPU time (s) 831.85
Current children cumulated vsize (Kb) 5348
[startup+1070.11 s]
Raw data (loadavg): 1.06 1.06 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 553 0 0 0 1569 282 0 0 20 0 1 0 1787714210 3518464 524 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 859 524 413 48 0 811 0
[pid=15107] vsize: 3436
Current children cumulated CPU time (s) 839.94
Current children cumulated vsize (Kb) 5564
[startup+1080.11 s]
Raw data (loadavg): 1.05 1.06 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 577 0 0 0 2302 371 0 0 18 0 1 0 1787714210 3649536 548 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 891 548 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 848.16
Current children cumulated vsize (Kb) 5692
[startup+1090.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 598 0 0 0 3105 436 0 0 20 0 1 0 1787714210 3649536 569 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 891 569 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 856.84
Current children cumulated vsize (Kb) 5692
[startup+1100.11 s]
Raw data (loadavg): 1.04 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 598 0 0 0 3821 535 0 0 19 0 1 0 1787714210 3649536 569 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 891 569 413 48 0 843 0
[pid=15107] vsize: 3564
Current children cumulated CPU time (s) 864.99
Current children cumulated vsize (Kb) 5692
[startup+1110.11 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 602 0 0 0 4552 626 0 0 21 0 1 0 1787714210 3653632 573 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 892 573 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 873.21
Current children cumulated vsize (Kb) 5696
[startup+1120.11 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 606 0 0 0 5324 704 0 0 18 0 1 0 1787714210 3653632 577 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 577 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (Kb) 5696
[startup+1130.11 s]
Raw data (loadavg): 1.10 1.07 1.02 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 609 0 0 0 6111 778 0 0 18 0 1 0 1787714210 3653632 580 4294967295 134512640 134702520 3221223712 3221222984 134553180 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 580 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 890.32
Current children cumulated vsize (Kb) 5696
[startup+1140.11 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 612 0 0 0 6856 869 0 0 18 0 1 0 1787714210 3653632 583 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 892 583 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 898.68
Current children cumulated vsize (Kb) 5696
[startup+1150.12 s]
Raw data (loadavg): 1.07 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 612 0 0 0 7555 969 0 0 19 0 1 0 1787714210 3653632 583 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 892 583 413 48 0 844 0
[pid=15107] vsize: 3568
Current children cumulated CPU time (s) 906.67
Current children cumulated vsize (Kb) 5696
[startup+1160.12 s]
Raw data (loadavg): 1.06 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 614 0 0 0 8320 1048 0 0 21 0 1 0 1787714210 3788800 585 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 925 585 413 48 0 877 0
[pid=15107] vsize: 3700
Current children cumulated CPU time (s) 915.11
Current children cumulated vsize (Kb) 5828
[startup+1170.12 s]
Raw data (loadavg): 1.05 1.06 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 9102 1118 0 0 18 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 923.63
Current children cumulated vsize (Kb) 5820
[startup+1180.12 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 9874 1197 0 0 22 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 932.14
Current children cumulated vsize (Kb) 5820
[startup+1190.12 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 625 0 0 0 10596 1292 0 0 20 0 1 0 1787714210 3780608 596 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 596 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 940.31
Current children cumulated vsize (Kb) 5820
[startup+1200.12 s]
Raw data (loadavg): 1.03 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 627 0 0 0 11355 1371 0 0 25 0 1 0 1787714210 3780608 598 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 598 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 948.69
Current children cumulated vsize (Kb) 5820
[startup+1210.12 s]
Raw data (loadavg): 1.02 1.05 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 628 0 0 0 12105 1460 0 0 21 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 957.08
Current children cumulated vsize (Kb) 5820
[startup+1220.12 s]
Raw data (loadavg): 1.02 1.05 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 628 0 0 0 12887 1534 0 0 24 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222992 134552539 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 965.64
Current children cumulated vsize (Kb) 5820
[startup+1230.12 s]
Raw data (loadavg): 1.02 1.04 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 628 0 0 0 13653 1616 0 0 20 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 974.12
Current children cumulated vsize (Kb) 5820
[startup+1240.13 s]
Raw data (loadavg): 1.09 1.06 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) R 15100 15100 824 0 -1 0 628 0 0 0 14380 1718 0 0 24 0 1 0 1787714210 3780608 599 4294967295 134512640 134702520 3221223712 3221222992 134553430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 599 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 982.41
Current children cumulated vsize (Kb) 5820
[startup+1250.13 s]
Raw data (loadavg): 1.07 1.06 1.01 2/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 629 0 0 0 15168 1788 0 0 24 0 1 0 1787714210 3780608 600 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 923 600 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 990.99
Current children cumulated vsize (Kb) 5820
[startup+1260.13 s]
Raw data (loadavg): 1.14 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 629 0 0 0 15950 1866 0 0 20 0 1 0 1787714210 3780608 600 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 923 600 413 48 0 875 0
[pid=15107] vsize: 3692
Current children cumulated CPU time (s) 999.59
Current children cumulated vsize (Kb) 5820
[startup+1270.13 s]
Raw data (loadavg): 1.12 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 630 0 0 0 16704 1953 0 0 20 0 1 0 1787714210 3784704 601 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 601 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1008
Current children cumulated vsize (Kb) 5824
[startup+1280.13 s]
Raw data (loadavg): 1.18 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 630 0 0 0 17432 2043 0 0 22 0 1 0 1787714210 3784704 601 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 601 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1016.18
Current children cumulated vsize (Kb) 5824
[startup+1290.13 s]
Raw data (loadavg): 1.15 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 634 0 0 0 18227 2115 0 0 20 0 1 0 1787714210 3784704 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 605 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1024.85
Current children cumulated vsize (Kb) 5824
[startup+1300.13 s]
Raw data (loadavg): 1.13 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 634 0 0 0 19023 2185 0 0 25 0 1 0 1787714210 3784704 605 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 605 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1033.51
Current children cumulated vsize (Kb) 5824
[startup+1310.13 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 636 0 0 0 19811 2265 0 0 21 0 1 0 1787714210 3784704 607 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 607 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1042.19
Current children cumulated vsize (Kb) 5824
[startup+1320.13 s]
Raw data (loadavg): 1.09 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 637 0 0 0 20524 2362 0 0 20 0 1 0 1787714210 3784704 608 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 608 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1050.29
Current children cumulated vsize (Kb) 5824
[startup+1330.13 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 637 0 0 0 21282 2445 0 0 18 0 1 0 1787714210 3784704 608 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 608 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1058.7
Current children cumulated vsize (Kb) 5824
[startup+1340.13 s]
Raw data (loadavg): 1.14 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 641 0 0 0 22107 2505 0 0 24 0 1 0 1787714210 3784704 612 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15107/statm): 924 612 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1067.55
Current children cumulated vsize (Kb) 5824
[startup+1350.13 s]
Raw data (loadavg): 1.12 1.08 1.02 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 642 0 0 0 22889 2581 0 0 18 0 1 0 1787714210 3784704 613 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 613 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1076.13
Current children cumulated vsize (Kb) 5824
[startup+1360.14 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 15107
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 417 1856 0 0 2 1 70437 11703 17 0 1 0 1787609598 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 248 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15107/stat): 15107 (vallst) T 15100 15100 824 0 -1 0 642 0 0 0 23617 2676 0 0 18 0 1 0 1787714210 3784704 613 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15107/statm): 924 613 413 48 0 876 0
[pid=15107] vsize: 3696
Current children cumulated CPU time (s) 1084.36
Current children cumulated vsize (Kb) 5824
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=15107) exited with status: 2
New process pid=15108
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=15108) exited with status: 0
New process pid=15109
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+1370.14 s]
Raw data (loadavg): 1.16 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 270 0 0 0 292 78 0 0 17 0 1 0 1787746094 2281472 241 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 557 241 413 48 0 509 0
[pid=15109] vsize: 2228
Current children cumulated CPU time (s) 1091.82
Current children cumulated vsize (Kb) 4356
[startup+1380.14 s]
Raw data (loadavg): 1.21 1.10 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 271 0 0 0 841 226 0 0 18 0 1 0 1787746094 2281472 242 4294967295 134512640 134702520 3221223040 3221222280 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 557 242 413 48 0 509 0
[pid=15109] vsize: 2228
Current children cumulated CPU time (s) 1098.79
Current children cumulated vsize (Kb) 4356
[startup+1390.14 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 367 0 0 0 1497 345 0 0 25 0 1 0 1787746094 3162112 338 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 772 338 413 48 0 724 0
[pid=15109] vsize: 3088
Current children cumulated CPU time (s) 1106.54
Current children cumulated vsize (Kb) 5216
[startup+1400.14 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 465 0 0 0 2238 436 0 0 19 0 1 0 1787746094 3170304 436 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 774 436 413 48 0 726 0
[pid=15109] vsize: 3096
Current children cumulated CPU time (s) 1114.86
Current children cumulated vsize (Kb) 5224
[startup+1410.14 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 507 0 0 0 2994 521 0 0 18 0 1 0 1787746094 3174400 478 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 775 478 413 48 0 727 0
[pid=15109] vsize: 3100
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 5228
[startup+1420.14 s]
Raw data (loadavg): 1.11 1.09 1.02 2/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 523 0 0 0 3856 570 0 0 25 0 1 0 1787746094 3309568 494 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 808 494 413 48 0 760 0
[pid=15109] vsize: 3232
Current children cumulated CPU time (s) 1132.38
Current children cumulated vsize (Kb) 5360
[startup+1430.14 s]
Raw data (loadavg): 1.09 1.08 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 526 0 0 0 4568 669 0 0 18 0 1 0 1787746094 3313664 497 4294967295 134512640 134702520 3221223040 3221222040 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15109/statm): 809 497 413 48 0 761 0
[pid=15109] vsize: 3236
Current children cumulated CPU time (s) 1140.49
Current children cumulated vsize (Kb) 5364
[startup+1440.14 s]
Raw data (loadavg): 1.08 1.08 1.02 1/57 15109
Raw data (/proc/15100/stat): 15100 (vallstSAT2005PB) S 15099 15100 824 0 -1 0 457 2640 0 0 2 1 94382 14427 17 0 1 0 1787609598 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15100/statm): 532 249 485 147 0 385 0
[pid=15100] vsize: 2128
Raw data (/proc/15109/stat): 15109 (vallst) T 15100 15100 824 0 -1 0 540 0 0 0 5445 710 0 0 25 0 1 0 1787746094 3313664 511 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15109/statm): 809 511 413 48 0 761 0
[pid=15109] vsize: 3236
Current children cumulated CPU time (s) 1149.67
Current children cumulated vsize (Kb) 5364
One traced child (pid=15109) exited with status: 0
New process pid=15110
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
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 /oldhome/oroussel/tmp/wulflinc5/normalized-s4-4-3-5pb.opb
One traced child (pid=15110) exited with status: 0
New process pid=15111
One traced child (pid=15111) exited with status: 127
New process pid=15112
New process pid=15113
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1518/stat
open syscall for file /proc/1518/status
open syscall for file /proc/1518/cmdline
open syscall for file /proc/1518/environ
open syscall for file /proc/1542/stat
open syscall for file /proc/1542/status
open syscall for file /proc/1542/cmdline
open syscall for file /proc/1542/environ
open syscall for file /proc/1565/stat
open syscall for file /proc/1565/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1565/cmdline
open syscall for file /proc/1565/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/1662/stat
open syscall for file /proc/1662/status
open syscall for file /proc/1662/cmdline
open syscall for file /proc/1662/environ
open syscall for file /proc/1663/stat
open syscall for file /proc/1663/status
open syscall for file /proc/1663/cmdline
open syscall for file /proc/1663/environ
open syscall for file /proc/1664/stat
open syscall for file /proc/1664/status
open syscall for file /proc/1664/cmdline
open syscall for file /proc/1664/environ
open syscall for file /proc/1665/stat
open syscall for file /proc/1665/status
open syscall for file /proc/1665/cmdline
open syscall for file /proc/1665/environ
open syscall for file /proc/15010/stat
open syscall for file /proc/15010/status
open syscall for file /proc/15010/cmdline
open syscall for file /proc/15010/environ
open syscall for file /proc/22628/stat
open syscall for file /proc/22628/status
open syscall for file /proc/22628/cmdline
open syscall for file /proc/22628/environ
open syscall for file /proc/22655/stat
open syscall for file /proc/22655/status
open syscall for file /proc/22655/cmdline
open syscall for file /proc/22655/environ
open syscall for file /proc/22679/stat
open syscall for file /proc/22679/status
open syscall for file /proc/22679/cmdline
open syscall for file /proc/22679/environ
open syscall for file /proc/15675/stat
open syscall for file /proc/15675/status
open syscall for file /proc/15675/cmdline
open syscall for file /proc/15675/environ
open syscall for file /proc/5614/stat
open syscall for file /proc/5614/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/5614/cmdline
open syscall for file /proc/5614/environ
open syscall for file /proc/5654/stat
open syscall for file /proc/5654/status
open syscall for file /proc/5654/cmdline
open syscall for file /proc/5654/environ
open syscall for file /proc/824/stat
open syscall for file /proc/824/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/824/cmdline
open syscall for file /proc/824/environ
open syscall for file /proc/825/stat
open syscall for file /proc/825/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/825/cmdline
open syscall for file /proc/825/environ
open syscall for file /proc/836/stat
open syscall for file /proc/836/status
open syscall for file /proc/836/cmdline
open syscall for file /proc/836/environ
open syscall for file /proc/15063/stat
open syscall for file /proc/15063/status
open syscall for file /proc/15063/cmdline
open syscall for file /proc/15063/environ
open syscall for file /proc/15099/stat
open syscall for file /proc/15099/status
open syscall for file /proc/15099/cmdline
open syscall for file /proc/15099/environ
open syscall for file /proc/15100/stat
open syscall for file /proc/15100/status
open syscall for file /proc/15100/cmdline
open syscall for file /proc/15100/environ
open syscall for file /proc/15112/stat
open syscall for file /proc/15112/status
open syscall for file /proc/15112/cmdline
open syscall for file /proc/15112/environ
open syscall for file /proc/15113/stat
open syscall for file /proc/15113/status
open syscall for file /proc/15113/cmdline
open syscall for file /proc/15113/environ
One traced child (pid=15112) exited with status: 0
One traced child (pid=15113) exited with status: 0
New process pid=15114
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=15114) exited with status: 0
New process pid=15115
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=15115) exited with status: 0
One traced child (pid=15100) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 1442.85
CPU time (s): 1151.85
CPU user time (s): 1000.27
CPU system time (s): 151.578
CPU usage (%): 79.832
Max. virtual memory (cumulated for all children) (Kb): 6420