1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 4 (#equs: 0)
#decisions: 52; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 85 (80)
#axs: 901, #non-axs: 10
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: 104 (95:>=*);
#decisions: 28; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 901, #non-axs: 10
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: 105 (94:>=*);
#decisions: 36; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 901, #non-axs: 11
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: 106 (93:>=*);
#decisions: 37; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 901, #non-axs: 12
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: 107 (92:>=*);
#decisions: 125; #end-nodes: 65;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 65 / 80 (80)
#axs: 901, #non-axs: 17
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: 108 (91:>=*);
#decisions: 1429; #end-nodes: 944;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 558 / 930 (81)
#axs: 901, #non-axs: 244
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: 109 (90:>=*);
#decisions: 705; #end-nodes: 439;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 340 / 467 (80)
#axs: 901, #non-axs: 283
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: 110 (89:>=*);
#decisions: 6859; #end-nodes: 4421;
#proof improvement attempts: 0; #restarts: 35
Current batch, end-nodes: 41 / 88 (88)
#axs: 904, #non-axs: 853
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: 111 (88:>=*);
#decisions: 43799; #end-nodes: 33901;
#proof improvement attempts: 0; #restarts: 217
Current batch, end-nodes: 85 / 134 (134)
#axs: 904, #non-axs: 1443
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: 112 (87:>=*);
#decisions: 87575; #end-nodes: 73327;
#proof improvement attempts: 0; #restarts: 398
Current batch, end-nodes: 143 / 179 (179)
#axs: 904, #non-axs: 1110
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 113 (86:>=*);
#decisions: 40; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 904, #non-axs: 1110
tight: meta-meta: start: 5, end: 7; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 114 (85:>=*);
#decisions: 935732; #end-nodes: 850846;
#proof improvement attempts: 0; #restarts: 1547
Current batch, end-nodes: 4395 / 6056 (466)
#axs: 904, #non-axs: 972
tight: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 9
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 115 (84:>=*);
#decisions: 264855; #end-nodes: 241723;
#proof improvement attempts: 0; #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 904, #non-axs: 534
tight: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 9
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 115 (84:>=*)
No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 64 (#equs: 3)
Time taken: 9 min, 58 sec
2:
seed: 0
Nr of vars set: 64 (#equs: 0)
Nr of vars set: 64 (#equs: 0)
#decisions: 291381; #end-nodes: 267475;
#proof improvement attempts: 0; #restarts: 515
Current batch, end-nodes: 5360 / 6822 (248)
#axs: 376, #non-axs: 338
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 9
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 196 (#equs: 0)
Time taken in seconds: 75
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.020s 0m0.020s
9m39.185s 1m34.748s
s UNSATISFIABLE
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) R 31536 31537 15400 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1787587728 712704 3 4294967295 134512640 135087896 3221224512 3221224512 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/31537/statm): 174 3 169 147 0 27 0
[pid=31537] 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=31538
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=31538) exited with status: 0
New process pid=31539
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=31539) exited with status: 0
New process pid=31540
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/wulflinc7/normalized-jnh201.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.99 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 357 0 0 0 538 149 0 0 18 0 1 0 1787587735 2457600 327 4294967295 134512640 134702520 3221223968 3221223352 134609932 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 600 327 413 48 0 552 0
[pid=31540] vsize: 2400
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (Kb) 4528
[startup+20.0041 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 388 0 0 0 1217 258 0 0 16 0 1 0 1787587735 2592768 358 4294967295 134512640 134702520 3221223968 3221223088 134572157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 633 358 413 48 0 585 0
[pid=31540] vsize: 2532
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (Kb) 4660
[startup+30.0057 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 400 0 0 0 1888 369 0 0 16 0 1 0 1787587735 2736128 370 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 370 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 22.59
Current children cumulated vsize (Kb) 4800
[startup+40.0064 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 400 0 0 0 2570 476 0 0 16 0 1 0 1787587735 2736128 370 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 370 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 30.48
Current children cumulated vsize (Kb) 4800
[startup+50.007 s]
Raw data (loadavg): 1.07 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 406 0 0 0 3252 582 0 0 16 0 1 0 1787587735 2736128 376 4294967295 134512640 134702520 3221223968 3221222736 134553451 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 376 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 38.36
Current children cumulated vsize (Kb) 4800
[startup+60.0076 s]
Raw data (loadavg): 1.06 1.01 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 409 0 0 0 3966 683 0 0 16 0 1 0 1787587735 2736128 379 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 379 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 46.51
Current children cumulated vsize (Kb) 4800
[startup+70.0083 s]
Raw data (loadavg): 1.05 1.01 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 420 0 0 0 4693 779 0 0 16 0 1 0 1787587735 2736128 390 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 390 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 54.74
Current children cumulated vsize (Kb) 4800
[startup+80.0099 s]
Raw data (loadavg): 1.04 1.01 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 422 0 0 0 5376 892 0 0 16 0 1 0 1787587735 2736128 392 4294967295 134512640 134702520 3221223968 3221222736 134552426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 392 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 62.7
Current children cumulated vsize (Kb) 4800
[startup+90.0105 s]
Raw data (loadavg): 1.04 1.01 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 424 0 0 0 6075 992 0 0 16 0 1 0 1787587735 2736128 394 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 668 394 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 70.69
Current children cumulated vsize (Kb) 4800
[startup+100.011 s]
Raw data (loadavg): 1.03 1.01 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 426 0 0 0 6761 1103 0 0 16 0 1 0 1787587735 2736128 396 4294967295 134512640 134702520 3221223968 3221222736 134557201 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 396 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 78.66
Current children cumulated vsize (Kb) 4800
[startup+110.012 s]
Raw data (loadavg): 1.02 1.01 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 426 0 0 0 7468 1207 0 0 16 0 1 0 1787587735 2736128 396 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 668 396 413 48 0 620 0
[pid=31540] vsize: 2672
Current children cumulated CPU time (s) 86.77
Current children cumulated vsize (Kb) 4800
[startup+120.013 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 439 0 0 0 8196 1299 0 0 16 0 1 0 1787587735 2871296 409 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 409 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 94.97
Current children cumulated vsize (Kb) 4932
[startup+130.015 s]
Raw data (loadavg): 1.08 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 439 0 0 0 8879 1411 0 0 16 0 1 0 1787587735 2871296 409 4294967295 134512640 134702520 3221223968 3221222608 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 409 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 102.92
Current children cumulated vsize (Kb) 4932
[startup+140.016 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 439 0 0 0 9597 1509 0 0 16 0 1 0 1787587735 2871296 409 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 409 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 111.08
Current children cumulated vsize (Kb) 4932
[startup+150.016 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 454 0 0 0 10281 1620 0 0 16 0 1 0 1787587735 2871296 424 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 424 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 119.03
Current children cumulated vsize (Kb) 4932
[startup+160.017 s]
Raw data (loadavg): 1.05 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 454 0 0 0 10974 1723 0 0 16 0 1 0 1787587735 2871296 424 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 424 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 126.99
Current children cumulated vsize (Kb) 4932
[startup+170.018 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 454 0 0 0 11651 1836 0 0 16 0 1 0 1787587735 2871296 424 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 424 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 134.89
Current children cumulated vsize (Kb) 4932
[startup+180.018 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 455 0 0 0 12336 1945 0 0 16 0 1 0 1787587735 2871296 425 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 425 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 142.83
Current children cumulated vsize (Kb) 4932
[startup+190.02 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 455 0 0 0 12999 2061 0 0 16 0 1 0 1787587735 2871296 425 4294967295 134512640 134702520 3221223968 3221222736 134553147 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 425 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 150.62
Current children cumulated vsize (Kb) 4932
[startup+200.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 455 0 0 0 13646 2177 0 0 16 0 1 0 1787587735 2871296 425 4294967295 134512640 134702520 3221223968 3221223248 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 425 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 158.25
Current children cumulated vsize (Kb) 4932
[startup+210.02 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 456 0 0 0 14293 2303 0 0 16 0 1 0 1787587735 2871296 426 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 426 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 165.98
Current children cumulated vsize (Kb) 4932
[startup+220.021 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 456 0 0 0 14963 2417 0 0 16 0 1 0 1787587735 2871296 426 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 426 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 173.82
Current children cumulated vsize (Kb) 4932
[startup+230.021 s]
Raw data (loadavg): 1.09 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 463 0 0 0 15649 2529 0 0 16 0 1 0 1787587735 2871296 433 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 433 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 181.8
Current children cumulated vsize (Kb) 4932
[startup+240.022 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 463 0 0 0 16324 2640 0 0 16 0 1 0 1787587735 2871296 433 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 433 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 189.66
Current children cumulated vsize (Kb) 4932
[startup+250.023 s]
Raw data (loadavg): 1.06 1.03 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 463 0 0 0 17039 2736 0 0 16 0 1 0 1787587735 2871296 433 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 701 433 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 197.77
Current children cumulated vsize (Kb) 4932
[startup+260.024 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 463 0 0 0 17683 2856 0 0 16 0 1 0 1787587735 2871296 433 4294967295 134512640 134702520 3221223968 3221223248 134552569 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 433 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 205.41
Current children cumulated vsize (Kb) 4932
[startup+270.025 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 463 0 0 0 18401 2957 0 0 15 0 1 0 1787587735 2871296 433 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 701 433 413 48 0 653 0
[pid=31540] vsize: 2804
Current children cumulated CPU time (s) 213.6
Current children cumulated vsize (Kb) 4932
[startup+280.026 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 468 0 0 0 19062 3071 0 0 15 0 1 0 1787587735 3002368 438 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 733 438 413 48 0 685 0
[pid=31540] vsize: 2932
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (Kb) 5060
[startup+290.027 s]
Raw data (loadavg): 1.03 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 468 0 0 0 19745 3184 0 0 16 0 1 0 1787587735 3002368 438 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 733 438 413 48 0 685 0
[pid=31540] vsize: 2932
Current children cumulated CPU time (s) 229.31
Current children cumulated vsize (Kb) 5060
[startup+300.028 s]
Raw data (loadavg): 1.02 1.02 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 484 0 0 0 20486 3273 0 0 16 0 1 0 1787587735 3002368 454 4294967295 134512640 134702520 3221223968 3221223088 134584563 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 733 454 413 48 0 685 0
[pid=31540] vsize: 2932
Current children cumulated CPU time (s) 237.61
Current children cumulated vsize (Kb) 5060
[startup+310.029 s]
Raw data (loadavg): 1.02 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 485 0 0 0 21129 3393 0 0 15 0 1 0 1787587735 3002368 455 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 733 455 413 48 0 685 0
[pid=31540] vsize: 2932
Current children cumulated CPU time (s) 245.24
Current children cumulated vsize (Kb) 5060
[startup+320.029 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 487 0 0 0 21876 3485 0 0 16 0 1 0 1787587735 3002368 457 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 733 457 413 48 0 685 0
[pid=31540] vsize: 2932
Current children cumulated CPU time (s) 253.63
Current children cumulated vsize (Kb) 5060
[startup+330.031 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 497 0 0 0 22634 3570 0 0 16 0 1 0 1787587735 3137536 467 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 766 467 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 262.06
Current children cumulated vsize (Kb) 5192
[startup+340.031 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 499 0 0 0 23271 3692 0 0 15 0 1 0 1787587735 3137536 469 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 469 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 269.65
Current children cumulated vsize (Kb) 5192
[startup+350.032 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 503 0 0 0 23974 3793 0 0 16 0 1 0 1787587735 3137536 473 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 473 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 277.69
Current children cumulated vsize (Kb) 5192
[startup+360.034 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 507 0 0 0 24630 3912 0 0 16 0 1 0 1787587735 3137536 477 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 766 477 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 285.44
Current children cumulated vsize (Kb) 5192
[startup+370.033 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 509 0 0 0 25317 4019 0 0 16 0 1 0 1787587735 3137536 479 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 479 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 293.38
Current children cumulated vsize (Kb) 5192
[startup+380.034 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 513 0 0 0 26035 4118 0 0 16 0 1 0 1787587735 3137536 483 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 483 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 301.55
Current children cumulated vsize (Kb) 5192
[startup+390.035 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 516 0 0 0 26674 4242 0 0 16 0 1 0 1787587735 3137536 486 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 486 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 309.18
Current children cumulated vsize (Kb) 5192
[startup+400.035 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 518 0 0 0 27375 4347 0 0 16 0 1 0 1787587735 3137536 488 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 488 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 317.24
Current children cumulated vsize (Kb) 5192
[startup+410.036 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 522 0 0 0 28117 4436 0 0 16 0 1 0 1787587735 3137536 492 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 492 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 325.55
Current children cumulated vsize (Kb) 5192
[startup+420.036 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 525 0 0 0 28803 4547 0 0 16 0 1 0 1787587735 3137536 495 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 495 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 333.52
Current children cumulated vsize (Kb) 5192
[startup+430.038 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 526 0 0 0 29472 4663 0 0 16 0 1 0 1787587735 3137536 496 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 766 496 413 48 0 718 0
[pid=31540] vsize: 3064
Current children cumulated CPU time (s) 341.37
Current children cumulated vsize (Kb) 5192
[startup+440.039 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 532 0 0 0 30190 4757 0 0 16 0 1 0 1787587735 3272704 502 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 502 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 349.49
Current children cumulated vsize (Kb) 5324
[startup+450.039 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 534 0 0 0 30846 4876 0 0 16 0 1 0 1787587735 3272704 504 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 799 504 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 357.24
Current children cumulated vsize (Kb) 5324
[startup+460.04 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 538 0 0 0 31560 4974 0 0 16 0 1 0 1787587735 3272704 508 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 508 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 365.36
Current children cumulated vsize (Kb) 5324
[startup+470.041 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 545 0 0 0 32289 5068 0 0 15 0 1 0 1787587735 3272704 515 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 799 515 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 373.59
Current children cumulated vsize (Kb) 5324
[startup+480.042 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 549 0 0 0 32983 5175 0 0 16 0 1 0 1787587735 3272704 519 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 799 519 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 381.6
Current children cumulated vsize (Kb) 5324
[startup+490.043 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 551 0 0 0 33698 5270 0 0 16 0 1 0 1787587735 3272704 521 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 521 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 389.7
Current children cumulated vsize (Kb) 5324
[startup+500.042 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 554 0 0 0 34446 5354 0 0 16 0 1 0 1787587735 3272704 524 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 524 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 398.02
Current children cumulated vsize (Kb) 5324
[startup+510.043 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 559 0 0 0 35194 5443 0 0 16 0 1 0 1787587735 3272704 529 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 529 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 406.39
Current children cumulated vsize (Kb) 5324
[startup+520.044 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 559 0 0 0 35847 5565 0 0 16 0 1 0 1787587735 3272704 529 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 799 529 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 414.14
Current children cumulated vsize (Kb) 5324
[startup+530.045 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 561 0 0 0 36577 5660 0 0 16 0 1 0 1787587735 3272704 531 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 799 531 413 48 0 751 0
[pid=31540] vsize: 3196
Current children cumulated CPU time (s) 422.39
Current children cumulated vsize (Kb) 5324
[startup+540.046 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 566 0 0 0 37335 5744 0 0 16 0 1 0 1787587735 3407872 536 4294967295 134512640 134702520 3221223968 3221223088 134572664 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 832 536 413 48 0 784 0
[pid=31540] vsize: 3328
Current children cumulated CPU time (s) 430.81
Current children cumulated vsize (Kb) 5456
[startup+550.047 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 572 0 0 0 38071 5833 0 0 16 0 1 0 1787587735 3407872 542 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 832 542 413 48 0 784 0
[pid=31540] vsize: 3328
Current children cumulated CPU time (s) 439.06
Current children cumulated vsize (Kb) 5456
[startup+560.048 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 572 0 0 0 38709 5962 0 0 16 0 1 0 1787587735 3407872 542 4294967295 134512640 134702520 3221223968 3221223248 134552871 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 832 542 413 48 0 784 0
[pid=31540] vsize: 3328
Current children cumulated CPU time (s) 446.73
Current children cumulated vsize (Kb) 5456
[startup+570.049 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 577 0 0 0 39451 6050 0 0 16 0 1 0 1787587735 3411968 547 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 547 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 455.03
Current children cumulated vsize (Kb) 5460
[startup+580.051 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 579 0 0 0 40201 6139 0 0 16 0 1 0 1787587735 3411968 549 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 549 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 463.42
Current children cumulated vsize (Kb) 5460
[startup+590.051 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) R 31537 31537 15400 0 -1 0 579 0 0 0 40851 6259 0 0 16 0 1 0 1787587735 3411968 549 4294967295 134512640 134702520 3221223968 3221222736 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 549 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 471.12
Current children cumulated vsize (Kb) 5460
[startup+600.052 s]
Raw data (loadavg): 1.04 1.04 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 41547 6364 0 0 15 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 479.13
Current children cumulated vsize (Kb) 5460
[startup+610.052 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 42174 6493 0 0 16 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 486.69
Current children cumulated vsize (Kb) 5460
[startup+620.053 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 42813 6620 0 0 16 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 494.35
Current children cumulated vsize (Kb) 5460
[startup+630.055 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 43445 6749 0 0 16 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 501.96
Current children cumulated vsize (Kb) 5460
[startup+640.055 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 44111 6866 0 0 16 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 509.79
Current children cumulated vsize (Kb) 5460
[startup+650.056 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 44752 6989 0 0 16 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 517.43
Current children cumulated vsize (Kb) 5460
[startup+660.057 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 582 0 0 0 45395 7113 0 0 15 0 1 0 1787587735 3411968 552 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 552 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 525.1
Current children cumulated vsize (Kb) 5460
[startup+670.057 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 583 0 0 0 46054 7227 0 0 16 0 1 0 1787587735 3411968 553 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 553 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 532.83
Current children cumulated vsize (Kb) 5460
[startup+680.059 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 583 0 0 0 46708 7346 0 0 16 0 1 0 1787587735 3411968 553 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 553 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 540.56
Current children cumulated vsize (Kb) 5460
[startup+690.059 s]
Raw data (loadavg): 1.09 1.04 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 583 0 0 0 47402 7450 0 0 16 0 1 0 1787587735 3411968 553 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 553 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 548.54
Current children cumulated vsize (Kb) 5460
[startup+700.06 s]
Raw data (loadavg): 1.15 1.05 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 584 0 0 0 48099 7557 0 0 15 0 1 0 1787587735 3411968 554 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 554 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 556.58
Current children cumulated vsize (Kb) 5460
[startup+710.061 s]
Raw data (loadavg): 1.13 1.05 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 584 0 0 0 48745 7680 0 0 16 0 1 0 1787587735 3411968 554 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 554 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 564.27
Current children cumulated vsize (Kb) 5460
[startup+720.061 s]
Raw data (loadavg): 1.18 1.07 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 585 0 0 0 49463 7777 0 0 16 0 1 0 1787587735 3411968 555 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 555 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 572.42
Current children cumulated vsize (Kb) 5460
[startup+730.063 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 585 0 0 0 50103 7905 0 0 16 0 1 0 1787587735 3411968 555 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 555 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 580.1
Current children cumulated vsize (Kb) 5460
[startup+740.064 s]
Raw data (loadavg): 1.13 1.06 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 585 0 0 0 50833 7998 0 0 16 0 1 0 1787587735 3411968 555 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31540/statm): 833 555 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 588.33
Current children cumulated vsize (Kb) 5460
[startup+750.064 s]
Raw data (loadavg): 1.11 1.06 1.01 1/57 31540
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 330 232 0 0 1 1 0 0 23 0 1 0 1787587728 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 242 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31540/stat): 31540 (vallst) T 31537 31537 15400 0 -1 0 587 0 0 0 51505 8113 0 0 16 0 1 0 1787587735 3411968 557 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31540/statm): 833 557 413 48 0 785 0
[pid=31540] vsize: 3332
Current children cumulated CPU time (s) 596.2
Current children cumulated vsize (Kb) 5460
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31540) exited with status: 2
New process pid=31541
execve syscall for /usr/bin/head executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=31541) exited with status: 0
New process pid=31542
execve syscall for /oldhome/oroussel/solvers/vallst_0.9.258/vallst executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh.model
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
[startup+760.065 s]
Raw data (loadavg): 1.09 1.06 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 259 0 0 0 350 96 0 0 18 0 1 0 1787663105 2486272 230 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 607 230 413 48 0 559 0
[pid=31542] vsize: 2428
Current children cumulated CPU time (s) 603.26
Current children cumulated vsize (Kb) 4556
[startup+770.066 s]
Raw data (loadavg): 1.08 1.05 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 357 0 0 0 919 242 0 0 16 0 1 0 1787663105 2621440 328 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31542/statm): 640 328 413 48 0 592 0
[pid=31542] vsize: 2560
Current children cumulated CPU time (s) 610.41
Current children cumulated vsize (Kb) 4688
[startup+780.067 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 377 0 0 0 1523 379 0 0 15 0 1 0 1787663105 2625536 348 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 641 348 413 48 0 593 0
[pid=31542] vsize: 2564
Current children cumulated CPU time (s) 617.82
Current children cumulated vsize (Kb) 4692
[startup+790.068 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 393 0 0 0 2097 518 0 0 16 0 1 0 1787663105 2760704 364 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 674 364 413 48 0 626 0
[pid=31542] vsize: 2696
Current children cumulated CPU time (s) 624.95
Current children cumulated vsize (Kb) 4824
[startup+800.068 s]
Raw data (loadavg): 1.05 1.05 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 402 0 0 0 2669 662 0 0 16 0 1 0 1787663105 2760704 373 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31542/statm): 674 373 413 48 0 626 0
[pid=31542] vsize: 2696
Current children cumulated CPU time (s) 632.11
Current children cumulated vsize (Kb) 4824
[startup+810.069 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 421 0 0 0 3296 791 0 0 15 0 1 0 1787663105 2760704 392 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 674 392 413 48 0 626 0
[pid=31542] vsize: 2696
Current children cumulated CPU time (s) 639.67
Current children cumulated vsize (Kb) 4824
[startup+820.07 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) R 31537 31537 15400 0 -1 0 430 0 0 0 3896 918 0 0 16 0 1 0 1787663105 2895872 401 4294967295 134512640 134702520 3221223712 3221222992 134550711 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/31542/statm): 707 401 413 48 0 659 0
[pid=31542] vsize: 2828
Current children cumulated CPU time (s) 646.94
Current children cumulated vsize (Kb) 4956
[startup+830.071 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 453 0 0 0 4572 1028 0 0 16 0 1 0 1787663105 2895872 424 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/31542/statm): 707 424 413 48 0 659 0
[pid=31542] vsize: 2828
Current children cumulated CPU time (s) 654.8
Current children cumulated vsize (Kb) 4956
[startup+840.072 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 463 0 0 0 5203 1151 0 0 16 0 1 0 1787663105 3031040 434 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 740 434 413 48 0 692 0
[pid=31542] vsize: 2960
Current children cumulated CPU time (s) 662.34
Current children cumulated vsize (Kb) 5088
[startup+850.073 s]
Raw data (loadavg): 1.22 1.09 1.02 1/57 31542
Raw data (/proc/31537/stat): 31537 (vallstSAT2005PB) S 31536 31537 15400 0 -1 0 378 962 0 0 1 1 51714 8164 17 0 1 0 1787587728 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/31537/statm): 532 248 485 147 0 385 0
[pid=31537] vsize: 2128
Raw data (/proc/31542/stat): 31542 (vallst) T 31537 31537 15400 0 -1 0 492 0 0 0 5882 1263 0 0 16 0 1 0 1787663105 3035136 463 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/31542/statm): 741 463 413 48 0 693 0
[pid=31542] vsize: 2964
Current children cumulated CPU time (s) 670.25
Current children cumulated vsize (Kb) 5092
One traced child (pid=31542) exited with status: 0
New process pid=31543
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-jnh201.opb
One traced child (pid=31543) exited with status: 0
New process pid=31544
One traced child (pid=31544) exited with status: 127
New process pid=31545
New process pid=31546
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/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/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/1669/stat
open syscall for file /proc/1669/status
open syscall for file /proc/1669/cmdline
open syscall for file /proc/1669/environ
open syscall for file /proc/1671/stat
open syscall for file /proc/1671/status
open syscall for file /proc/1671/cmdline
open syscall for file /proc/1671/environ
open syscall for file /proc/12490/stat
open syscall for file /proc/12490/status
open syscall for file /proc/12490/cmdline
open syscall for file /proc/12490/environ
open syscall for file /proc/11855/stat
open syscall for file /proc/11855/status
open syscall for file /proc/11855/cmdline
open syscall for file /proc/11855/environ
open syscall for file /proc/11882/stat
open syscall for file /proc/11882/status
open syscall for file /proc/11882/cmdline
open syscall for file /proc/11882/environ
open syscall for file /proc/11906/stat
open syscall for file /proc/11906/status
open syscall for file /proc/11906/cmdline
open syscall for file /proc/11906/environ
open syscall for file /proc/19869/stat
open syscall for file /proc/19869/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/19869/cmdline
open syscall for file /proc/19869/environ
open syscall for file /proc/19904/stat
open syscall for file /proc/19904/status
open syscall for file /proc/19904/cmdline
open syscall for file /proc/19904/environ
open syscall for file /proc/15400/stat
open syscall for file /proc/15400/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/15400/cmdline
open syscall for file /proc/15400/environ
open syscall for file /proc/15401/stat
open syscall for file /proc/15401/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/15401/cmdline
open syscall for file /proc/15401/environ
open syscall for file /proc/15410/stat
open syscall for file /proc/15410/status
open syscall for file /proc/15410/cmdline
open syscall for file /proc/15410/environ
open syscall for file /proc/31500/stat
open syscall for file /proc/31500/status
open syscall for file /proc/31500/cmdline
open syscall for file /proc/31500/environ
open syscall for file /proc/31536/stat
open syscall for file /proc/31536/status
open syscall for file /proc/31536/cmdline
open syscall for file /proc/31536/environ
open syscall for file /proc/31537/stat
open syscall for file /proc/31537/status
open syscall for file /proc/31537/cmdline
open syscall for file /proc/31537/environ
open syscall for file /proc/31545/stat
open syscall for file /proc/31545/status
open syscall for file /proc/31545/cmdline
open syscall for file /proc/31545/environ
open syscall for file /proc/31546/stat
open syscall for file /proc/31546/status
open syscall for file /proc/31546/cmdline
open syscall for file /proc/31546/environ
One traced child (pid=31545) exited with status: 0
One traced child (pid=31546) exited with status: 0
New process pid=31547
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=31547) exited with status: 0
New process pid=31548
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=31548) exited with status: 0
One traced child (pid=31537) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 855.135
CPU time (s): 674.058
CPU user time (s): 579.236
CPU system time (s): 94.8216
CPU usage (%): 78.8247
Max. virtual memory (cumulated for all children) (Kb): 5460