1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 0 (#equs: 0)
#decisions: 343; #end-nodes: 171;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 171 / 639 (80)
#axs: 17198, #non-axs: 123
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: 1120 (1031:>=*);
#decisions: 174648; #end-nodes: 123474;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 237 (223)
#axs: 17380, #non-axs: 907
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:
(pushed:) 1120 (1031:>=*)
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: 176 (#equs: 182)
Time taken: 5 min, 4 sec
2:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 154)
#decisions: 158920; #end-nodes: 113459;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 285 (263)
#axs: 6503, #non-axs: 868
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: 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: 176 (#equs: 281)
Time taken: 4 min, 3 sec
3:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 36)
#decisions: 182233; #end-nodes: 136597;
#proof improvement attempts: 0; #restarts: 576
Current batch, end-nodes: 0 / 303 (303)
#axs: 6268, #non-axs: 921
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: 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: 176 (#equs: 188)
Time taken: 4 min, 1 sec
4:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 922)
#decisions: 58044; #end-nodes: 43008;
#proof improvement attempts: 43008; #restarts: 192
Current batch, end-nodes: 0 / 247 (247)
#axs: 6934, #non-axs: 887
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: 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: 176 (#equs: 949)
Time taken: 6 min, 0 sec
5:
seed: 0
Nr of vars set: 176 (#equs: 0)
Nr of vars set: 176 (#equs: 0)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 176 (#equs: 0)
Time taken in seconds: 57
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/27078/stat): 27078 (vallstSAT2005PB) R 27077 27078 21452 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1842930512 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/27078/statm): 174 3 169 147 0 27 0
[pid=27078] 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=27079
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=27079) exited with status: 0
New process pid=27080
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=27080) exited with status: 0
New process pid=27081
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/wulflinc22/normalized-ii16b2.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0043 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 527 0 0 0 850 51 0 0 25 0 1 0 1842930519 3616768 497 4294967295 134512640 134702520 3221223968 3221223336 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 883 497 413 48 0 835 0
[pid=27081] vsize: 3532
Current children cumulated CPU time (s) 9.03
Current children cumulated vsize (Kb) 5660
[startup+20.006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1109 0 0 0 1720 97 0 0 25 0 1 0 1842930519 6455296 1079 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1576 1079 413 48 0 1528 0
[pid=27081] vsize: 6304
Current children cumulated CPU time (s) 18.19
Current children cumulated vsize (Kb) 8432
[startup+30.0067 s]
Raw data (loadavg): 0.95 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1278 0 0 0 2691 107 0 0 25 0 1 0 1842930519 6590464 1248 4294967295 134512640 134702520 3221223968 3221223248 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1609 1248 413 48 0 1561 0
[pid=27081] vsize: 6436
Current children cumulated CPU time (s) 28
Current children cumulated vsize (Kb) 8564
[startup+40.0084 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1306 0 0 0 3657 120 0 0 25 0 1 0 1842930519 6746112 1276 4294967295 134512640 134702520 3221223968 3221223248 134552208 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1647 1276 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 37.79
Current children cumulated vsize (Kb) 8716
[startup+50.0102 s]
Raw data (loadavg): 0.96 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1324 0 0 0 4616 134 0 0 25 0 1 0 1842930519 6746112 1294 4294967295 134512640 134702520 3221223968 3221223360 134605856 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1647 1294 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 47.52
Current children cumulated vsize (Kb) 8716
[startup+60.0109 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1347 0 0 0 5572 149 0 0 25 0 1 0 1842930519 6746112 1317 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1647 1317 413 48 0 1599 0
[pid=27081] vsize: 6588
Current children cumulated CPU time (s) 57.23
Current children cumulated vsize (Kb) 8716
[startup+70.0116 s]
Raw data (loadavg): 0.97 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1360 0 0 0 6514 169 0 0 25 0 1 0 1842930519 6864896 1330 4294967295 134512640 134702520 3221223968 3221222864 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1330 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 66.85
Current children cumulated vsize (Kb) 8832
[startup+80.0123 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1363 0 0 0 7470 184 0 0 25 0 1 0 1842930519 6864896 1333 4294967295 134512640 134702520 3221223968 3221222864 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1333 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 76.56
Current children cumulated vsize (Kb) 8832
[startup+90.014 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1363 0 0 0 8441 194 0 0 25 0 1 0 1842930519 6864896 1333 4294967295 134512640 134702520 3221223968 3221223248 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1333 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 86.37
Current children cumulated vsize (Kb) 8832
[startup+100.015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1366 0 0 0 9391 213 0 0 25 0 1 0 1842930519 6864896 1336 4294967295 134512640 134702520 3221223968 3221223248 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1336 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 96.06
Current children cumulated vsize (Kb) 8832
[startup+110.015 s]
Raw data (loadavg): 0.98 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1373 0 0 0 10336 230 0 0 25 0 1 0 1842930519 6864896 1343 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1343 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 105.68
Current children cumulated vsize (Kb) 8832
[startup+120.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1377 0 0 0 11282 250 0 0 25 0 1 0 1842930519 6864896 1347 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1347 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 115.34
Current children cumulated vsize (Kb) 8832
[startup+130.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1379 0 0 0 12228 266 0 0 25 0 1 0 1842930519 6864896 1349 4294967295 134512640 134702520 3221223968 3221222864 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1676 1349 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 124.96
Current children cumulated vsize (Kb) 8832
[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1379 0 0 0 13205 274 0 0 25 0 1 0 1842930519 6864896 1349 4294967295 134512640 134702520 3221223968 3221222864 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1349 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 134.81
Current children cumulated vsize (Kb) 8832
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1381 0 0 0 14150 293 0 0 25 0 1 0 1842930519 6864896 1351 4294967295 134512640 134702520 3221223968 3221222992 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1351 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 144.45
Current children cumulated vsize (Kb) 8832
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1383 0 0 0 15100 310 0 0 25 0 1 0 1842930519 6864896 1353 4294967295 134512640 134702520 3221223968 3221222992 134552340 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1676 1353 413 48 0 1628 0
[pid=27081] vsize: 6704
Current children cumulated CPU time (s) 154.12
Current children cumulated vsize (Kb) 8832
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1385 0 0 0 16046 328 0 0 25 0 1 0 1842930519 7081984 1355 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1355 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 163.76
Current children cumulated vsize (Kb) 9044
[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1387 0 0 0 17020 337 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 173.59
Current children cumulated vsize (Kb) 9044
[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1387 0 0 0 17984 350 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 183.36
Current children cumulated vsize (Kb) 9044
[startup+200.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1387 0 0 0 18930 369 0 0 25 0 1 0 1842930519 7081984 1357 4294967295 134512640 134702520 3221223968 3221223088 134578875 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1357 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 193.01
Current children cumulated vsize (Kb) 9044
[startup+210.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1389 0 0 0 19882 384 0 0 25 0 1 0 1842930519 7081984 1359 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1359 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 202.68
Current children cumulated vsize (Kb) 9044
[startup+220.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1392 0 0 0 20858 392 0 0 25 0 1 0 1842930519 7081984 1362 4294967295 134512640 134702520 3221223968 3221222864 134552242 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1362 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 212.52
Current children cumulated vsize (Kb) 9044
[startup+230.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1393 0 0 0 21826 403 0 0 25 0 1 0 1842930519 7081984 1363 4294967295 134512640 134702520 3221223968 3221223248 134552338 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1363 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (Kb) 9044
[startup+240.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1393 0 0 0 22781 419 0 0 25 0 1 0 1842930519 7081984 1363 4294967295 134512640 134702520 3221223968 3221222992 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1363 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 232.02
Current children cumulated vsize (Kb) 9044
[startup+250.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1394 0 0 0 23738 435 0 0 25 0 1 0 1842930519 7081984 1364 4294967295 134512640 134702520 3221223968 3221222992 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27081/statm): 1729 1364 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 241.75
Current children cumulated vsize (Kb) 9044
[startup+260.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1396 0 0 0 24704 446 0 0 25 0 1 0 1842930519 7081984 1366 4294967295 134512640 134702520 3221223968 3221222864 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1366 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 251.52
Current children cumulated vsize (Kb) 9044
[startup+270.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 25688 451 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 261.41
Current children cumulated vsize (Kb) 9044
[startup+280.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 26638 467 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 271.07
Current children cumulated vsize (Kb) 9044
[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1397 0 0 0 27589 482 0 0 25 0 1 0 1842930519 7081984 1367 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1367 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 280.73
Current children cumulated vsize (Kb) 9044
[startup+300.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) T 27078 27078 21452 0 -1 0 1399 0 0 0 28538 500 0 0 25 0 1 0 1842930519 7081984 1369 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1369 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 290.4
Current children cumulated vsize (Kb) 9044
[startup+310.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27081
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1842930512 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 242 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27081/stat): 27081 (vallst) R 27078 27078 21452 0 -1 0 1401 0 0 0 29522 507 0 0 25 0 1 0 1842930519 7081984 1371 4294967295 134512640 134702520 3221223968 3221222864 134552345 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27081/statm): 1729 1371 413 48 0 1681 0
[pid=27081] vsize: 6916
Current children cumulated CPU time (s) 300.31
Current children cumulated vsize (Kb) 9044
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=27081) exited with status: 2
New process pid=27082
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=27082) exited with status: 0
New process pid=27083
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+320.034 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 361 0 0 0 528 5 0 0 25 0 1 0 1842961978 3366912 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 822 332 413 48 0 774 0
[pid=27083] vsize: 3288
Current children cumulated CPU time (s) 310.17
Current children cumulated vsize (Kb) 5416
[startup+330.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 364 0 0 0 1495 15 0 0 25 0 1 0 1842961978 3366912 335 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 822 335 413 48 0 774 0
[pid=27083] vsize: 3288
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 5416
[startup+340.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1065 0 0 0 2439 36 0 0 25 0 1 0 1842961978 6279168 1036 4294967295 134512640 134702520 3221223712 3221222736 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1036 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 329.59
Current children cumulated vsize (Kb) 8260
[startup+350.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1071 0 0 0 3381 55 0 0 25 0 1 0 1842961978 6279168 1042 4294967295 134512640 134702520 3221223712 3221222992 134557267 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1042 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (Kb) 8260
[startup+360.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1073 0 0 0 4351 66 0 0 25 0 1 0 1842961978 6279168 1044 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1044 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 349.01
Current children cumulated vsize (Kb) 8260
[startup+370.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1074 0 0 0 5312 80 0 0 25 0 1 0 1842961978 6279168 1045 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1045 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 358.76
Current children cumulated vsize (Kb) 8260
[startup+380.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1079 0 0 0 6247 99 0 0 25 0 1 0 1842961978 6279168 1050 4294967295 134512640 134702520 3221223712 3221222736 134552310 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1050 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 368.3
Current children cumulated vsize (Kb) 8260
[startup+390.04 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1083 0 0 0 7199 116 0 0 25 0 1 0 1842961978 6279168 1054 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1533 1054 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 377.99
Current children cumulated vsize (Kb) 8260
[startup+400.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1085 0 0 0 8176 125 0 0 25 0 1 0 1842961978 6279168 1056 4294967295 134512640 134702520 3221223712 3221222608 134552287 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1056 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 387.85
Current children cumulated vsize (Kb) 8260
[startup+410.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1085 0 0 0 9126 140 0 0 25 0 1 0 1842961978 6279168 1056 4294967295 134512640 134702520 3221223712 3221222736 134553933 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1056 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 397.5
Current children cumulated vsize (Kb) 8260
[startup+420.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1087 0 0 0 10069 158 0 0 25 0 1 0 1842961978 6279168 1058 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1533 1058 413 48 0 1485 0
[pid=27083] vsize: 6132
Current children cumulated CPU time (s) 407.11
Current children cumulated vsize (Kb) 8260
[startup+430.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1091 0 0 0 11023 175 0 0 25 0 1 0 1842961978 6406144 1062 4294967295 134512640 134702520 3221223712 3221222608 134552546 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1062 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 416.82
Current children cumulated vsize (Kb) 8384
[startup+440.045 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1091 0 0 0 12000 182 0 0 25 0 1 0 1842961978 6406144 1062 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1062 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 426.66
Current children cumulated vsize (Kb) 8384
[startup+450.046 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1094 0 0 0 12944 201 0 0 25 0 1 0 1842961978 6406144 1065 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1065 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 436.29
Current children cumulated vsize (Kb) 8384
[startup+460.046 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1098 0 0 0 13879 223 0 0 25 0 1 0 1842961978 6406144 1069 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1069 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 445.86
Current children cumulated vsize (Kb) 8384
[startup+470.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1100 0 0 0 14838 237 0 0 25 0 1 0 1842961978 6406144 1071 4294967295 134512640 134702520 3221223712 3221222608 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1071 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 455.59
Current children cumulated vsize (Kb) 8384
[startup+480.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1100 0 0 0 15818 242 0 0 25 0 1 0 1842961978 6406144 1071 4294967295 134512640 134702520 3221223712 3221222608 134552550 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1071 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 465.44
Current children cumulated vsize (Kb) 8384
[startup+490.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1101 0 0 0 16760 263 0 0 25 0 1 0 1842961978 6406144 1072 4294967295 134512640 134702520 3221223712 3221222736 134552287 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1072 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 475.07
Current children cumulated vsize (Kb) 8384
[startup+500.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1103 0 0 0 17697 286 0 0 25 0 1 0 1842961978 6406144 1074 4294967295 134512640 134702520 3221223712 3221222992 134553080 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1074 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 484.67
Current children cumulated vsize (Kb) 8384
[startup+510.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1105 0 0 0 18644 303 0 0 25 0 1 0 1842961978 6406144 1076 4294967295 134512640 134702520 3221223712 3221222608 134552301 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1076 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 494.31
Current children cumulated vsize (Kb) 8384
[startup+520.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1105 0 0 0 19626 309 0 0 25 0 1 0 1842961978 6406144 1076 4294967295 134512640 134702520 3221223712 3221222608 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1076 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 504.19
Current children cumulated vsize (Kb) 8384
[startup+530.052 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) T 27078 27078 21452 0 -1 0 1106 0 0 0 20573 328 0 0 25 0 1 0 1842961978 6406144 1077 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1077 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 513.85
Current children cumulated vsize (Kb) 8384
[startup+540.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1106 0 0 0 21519 348 0 0 23 0 1 0 1842961978 6406144 1077 4294967295 134512640 134702520 3221223712 3221222736 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27083/statm): 1564 1077 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 523.51
Current children cumulated vsize (Kb) 8384
[startup+550.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1108 0 0 0 22461 368 0 0 25 0 1 0 1842961978 6406144 1079 4294967295 134512640 134702520 3221223712 3221222736 134552254 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1079 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 533.13
Current children cumulated vsize (Kb) 8384
[startup+560.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27083
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 378 1776 0 0 1 1 29968 514 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27083/stat): 27083 (vallst) R 27078 27078 21452 0 -1 0 1109 0 0 0 23442 375 0 0 25 0 1 0 1842961978 6406144 1080 4294967295 134512640 134702520 3221223712 3221222608 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27083/statm): 1564 1080 413 48 0 1516 0
[pid=27083] vsize: 6256
Current children cumulated CPU time (s) 543.01
Current children cumulated vsize (Kb) 8384
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=27083) exited with status: 2
New process pid=27084
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=27084) exited with status: 0
New process pid=27085
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+570.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 360 0 0 0 440 5 0 0 25 0 1 0 1842987071 2764800 332 4294967295 134512640 134702520 3221223712 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 675 332 413 48 0 627 0
[pid=27085] vsize: 2700
Current children cumulated CPU time (s) 552.84
Current children cumulated vsize (Kb) 4828
[startup+580.058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 360 0 0 0 1411 13 0 0 25 0 1 0 1842987071 2764800 332 4294967295 134512640 134702520 3221223712 3221222848 134552553 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 675 332 413 48 0 627 0
[pid=27085] vsize: 2700
Current children cumulated CPU time (s) 562.63
Current children cumulated vsize (Kb) 4828
[startup+590.059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 719 0 0 0 2346 35 0 0 25 0 1 0 1842987071 4272128 691 4294967295 134512640 134702520 3221223712 3221223104 134605861 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1043 691 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 572.2
Current children cumulated vsize (Kb) 6300
[startup+600.061 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 728 0 0 0 3277 62 0 0 22 0 1 0 1842987071 4272128 700 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 700 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 581.78
Current children cumulated vsize (Kb) 6300
[startup+610.062 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 732 0 0 0 4238 76 0 0 25 0 1 0 1842987071 4272128 704 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 704 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 591.53
Current children cumulated vsize (Kb) 6300
[startup+620.063 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 733 0 0 0 5199 90 0 0 25 0 1 0 1842987071 4272128 705 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 705 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 601.28
Current children cumulated vsize (Kb) 6300
[startup+630.063 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 737 0 0 0 6128 112 0 0 25 0 1 0 1842987071 4272128 709 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 709 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 610.79
Current children cumulated vsize (Kb) 6300
[startup+640.064 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 742 0 0 0 7063 137 0 0 25 0 1 0 1842987071 4272128 714 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1043 714 413 48 0 995 0
[pid=27085] vsize: 4172
Current children cumulated CPU time (s) 620.39
Current children cumulated vsize (Kb) 6300
[startup+650.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 8037 145 0 0 25 0 1 0 1842987071 4411392 715 4294967295 134512640 134702520 3221223712 3221222608 134552541 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1077 715 413 48 0 1029 0
[pid=27085] vsize: 4308
Current children cumulated CPU time (s) 630.21
Current children cumulated vsize (Kb) 6436
[startup+660.066 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 745 0 0 0 8989 161 0 0 25 0 1 0 1842987071 4395008 717 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 717 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 639.89
Current children cumulated vsize (Kb) 6420
[startup+670.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 748 0 0 0 9922 185 0 0 25 0 1 0 1842987071 4395008 720 4294967295 134512640 134702520 3221223712 3221222736 134552778 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 720 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 649.46
Current children cumulated vsize (Kb) 6420
[startup+680.067 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 750 0 0 0 10863 205 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 659.07
Current children cumulated vsize (Kb) 6420
[startup+690.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 11838 215 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222608 134553358 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 668.92
Current children cumulated vsize (Kb) 6420
[startup+700.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 12774 237 0 0 25 0 1 0 1842987071 4395008 722 4294967295 134512640 134702520 3221223712 3221222736 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 722 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 678.5
Current children cumulated vsize (Kb) 6420
[startup+710.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 751 0 0 0 13709 258 0 0 25 0 1 0 1842987071 4395008 723 4294967295 134512640 134702520 3221223712 3221222992 134552573 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 723 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 688.06
Current children cumulated vsize (Kb) 6420
[startup+720.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 754 0 0 0 14657 275 0 0 25 0 1 0 1842987071 4395008 726 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 726 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 697.71
Current children cumulated vsize (Kb) 6420
[startup+730.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 754 0 0 0 15629 286 0 0 25 0 1 0 1842987071 4395008 726 4294967295 134512640 134702520 3221223712 3221222608 134552266 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 726 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 707.54
Current children cumulated vsize (Kb) 6420
[startup+740.074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 756 0 0 0 16567 309 0 0 25 0 1 0 1842987071 4395008 728 4294967295 134512640 134702520 3221223712 3221222736 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 728 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 717.15
Current children cumulated vsize (Kb) 6420
[startup+750.076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 757 0 0 0 17498 332 0 0 25 0 1 0 1842987071 4395008 729 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 729 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 726.69
Current children cumulated vsize (Kb) 6420
[startup+760.076 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 760 0 0 0 18436 353 0 0 25 0 1 0 1842987071 4395008 732 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 732 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 736.28
Current children cumulated vsize (Kb) 6420
[startup+770.077 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 761 0 0 0 19412 361 0 0 25 0 1 0 1842987071 4395008 733 4294967295 134512640 134702520 3221223712 3221222736 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 733 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 746.12
Current children cumulated vsize (Kb) 6420
[startup+780.078 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 762 0 0 0 20349 383 0 0 22 0 1 0 1842987071 4395008 734 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27085/statm): 1073 734 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 755.71
Current children cumulated vsize (Kb) 6420
[startup+790.079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 763 0 0 0 21278 407 0 0 25 0 1 0 1842987071 4395008 735 4294967295 134512640 134702520 3221223712 3221222736 134552266 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 735 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 765.24
Current children cumulated vsize (Kb) 6420
[startup+800.079 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) T 27078 27078 21452 0 -1 0 767 0 0 0 22211 431 0 0 25 0 1 0 1842987071 4395008 739 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 739 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 774.81
Current children cumulated vsize (Kb) 6420
[startup+810.082 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27085
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 417 3029 0 0 2 2 53941 894 19 0 1 0 1842930512 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 248 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27085/stat): 27085 (vallst) R 27078 27078 21452 0 -1 0 769 0 0 0 23185 442 0 0 25 0 1 0 1842987071 4395008 741 4294967295 134512640 134702520 3221223712 3221222580 134548990 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27085/statm): 1073 741 413 48 0 1025 0
[pid=27085] vsize: 4292
Current children cumulated CPU time (s) 784.66
Current children cumulated vsize (Kb) 6420
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=27085) exited with status: 2
New process pid=27086
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=27086) exited with status: 0
New process pid=27087
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+820.083 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 362 0 0 0 451 5 0 0 25 0 1 0 1843012064 2777088 334 4294967295 134512640 134702520 3221223040 3221222176 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 334 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 794.44
Current children cumulated vsize (Kb) 4840
[startup+830.084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 365 0 0 0 1422 15 0 0 25 0 1 0 1843012064 2777088 337 4294967295 134512640 134702520 3221223040 3221222176 134552261 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 337 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 804.25
Current children cumulated vsize (Kb) 4840
[startup+840.085 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 2390 27 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 814.05
Current children cumulated vsize (Kb) 4840
[startup+850.086 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 368 0 0 0 3361 37 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222176 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 823.86
Current children cumulated vsize (Kb) 4840
[startup+860.087 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 4333 48 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 833.69
Current children cumulated vsize (Kb) 4840
[startup+870.087 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 5301 60 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 843.49
Current children cumulated vsize (Kb) 4840
[startup+880.088 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 368 0 0 0 6270 70 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 853.28
Current children cumulated vsize (Kb) 4840
[startup+890.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 368 0 0 0 7241 81 0 0 25 0 1 0 1843012064 2777088 340 4294967295 134512640 134702520 3221223040 3221222176 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 678 340 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 863.1
Current children cumulated vsize (Kb) 4840
[startup+900.091 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 369 0 0 0 8210 92 0 0 25 0 1 0 1843012064 2777088 341 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 341 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 872.9
Current children cumulated vsize (Kb) 4840
[startup+910.091 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 369 0 0 0 9174 107 0 0 25 0 1 0 1843012064 2777088 341 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 678 341 413 48 0 630 0
[pid=27087] vsize: 2712
Current children cumulated CPU time (s) 882.69
Current children cumulated vsize (Kb) 4840
[startup+920.092 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 713 0 0 0 10125 126 0 0 25 0 1 0 1843012064 4239360 685 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1035 685 413 48 0 987 0
[pid=27087] vsize: 4140
Current children cumulated CPU time (s) 892.39
Current children cumulated vsize (Kb) 6268
[startup+930.093 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 726 0 0 0 11088 139 0 0 25 0 1 0 1843012064 4251648 698 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 698 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 902.15
Current children cumulated vsize (Kb) 6280
[startup+940.093 s]
Raw data (loadavg): 0.99 0.98 0.99 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 732 0 0 0 12033 157 0 0 25 0 1 0 1843012064 4251648 704 4294967295 134512640 134702520 3221223040 3221222296 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 704 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 911.78
Current children cumulated vsize (Kb) 6280
[startup+950.094 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 738 0 0 0 12992 171 0 0 25 0 1 0 1843012064 4251648 710 4294967295 134512640 134702520 3221223040 3221221936 134552759 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1038 710 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 921.51
Current children cumulated vsize (Kb) 6280
[startup+960.095 s]
Raw data (loadavg): 0.99 0.98 0.99 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 741 0 0 0 13945 185 0 0 25 0 1 0 1843012064 4251648 713 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1038 713 413 48 0 990 0
[pid=27087] vsize: 4152
Current children cumulated CPU time (s) 931.18
Current children cumulated vsize (Kb) 6280
[startup+970.096 s]
Raw data (loadavg): 1.07 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 14898 201 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 940.87
Current children cumulated vsize (Kb) 6412
[startup+980.096 s]
Raw data (loadavg): 1.06 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 15837 223 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 950.48
Current children cumulated vsize (Kb) 6412
[startup+990.098 s]
Raw data (loadavg): 1.05 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 16774 246 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 960.08
Current children cumulated vsize (Kb) 6412
[startup+1000.1 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 17711 267 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221221936 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 969.66
Current children cumulated vsize (Kb) 6412
[startup+1010.1 s]
Raw data (loadavg): 1.04 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 18652 286 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 6412
[startup+1020.1 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 19589 311 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 988.88
Current children cumulated vsize (Kb) 6412
[startup+1030.1 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 20522 337 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 998.47
Current children cumulated vsize (Kb) 6412
[startup+1040.1 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 21461 358 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1008.07
Current children cumulated vsize (Kb) 6412
[startup+1050.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 743 0 0 0 22397 381 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221221936 134552232 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1017.66
Current children cumulated vsize (Kb) 6412
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 743 0 0 0 23332 402 0 0 25 0 1 0 1843012064 4386816 715 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 715 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1027.22
Current children cumulated vsize (Kb) 6412
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 746 0 0 0 24292 415 0 0 25 0 1 0 1843012064 4386816 718 4294967295 134512640 134702520 3221223040 3221221936 134556543 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 718 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1036.95
Current children cumulated vsize (Kb) 6412
[startup+1080.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 748 0 0 0 25241 433 0 0 25 0 1 0 1843012064 4386816 720 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 720 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1046.62
Current children cumulated vsize (Kb) 6412
[startup+1090.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 750 0 0 0 26193 450 0 0 25 0 1 0 1843012064 4386816 722 4294967295 134512640 134702520 3221223040 3221221936 134553952 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 722 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1056.31
Current children cumulated vsize (Kb) 6412
[startup+1100.11 s]
Raw data (loadavg): 1.01 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 27148 465 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552220 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1066.01
Current children cumulated vsize (Kb) 6412
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 28106 478 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1075.72
Current children cumulated vsize (Kb) 6412
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 29046 500 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1085.34
Current children cumulated vsize (Kb) 6412
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 29990 518 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552748 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1094.96
Current children cumulated vsize (Kb) 6412
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 30933 537 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552220 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1104.58
Current children cumulated vsize (Kb) 6412
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 31871 558 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1114.17
Current children cumulated vsize (Kb) 6412
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) T 27078 27078 21452 0 -1 0 752 0 0 0 32814 579 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1123.81
Current children cumulated vsize (Kb) 6412
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 33752 601 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1133.41
Current children cumulated vsize (Kb) 6412
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/57 27087
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 457 3942 0 0 2 2 77641 1343 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27087/stat): 27087 (vallst) R 27078 27078 21452 0 -1 0 752 0 0 0 34697 616 0 0 25 0 1 0 1843012064 4386816 724 4294967295 134512640 134702520 3221223040 3221221936 134552263 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27087/statm): 1071 724 413 48 0 1023 0
[pid=27087] vsize: 4284
Current children cumulated CPU time (s) 1143.01
Current children cumulated vsize (Kb) 6412
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=27087) exited with status: 2
New process pid=27088
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=27088) exited with status: 0
New process pid=27089
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+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 363 0 0 0 244 12 0 0 22 0 1 0 1843049264 2777088 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 678 332 413 48 0 630 0
[pid=27089] vsize: 2712
Current children cumulated CPU time (s) 1152.52
Current children cumulated vsize (Kb) 4840
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 363 0 0 0 1126 52 0 0 25 0 1 0 1843049264 2777088 332 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 678 332 413 48 0 630 0
[pid=27089] vsize: 2712
Current children cumulated CPU time (s) 1161.74
Current children cumulated vsize (Kb) 4840
[startup+1210.12 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) R 27078 27078 21452 0 -1 0 567 0 0 0 2021 90 0 0 25 0 1 0 1843049264 4349952 536 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/27089/statm): 1062 536 413 48 0 1014 0
[pid=27089] vsize: 4248
Current children cumulated CPU time (s) 1171.07
Current children cumulated vsize (Kb) 6376
[startup+1220.12 s]
Raw data (loadavg): 1.07 1.02 1.00 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 595 0 0 0 2879 137 0 0 25 0 1 0 1843049264 4485120 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 564 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1180.12
Current children cumulated vsize (Kb) 6508
[startup+1230.12 s]
Raw data (loadavg): 1.14 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 595 0 0 0 3762 175 0 0 25 0 1 0 1843049264 4485120 564 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/27089/statm): 1095 564 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1189.33
Current children cumulated vsize (Kb) 6508
[startup+1240.12 s]
Raw data (loadavg): 1.11 1.03 1.01 2/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) R 27078 27078 21452 0 -1 0 605 0 0 0 4653 211 0 0 22 0 1 0 1843049264 4485120 574 4294967295 134512640 134702520 3221223712 3221217228 134531189 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 574 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1198.6
Current children cumulated vsize (Kb) 6508
[startup+1250.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 620 0 0 0 5528 258 0 0 25 0 1 0 1843049264 4485120 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 589 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 6508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1250.12 s]
Raw data (loadavg): 1.10 1.03 1.01 1/57 27089
Raw data (/proc/27078/stat): 27078 (vallstSAT2005PB) S 27077 27078 21452 0 -1 0 497 4839 0 0 2 2 113017 1975 19 0 1 0 1842930512 2179072 249 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/27078/statm): 532 249 485 147 0 385 0
[pid=27078] vsize: 2128
Raw data (/proc/27089/stat): 27089 (vallst) T 27078 27078 21452 0 -1 0 620 0 0 0 5528 258 0 0 25 0 1 0 1843049264 4485120 589 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/27089/statm): 1095 589 413 48 0 1047 0
[pid=27089] vsize: 4380
Current children cumulated CPU time (s) 1207.82
Current children cumulated vsize (Kb) 6508
Sending SIGTERM to -27078
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=27091
New process pid=27092
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/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/822/stat
open syscall for file /proc/822/status
open syscall for file /proc/822/cmdline
open syscall for file /proc/822/environ
open syscall for file /proc/823/stat
open syscall for file /proc/823/status
open syscall for file /proc/823/cmdline
open syscall for file /proc/823/environ
open syscall for file /proc/1256/stat
open syscall for file /proc/1256/status
open syscall for file /proc/1256/cmdline
open syscall for file /proc/1256/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1282/stat
open syscall for file /proc/1282/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/1282/cmdline
open syscall for file /proc/1282/environ
open syscall for file /proc/1312/stat
open syscall for file /proc/1312/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
One traced child (pid=27089) exited with status: 3
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1312/cmdline
open syscall for file /proc/1312/environ
open syscall for file /proc/1356/stat
open syscall for file /proc/1356/status
open syscall for file /proc/1356/cmdline
open syscall for file /proc/1356/environ
open syscall for file /proc/1514/stat
open syscall for file /proc/1514/status
open syscall for file /proc/1514/cmdline
open syscall for file /proc/1514/environ
open syscall for file /proc/1538/stat
open syscall for file /proc/1538/status
open syscall for file /proc/1538/cmdline
open syscall for file /proc/1538/environ
open syscall for file /proc/1561/stat
open syscall for file /proc/1561/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1561/cmdline
open syscall for file /proc/1561/environ
open syscall for file /proc/1655/stat
open syscall for file /proc/1655/status
open syscall for file /proc/1655/cmdline
open syscall for file /proc/1655/environ
open syscall for file /proc/1656/stat
open syscall for file /proc/1656/status
open syscall for file /proc/1656/cmdline
open syscall for file /proc/1656/environ
open syscall for file /proc/1657/stat
open syscall for file /proc/1657/status
open syscall for file /proc/1657/cmdline
open syscall for file /proc/1657/environ
open syscall for file /proc/1658/stat
open syscall for file /proc/1658/status
open syscall for file /proc/1658/cmdline
open syscall for file /proc/1658/environ
open syscall for file /proc/1659/stat
open syscall for file /proc/1659/status
open syscall for file /proc/1659/cmdline
open syscall for file /proc/1659/environ
open syscall for file /proc/1660/stat
open syscall for file /proc/1660/status
open syscall for file /proc/1660/cmdline
open syscall for file /proc/1660/environ
open syscall for file /proc/1661/stat
open syscall for file /proc/1661/status
open syscall for file /proc/1661/cmdline
open syscall for file /proc/1661/environ
open syscall for file /proc/18281/stat
open syscall for file /proc/18281/status
open syscall for file /proc/18281/cmdline
open syscall for file /proc/18281/environ
open syscall for file /proc/19827/stat
open syscall for file /proc/19827/status
open syscall for file /proc/19827/cmdline
open syscall for file /proc/19827/environ
open syscall for file /proc/19854/stat
open syscall for file /proc/19854/status
open syscall for file /proc/19854/cmdline
open syscall for file /proc/19854/environ
open syscall for file /proc/19878/stat
open syscall for file /proc/19878/status
open syscall for file /proc/19878/cmdline
open syscall for file /proc/19878/environ
open syscall for file /proc/28563/stat
open syscall for file /proc/28563/status
open syscall for file /proc/28563/cmdline
open syscall for file /proc/28563/environ
open syscall for file /proc/28582/stat
open syscall for file /proc/28582/status
open syscall for file /proc/28582/cmdline
open syscall for file /proc/28582/environ
open syscall for file /proc/5390/stat
open syscall for file /proc/5390/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/5390/cmdline
open syscall for file /proc/5390/environ
open syscall for file /proc/5425/stat
open syscall for file /proc/5425/status
open syscall for file /proc/5425/cmdline
open syscall for file /proc/5425/environ
open syscall for file /proc/21452/stat
open syscall for file /proc/21452/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21452/cmdline
open syscall for file /proc/21452/environ
open syscall for file /proc/21453/stat
open syscall for file /proc/21453/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/21453/cmdline
open syscall for file /proc/21453/environ
open syscall for file /proc/21462/stat
open syscall for file /proc/21462/status
open syscall for file /proc/21462/cmdline
open syscall for file /proc/21462/environ
open syscall for file /proc/27041/stat
open syscall for file /proc/27041/status
open syscall for file /proc/27041/cmdline
open syscall for file /proc/27041/environ
open syscall for file /proc/27077/stat
open syscall for file /proc/27077/status
open syscall for file /proc/27077/cmdline
open syscall for file /proc/27077/environ
open syscall for file /proc/27078/stat
open syscall for file /proc/27078/status
open syscall for file /proc/27078/cmdline
open syscall for file /proc/27078/environ
open syscall for file /proc/27091/stat
open syscall for file /proc/27091/status
open syscall for file /proc/27091/cmdline
open syscall for file /proc/27091/environ
open syscall for file /proc/27092/stat
open syscall for file /proc/27092/status
open syscall for file /proc/27092/cmdline
open syscall for file /proc/27092/environ
One traced child (pid=27091) exited with status: 0
One traced child (pid=27092) exited with status: 0
New process pid=27093
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
One traced child (pid=27093) exited with status: 0
New process pid=27094
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=27094) exited with status: 0
One traced child (pid=27078) 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): 1250.62
CPU time (s): 1208.02
CPU user time (s): 1185.57
CPU system time (s): 22.4456
CPU usage (%): 96.5932
Max. virtual memory (cumulated for all children) (Kb): 9044