1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 15; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 17965 (2014:>=*);
#decisions: 14; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 17977 (2002:>=*);
#decisions: 13; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 17980 (1999:>=*);
#decisions: 15; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 17997 (1982:>=*);
#decisions: 12; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 0
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18000 (1979:>=*);
#decisions: 671; #end-nodes: 333;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 191 / 245 (80)
#axs: 134, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18006 (1973:>=*);
#decisions: 26; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18011 (1968:>=*);
#decisions: 19; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18026 (1953:>=*);
#decisions: 29; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18046 (1933:>=*);
#decisions: 21; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 34
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18056 (1923:>=*);
#decisions: 52; #end-nodes: 34;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 34 / 80 (80)
#axs: 134, #non-axs: 35
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18071 (1908:>=*);
#decisions: 38; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 134, #non-axs: 35
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18091 (1888:>=*);
#decisions: 1084; #end-nodes: 580;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 77 / 94 (81)
#axs: 134, #non-axs: 154
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18108 (1871:>=*);
#decisions: 140; #end-nodes: 86;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 86 / 90 (80)
#axs: 134, #non-axs: 157
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18114 (1865:>=*);
#decisions: 38; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 81 (80)
#axs: 134, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18124 (1855:>=*);
#decisions: 54; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 82 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18139 (1840:>=*);
#decisions: 41; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18149 (1830:>=*);
#decisions: 24; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18159 (1820:>=*);
#decisions: 23; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18169 (1810:>=*);
#decisions: 35; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18174 (1805:>=*);
#decisions: 25; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 134, #non-axs: 160
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18184 (1795:>=*);
#decisions: 106; #end-nodes: 79;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 79 / 80 (80)
#axs: 134, #non-axs: 162
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18191 (1788:>=*);
#decisions: 49; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 82 (80)
#axs: 134, #non-axs: 164
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18211 (1768:>=*);
#decisions: 43; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 134, #non-axs: 164
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18221 (1758:>=*);
#decisions: 6794; #end-nodes: 3639;
#proof improvement attempts: 0; #restarts: 35
Current batch, end-nodes: 14 / 90 (88)
#axs: 134, #non-axs: 360
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18222 (1757:>=*);
#decisions: 34; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 134, #non-axs: 360
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18225 (1754:>=*);
#decisions: 27; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 360
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18227 (1752:>=*);
#decisions: 30; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 134, #non-axs: 360
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18237 (1742:>=*);
#decisions: 37; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 134, #non-axs: 362
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18242 (1737:>=*);
#decisions: 33; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #non-axs: 364
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18247 (1732:>=*);
#decisions: 31; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 134, #non-axs: 365
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18257 (1722:>=*);
#decisions: 41; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 134, #non-axs: 369
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18260 (1719:>=*);
#decisions: 35; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 134, #non-axs: 371
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18270 (1709:>=*);
#decisions: 35; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 134, #non-axs: 371
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18282 (1697:>=*);
#decisions: 86; #end-nodes: 39;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 39 / 82 (80)
#axs: 134, #non-axs: 373
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18302 (1677:>=*);
#decisions: 32314; #end-nodes: 21287;
#proof improvement attempts: 0; #restarts: 188
Current batch, end-nodes: 116 / 127 (127)
#axs: 134, #non-axs: 447
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18311 (1668:>=*);
#decisions: 64; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 134, #non-axs: 447
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18316 (1663:>=*);
#decisions: 79; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 81 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18324 (1655:>=*);
#decisions: 66; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18326 (1653:>=*);
#decisions: 57; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 134, #non-axs: 448
tight: meta-meta: start: 5, end: 7; meta: start: 3, end (keep): 4
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18336 (1643:>=*);
#decisions: 180873; #end-nodes: 136113;
#proof improvement attempts: 0; #restarts: 757
Current batch, end-nodes: 74 / 274 (269)
#axs: 134, #non-axs: 943
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18346 (1633:>=*);
#decisions: 31; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 134, #non-axs: 943
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 18356 (1623:>=*);
#decisions: 1000543; #end-nodes: 813607;
#proof improvement attempts: 0; #restarts: 2243
Current batch, end-nodes: 21 / 640 (640)
#axs: 134, #non-axs: 6352
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 29, end (keep): 48
Model found with constant: 18359 (1620:>=*);
#decisions: 959295; #end-nodes: 769854;
#proof improvement attempts: 0; #restarts: 2179
Current batch, end-nodes: 470 / 624 (624)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18364 (1615:>=*);
#decisions: 25; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18372 (1607:>=*);
#decisions: 22; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18384 (1595:>=*);
#decisions: 25; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18394 (1585:>=*);
#decisions: 30; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18404 (1575:>=*);
#decisions: 63; #end-nodes: 44;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 44 / 80 (80)
#axs: 134, #non-axs: 8994
tight: meta-meta: start: 3, end: 3; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 27, end (keep): 45
Model found with constant: 18416 (1563:>=*);
Interupt request received.
Model found with constant:
(pushed:) 18416 (1563:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 1 (#equs: 0)
Time taken: 20 min, 6 sec
Interupt; Current theory and settings are copied here:
/tmp/vallst_sh_out_theory.vnf
/tmp/vallst_sh_changing_setting.options
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/15320/stat): 15320 (vallstSAT2005PB) R 15319 15320 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787755730 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15320/statm): 174 3 169 147 0 27 0
[pid=15320] 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=15321
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=15321) exited with status: 0
New process pid=15322
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=15322) exited with status: 0
New process pid=15323
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-p0201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0041 s]
Raw data (loadavg): 0.93 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 257 0 0 0 423 181 0 0 18 0 1 0 1787755737 2342912 227 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 227 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (Kb) 4416
[startup+20.0049 s]
Raw data (loadavg): 0.94 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 261 0 0 0 977 331 0 0 17 0 1 0 1787755737 2342912 231 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 231 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 13.11
Current children cumulated vsize (Kb) 4416
[startup+30.0056 s]
Raw data (loadavg): 0.95 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 272 0 0 0 1537 477 0 0 17 0 1 0 1787755737 2342912 242 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 242 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 20.17
Current children cumulated vsize (Kb) 4416
[startup+40.0064 s]
Raw data (loadavg): 0.95 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 275 0 0 0 2113 614 0 0 18 0 1 0 1787755737 2342912 245 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 245 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 27.3
Current children cumulated vsize (Kb) 4416
[startup+50.0081 s]
Raw data (loadavg): 0.96 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 275 0 0 0 2668 760 0 0 18 0 1 0 1787755737 2342912 245 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 245 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 34.31
Current children cumulated vsize (Kb) 4416
[startup+60.0089 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 277 0 0 0 3242 900 0 0 17 0 1 0 1787755737 2342912 247 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 247 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 41.45
Current children cumulated vsize (Kb) 4416
[startup+70.0096 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 282 0 0 0 3812 1046 0 0 18 0 1 0 1787755737 2342912 252 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 252 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (Kb) 4416
[startup+80.0113 s]
Raw data (loadavg): 0.97 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 284 0 0 0 4370 1190 0 0 17 0 1 0 1787755737 2342912 254 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 572 254 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 55.63
Current children cumulated vsize (Kb) 4416
[startup+90.0121 s]
Raw data (loadavg): 0.98 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 328 0 0 0 4956 1323 0 0 18 0 1 0 1787755737 2342912 298 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 298 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 62.82
Current children cumulated vsize (Kb) 4416
[startup+100.013 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 329 0 0 0 5513 1466 0 0 18 0 1 0 1787755737 2342912 299 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 299 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (Kb) 4416
[startup+110.014 s]
Raw data (loadavg): 0.98 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 332 0 0 0 6103 1602 0 0 17 0 1 0 1787755737 2342912 302 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 302 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 77.08
Current children cumulated vsize (Kb) 4416
[startup+120.014 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 332 0 0 0 6671 1749 0 0 17 0 1 0 1787755737 2342912 302 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 572 302 413 48 0 524 0
[pid=15323] vsize: 2288
Current children cumulated CPU time (s) 84.23
Current children cumulated vsize (Kb) 4416
[startup+130.015 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 335 0 0 0 7248 1890 0 0 17 0 1 0 1787755737 2473984 305 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 305 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 91.41
Current children cumulated vsize (Kb) 4544
[startup+140.016 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 338 0 0 0 7822 2035 0 0 18 0 1 0 1787755737 2473984 308 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 308 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (Kb) 4544
[startup+150.018 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 340 0 0 0 8392 2173 0 0 17 0 1 0 1787755737 2473984 310 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 310 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (Kb) 4544
[startup+160.018 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 343 0 0 0 8994 2308 0 0 18 0 1 0 1787755737 2473984 313 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 313 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 113.05
Current children cumulated vsize (Kb) 4544
[startup+170.019 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 343 0 0 0 9580 2449 0 0 18 0 1 0 1787755737 2473984 313 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 313 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 120.32
Current children cumulated vsize (Kb) 4544
[startup+180.02 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 10129 2598 0 0 18 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 127.3
Current children cumulated vsize (Kb) 4544
[startup+190.02 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 10684 2748 0 0 17 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 134.35
Current children cumulated vsize (Kb) 4544
[startup+200.022 s]
Raw data (loadavg): 0.99 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 11246 2894 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 141.43
Current children cumulated vsize (Kb) 4544
[startup+210.023 s]
Raw data (loadavg): 0.99 1.01 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 11808 3042 0 0 16 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 148.53
Current children cumulated vsize (Kb) 4544
[startup+220.024 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 12397 3177 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 155.77
Current children cumulated vsize (Kb) 4544
[startup+230.024 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 344 0 0 0 12951 3329 0 0 15 0 1 0 1787755737 2473984 314 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 314 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 162.83
Current children cumulated vsize (Kb) 4544
[startup+240.025 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 13530 3472 0 0 16 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 4544
[startup+250.027 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 14101 3622 0 0 15 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 177.26
Current children cumulated vsize (Kb) 4544
[startup+260.028 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 345 0 0 0 14667 3772 0 0 15 0 1 0 1787755737 2473984 315 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 315 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 184.42
Current children cumulated vsize (Kb) 4544
[startup+270.027 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 346 0 0 0 15263 3916 0 0 16 0 1 0 1787755737 2473984 316 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 316 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (Kb) 4544
[startup+280.028 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 347 0 0 0 15820 4066 0 0 16 0 1 0 1787755737 2473984 317 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 317 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 198.89
Current children cumulated vsize (Kb) 4544
[startup+290.029 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 348 0 0 0 16428 4198 0 0 15 0 1 0 1787755737 2473984 318 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 318 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 206.29
Current children cumulated vsize (Kb) 4544
[startup+300.03 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 348 0 0 0 16989 4348 0 0 15 0 1 0 1787755737 2473984 318 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 318 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 213.4
Current children cumulated vsize (Kb) 4544
[startup+310.03 s]
Raw data (loadavg): 1.14 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 351 0 0 0 17610 4477 0 0 15 0 1 0 1787755737 2473984 321 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 321 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 220.9
Current children cumulated vsize (Kb) 4544
[startup+320.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 352 0 0 0 18179 4623 0 0 15 0 1 0 1787755737 2473984 322 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 322 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 228.05
Current children cumulated vsize (Kb) 4544
[startup+330.032 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 355 0 0 0 18810 4749 0 0 15 0 1 0 1787755737 2473984 325 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 325 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 235.62
Current children cumulated vsize (Kb) 4544
[startup+340.033 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 356 0 0 0 19379 4888 0 0 15 0 1 0 1787755737 2473984 326 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 326 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 242.7
Current children cumulated vsize (Kb) 4544
[startup+350.034 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 358 0 0 0 19998 5018 0 0 15 0 1 0 1787755737 2473984 328 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 328 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 250.19
Current children cumulated vsize (Kb) 4544
[startup+360.035 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 358 0 0 0 20569 5161 0 0 16 0 1 0 1787755737 2473984 328 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 328 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 257.33
Current children cumulated vsize (Kb) 4544
[startup+370.036 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 361 0 0 0 21190 5286 0 0 15 0 1 0 1787755737 2473984 331 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 331 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 264.79
Current children cumulated vsize (Kb) 4544
[startup+380.037 s]
Raw data (loadavg): 1.10 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 361 0 0 0 21765 5435 0 0 15 0 1 0 1787755737 2473984 331 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 604 331 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 272.03
Current children cumulated vsize (Kb) 4544
[startup+390.037 s]
Raw data (loadavg): 1.09 1.05 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 364 0 0 0 22400 5557 0 0 16 0 1 0 1787755737 2473984 334 4294967295 134512640 134702520 3221223968 3221223188 134550182 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 334 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (Kb) 4544
[startup+400.039 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 365 0 0 0 22975 5703 0 0 16 0 1 0 1787755737 2473984 335 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 604 335 413 48 0 556 0
[pid=15323] vsize: 2416
Current children cumulated CPU time (s) 286.81
Current children cumulated vsize (Kb) 4544
[startup+410.04 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 366 0 0 0 23618 5823 0 0 16 0 1 0 1787755737 2609152 336 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 336 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 294.44
Current children cumulated vsize (Kb) 4676
[startup+420.04 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 367 0 0 0 24215 5960 0 0 15 0 1 0 1787755737 2609152 337 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 337 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 301.78
Current children cumulated vsize (Kb) 4676
[startup+430.041 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 368 0 0 0 24839 6090 0 0 15 0 1 0 1787755737 2609152 338 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 338 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 309.32
Current children cumulated vsize (Kb) 4676
[startup+440.042 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 369 0 0 0 25461 6218 0 0 16 0 1 0 1787755737 2609152 339 4294967295 134512640 134702520 3221223968 3221222736 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 339 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 316.82
Current children cumulated vsize (Kb) 4676
[startup+450.043 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 370 0 0 0 26059 6352 0 0 15 0 1 0 1787755737 2609152 340 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 340 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 324.14
Current children cumulated vsize (Kb) 4676
[startup+460.045 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 374 0 0 0 26730 6462 0 0 16 0 1 0 1787755737 2609152 344 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 344 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 331.95
Current children cumulated vsize (Kb) 4676
[startup+470.045 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 375 0 0 0 27296 6611 0 0 16 0 1 0 1787755737 2609152 345 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 345 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 339.1
Current children cumulated vsize (Kb) 4676
[startup+480.046 s]
Raw data (loadavg): 1.12 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 376 0 0 0 27936 6733 0 0 16 0 1 0 1787755737 2609152 346 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 346 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 346.72
Current children cumulated vsize (Kb) 4676
[startup+490.047 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 377 0 0 0 28531 6872 0 0 15 0 1 0 1787755737 2609152 347 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 347 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 354.06
Current children cumulated vsize (Kb) 4676
[startup+500.049 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 379 0 0 0 29165 6996 0 0 16 0 1 0 1787755737 2609152 349 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 349 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 361.64
Current children cumulated vsize (Kb) 4676
[startup+510.049 s]
Raw data (loadavg): 1.07 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 381 0 0 0 29815 7111 0 0 15 0 1 0 1787755737 2609152 351 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 351 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 369.29
Current children cumulated vsize (Kb) 4676
[startup+520.05 s]
Raw data (loadavg): 1.06 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 381 0 0 0 30414 7252 0 0 15 0 1 0 1787755737 2609152 351 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 351 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 376.69
Current children cumulated vsize (Kb) 4676
[startup+530.052 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 383 0 0 0 31059 7373 0 0 15 0 1 0 1787755737 2609152 353 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 353 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 384.35
Current children cumulated vsize (Kb) 4676
[startup+540.053 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 383 0 0 0 31643 7515 0 0 15 0 1 0 1787755737 2609152 353 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 353 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 391.61
Current children cumulated vsize (Kb) 4676
[startup+550.054 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 385 0 0 0 32306 7626 0 0 16 0 1 0 1787755737 2609152 355 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 355 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 399.35
Current children cumulated vsize (Kb) 4676
[startup+560.056 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 387 0 0 0 32951 7746 0 0 16 0 1 0 1787755737 2609152 357 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 357 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 407
Current children cumulated vsize (Kb) 4676
[startup+570.056 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 387 0 0 0 33556 7880 0 0 15 0 1 0 1787755737 2609152 357 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 357 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 414.39
Current children cumulated vsize (Kb) 4676
[startup+580.056 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 389 0 0 0 34213 7996 0 0 15 0 1 0 1787755737 2609152 359 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 359 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 422.12
Current children cumulated vsize (Kb) 4676
[startup+590.057 s]
Raw data (loadavg): 1.15 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 389 0 0 0 34803 8131 0 0 16 0 1 0 1787755737 2609152 359 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 359 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 429.37
Current children cumulated vsize (Kb) 4676
[startup+600.059 s]
Raw data (loadavg): 1.13 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 393 0 0 0 35459 8250 0 0 15 0 1 0 1787755737 2609152 363 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 363 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 437.12
Current children cumulated vsize (Kb) 4676
[startup+610.061 s]
Raw data (loadavg): 1.11 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 396 0 0 0 36116 8362 0 0 15 0 1 0 1787755737 2609152 366 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 366 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 444.81
Current children cumulated vsize (Kb) 4676
[startup+620.061 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 396 0 0 0 36702 8507 0 0 16 0 1 0 1787755737 2609152 366 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 637 366 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 452.12
Current children cumulated vsize (Kb) 4676
[startup+630.062 s]
Raw data (loadavg): 1.08 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 398 0 0 0 37368 8620 0 0 16 0 1 0 1787755737 2609152 368 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 637 368 413 48 0 589 0
[pid=15323] vsize: 2548
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (Kb) 4676
[startup+640.063 s]
Raw data (loadavg): 1.07 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 399 0 0 0 37993 8748 0 0 15 0 1 0 1787755737 2744320 369 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 670 369 413 48 0 622 0
[pid=15323] vsize: 2680
Current children cumulated CPU time (s) 467.44
Current children cumulated vsize (Kb) 4808
[startup+650.065 s]
Raw data (loadavg): 1.06 1.06 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 38629 8874 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222932 1074952478 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 475.06
Current children cumulated vsize (Kb) 5356
[startup+660.065 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 39237 9001 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 482.41
Current children cumulated vsize (Kb) 5356
[startup+670.066 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 39797 9152 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 489.52
Current children cumulated vsize (Kb) 5356
[startup+680.067 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 40368 9304 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 496.75
Current children cumulated vsize (Kb) 5356
[startup+690.068 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 40952 9448 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 504.03
Current children cumulated vsize (Kb) 5356
[startup+700.069 s]
Raw data (loadavg): 1.02 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 41521 9595 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 511.19
Current children cumulated vsize (Kb) 5356
[startup+710.07 s]
Raw data (loadavg): 1.02 1.04 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 42126 9734 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 518.63
Current children cumulated vsize (Kb) 5356
[startup+720.07 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 42698 9877 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 525.78
Current children cumulated vsize (Kb) 5356
[startup+730.072 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 43312 10007 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 533.22
Current children cumulated vsize (Kb) 5356
[startup+740.072 s]
Raw data (loadavg): 1.01 1.04 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 43880 10151 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 540.34
Current children cumulated vsize (Kb) 5356
[startup+750.073 s]
Raw data (loadavg): 1.09 1.05 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 44494 10284 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 547.81
Current children cumulated vsize (Kb) 5356
[startup+760.074 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 45061 10431 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 554.95
Current children cumulated vsize (Kb) 5356
[startup+770.075 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 45671 10563 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 562.37
Current children cumulated vsize (Kb) 5356
[startup+780.075 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 46248 10711 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 569.62
Current children cumulated vsize (Kb) 5356
[startup+790.076 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 46871 10841 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (Kb) 5356
[startup+800.078 s]
Raw data (loadavg): 1.11 1.06 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 47451 10986 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 584.4
Current children cumulated vsize (Kb) 5356
[startup+810.078 s]
Raw data (loadavg): 1.09 1.06 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 48065 11116 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 591.84
Current children cumulated vsize (Kb) 5356
[startup+820.079 s]
Raw data (loadavg): 1.08 1.06 1.00 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 48652 11260 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223088 134578840 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 599.15
Current children cumulated vsize (Kb) 5356
[startup+830.081 s]
Raw data (loadavg): 1.07 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 49273 11393 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 606.69
Current children cumulated vsize (Kb) 5356
[startup+840.082 s]
Raw data (loadavg): 1.06 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 49855 11531 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 613.89
Current children cumulated vsize (Kb) 5356
[startup+850.083 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 50493 11654 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 621.5
Current children cumulated vsize (Kb) 5356
[startup+860.084 s]
Raw data (loadavg): 1.19 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 51075 11790 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 628.68
Current children cumulated vsize (Kb) 5356
[startup+870.085 s]
Raw data (loadavg): 1.16 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 51715 11912 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 636.3
Current children cumulated vsize (Kb) 5356
[startup+880.087 s]
Raw data (loadavg): 1.21 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 52293 12059 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 643.55
Current children cumulated vsize (Kb) 5356
[startup+890.087 s]
Raw data (loadavg): 1.18 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 52928 12182 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 651.13
Current children cumulated vsize (Kb) 5356
[startup+900.088 s]
Raw data (loadavg): 1.15 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 53509 12320 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 658.32
Current children cumulated vsize (Kb) 5356
[startup+910.089 s]
Raw data (loadavg): 1.13 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 54153 12440 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 665.96
Current children cumulated vsize (Kb) 5356
[startup+920.09 s]
Raw data (loadavg): 1.11 1.08 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 54759 12571 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 673.33
Current children cumulated vsize (Kb) 5356
[startup+930.09 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 55378 12704 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 680.85
Current children cumulated vsize (Kb) 5356
[startup+940.092 s]
Raw data (loadavg): 1.08 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 56015 12823 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 688.41
Current children cumulated vsize (Kb) 5356
[startup+950.093 s]
Raw data (loadavg): 1.06 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 56614 12959 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 695.76
Current children cumulated vsize (Kb) 5356
[startup+960.094 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 57268 13081 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 703.52
Current children cumulated vsize (Kb) 5356
[startup+970.095 s]
Raw data (loadavg): 1.12 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 57848 13221 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 710.72
Current children cumulated vsize (Kb) 5356
[startup+980.096 s]
Raw data (loadavg): 1.18 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 58495 13341 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 718.39
Current children cumulated vsize (Kb) 5356
[startup+990.097 s]
Raw data (loadavg): 1.15 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 59111 13474 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 725.88
Current children cumulated vsize (Kb) 5356
[startup+1000.1 s]
Raw data (loadavg): 1.13 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 59752 13596 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 733.51
Current children cumulated vsize (Kb) 5356
[startup+1010.1 s]
Raw data (loadavg): 1.11 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 60413 13715 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 741.31
Current children cumulated vsize (Kb) 5356
[startup+1020.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 60997 13859 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 748.59
Current children cumulated vsize (Kb) 5356
[startup+1030.1 s]
Raw data (loadavg): 1.15 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 61661 13972 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 756.36
Current children cumulated vsize (Kb) 5356
[startup+1040.1 s]
Raw data (loadavg): 1.13 1.09 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 62257 14109 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 763.69
Current children cumulated vsize (Kb) 5356
[startup+1050.1 s]
Raw data (loadavg): 1.11 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 62905 14230 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 771.38
Current children cumulated vsize (Kb) 5356
[startup+1060.1 s]
Raw data (loadavg): 1.09 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 63563 14351 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 779.17
Current children cumulated vsize (Kb) 5356
[startup+1070.1 s]
Raw data (loadavg): 1.08 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 64146 14487 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 786.36
Current children cumulated vsize (Kb) 5356
[startup+1080.1 s]
Raw data (loadavg): 1.06 1.08 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 64815 14599 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223248 134550688 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 794.17
Current children cumulated vsize (Kb) 5356
[startup+1090.11 s]
Raw data (loadavg): 1.05 1.07 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 65446 14724 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 801.73
Current children cumulated vsize (Kb) 5356
[startup+1100.11 s]
Raw data (loadavg): 1.04 1.07 1.01 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 66068 14856 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 809.27
Current children cumulated vsize (Kb) 5356
[startup+1110.11 s]
Raw data (loadavg): 1.12 1.09 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 66732 14967 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 817.02
Current children cumulated vsize (Kb) 5356
[startup+1120.11 s]
Raw data (loadavg): 1.10 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 550 0 0 0 67306 15109 0 0 15 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 824.18
Current children cumulated vsize (Kb) 5356
[startup+1130.11 s]
Raw data (loadavg): 1.16 1.10 1.02 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 550 0 0 0 67990 15221 0 0 16 0 1 0 1787755737 3305472 520 4294967295 134512640 134702520 3221223968 3221223228 134549068 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 807 520 413 48 0 759 0
[pid=15323] vsize: 3228
Current children cumulated CPU time (s) 832.14
Current children cumulated vsize (Kb) 5356
[startup+1140.11 s]
Raw data (loadavg): 1.13 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 68637 15339 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 839.79
Current children cumulated vsize (Kb) 5632
[startup+1150.11 s]
Raw data (loadavg): 1.18 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 69196 15493 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 846.92
Current children cumulated vsize (Kb) 5632
[startup+1160.11 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 69803 15625 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 854.31
Current children cumulated vsize (Kb) 5632
[startup+1170.11 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 70367 15772 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 861.42
Current children cumulated vsize (Kb) 5632
[startup+1180.11 s]
Raw data (loadavg): 1.11 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 70966 15906 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 868.75
Current children cumulated vsize (Kb) 5632
[startup+1190.11 s]
Raw data (loadavg): 1.09 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 71552 16044 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 875.99
Current children cumulated vsize (Kb) 5632
[startup+1200.11 s]
Raw data (loadavg): 1.08 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 72136 16184 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 883.23
Current children cumulated vsize (Kb) 5632
[startup+1210.12 s]
Raw data (loadavg): 1.07 1.08 1.01 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 72732 16323 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 890.58
Current children cumulated vsize (Kb) 5632
[startup+1220.12 s]
Raw data (loadavg): 1.14 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 73316 16461 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 897.8
Current children cumulated vsize (Kb) 5632
[startup+1230.12 s]
Raw data (loadavg): 1.19 1.11 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 73923 16597 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 905.23
Current children cumulated vsize (Kb) 5632
[startup+1240.12 s]
Raw data (loadavg): 1.16 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 74496 16737 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 912.36
Current children cumulated vsize (Kb) 5632
[startup+1250.12 s]
Raw data (loadavg): 1.13 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 75119 16867 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 919.89
Current children cumulated vsize (Kb) 5632
[startup+1260.12 s]
Raw data (loadavg): 1.19 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 75692 17021 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 927.16
Current children cumulated vsize (Kb) 5632
[startup+1270.12 s]
Raw data (loadavg): 1.16 1.11 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 76321 17147 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 934.71
Current children cumulated vsize (Kb) 5632
[startup+1280.12 s]
Raw data (loadavg): 1.22 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 76893 17293 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (Kb) 5632
[startup+1290.12 s]
Raw data (loadavg): 1.26 1.13 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 77518 17421 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 949.42
Current children cumulated vsize (Kb) 5632
[startup+1300.12 s]
Raw data (loadavg): 1.22 1.13 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 78093 17566 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (Kb) 5632
[startup+1310.12 s]
Raw data (loadavg): 1.19 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 78729 17690 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 964.22
Current children cumulated vsize (Kb) 5632
[startup+1320.13 s]
Raw data (loadavg): 1.16 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 79315 17829 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 971.47
Current children cumulated vsize (Kb) 5632
[startup+1330.13 s]
Raw data (loadavg): 1.13 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 79957 17952 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 979.12
Current children cumulated vsize (Kb) 5632
[startup+1340.13 s]
Raw data (loadavg): 1.11 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 80547 18092 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 986.42
Current children cumulated vsize (Kb) 5632
[startup+1350.13 s]
Raw data (loadavg): 1.10 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 81170 18222 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 993.95
Current children cumulated vsize (Kb) 5632
[startup+1360.13 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 81781 18361 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1001.45
Current children cumulated vsize (Kb) 5632
[startup+1370.13 s]
Raw data (loadavg): 1.07 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 82398 18487 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1008.88
Current children cumulated vsize (Kb) 5632
[startup+1380.13 s]
Raw data (loadavg): 1.06 1.10 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 83030 18615 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1016.48
Current children cumulated vsize (Kb) 5632
[startup+1390.13 s]
Raw data (loadavg): 1.05 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 83621 18753 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1023.77
Current children cumulated vsize (Kb) 5632
[startup+1400.13 s]
Raw data (loadavg): 1.12 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 84262 18873 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1031.38
Current children cumulated vsize (Kb) 5632
[startup+1410.14 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 84850 19014 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1038.67
Current children cumulated vsize (Kb) 5632
[startup+1420.14 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 85496 19134 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1046.33
Current children cumulated vsize (Kb) 5632
[startup+1430.14 s]
Raw data (loadavg): 1.07 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 86074 19279 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1053.56
Current children cumulated vsize (Kb) 5632
[startup+1440.14 s]
Raw data (loadavg): 1.06 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 86712 19402 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1061.17
Current children cumulated vsize (Kb) 5632
[startup+1450.14 s]
Raw data (loadavg): 1.05 1.09 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 87338 19531 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1068.72
Current children cumulated vsize (Kb) 5632
[startup+1460.14 s]
Raw data (loadavg): 1.04 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 87937 19666 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1076.06
Current children cumulated vsize (Kb) 5632
[startup+1470.14 s]
Raw data (loadavg): 1.04 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 88592 19781 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1083.76
Current children cumulated vsize (Kb) 5632
[startup+1480.14 s]
Raw data (loadavg): 1.03 1.08 1.02 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 89173 19932 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1091.08
Current children cumulated vsize (Kb) 5632
[startup+1490.14 s]
Raw data (loadavg): 1.18 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 89830 20050 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1098.83
Current children cumulated vsize (Kb) 5632
[startup+1500.14 s]
Raw data (loadavg): 1.15 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 90448 20183 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1106.34
Current children cumulated vsize (Kb) 5632
[startup+1510.15 s]
Raw data (loadavg): 1.20 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 91077 20311 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1113.91
Current children cumulated vsize (Kb) 5632
[startup+1520.15 s]
Raw data (loadavg): 1.17 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 91740 20425 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (Kb) 5632
[startup+1530.15 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 92327 20564 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1128.94
Current children cumulated vsize (Kb) 5632
[startup+1540.15 s]
Raw data (loadavg): 1.19 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 92985 20684 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1136.72
Current children cumulated vsize (Kb) 5632
[startup+1550.15 s]
Raw data (loadavg): 1.16 1.12 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 93614 20814 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1144.31
Current children cumulated vsize (Kb) 5632
[startup+1560.15 s]
Raw data (loadavg): 1.14 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 94224 20942 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1151.69
Current children cumulated vsize (Kb) 5632
[startup+1570.15 s]
Raw data (loadavg): 1.12 1.11 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 94894 21052 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1159.49
Current children cumulated vsize (Kb) 5632
[startup+1580.15 s]
Raw data (loadavg): 1.10 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 95475 21191 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1166.69
Current children cumulated vsize (Kb) 5632
[startup+1590.15 s]
Raw data (loadavg): 1.08 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 96133 21310 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1174.46
Current children cumulated vsize (Kb) 5632
[startup+1600.15 s]
Raw data (loadavg): 1.07 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 634 0 0 0 96781 21431 0 0 15 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1182.15
Current children cumulated vsize (Kb) 5632
[startup+1610.15 s]
Raw data (loadavg): 1.13 1.11 1.03 2/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) R 15320 15320 824 0 -1 0 634 0 0 0 97378 21567 0 0 16 0 1 0 1787755737 3588096 604 4294967295 134512640 134702520 3221223968 3221223248 134552277 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15323/statm): 876 604 413 48 0 828 0
[pid=15323] vsize: 3504
Current children cumulated CPU time (s) 1189.48
Current children cumulated vsize (Kb) 5632
[startup+1620.16 s]
Raw data (loadavg): 1.11 1.10 1.03 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 661 0 0 0 98112 21658 0 0 15 0 1 0 1787755737 3739648 631 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15323/statm): 913 631 413 48 0 865 0
[pid=15323] vsize: 3652
Current children cumulated CPU time (s) 1197.73
Current children cumulated vsize (Kb) 5780
[startup+1630.16 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 735 0 0 0 98878 21738 0 0 15 0 1 0 1787755737 4001792 705 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 977 705 413 48 0 929 0
[pid=15323] vsize: 3908
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 6036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1630.16 s]
Raw data (loadavg): 1.17 1.12 1.04 1/57 15323
Raw data (/proc/15320/stat): 15320 (vallstSAT2005PB) S 15319 15320 824 0 -1 0 330 232 0 0 1 1 0 1 23 0 1 0 1787755730 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15320/statm): 532 242 485 147 0 385 0
[pid=15320] vsize: 2128
Raw data (/proc/15323/stat): 15323 (vallst) T 15320 15320 824 0 -1 0 735 0 0 0 98878 21738 0 0 15 0 1 0 1787755737 4001792 705 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15323/statm): 977 705 413 48 0 929 0
[pid=15323] vsize: 3908
Current children cumulated CPU time (s) 1206.19
Current children cumulated vsize (Kb) 6036
Sending SIGTERM to -15320
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=15325
New process pid=15326
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
One traced child (pid=15323) exited with status: 3
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/15283/stat
open syscall for file /proc/15283/status
open syscall for file /proc/15283/cmdline
open syscall for file /proc/15283/environ
open syscall for file /proc/15319/stat
open syscall for file /proc/15319/status
open syscall for file /proc/15319/cmdline
open syscall for file /proc/15319/environ
open syscall for file /proc/15320/stat
open syscall for file /proc/15320/status
open syscall for file /proc/15320/cmdline
open syscall for file /proc/15320/environ
open syscall for file /proc/15325/stat
open syscall for file /proc/15325/status
open syscall for file /proc/15325/cmdline
open syscall for file /proc/15325/environ
open syscall for file /proc/15326/stat
open syscall for file /proc/15326/status
open syscall for file /proc/15326/cmdline
open syscall for file /proc/15326/environ
One traced child (pid=15325) exited with status: 0
One traced child (pid=15326) exited with status: 0
New process pid=15327
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=15327) exited with status: 0
New process pid=15328
execve syscall for /bin/nice 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 /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_out_theory.vnf
One traced child (pid=15328) exited with status: 0
New process pid=15329
execve syscall for /bin/cp executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libacl.so.1
open syscall for file tls/i686/libacl.so.1
open syscall for file tls/mmx/libacl.so.1
open syscall for file tls/libacl.so.1
open syscall for file i686/mmx/libacl.so.1
open syscall for file i686/libacl.so.1
open syscall for file mmx/libacl.so.1
open syscall for file libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/tls/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/i686/libacl.so.1
open syscall for file /oldhome/oroussel/lib/mmx/libacl.so.1
open syscall for file /oldhome/oroussel/lib/libacl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libacl.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/libattr.so.1
open syscall for file tls/i686/libattr.so.1
open syscall for file tls/mmx/libattr.so.1
open syscall for file tls/libattr.so.1
open syscall for file i686/mmx/libattr.so.1
open syscall for file i686/libattr.so.1
open syscall for file mmx/libattr.so.1
open syscall for file libattr.so.1
open syscall for file /oldhome/oroussel/lib/libattr.so.1
open syscall for file /lib/libattr.so.1
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /tmp/vallst_sh_changing_setting.options
One traced child (pid=15329) exited with status: 0
New process pid=15330
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=15330) exited with status: 0
One traced child (pid=15320) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1630.72
CPU time (s): 1206.35
CPU user time (s): 988.848
CPU system time (s): 217.501
CPU usage (%): 73.9766
Max. virtual memory (cumulated for all children) (Kb): 6036