1:
seed: 0
Nr of vars set: 13 (#equs: 0)
Nr of vars set: 30 (#equs: 25)
#decisions: 10678; #end-nodes: 966;
#proof improvement attempts: 0; #restarts: 10
Current batch, end-nodes: 66 / 83 (82)
#axs: 1847, #non-axs: 285
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: 1073639422 (151552:>=*);
#decisions: 1847; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1847, #non-axs: 285
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: 1073640446 (150528:>=*);
#decisions: 12817; #end-nodes: 1230;
#proof improvement attempts: 0; #restarts: 13
Current batch, end-nodes: 4 / 84 (83)
#axs: 1847, #non-axs: 718
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: 1073641470 (149504:>=*);
#decisions: 4653; #end-nodes: 61;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 61 / 80 (80)
#axs: 1847, #non-axs: 718
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: 1073642494 (148480:>=*);
#decisions: 3726; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 1847, #non-axs: 718
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: 1073643518 (147456:>=*);
#decisions: 23758; #end-nodes: 1648;
#proof improvement attempts: 0; #restarts: 17
Current batch, end-nodes: 51 / 85 (84)
#axs: 1858, #non-axs: 1229
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: 1073644542 (146432:>=*);
#decisions: 5829; #end-nodes: 51;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 1858, #non-axs: 1229
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: 1073645566 (145408:>=*);
#decisions: 5200; #end-nodes: 40;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 40 / 80 (80)
#axs: 1858, #non-axs: 1229
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: 1073646590 (144384:>=*);
#decisions: 3551; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 1858, #non-axs: 1229
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: 1073647614 (143360:>=*);
#decisions: 411982; #end-nodes: 52750;
#proof improvement attempts: 0; #restarts: 384
Current batch, end-nodes: 0 / 179 (175)
#axs: 1880, #non-axs: 5508
tight: meta-meta: start: 5, end: 7; meta: start: 11, end (keep): 20
loose: meta-meta: start: 8, end: 12; meta: start: 28, end (keep): 46
Model found with constant:
(pushed:) 1073647614 (143360:>=*)
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: 30 (#equs: 58)
Time taken: 5 min, 22 sec
2:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 33)
#decisions: 312781; #end-nodes: 44416;
#proof improvement attempts: 0; #restarts: 261
Current batch, end-nodes: 82 / 188 (185)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12; meta: start: 28, end (keep): 46
result: model found (1)
Model found with constant: 9215 (39936:>=*);
#decisions: 1897; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 120 (120)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12; meta: start: 28, end (keep): 46
Model found with constant: 10239 (38912:>=*);
#decisions: 2117; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 120 (120)
#axs: 1884, #non-axs: 8354
tight: meta-meta: start: 4, end: 5; meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12; meta: start: 28, end (keep): 46
Model found with constant: 11263 (37888:>=*);
#decisions: 97472; #end-nodes: 14250;
#proof improvement attempts: 0; #restarts: 96
Current batch, end-nodes: 0 / 148 (143)
#axs: 1886, #non-axs: 2864
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 9
loose: meta-meta: start: 8, end: 12; meta: start: 28, end (keep): 46
Model found with constant:
(pushed:) 11263 (37888:>=*)
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: 30 (#equs: 66)
Time taken: 5 min, 56 sec
3:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 24)
#decisions: 380017; #end-nodes: 62269;
#proof improvement attempts: 0; #restarts: 288
Current batch, end-nodes: 0 / 256 (231)
#axs: 1882, #non-axs: 4792
tight: meta-meta: start: 3, end: 4; meta: start: 6, end (keep): 9
loose: meta-meta: start: 7, end: 11; meta: start: 25, end (keep): 39
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 30 (#equs: 62)
Time taken: 5 min, 52 sec
4:
seed: 0
Nr of vars set: 30 (#equs: 0)
Nr of vars set: 30 (#equs: 38)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 30 (#equs: 38)
Time taken: 2 min, 50 sec
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/4546/stat): 4546 (vallstSAT2005PB) R 4545 4546 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 19612943 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4546/statm): 174 3 169 147 0 27 0
[pid=4546] 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=4547
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=4547) exited with status: 0
New process pid=4548
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=4548) exited with status: 0
New process pid=4549
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/wulflinc11/normalized-mps-v2-20-10-berlin_5_8_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0066 s]
Raw data (loadavg): 0.93 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 863 0 0 0 924 25 0 0 25 0 1 0 19612950 4861952 775 4294967295 134512640 134702520 3221223952 3221223320 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 1187 775 413 48 0 1139 0
[pid=4549] vsize: 4748
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (Kb) 6876
[startup+20.0074 s]
Raw data (loadavg): 0.94 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 898 0 0 0 1875 41 0 0 25 0 1 0 19612950 8261632 810 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2017 810 413 48 0 1969 0
[pid=4549] vsize: 8068
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (Kb) 10196
[startup+30.0632 s]
Raw data (loadavg): 0.95 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 934 0 0 0 2716 90 0 0 25 0 1 0 19612950 8265728 846 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2018 846 413 48 0 1970 0
[pid=4549] vsize: 8072
Current children cumulated CPU time (s) 28.09
Current children cumulated vsize (Kb) 10200
[startup+40.065 s]
Raw data (loadavg): 0.96 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 943 0 0 0 3542 143 0 0 23 0 1 0 19612950 8372224 855 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2044 855 413 48 0 1996 0
[pid=4549] vsize: 8176
Current children cumulated CPU time (s) 36.88
Current children cumulated vsize (Kb) 10304
[startup+50.0658 s]
Raw data (loadavg): 0.96 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 956 0 0 0 4431 178 0 0 25 0 1 0 19612950 8372224 868 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2044 868 413 48 0 1996 0
[pid=4549] vsize: 8176
Current children cumulated CPU time (s) 46.12
Current children cumulated vsize (Kb) 10304
[startup+60.0666 s]
Raw data (loadavg): 0.97 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 978 0 0 0 5319 215 0 0 25 0 1 0 19612950 8470528 890 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 890 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 55.37
Current children cumulated vsize (Kb) 10400
[startup+70.0674 s]
Raw data (loadavg): 0.97 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 990 0 0 0 6219 245 0 0 25 0 1 0 19612950 8470528 902 4294967295 134512640 134702520 3221223952 3221223232 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 902 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 64.67
Current children cumulated vsize (Kb) 10400
[startup+80.0681 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1007 0 0 0 7082 290 0 0 22 0 1 0 19612950 8470528 919 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 919 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 73.75
Current children cumulated vsize (Kb) 10400
[startup+90.0689 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1019 0 0 0 7973 325 0 0 25 0 1 0 19612950 8470528 931 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 931 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 83.01
Current children cumulated vsize (Kb) 10400
[startup+100.07 s]
Raw data (loadavg): 0.98 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1020 0 0 0 8943 335 0 0 25 0 1 0 19612950 8470528 932 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 932 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 92.81
Current children cumulated vsize (Kb) 10400
[startup+110.07 s]
Raw data (loadavg): 0.98 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1023 0 0 0 9871 360 0 0 25 0 1 0 19612950 8470528 935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 935 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (Kb) 10400
[startup+120.071 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1025 0 0 0 10761 396 0 0 25 0 1 0 19612950 8470528 937 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2068 937 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 111.6
Current children cumulated vsize (Kb) 10400
[startup+130.071 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1025 0 0 0 11634 435 0 0 20 0 1 0 19612950 8470528 937 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2068 937 413 48 0 2020 0
[pid=4549] vsize: 8272
Current children cumulated CPU time (s) 120.72
Current children cumulated vsize (Kb) 10400
[startup+140.072 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1027 0 0 0 12518 475 0 0 19 0 1 0 19612950 8548352 939 4294967295 134512640 134702520 3221223952 3221222848 134553342 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2087 939 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 10476
[startup+150.073 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1034 0 0 0 13434 503 0 0 25 0 1 0 19612950 8548352 946 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 946 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (Kb) 10476
[startup+160.074 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1043 0 0 0 14325 540 0 0 25 0 1 0 19612950 8548352 955 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 955 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 148.68
Current children cumulated vsize (Kb) 10476
[startup+170.075 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1044 0 0 0 15261 563 0 0 25 0 1 0 19612950 8548352 956 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 956 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 158.27
Current children cumulated vsize (Kb) 10476
[startup+180.075 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1044 0 0 0 16209 580 0 0 25 0 1 0 19612950 8548352 956 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 956 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 167.92
Current children cumulated vsize (Kb) 10476
[startup+190.076 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1046 0 0 0 17106 615 0 0 24 0 1 0 19612950 8548352 958 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2087 958 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (Kb) 10476
[startup+200.077 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1050 0 0 0 17997 650 0 0 25 0 1 0 19612950 8548352 962 4294967295 134512640 134702520 3221223952 3221223232 134552329 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 962 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 186.5
Current children cumulated vsize (Kb) 10476
[startup+210.077 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1055 0 0 0 18886 688 0 0 25 0 1 0 19612950 8548352 967 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 967 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 195.77
Current children cumulated vsize (Kb) 10476
[startup+220.078 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1057 0 0 0 19780 724 0 0 25 0 1 0 19612950 8548352 969 4294967295 134512640 134702520 3221223952 3221223232 134552900 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 969 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 205.07
Current children cumulated vsize (Kb) 10476
[startup+230.078 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1082 0 0 0 20679 756 0 0 22 0 1 0 19612950 8548352 994 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 994 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 214.38
Current children cumulated vsize (Kb) 10476
[startup+240.079 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1088 0 0 0 21592 782 0 0 25 0 1 0 19612950 8548352 1000 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2087 1000 413 48 0 2039 0
[pid=4549] vsize: 8348
Current children cumulated CPU time (s) 223.77
Current children cumulated vsize (Kb) 10476
[startup+250.08 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1093 0 0 0 22521 807 0 0 25 0 1 0 19612950 8712192 1005 4294967295 134512640 134702520 3221223952 3221222848 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2127 1005 413 48 0 2079 0
[pid=4549] vsize: 8508
Current children cumulated CPU time (s) 233.31
Current children cumulated vsize (Kb) 10636
[startup+260.081 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1093 0 0 0 23473 823 0 0 25 0 1 0 19612950 8638464 1005 4294967295 134512640 134702520 3221223952 3221223232 134552560 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1005 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 242.99
Current children cumulated vsize (Kb) 10564
[startup+270.082 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 24352 864 0 0 25 0 1 0 19612950 8638464 1012 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1012 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 252.19
Current children cumulated vsize (Kb) 10564
[startup+280.083 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 25243 898 0 0 25 0 1 0 19612950 8638464 1012 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2109 1012 413 48 0 2061 0
[pid=4549] vsize: 8436
Current children cumulated CPU time (s) 261.44
Current children cumulated vsize (Kb) 10564
[startup+290.084 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1123 0 0 0 26139 934 0 0 25 0 1 0 19612950 9068544 1035 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2214 1035 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 270.76
Current children cumulated vsize (Kb) 10984
[startup+300.084 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1178 0 0 0 27037 966 0 0 20 0 1 0 19612950 9068544 1090 4294967295 134512640 134702520 3221223952 3221222848 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2214 1090 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (Kb) 10984
[startup+310.085 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1205 0 0 0 27956 993 0 0 25 0 1 0 19612950 9068544 1117 4294967295 134512640 134702520 3221223952 3221223232 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2214 1117 413 48 0 2166 0
[pid=4549] vsize: 8856
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 10984
[startup+320.086 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1233 0 0 0 28854 1027 0 0 25 0 1 0 19612950 9211904 1145 4294967295 134512640 134702520 3221223952 3221223232 134553029 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2249 1145 413 48 0 2201 0
[pid=4549] vsize: 8996
Current children cumulated CPU time (s) 298.84
Current children cumulated vsize (Kb) 11124
[startup+330.087 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) T 4546 4546 4060 0 -1 0 1279 0 0 0 29758 1061 0 0 25 0 1 0 19612950 9641984 1191 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4549/statm): 2354 1191 413 48 0 2306 0
[pid=4549] vsize: 9416
Current children cumulated CPU time (s) 308.22
Current children cumulated vsize (Kb) 11544
[startup+340.088 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4549
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 330 232 0 0 1 1 0 1 22 0 1 0 19612943 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 242 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4549/stat): 4549 (vallst) R 4546 4546 4060 0 -1 0 1281 0 0 0 30718 1075 0 0 25 0 1 0 19612950 9641984 1193 4294967295 134512640 134702520 3221223952 3221222848 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4549/statm): 2354 1193 413 48 0 2306 0
[pid=4549] vsize: 9416
Current children cumulated CPU time (s) 317.96
Current children cumulated vsize (Kb) 11544
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=4549) exited with status: 2
New process pid=4550
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=4550) exited with status: 0
New process pid=4551
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+350.089 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 400 23 0 0 25 0 1 0 19647493 5189632 812 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 1267 812 413 48 0 1219 0
[pid=4551] vsize: 5068
Current children cumulated CPU time (s) 327.38
Current children cumulated vsize (Kb) 7196
[startup+360.09 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 842 0 0 0 1311 54 0 0 25 0 1 0 19647493 5189632 813 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 1267 813 413 48 0 1219 0
[pid=4551] vsize: 5068
Current children cumulated CPU time (s) 336.8
Current children cumulated vsize (Kb) 7196
[startup+370.091 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 903 0 0 0 2241 76 0 0 25 0 1 0 19647493 9138176 874 4294967295 134512640 134702520 3221223712 3221222992 134552474 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2231 874 413 48 0 2183 0
[pid=4551] vsize: 8924
Current children cumulated CPU time (s) 346.32
Current children cumulated vsize (Kb) 11052
[startup+380.092 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 933 0 0 0 3155 104 0 0 25 0 1 0 19647493 9289728 904 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2268 904 413 48 0 2220 0
[pid=4551] vsize: 9072
Current children cumulated CPU time (s) 355.74
Current children cumulated vsize (Kb) 11200
[startup+390.093 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 4060 135 0 0 25 0 1 0 19647493 9293824 931 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 931 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 365.1
Current children cumulated vsize (Kb) 11204
[startup+400.093 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 982 0 0 0 4955 167 0 0 25 0 1 0 19647493 9293824 953 4294967295 134512640 134702520 3221223712 3221222608 134552959 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 953 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 374.37
Current children cumulated vsize (Kb) 11204
[startup+410.094 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 987 0 0 0 5888 190 0 0 25 0 1 0 19647493 9293824 958 4294967295 134512640 134702520 3221223712 3221222992 134553287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 958 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 383.93
Current children cumulated vsize (Kb) 11204
[startup+420.095 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 995 0 0 0 6804 218 0 0 25 0 1 0 19647493 9293824 966 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2269 966 413 48 0 2221 0
[pid=4551] vsize: 9076
Current children cumulated CPU time (s) 393.37
Current children cumulated vsize (Kb) 11204
[startup+430.096 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1000 0 0 0 7715 247 0 0 25 0 1 0 19647493 9424896 971 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 971 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 402.77
Current children cumulated vsize (Kb) 11332
[startup+440.097 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1002 0 0 0 8621 279 0 0 25 0 1 0 19647493 9424896 973 4294967295 134512640 134702520 3221223712 3221222608 134552412 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 973 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 412.15
Current children cumulated vsize (Kb) 11332
[startup+450.097 s]
Raw data (loadavg): 0.99 0.98 0.94 1/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1003 0 0 0 9535 310 0 0 25 0 1 0 19647493 9424896 974 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 974 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 421.6
Current children cumulated vsize (Kb) 11332
[startup+460.099 s]
Raw data (loadavg): 0.99 0.98 0.94 2/56 4551
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1003 0 0 0 10443 342 0 0 25 0 1 0 19647493 9424896 974 4294967295 134512640 134702520 3221223712 3221222992 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 974 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 431
Current children cumulated vsize (Kb) 11332
[startup+470.1 s]
Raw data (loadavg): 0.99 0.98 0.94 2/58 4598
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1004 0 0 0 11353 372 0 0 18 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221222992 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 440.4
Current children cumulated vsize (Kb) 11332
[startup+480.1 s]
Raw data (loadavg): 1.07 1.00 0.95 1/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1004 0 0 0 12286 395 0 0 25 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 449.96
Current children cumulated vsize (Kb) 11332
[startup+490.101 s]
Raw data (loadavg): 1.06 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1004 0 0 0 13192 424 0 0 25 0 1 0 19647493 9424896 975 4294967295 134512640 134702520 3221223712 3221222992 134552319 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 975 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 459.31
Current children cumulated vsize (Kb) 11332
[startup+500.101 s]
Raw data (loadavg): 1.05 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1007 0 0 0 14094 456 0 0 25 0 1 0 19647493 9424896 978 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 978 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 468.65
Current children cumulated vsize (Kb) 11332
[startup+510.102 s]
Raw data (loadavg): 1.04 1.00 0.95 2/56 4606
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1008 0 0 0 14997 489 0 0 21 0 1 0 19647493 9424896 979 4294967295 134512640 134702520 3221223712 3221222608 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 979 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 478.01
Current children cumulated vsize (Kb) 11332
[startup+520.103 s]
Raw data (loadavg): 1.11 1.02 0.95 2/56 4608
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1008 0 0 0 15946 506 0 0 19 0 1 0 19647493 9424896 979 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 979 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 487.67
Current children cumulated vsize (Kb) 11332
[startup+530.103 s]
Raw data (loadavg): 1.09 1.02 0.95 2/56 4608
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 16865 533 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134553271 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 497.13
Current children cumulated vsize (Kb) 11332
[startup+540.105 s]
Raw data (loadavg): 1.08 1.01 0.95 2/56 4610
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 17808 551 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134554263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 506.74
Current children cumulated vsize (Kb) 11332
[startup+550.105 s]
Raw data (loadavg): 1.06 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1010 0 0 0 18696 589 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 516
Current children cumulated vsize (Kb) 11332
[startup+560.106 s]
Raw data (loadavg): 1.05 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 19590 626 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 525.31
Current children cumulated vsize (Kb) 11332
[startup+570.107 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 20512 652 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 534.79
Current children cumulated vsize (Kb) 11332
[startup+580.108 s]
Raw data (loadavg): 1.04 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1010 0 0 0 21421 683 0 0 25 0 1 0 19647493 9424896 981 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2301 981 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 544.19
Current children cumulated vsize (Kb) 11332
[startup+590.109 s]
Raw data (loadavg): 1.03 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1013 0 0 0 22327 714 0 0 20 0 1 0 19647493 9424896 984 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 984 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 553.56
Current children cumulated vsize (Kb) 11332
[startup+600.109 s]
Raw data (loadavg): 1.03 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1019 0 0 0 23257 735 0 0 25 0 1 0 19647493 9424896 990 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 990 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 563.07
Current children cumulated vsize (Kb) 11332
[startup+610.111 s]
Raw data (loadavg): 1.02 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1027 0 0 0 24157 770 0 0 25 0 1 0 19647493 9424896 998 4294967295 134512640 134702520 3221223712 3221222992 134553277 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 998 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 572.42
Current children cumulated vsize (Kb) 11332
[startup+620.112 s]
Raw data (loadavg): 1.02 1.01 0.95 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1068 0 0 0 25065 799 0 0 25 0 1 0 19647493 9424896 1039 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2301 1039 413 48 0 2253 0
[pid=4551] vsize: 9204
Current children cumulated CPU time (s) 581.79
Current children cumulated vsize (Kb) 11332
[startup+630.112 s]
Raw data (loadavg): 1.01 1.01 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1095 0 0 0 25983 826 0 0 25 0 1 0 19647493 9940992 1066 4294967295 134512640 134702520 3221223712 3221222992 134553294 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2427 1066 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 591.24
Current children cumulated vsize (Kb) 11836
[startup+640.114 s]
Raw data (loadavg): 1.01 1.00 0.95 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1097 0 0 0 26882 860 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 600.57
Current children cumulated vsize (Kb) 11836
[startup+650.114 s]
Raw data (loadavg): 1.08 1.02 0.96 1/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1097 0 0 0 27786 893 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 609.94
Current children cumulated vsize (Kb) 11836
[startup+660.115 s]
Raw data (loadavg): 1.07 1.02 0.96 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1097 0 0 0 28738 909 0 0 25 0 1 0 19647493 9940992 1068 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2427 1068 413 48 0 2379 0
[pid=4551] vsize: 9708
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 11836
[startup+670.116 s]
Raw data (loadavg): 1.13 1.03 0.96 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1100 0 0 0 29648 940 0 0 25 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 629.03
Current children cumulated vsize (Kb) 11924
[startup+680.117 s]
Raw data (loadavg): 1.19 1.05 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1100 0 0 0 30564 969 0 0 25 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222992 134553512 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 638.48
Current children cumulated vsize (Kb) 11924
[startup+690.118 s]
Raw data (loadavg): 1.16 1.05 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1100 0 0 0 31506 988 0 0 24 0 1 0 19647493 10031104 1071 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1071 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (Kb) 11924
[startup+700.118 s]
Raw data (loadavg): 1.14 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1101 0 0 0 32420 1019 0 0 25 0 1 0 19647493 10031104 1072 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1072 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 657.54
Current children cumulated vsize (Kb) 11924
[startup+710.12 s]
Raw data (loadavg): 1.12 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) R 4546 4546 4060 0 -1 0 1101 0 0 0 33343 1045 0 0 25 0 1 0 19647493 10031104 1072 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4551/statm): 2449 1072 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 667.03
Current children cumulated vsize (Kb) 11924
[startup+720.121 s]
Raw data (loadavg): 1.10 1.04 0.97 2/56 4612
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 378 1657 0 0 1 1 31226 1087 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4551/stat): 4551 (vallst) T 4546 4546 4060 0 -1 0 1102 0 0 0 34245 1080 0 0 25 0 1 0 19647493 10031104 1073 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4551/statm): 2449 1073 413 48 0 2401 0
[pid=4551] vsize: 9796
Current children cumulated CPU time (s) 676.4
Current children cumulated vsize (Kb) 11924
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=4551) exited with status: 2
New process pid=4613
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=4613) exited with status: 0
New process pid=4614
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+730.121 s]
Raw data (loadavg): 1.08 1.04 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 798 0 0 0 581 26 0 0 25 0 1 0 19685305 5029888 770 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 1228 770 413 48 0 1180 0
[pid=4614] vsize: 4912
Current children cumulated CPU time (s) 685.68
Current children cumulated vsize (Kb) 7040
[startup+740.122 s]
Raw data (loadavg): 1.07 1.04 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 799 0 0 0 1486 59 0 0 25 0 1 0 19685305 5029888 771 4294967295 134512640 134702520 3221223712 3221222848 134552310 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 1228 771 413 48 0 1180 0
[pid=4614] vsize: 4912
Current children cumulated CPU time (s) 695.06
Current children cumulated vsize (Kb) 7040
[startup+750.122 s]
Raw data (loadavg): 1.06 1.04 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 857 0 0 0 2420 80 0 0 25 0 1 0 19685305 8544256 829 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2086 829 413 48 0 2038 0
[pid=4614] vsize: 8344
Current children cumulated CPU time (s) 704.61
Current children cumulated vsize (Kb) 10472
[startup+760.124 s]
Raw data (loadavg): 1.05 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 878 0 0 0 3330 109 0 0 25 0 1 0 19685305 8548352 850 4294967295 134512640 134702520 3221223712 3221222992 134552792 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2087 850 413 48 0 2039 0
[pid=4614] vsize: 8348
Current children cumulated CPU time (s) 714
Current children cumulated vsize (Kb) 10476
[startup+770.125 s]
Raw data (loadavg): 1.04 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 887 0 0 0 4272 127 0 0 25 0 1 0 19685305 8548352 859 4294967295 134512640 134702520 3221223712 3221222992 134552571 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2087 859 413 48 0 2039 0
[pid=4614] vsize: 8348
Current children cumulated CPU time (s) 723.6
Current children cumulated vsize (Kb) 10476
[startup+780.126 s]
Raw data (loadavg): 1.03 1.03 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 908 0 0 0 5164 162 0 0 25 0 1 0 19685305 8609792 880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 880 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 732.87
Current children cumulated vsize (Kb) 10536
[startup+790.127 s]
Raw data (loadavg): 1.03 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 918 0 0 0 6068 190 0 0 24 0 1 0 19685305 8609792 890 4294967295 134512640 134702520 3221223712 3221222992 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 890 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 742.19
Current children cumulated vsize (Kb) 10536
[startup+800.127 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 922 0 0 0 7013 208 0 0 25 0 1 0 19685305 8609792 894 4294967295 134512640 134702520 3221223712 3221194352 134611993 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 894 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 751.82
Current children cumulated vsize (Kb) 10536
[startup+810.129 s]
Raw data (loadavg): 1.02 1.03 0.97 1/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 927 0 0 0 7920 241 0 0 24 0 1 0 19685305 8609792 899 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2102 899 413 48 0 2054 0
[pid=4614] vsize: 8408
Current children cumulated CPU time (s) 761.22
Current children cumulated vsize (Kb) 10536
[startup+820.13 s]
Raw data (loadavg): 1.02 1.03 0.97 2/56 4614
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 935 0 0 0 8841 266 0 0 25 0 1 0 19685305 8667136 907 4294967295 134512640 134702520 3221223712 3221222992 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 907 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 770.68
Current children cumulated vsize (Kb) 10592
[startup+830.13 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 936 0 0 0 9800 280 0 0 25 0 1 0 19685305 8667136 908 4294967295 134512640 134702520 3221223712 3221222992 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 908 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 780.41
Current children cumulated vsize (Kb) 10592
[startup+840.131 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 943 0 0 0 10707 310 0 0 25 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221222608 134553816 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 789.78
Current children cumulated vsize (Kb) 10592
[startup+850.131 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 943 0 0 0 11609 344 0 0 25 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 799.14
Current children cumulated vsize (Kb) 10592
[startup+860.132 s]
Raw data (loadavg): 1.01 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 943 0 0 0 12538 366 0 0 23 0 1 0 19685305 8667136 915 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 915 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 808.65
Current children cumulated vsize (Kb) 10592
[startup+870.133 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 945 0 0 0 13448 394 0 0 25 0 1 0 19685305 8667136 917 4294967295 134512640 134702520 3221223712 3221222992 134552546 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 917 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 818.03
Current children cumulated vsize (Kb) 10592
[startup+880.134 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 945 0 0 0 14386 416 0 0 25 0 1 0 19685305 8667136 917 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 917 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 827.63
Current children cumulated vsize (Kb) 10592
[startup+890.135 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 948 0 0 0 15309 441 0 0 25 0 1 0 19685305 8667136 920 4294967295 134512640 134702520 3221223712 3221222992 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 920 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 837.11
Current children cumulated vsize (Kb) 10592
[startup+900.135 s]
Raw data (loadavg): 1.00 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 953 0 0 0 16253 457 0 0 25 0 1 0 19685305 8667136 925 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 925 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 846.71
Current children cumulated vsize (Kb) 10592
[startup+910.137 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 955 0 0 0 17163 487 0 0 25 0 1 0 19685305 8667136 927 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 927 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 856.11
Current children cumulated vsize (Kb) 10592
[startup+920.138 s]
Raw data (loadavg): 1.00 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 959 0 0 0 18072 515 0 0 25 0 1 0 19685305 8667136 931 4294967295 134512640 134702520 3221223712 3221222960 134564346 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 931 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 865.48
Current children cumulated vsize (Kb) 10592
[startup+930.139 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 961 0 0 0 19013 536 0 0 25 0 1 0 19685305 8667136 933 4294967295 134512640 134702520 3221223712 3221222992 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 933 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 875.1
Current children cumulated vsize (Kb) 10592
[startup+940.141 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 962 0 0 0 19937 560 0 0 25 0 1 0 19685305 8667136 934 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 934 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 884.58
Current children cumulated vsize (Kb) 10592
[startup+950.141 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 962 0 0 0 20892 575 0 0 25 0 1 0 19685305 8667136 934 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2116 934 413 48 0 2068 0
[pid=4614] vsize: 8464
Current children cumulated CPU time (s) 894.28
Current children cumulated vsize (Kb) 10592
[startup+960.142 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 963 0 0 0 21783 609 0 0 25 0 1 0 19685305 8802304 935 4294967295 134512640 134702520 3221223712 3221222608 134552449 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2149 935 413 48 0 2101 0
[pid=4614] vsize: 8596
Current children cumulated CPU time (s) 903.53
Current children cumulated vsize (Kb) 10724
[startup+970.143 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 964 0 0 0 22687 640 0 0 25 0 1 0 19685305 8802304 936 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2149 936 413 48 0 2101 0
[pid=4614] vsize: 8596
Current children cumulated CPU time (s) 912.88
Current children cumulated vsize (Kb) 10724
[startup+980.143 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 964 0 0 0 23624 661 0 0 25 0 1 0 19685305 8724480 936 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 936 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 922.46
Current children cumulated vsize (Kb) 10648
[startup+990.144 s]
Raw data (loadavg): 1.08 1.03 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 966 0 0 0 24531 693 0 0 25 0 1 0 19685305 8724480 938 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 938 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 931.85
Current children cumulated vsize (Kb) 10648
[startup+1000.14 s]
Raw data (loadavg): 1.07 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1004 0 0 0 25487 706 0 0 25 0 1 0 19685305 8724480 976 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 976 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 941.54
Current children cumulated vsize (Kb) 10648
[startup+1010.15 s]
Raw data (loadavg): 1.06 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1039 0 0 0 26373 744 0 0 23 0 1 0 19685305 8724480 1011 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2130 1011 413 48 0 2082 0
[pid=4614] vsize: 8520
Current children cumulated CPU time (s) 950.78
Current children cumulated vsize (Kb) 10648
[startup+1020.15 s]
Raw data (loadavg): 1.05 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1074 0 0 0 27314 764 0 0 25 0 1 0 19685305 9170944 1046 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4614/statm): 2239 1046 413 48 0 2191 0
[pid=4614] vsize: 8956
Current children cumulated CPU time (s) 960.39
Current children cumulated vsize (Kb) 11084
[startup+1030.15 s]
Raw data (loadavg): 1.04 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1109 0 0 0 28233 791 0 0 25 0 1 0 19685305 9273344 1081 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2264 1081 413 48 0 2216 0
[pid=4614] vsize: 9056
Current children cumulated CPU time (s) 969.85
Current children cumulated vsize (Kb) 11184
[startup+1040.15 s]
Raw data (loadavg): 1.03 1.02 0.97 1/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1155 0 0 0 29143 822 0 0 22 0 1 0 19685305 9273344 1127 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2264 1127 413 48 0 2216 0
[pid=4614] vsize: 9056
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 11184
[startup+1050.15 s]
Raw data (loadavg): 1.03 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1180 0 0 0 30086 842 0 0 25 0 1 0 19685305 9719808 1152 4294967295 134512640 134702520 3221223712 3221222992 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2373 1152 413 48 0 2325 0
[pid=4614] vsize: 9492
Current children cumulated CPU time (s) 988.89
Current children cumulated vsize (Kb) 11620
[startup+1060.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1235 0 0 0 31006 872 0 0 21 0 1 0 19685305 9871360 1207 4294967295 134512640 134702520 3221223712 3221222608 134552186 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2410 1207 413 48 0 2362 0
[pid=4614] vsize: 9640
Current children cumulated CPU time (s) 998.39
Current children cumulated vsize (Kb) 11768
[startup+1070.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) R 4546 4546 4060 0 -1 0 1249 0 0 0 31960 887 0 0 25 0 1 0 19685305 9830400 1221 4294967295 134512640 134702520 3221223712 3221222992 134552785 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2400 1221 413 48 0 2352 0
[pid=4614] vsize: 9600
Current children cumulated CPU time (s) 1008.08
Current children cumulated vsize (Kb) 11728
[startup+1080.15 s]
Raw data (loadavg): 1.02 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1298 0 0 0 32873 918 0 0 23 0 1 0 19685305 9977856 1270 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2436 1270 413 48 0 2388 0
[pid=4614] vsize: 9744
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (Kb) 11872
[startup+1090.15 s]
Raw data (loadavg): 1.01 1.02 0.97 2/56 4616
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 417 2902 0 0 2 2 65775 2182 19 0 1 0 19612943 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 248 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4614/stat): 4614 (vallst) T 4546 4546 4060 0 -1 0 1300 0 0 0 33791 947 0 0 25 0 1 0 19685305 9977856 1272 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4614/statm): 2436 1272 413 48 0 2388 0
[pid=4614] vsize: 9744
Current children cumulated CPU time (s) 1026.99
Current children cumulated vsize (Kb) 11872
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=4614) exited with status: 2
New process pid=4617
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=4617) exited with status: 0
New process pid=4618
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+1100.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 833 0 0 0 329 23 0 0 25 0 1 0 19722576 5140480 805 4294967295 134512640 134702520 3221223040 3221222176 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 805 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1036.18
Current children cumulated vsize (Kb) 7148
[startup+1110.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 838 0 0 0 1216 58 0 0 25 0 1 0 19722576 5140480 810 4294967295 134512640 134702520 3221223040 3221222176 134550642 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 810 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1045.4
Current children cumulated vsize (Kb) 7148
[startup+1120.15 s]
Raw data (loadavg): 1.01 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 840 0 0 0 2090 98 0 0 24 0 1 0 19722576 5140480 812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 812 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1054.54
Current children cumulated vsize (Kb) 7148
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 840 0 0 0 2951 143 0 0 25 0 1 0 19722576 5140480 812 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 812 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1063.6
Current children cumulated vsize (Kb) 7148
[startup+1140.16 s]
Raw data (loadavg): 1.00 1.01 0.97 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 3791 196 0 0 24 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1072.53
Current children cumulated vsize (Kb) 7148
[startup+1150.16 s]
Raw data (loadavg): 1.00 1.01 0.97 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 841 0 0 0 4646 241 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222176 134553133 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1081.53
Current children cumulated vsize (Kb) 7148
[startup+1160.16 s]
Raw data (loadavg): 1.08 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 5506 291 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1090.63
Current children cumulated vsize (Kb) 7148
[startup+1170.16 s]
Raw data (loadavg): 1.07 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 6349 344 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1099.59
Current children cumulated vsize (Kb) 7148
[startup+1180.16 s]
Raw data (loadavg): 1.06 1.02 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 7193 390 0 0 23 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1108.49
Current children cumulated vsize (Kb) 7148
[startup+1190.16 s]
Raw data (loadavg): 1.05 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 8033 444 0 0 24 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1117.43
Current children cumulated vsize (Kb) 7148
[startup+1200.16 s]
Raw data (loadavg): 1.04 1.02 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 841 0 0 0 8880 496 0 0 25 0 1 0 19722576 5140480 813 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 1255 813 413 48 0 1207 0
[pid=4618] vsize: 5020
Current children cumulated CPU time (s) 1126.42
Current children cumulated vsize (Kb) 7148
[startup+1210.16 s]
Raw data (loadavg): 1.11 1.04 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 872 0 0 0 9774 529 0 0 25 0 1 0 19722576 8949760 844 4294967295 134512640 134702520 3221223040 3221222320 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4618/statm): 2185 844 413 48 0 2137 0
[pid=4618] vsize: 8740
Current children cumulated CPU time (s) 1135.69
Current children cumulated vsize (Kb) 10868
[startup+1220.17 s]
Raw data (loadavg): 1.09 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 919 0 0 0 10720 546 0 0 25 0 1 0 19722576 8949760 891 4294967295 134512640 134702520 3221223040 3221222320 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2185 891 413 48 0 2137 0
[pid=4618] vsize: 8740
Current children cumulated CPU time (s) 1145.32
Current children cumulated vsize (Kb) 10868
[startup+1230.17 s]
Raw data (loadavg): 1.08 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 935 0 0 0 11648 570 0 0 19 0 1 0 19722576 9113600 907 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 907 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1154.84
Current children cumulated vsize (Kb) 11028
[startup+1240.17 s]
Raw data (loadavg): 1.06 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 937 0 0 0 12602 586 0 0 25 0 1 0 19722576 9113600 909 4294967295 134512640 134702520 3221223040 3221222320 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 909 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1164.54
Current children cumulated vsize (Kb) 11028
[startup+1250.17 s]
Raw data (loadavg): 1.05 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 939 0 0 0 13568 597 0 0 25 0 1 0 19722576 9113600 911 4294967295 134512640 134702520 3221223040 3221222288 134566529 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 911 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1174.31
Current children cumulated vsize (Kb) 11028
[startup+1260.17 s]
Raw data (loadavg): 1.04 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 948 0 0 0 14480 628 0 0 25 0 1 0 19722576 9113600 920 4294967295 134512640 134702520 3221223040 3221222288 134566339 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 920 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1183.74
Current children cumulated vsize (Kb) 11028
[startup+1270.17 s]
Raw data (loadavg): 1.04 1.03 0.98 1/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) T 4546 4546 4060 0 -1 0 949 0 0 0 15438 644 0 0 25 0 1 0 19722576 9113600 921 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 921 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1193.48
Current children cumulated vsize (Kb) 11028
[startup+1280.17 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 16356 671 0 0 21 0 1 0 19722576 9113600 932 4294967295 134512640 134702520 3221223040 3221221936 134554398 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 932 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1202.93
Current children cumulated vsize (Kb) 11028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1280.17 s]
Raw data (loadavg): 1.03 1.03 0.98 2/56 4618
Raw data (/proc/4546/stat): 4546 (vallstSAT2005PB) S 4545 4546 4060 0 -1 0 457 4345 0 0 2 2 100112 3150 19 0 1 0 19612943 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4546/statm): 532 249 485 147 0 385 0
[pid=4546] vsize: 2128
Raw data (/proc/4618/stat): 4618 (vallst) R 4546 4546 4060 0 -1 0 960 0 0 0 16356 671 0 0 21 0 1 0 19722576 9113600 932 4294967295 134512640 134702520 3221223040 3221221936 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4618/statm): 2225 932 413 48 0 2177 0
[pid=4618] vsize: 8900
Current children cumulated CPU time (s) 1202.93
Current children cumulated vsize (Kb) 11028
Sending SIGTERM to -4546
Sleeping 2 seconds
New process pid=4620
New process pid=4621
execve syscall for /bin/ps executable
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
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/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1452/stat
open syscall for file /proc/1452/status
open syscall for file /proc/1452/cmdline
open syscall for file /proc/1452/environ
open syscall for file /proc/1480/stat
open syscall for file /proc/1480/status
open syscall for file /proc/1480/cmdline
open syscall for file /proc/1480/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/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/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4043/stat
open syscall for file /proc/4043/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/4043/cmdline
open syscall for file /proc/4043/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/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/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/4507/stat
open syscall for file /proc/4507/status
open syscall for file /proc/4507/cmdline
open syscall for file /proc/4507/environ
open syscall for file /proc/4545/stat
open syscall for file /proc/4545/status
open syscall for file /proc/4545/cmdline
open syscall for file /proc/4545/environ
open syscall for file /proc/4546/stat
open syscall for file /proc/4546/status
open syscall for file /proc/4546/cmdline
open syscall for file /proc/4546/environ
open syscall for file /proc/4618/stat
open syscall for file /proc/4618/status
open syscall for file /proc/4618/cmdline
open syscall for file /proc/4618/environ
open syscall for file /proc/4620/stat
open syscall for file /proc/4620/status
open syscall for file /proc/4620/cmdline
open syscall for file /proc/4620/environ
open syscall for file /proc/4621/stat
open syscall for file /proc/4621/status
open syscall for file /proc/4621/cmdline
open syscall for file /proc/4621/environ
One traced child (pid=4620) exited with status: 0
One traced child (pid=4621) exited with status: 0
New process pid=4622
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
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=4618) exited with status: 3
One traced child (pid=4622) exited with status: 0
New process pid=4623
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=4623) exited with status: 0
One traced child (pid=4546) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.67
CPU time (s): 1203.36
CPU user time (s): 1165.02
CPU system time (s): 38.3352
CPU usage (%): 93.9628
Max. virtual memory (cumulated for all children) (Kb): 11924