1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 40 (#equs: 133)
#decisions: 46180; #end-nodes: 10550;
#proof improvement attempts: 0; #restarts: 69
Current batch, end-nodes: 347 / 366 (97)
#axs: 2038, #non-axs: 9317
tight: meta-meta: start: 6, end: 9; meta: start: 11, end (keep): 21
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 553 (70:>=*);
#decisions: 28187; #end-nodes: 9696;
#proof improvement attempts: 0; #restarts: 60
Current batch, end-nodes: 384 / 415 (95)
#axs: 2067, #non-axs: 11775
tight: meta-meta: start: 6, end: 9; meta: start: 8, end (keep): 15
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 555 (68:>=*);
#decisions: 13413; #end-nodes: 6555;
#proof improvement attempts: 0; #restarts: 27
Current batch, end-nodes: 247 / 348 (86)
#axs: 2073, #non-axs: 12891
tight: meta-meta: start: 6, end: 9; meta: start: 7, end (keep): 12
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 557 (66:>=*);
#decisions: 371112; #end-nodes: 314938;
#proof improvement attempts: 0; #restarts: 1056
Current batch, end-nodes: 0 / 349 (343)
#axs: 2208, #non-axs: 2061
tight: meta-meta: start: 4, end: 5; meta: start: 5, end (keep): 7
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 557 (66:>=*)
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: 394 (#equs: 323)
Time taken: 5 min, 21 sec
2:
seed: 0
Nr of vars set: 394 (#equs: 0)
Nr of vars set: 395 (#equs: 0)
#decisions: 37013; #end-nodes: 28469;
#proof improvement attempts: 0; #restarts: 90
Current batch, end-nodes: 5577 / 6413 (142)
#axs: 277, #non-axs: 976
tight: meta-meta: start: 4, end: 5; meta: start: 3, end (keep): 3
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: proof of false found (0)
No model found at all.
Proof of false found with initial constants.
result: proof of false found (0)
seed: 0
Nr of vars set: 495 (#equs: 4)
Time taken in seconds: 10
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.022s 0m0.024s
4m59.946s 0m31.447s
s UNSATISFIABLE
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) R 18395 18396 4419 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1845859700 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/18396/statm): 174 3 169 147 0 27 0
[pid=18396] 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=18397
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=18397) exited with status: 0
New process pid=18398
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=18398) exited with status: 0
New process pid=18399
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/wulflinc25/normalized-s4-4-3-6pb.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0035 s]
Raw data (loadavg): 0.96 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 345 0 0 0 295 225 0 0 18 0 1 0 1845859710 2977792 315 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 727 315 413 48 0 679 0
[pid=18399] vsize: 2908
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (Kb) 5036
[startup+20.0041 s]
Raw data (loadavg): 0.96 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 448 0 0 0 924 353 0 0 20 0 1 0 1845859710 3411968 418 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 833 418 413 48 0 785 0
[pid=18399] vsize: 3332
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (Kb) 5460
[startup+30.0047 s]
Raw data (loadavg): 0.97 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 518 0 0 0 1675 435 0 0 21 0 1 0 1845859710 3698688 488 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 903 488 413 48 0 855 0
[pid=18399] vsize: 3612
Current children cumulated CPU time (s) 21.12
Current children cumulated vsize (Kb) 5740
[startup+40.0053 s]
Raw data (loadavg): 0.97 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 625 0 0 0 2475 504 0 0 22 0 1 0 1845859710 3702784 595 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 904 595 413 48 0 856 0
[pid=18399] vsize: 3616
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 5744
[startup+50.0059 s]
Raw data (loadavg): 0.98 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 632 0 0 0 3233 588 0 0 20 0 1 0 1845859710 3710976 602 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 906 602 413 48 0 858 0
[pid=18399] vsize: 3624
Current children cumulated CPU time (s) 38.23
Current children cumulated vsize (Kb) 5752
[startup+60.0065 s]
Raw data (loadavg): 0.98 1.00 0.99 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 632 0 0 0 3973 678 0 0 20 0 1 0 1845859710 3710976 602 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 906 602 413 48 0 858 0
[pid=18399] vsize: 3624
Current children cumulated CPU time (s) 46.53
Current children cumulated vsize (Kb) 5752
[startup+70.0071 s]
Raw data (loadavg): 1.06 1.02 1.00 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 647 0 0 0 4704 769 0 0 20 0 1 0 1845859710 3710976 617 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 906 617 413 48 0 858 0
[pid=18399] vsize: 3624
Current children cumulated CPU time (s) 54.75
Current children cumulated vsize (Kb) 5752
[startup+80.0077 s]
Raw data (loadavg): 1.21 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 650 0 0 0 5484 847 0 0 22 0 1 0 1845859710 3715072 620 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 907 620 413 48 0 859 0
[pid=18399] vsize: 3628
Current children cumulated CPU time (s) 63.33
Current children cumulated vsize (Kb) 5756
[startup+90.0083 s]
Raw data (loadavg): 1.25 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 651 0 0 0 6275 918 0 0 21 0 1 0 1845859710 3719168 621 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 908 621 413 48 0 860 0
[pid=18399] vsize: 3632
Current children cumulated CPU time (s) 71.95
Current children cumulated vsize (Kb) 5760
[startup+100.009 s]
Raw data (loadavg): 1.21 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 651 0 0 0 7053 991 0 0 21 0 1 0 1845859710 3719168 621 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 908 621 413 48 0 860 0
[pid=18399] vsize: 3632
Current children cumulated CPU time (s) 80.46
Current children cumulated vsize (Kb) 5760
[startup+110.01 s]
Raw data (loadavg): 1.18 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 654 0 0 0 7844 1064 0 0 22 0 1 0 1845859710 3731456 624 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 911 624 413 48 0 863 0
[pid=18399] vsize: 3644
Current children cumulated CPU time (s) 89.1
Current children cumulated vsize (Kb) 5772
[startup+120.01 s]
Raw data (loadavg): 1.15 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 654 0 0 0 8624 1142 0 0 20 0 1 0 1845859710 3731456 624 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 911 624 413 48 0 863 0
[pid=18399] vsize: 3644
Current children cumulated CPU time (s) 97.68
Current children cumulated vsize (Kb) 5772
[startup+130.011 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 654 0 0 0 9385 1224 0 0 17 0 1 0 1845859710 3731456 624 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 911 624 413 48 0 863 0
[pid=18399] vsize: 3644
Current children cumulated CPU time (s) 106.11
Current children cumulated vsize (Kb) 5772
[startup+140.011 s]
Raw data (loadavg): 1.11 1.05 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 654 0 0 0 10167 1297 0 0 23 0 1 0 1845859710 3731456 624 4294967295 134512640 134702520 3221223968 3221204524 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/18399/statm): 911 624 413 48 0 863 0
[pid=18399] vsize: 3644
Current children cumulated CPU time (s) 114.66
Current children cumulated vsize (Kb) 5772
[startup+150.012 s]
Raw data (loadavg): 1.17 1.07 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 654 0 0 0 10937 1377 0 0 21 0 1 0 1845859710 3731456 624 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 911 624 413 48 0 863 0
[pid=18399] vsize: 3644
Current children cumulated CPU time (s) 123.16
Current children cumulated vsize (Kb) 5772
[startup+160.013 s]
Raw data (loadavg): 1.14 1.06 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 11707 1455 0 0 22 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 131.64
Current children cumulated vsize (Kb) 5776
[startup+170.013 s]
Raw data (loadavg): 1.12 1.06 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 655 0 0 0 12499 1527 0 0 22 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221223248 134557470 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 140.28
Current children cumulated vsize (Kb) 5776
[startup+180.014 s]
Raw data (loadavg): 1.10 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 13289 1599 0 0 21 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 148.9
Current children cumulated vsize (Kb) 5776
[startup+190.014 s]
Raw data (loadavg): 1.08 1.06 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 14071 1673 0 0 23 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 157.46
Current children cumulated vsize (Kb) 5776
[startup+200.015 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 14868 1746 0 0 22 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 166.16
Current children cumulated vsize (Kb) 5776
[startup+210.016 s]
Raw data (loadavg): 1.06 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 15658 1818 0 0 22 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 174.78
Current children cumulated vsize (Kb) 5776
[startup+220.017 s]
Raw data (loadavg): 1.05 1.05 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 655 0 0 0 16450 1889 0 0 23 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221199744 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 183.41
Current children cumulated vsize (Kb) 5776
[startup+230.018 s]
Raw data (loadavg): 1.04 1.05 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 17250 1963 0 0 24 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 192.15
Current children cumulated vsize (Kb) 5776
[startup+240.019 s]
Raw data (loadavg): 1.04 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 655 0 0 0 18046 2032 0 0 21 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 200.8
Current children cumulated vsize (Kb) 5776
[startup+250.02 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 655 0 0 0 18836 2105 0 0 22 0 1 0 1845859710 3735552 625 4294967295 134512640 134702520 3221223968 3221211264 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18399/statm): 912 625 413 48 0 864 0
[pid=18399] vsize: 3648
Current children cumulated CPU time (s) 209.43
Current children cumulated vsize (Kb) 5776
[startup+260.02 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 19650 2167 0 0 24 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 218.19
Current children cumulated vsize (Kb) 5780
[startup+270.02 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 20448 2237 0 0 22 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 226.87
Current children cumulated vsize (Kb) 5780
[startup+280.021 s]
Raw data (loadavg): 1.02 1.04 1.00 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 21245 2307 0 0 23 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 235.54
Current children cumulated vsize (Kb) 5780
[startup+290.021 s]
Raw data (loadavg): 1.01 1.04 1.00 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 656 0 0 0 22056 2377 0 0 24 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223088 134584554 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 244.35
Current children cumulated vsize (Kb) 5780
[startup+300.022 s]
Raw data (loadavg): 1.16 1.07 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 22853 2448 0 0 22 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 253.03
Current children cumulated vsize (Kb) 5780
[startup+310.023 s]
Raw data (loadavg): 1.14 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 23643 2521 0 0 18 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 261.66
Current children cumulated vsize (Kb) 5780
[startup+320.023 s]
Raw data (loadavg): 1.12 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 24453 2590 0 0 23 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 270.45
Current children cumulated vsize (Kb) 5780
[startup+330.024 s]
Raw data (loadavg): 1.10 1.06 1.01 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 25275 2652 0 0 25 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434789 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 279.29
Current children cumulated vsize (Kb) 5780
[startup+340.025 s]
Raw data (loadavg): 1.08 1.06 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 26071 2718 0 0 22 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 287.91
Current children cumulated vsize (Kb) 5780
[startup+350.026 s]
Raw data (loadavg): 1.07 1.05 1.01 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 26895 2778 0 0 21 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 296.75
Current children cumulated vsize (Kb) 5780
[startup+360.027 s]
Raw data (loadavg): 1.06 1.05 1.00 2/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) R 18396 18396 4419 0 -1 0 656 0 0 0 27724 2839 0 0 21 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222736 134550697 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 305.65
Current children cumulated vsize (Kb) 5780
[startup+370.027 s]
Raw data (loadavg): 1.05 1.05 1.00 1/57 18399
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 330 232 0 0 1 1 0 0 20 0 1 0 1845859700 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 242 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18399/stat): 18399 (vallst) T 18396 18396 4419 0 -1 0 656 0 0 0 28541 2904 0 0 21 0 1 0 1845859710 3739648 626 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18399/statm): 913 626 413 48 0 865 0
[pid=18399] vsize: 3652
Current children cumulated CPU time (s) 314.47
Current children cumulated vsize (Kb) 5780
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=18399) exited with status: 2
New process pid=18400
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=18400) exited with status: 0
New process pid=18401
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+380.028 s]
Raw data (loadavg): 1.04 1.05 1.00 1/57 18401
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 378 1031 0 0 1 1 29153 2959 18 0 1 0 1845859700 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 248 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18401/stat): 18401 (vallst) T 18396 18396 4419 0 -1 0 241 0 0 0 123 35 0 0 18 0 1 0 1845897480 2293760 212 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/18401/statm): 560 212 413 48 0 512 0
[pid=18401] vsize: 2240
Current children cumulated CPU time (s) 322.72
Current children cumulated vsize (Kb) 4368
[startup+390.028 s]
Raw data (loadavg): 1.03 1.05 1.00 1/57 18401
Raw data (/proc/18396/stat): 18396 (vallstSAT2005PB) S 18395 18396 4419 0 -1 0 378 1031 0 0 1 1 29153 2959 18 0 1 0 1845859700 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/18396/statm): 532 248 485 147 0 385 0
[pid=18396] vsize: 2128
Raw data (/proc/18401/stat): 18401 (vallst) T 18396 18396 4419 0 -1 0 323 0 0 0 713 170 0 0 18 0 1 0 1845897480 3026944 294 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/18401/statm): 739 294 413 48 0 691 0
[pid=18401] vsize: 2956
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 5084
One traced child (pid=18401) exited with status: 0
New process pid=18402
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/tmp/wulflinc25/normalized-s4-4-3-6pb.opb
One traced child (pid=18402) exited with status: 0
New process pid=18403
One traced child (pid=18403) exited with status: 127
New process pid=18404
New process pid=18405
execve syscall for /bin/ps executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libproc.so.2.0.13
open syscall for file tls/i686/libproc.so.2.0.13
open syscall for file tls/mmx/libproc.so.2.0.13
open syscall for file tls/libproc.so.2.0.13
open syscall for file i686/mmx/libproc.so.2.0.13
open syscall for file i686/libproc.so.2.0.13
open syscall for file mmx/libproc.so.2.0.13
open syscall for file libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/tls/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/i686/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/mmx/libproc.so.2.0.13
open syscall for file /oldhome/oroussel/lib/libproc.so.2.0.13
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libproc.so.2.0.13
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /proc/self/stat
open syscall for file /proc/self/statm
open syscall for file /proc/self/status
open syscall for file /proc/uptime
open syscall for file /proc/meminfo
open syscall for file /proc
open syscall for file /proc/1/stat
open syscall for file /proc/1/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1/cmdline
open syscall for file /proc/1/environ
open syscall for file /proc/2/stat
open syscall for file /proc/2/status
open syscall for file /proc/2/cmdline
open syscall for file /proc/2/environ
open syscall for file /proc/3/stat
open syscall for file /proc/3/status
open syscall for file /proc/3/cmdline
open syscall for file /proc/3/environ
open syscall for file /proc/4/stat
open syscall for file /proc/4/status
open syscall for file /proc/4/cmdline
open syscall for file /proc/4/environ
open syscall for file /proc/5/stat
open syscall for file /proc/5/status
open syscall for file /proc/5/cmdline
open syscall for file /proc/5/environ
open syscall for file /proc/6/stat
open syscall for file /proc/6/status
open syscall for file /proc/6/cmdline
open syscall for file /proc/6/environ
open syscall for file /proc/7/stat
open syscall for file /proc/7/status
open syscall for file /proc/7/cmdline
open syscall for file /proc/7/environ
open syscall for file /proc/8/stat
open syscall for file /proc/8/status
open syscall for file /proc/8/cmdline
open syscall for file /proc/8/environ
open syscall for file /proc/9/stat
open syscall for file /proc/9/status
open syscall for file /proc/9/cmdline
open syscall for file /proc/9/environ
open syscall for file /proc/10/stat
open syscall for file /proc/10/status
open syscall for file /proc/10/cmdline
open syscall for file /proc/10/environ
open syscall for file /proc/11/stat
open syscall for file /proc/11/status
open syscall for file /proc/11/cmdline
open syscall for file /proc/11/environ
open syscall for file /proc/34/stat
open syscall for file /proc/34/status
open syscall for file /proc/34/cmdline
open syscall for file /proc/34/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/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 /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)
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/19860/stat
open syscall for file /proc/19860/status
open syscall for file /proc/19860/cmdline
open syscall for file /proc/19860/environ
open syscall for file /proc/27255/stat
open syscall for file /proc/27255/status
open syscall for file /proc/27255/cmdline
open syscall for file /proc/27255/environ
open syscall for file /proc/27281/stat
open syscall for file /proc/27281/status
open syscall for file /proc/27281/cmdline
open syscall for file /proc/27281/environ
open syscall for file /proc/27306/stat
open syscall for file /proc/27306/status
open syscall for file /proc/27306/cmdline
open syscall for file /proc/27306/environ
open syscall for file /proc/4627/stat
open syscall for file /proc/4627/status
open syscall for file /proc/4627/cmdline
open syscall for file /proc/4627/environ
open syscall for file /proc/17984/stat
open syscall for file /proc/17984/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/17984/cmdline
open syscall for file /proc/17984/environ
open syscall for file /proc/18019/stat
open syscall for file /proc/18019/status
open syscall for file /proc/18019/cmdline
open syscall for file /proc/18019/environ
open syscall for file /proc/4419/stat
open syscall for file /proc/4419/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/4419/cmdline
open syscall for file /proc/4419/environ
open syscall for file /proc/4420/stat
open syscall for file /proc/4420/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/4420/cmdline
open syscall for file /proc/4420/environ
open syscall for file /proc/4429/stat
open syscall for file /proc/4429/status
open syscall for file /proc/4429/cmdline
open syscall for file /proc/4429/environ
open syscall for file /proc/18359/stat
open syscall for file /proc/18359/status
open syscall for file /proc/18359/cmdline
open syscall for file /proc/18359/environ
open syscall for file /proc/18395/stat
open syscall for file /proc/18395/status
open syscall for file /proc/18395/cmdline
open syscall for file /proc/18395/environ
open syscall for file /proc/18396/stat
open syscall for file /proc/18396/status
open syscall for file /proc/18396/cmdline
open syscall for file /proc/18396/environ
open syscall for file /proc/18404/stat
open syscall for file /proc/18404/status
open syscall for file /proc/18404/cmdline
open syscall for file /proc/18404/environ
open syscall for file /proc/18405/stat
open syscall for file /proc/18405/status
open syscall for file /proc/18405/cmdline
open syscall for file /proc/18405/environ
One traced child (pid=18404) exited with status: 0
One traced child (pid=18405) exited with status: 0
New process pid=18406
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=18406) exited with status: 0
New process pid=18407
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=18407) exited with status: 0
One traced child (pid=18396) exited with status: 20
All traced children have exited ! Game is over.
Child status: 20
Real time (s): 392.175
CPU time (s): 331.533
CPU user time (s): 300.001
CPU system time (s): 31.5312
CPU usage (%): 84.5369
Max. virtual memory (cumulated for all children) (Kb): 5780