1:
seed: 0
Nr of vars set: 0 (#equs: 0)
Nr of vars set: 2 (#equs: 1267)
#decisions: 260169; #end-nodes: 170154;
#proof improvement attempts: 0; #restarts: 864
Current batch, end-nodes: 0 / 332 (295)
#axs: 7951, #non-axs: 10370
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: 2 (#equs: 1291)
Time taken: 5 min, 42 sec
2:
seed: 0
Nr of vars set: 2 (#equs: 0)
Nr of vars set: 2 (#equs: 7)
Interupt request received.
#decisions: 758854; #end-nodes: 559982;
#proof improvement attempts: 0; #restarts: 1650
Current batch, end-nodes: 487 / 555 (532)
#axs: 5465, #non-axs: 6704
tight: meta-meta: start: 4, end: 5; meta: start: 8, end (keep): 13
loose: meta-meta: start: 8, end: 12; meta: start: 26, end (keep): 44
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 292 (#equs: 10)
Time taken: 14 min, 22 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 71: kill: (4457) - No such process
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/4452/stat): 4452 (vallstSAT2005PB) R 4451 4452 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1843091718 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/4452/statm): 174 3 169 147 0 27 0
[pid=4452] 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=4453
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=4453) exited with status: 0
New process pid=4454
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=4454) exited with status: 0
New process pid=4455
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/wulflinc18/normalized-par32-4-c.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map
[startup+10.0036 s]
Raw data (loadavg): 0.93 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 443 0 0 0 322 210 0 0 16 0 1 0 1843091727 3100672 413 4294967295 134512640 134702520 3221223968 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 757 413 413 48 0 709 0
[pid=4455] vsize: 3028
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (Kb) 5156
[startup+20.0045 s]
Raw data (loadavg): 0.94 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 508 0 0 0 967 327 0 0 16 0 1 0 1843091727 4706304 478 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1149 478 413 48 0 1101 0
[pid=4455] vsize: 4596
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (Kb) 6724
[startup+30.0055 s]
Raw data (loadavg): 0.95 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 562 0 0 0 1655 431 0 0 16 0 1 0 1843091727 4833280 532 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1180 532 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 20.88
Current children cumulated vsize (Kb) 6848
[startup+40.0074 s]
Raw data (loadavg): 0.96 0.98 0.99 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 563 0 0 0 2118 610 0 0 16 0 1 0 1843091727 4833280 533 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1180 533 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 27.3
Current children cumulated vsize (Kb) 6848
[startup+50.0083 s]
Raw data (loadavg): 1.04 1.00 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 577 0 0 0 2756 732 0 0 17 0 1 0 1843091727 4833280 547 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1180 547 413 48 0 1132 0
[pid=4455] vsize: 4720
Current children cumulated CPU time (s) 34.9
Current children cumulated vsize (Kb) 6848
[startup+60.0093 s]
Raw data (loadavg): 1.03 1.00 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 605 0 0 0 3497 818 0 0 17 0 1 0 1843091727 4943872 575 4294967295 134512640 134702520 3221223968 3221223248 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1207 575 413 48 0 1159 0
[pid=4455] vsize: 4828
Current children cumulated CPU time (s) 43.17
Current children cumulated vsize (Kb) 6956
[startup+70.0112 s]
Raw data (loadavg): 1.03 1.00 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 617 0 0 0 4060 965 0 0 16 0 1 0 1843091727 5099520 587 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 587 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (Kb) 7108
[startup+80.0121 s]
Raw data (loadavg): 1.02 1.00 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 623 0 0 0 4597 1117 0 0 16 0 1 0 1843091727 5099520 593 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 593 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 57.16
Current children cumulated vsize (Kb) 7108
[startup+90.013 s]
Raw data (loadavg): 1.10 1.02 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 626 0 0 0 5375 1191 0 0 16 0 1 0 1843091727 5099520 596 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 596 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 65.68
Current children cumulated vsize (Kb) 7108
[startup+100.014 s]
Raw data (loadavg): 1.08 1.02 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 656 0 0 0 6122 1279 0 0 16 0 1 0 1843091727 5099520 626 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 626 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 74.03
Current children cumulated vsize (Kb) 7108
[startup+110.015 s]
Raw data (loadavg): 1.14 1.03 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 656 0 0 0 6600 1454 0 0 16 0 1 0 1843091727 5099520 626 4294967295 134512640 134702520 3221223968 3221222736 134552759 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1245 626 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 80.56
Current children cumulated vsize (Kb) 7108
[startup+120.016 s]
Raw data (loadavg): 1.12 1.03 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 658 0 0 0 7278 1564 0 0 16 0 1 0 1843091727 5099520 628 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1245 628 413 48 0 1197 0
[pid=4455] vsize: 4980
Current children cumulated CPU time (s) 88.44
Current children cumulated vsize (Kb) 7108
[startup+130.017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 664 0 0 0 8074 1633 0 0 16 0 1 0 1843091727 5259264 634 4294967295 134512640 134702520 3221223968 3221223248 134553157 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1284 634 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 97.09
Current children cumulated vsize (Kb) 7264
[startup+140.019 s]
Raw data (loadavg): 1.08 1.03 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 696 0 0 0 8843 1714 0 0 16 0 1 0 1843091727 5259264 666 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 666 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 105.59
Current children cumulated vsize (Kb) 7264
[startup+150.02 s]
Raw data (loadavg): 1.07 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 697 0 0 0 9322 1888 0 0 16 0 1 0 1843091727 5259264 667 4294967295 134512640 134702520 3221223968 3221222736 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 667 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 112.12
Current children cumulated vsize (Kb) 7264
[startup+160.019 s]
Raw data (loadavg): 1.06 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 697 0 0 0 10045 1983 0 0 18 0 1 0 1843091727 5259264 667 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 667 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 120.3
Current children cumulated vsize (Kb) 7264
[startup+170.021 s]
Raw data (loadavg): 1.05 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 700 0 0 0 10864 2040 0 0 18 0 1 0 1843091727 5259264 670 4294967295 134512640 134702520 3221223968 3221223248 134552741 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1284 670 413 48 0 1236 0
[pid=4455] vsize: 5136
Current children cumulated CPU time (s) 129.06
Current children cumulated vsize (Kb) 7264
[startup+180.022 s]
Raw data (loadavg): 1.04 1.02 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 720 0 0 0 11686 2100 0 0 17 0 1 0 1843091727 5398528 690 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 690 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 137.88
Current children cumulated vsize (Kb) 7400
[startup+190.024 s]
Raw data (loadavg): 1.04 1.02 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 731 0 0 0 12314 2224 0 0 16 0 1 0 1843091727 5398528 701 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 701 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 145.4
Current children cumulated vsize (Kb) 7400
[startup+200.026 s]
Raw data (loadavg): 1.11 1.04 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 733 0 0 0 12858 2381 0 0 17 0 1 0 1843091727 5398528 703 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 703 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 152.41
Current children cumulated vsize (Kb) 7400
[startup+210.027 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 736 0 0 0 13675 2444 0 0 17 0 1 0 1843091727 5398528 706 4294967295 134512640 134702520 3221223968 3221223444 1074952449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 706 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (Kb) 7400
[startup+220.028 s]
Raw data (loadavg): 1.08 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 743 0 0 0 14494 2508 0 0 17 0 1 0 1843091727 5398528 713 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1318 713 413 48 0 1270 0
[pid=4455] vsize: 5272
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7400
[startup+230.029 s]
Raw data (loadavg): 1.15 1.05 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 758 0 0 0 15378 2548 0 0 18 0 1 0 1843091727 5537792 728 4294967295 134512640 134702520 3221223968 3221223248 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1352 728 413 48 0 1304 0
[pid=4455] vsize: 5408
Current children cumulated CPU time (s) 179.28
Current children cumulated vsize (Kb) 7536
[startup+240.031 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 763 0 0 0 15971 2685 0 0 16 0 1 0 1843091727 5492736 733 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1341 733 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 186.58
Current children cumulated vsize (Kb) 7492
[startup+250.032 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 763 0 0 0 16540 2824 0 0 18 0 1 0 1843091727 5492736 733 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 733 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 193.66
Current children cumulated vsize (Kb) 7492
[startup+260.033 s]
Raw data (loadavg): 1.09 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 765 0 0 0 17361 2886 0 0 17 0 1 0 1843091727 5492736 735 4294967295 134512640 134702520 3221223968 3221223248 134554409 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 735 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 202.49
Current children cumulated vsize (Kb) 7492
[startup+270.034 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 765 0 0 0 18248 2925 0 0 19 0 1 0 1843091727 5492736 735 4294967295 134512640 134702520 3221223968 3221223188 134549010 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1341 735 413 48 0 1293 0
[pid=4455] vsize: 5364
Current children cumulated CPU time (s) 211.75
Current children cumulated vsize (Kb) 7492
[startup+280.035 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 780 0 0 0 19075 2989 0 0 16 0 1 0 1843091727 5627904 750 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 750 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 220.66
Current children cumulated vsize (Kb) 7624
[startup+290.036 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 794 0 0 0 19869 3061 0 0 16 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 229.32
Current children cumulated vsize (Kb) 7624
[startup+300.037 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 794 0 0 0 20334 3241 0 0 16 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 235.77
Current children cumulated vsize (Kb) 7624
[startup+310.038 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 794 0 0 0 21126 3312 0 0 17 0 1 0 1843091727 5627904 764 4294967295 134512640 134702520 3221223968 3221223248 134550667 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1374 764 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 244.4
Current children cumulated vsize (Kb) 7624
[startup+320.039 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 795 0 0 0 22013 3354 0 0 19 0 1 0 1843091727 5627904 765 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 765 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 253.69
Current children cumulated vsize (Kb) 7624
[startup+330.04 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 800 0 0 0 22906 3391 0 0 20 0 1 0 1843091727 5627904 770 4294967295 134512640 134702520 3221223968 3221223224 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 770 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 262.99
Current children cumulated vsize (Kb) 7624
[startup+340.041 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 815 0 0 0 23731 3449 0 0 16 0 1 0 1843091727 5627904 785 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1374 785 413 48 0 1326 0
[pid=4455] vsize: 5496
Current children cumulated CPU time (s) 271.82
Current children cumulated vsize (Kb) 7624
[startup+350.043 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 832 0 0 0 24546 3511 0 0 16 0 1 0 1843091727 5767168 802 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1408 802 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 280.59
Current children cumulated vsize (Kb) 7760
[startup+360.044 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 833 0 0 0 25036 3681 0 0 16 0 1 0 1843091727 5767168 803 4294967295 134512640 134702520 3221223968 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1408 803 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 287.19
Current children cumulated vsize (Kb) 7760
[startup+370.045 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 837 0 0 0 25792 3762 0 0 17 0 1 0 1843091727 5767168 807 4294967295 134512640 134702520 3221223968 3221223248 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 807 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 295.56
Current children cumulated vsize (Kb) 7760
[startup+380.049 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 837 0 0 0 26675 3803 0 0 19 0 1 0 1843091727 5767168 807 4294967295 134512640 134702520 3221223968 3221223248 134557449 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 807 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 304.8
Current children cumulated vsize (Kb) 7760
[startup+390.051 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 839 0 0 0 27563 3841 0 0 19 0 1 0 1843091727 5767168 809 4294967295 134512640 134702520 3221223968 3221223248 134557466 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 809 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 314.06
Current children cumulated vsize (Kb) 7760
[startup+400.052 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) R 4452 4452 31027 0 -1 0 845 0 0 0 28450 3882 0 0 21 0 1 0 1843091727 5767168 815 4294967295 134512640 134702520 3221223968 3221223248 134553142 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1408 815 413 48 0 1360 0
[pid=4455] vsize: 5632
Current children cumulated CPU time (s) 323.34
Current children cumulated vsize (Kb) 7760
[startup+410.053 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 879 0 0 0 29340 3920 0 0 25 0 1 0 1843091727 5906432 849 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4455/statm): 1442 849 413 48 0 1394 0
[pid=4455] vsize: 5768
Current children cumulated CPU time (s) 332.62
Current children cumulated vsize (Kb) 7896
[startup+420.055 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4455
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 330 232 0 0 1 1 0 0 21 0 1 0 1843091718 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 242 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4455/stat): 4455 (vallst) T 4452 4452 31027 0 -1 0 880 0 0 0 29882 4071 0 0 16 0 1 0 1843091727 5906432 850 4294967295 134512640 134702520 3221223968 3221223096 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4455/statm): 1442 850 413 48 0 1394 0
[pid=4455] vsize: 5768
Current children cumulated CPU time (s) 339.55
Current children cumulated vsize (Kb) 7896
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=4455) exited with status: 2
New process pid=4456
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=4456) exited with status: 0
New process pid=4457
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+430.055 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 529 0 0 0 244 53 0 0 17 0 1 0 1843134313 4091904 500 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 999 500 413 48 0 951 0
[pid=4457] vsize: 3996
Current children cumulated CPU time (s) 345.99
Current children cumulated vsize (Kb) 6124
[startup+440.057 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 531 0 0 0 799 204 0 0 15 0 1 0 1843134313 4091904 502 4294967295 134512640 134702520 3221223712 3221222952 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 999 502 413 48 0 951 0
[pid=4457] vsize: 3996
Current children cumulated CPU time (s) 353.05
Current children cumulated vsize (Kb) 6124
[startup+450.059 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 619 0 0 0 1481 308 0 0 17 0 1 0 1843134313 6742016 590 4294967295 134512640 134702520 3221223712 3221222992 134553100 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1646 590 413 48 0 1598 0
[pid=4457] vsize: 6584
Current children cumulated CPU time (s) 360.91
Current children cumulated vsize (Kb) 8712
[startup+460.06 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 663 0 0 0 2232 392 0 0 17 0 1 0 1843134313 6742016 634 4294967295 134512640 134702520 3221223712 3221222992 134551467 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1646 634 413 48 0 1598 0
[pid=4457] vsize: 6584
Current children cumulated CPU time (s) 369.26
Current children cumulated vsize (Kb) 8712
[startup+470.062 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 697 0 0 0 2975 479 0 0 16 0 1 0 1843134313 6864896 668 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 668 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 377.56
Current children cumulated vsize (Kb) 8832
[startup+480.063 s]
Raw data (loadavg): 1.05 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 698 0 0 0 3518 635 0 0 16 0 1 0 1843134313 6864896 669 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 669 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 384.55
Current children cumulated vsize (Kb) 8832
[startup+490.065 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 701 0 0 0 4197 740 0 0 17 0 1 0 1843134313 6864896 672 4294967295 134512640 134702520 3221223712 3221222992 134557229 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 672 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 392.39
Current children cumulated vsize (Kb) 8832
[startup+500.066 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 705 0 0 0 5015 801 0 0 17 0 1 0 1843134313 6864896 676 4294967295 134512640 134702520 3221223712 3221222968 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1676 676 413 48 0 1628 0
[pid=4457] vsize: 6704
Current children cumulated CPU time (s) 401.18
Current children cumulated vsize (Kb) 8832
[startup+510.067 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 734 0 0 0 5834 862 0 0 18 0 1 0 1843134313 7196672 705 4294967295 134512640 134702520 3221223712 3221222992 134551055 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 705 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 9156
[startup+520.069 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 738 0 0 0 6343 1025 0 0 16 0 1 0 1843134313 7196672 709 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 709 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 416.7
Current children cumulated vsize (Kb) 9156
[startup+530.07 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 740 0 0 0 6937 1163 0 0 16 0 1 0 1843134313 7196672 711 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1757 711 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 424.02
Current children cumulated vsize (Kb) 9156
[startup+540.072 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 742 0 0 0 7729 1236 0 0 17 0 1 0 1843134313 7196672 713 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 713 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 432.67
Current children cumulated vsize (Kb) 9156
[startup+550.073 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 749 0 0 0 8539 1301 0 0 17 0 1 0 1843134313 7196672 720 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 720 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 441.42
Current children cumulated vsize (Kb) 9156
[startup+560.073 s]
Raw data (loadavg): 1.01 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 749 0 0 0 9100 1447 0 0 16 0 1 0 1843134313 7196672 720 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 720 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 448.49
Current children cumulated vsize (Kb) 9156
[startup+570.074 s]
Raw data (loadavg): 1.09 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 750 0 0 0 9683 1590 0 0 17 0 1 0 1843134313 7196672 721 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 721 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 455.75
Current children cumulated vsize (Kb) 9156
[startup+580.075 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 750 0 0 0 10474 1659 0 0 16 0 1 0 1843134313 7196672 721 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 721 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 464.35
Current children cumulated vsize (Kb) 9156
[startup+590.077 s]
Raw data (loadavg): 1.06 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 760 0 0 0 11293 1720 0 0 16 0 1 0 1843134313 7196672 731 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 731 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 473.15
Current children cumulated vsize (Kb) 9156
[startup+600.078 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 761 0 0 0 11954 1836 0 0 16 0 1 0 1843134313 7196672 732 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1757 732 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 480.92
Current children cumulated vsize (Kb) 9156
[startup+610.079 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 762 0 0 0 12438 2007 0 0 16 0 1 0 1843134313 7196672 733 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1757 733 413 48 0 1709 0
[pid=4457] vsize: 7028
Current children cumulated CPU time (s) 487.47
Current children cumulated vsize (Kb) 9156
[startup+620.08 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 763 0 0 0 13208 2087 0 0 15 0 1 0 1843134313 7294976 734 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 734 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 495.97
Current children cumulated vsize (Kb) 9252
[startup+630.081 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 767 0 0 0 14058 2140 0 0 16 0 1 0 1843134313 7294976 738 4294967295 134512640 134702520 3221223712 3221222588 134564336 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 738 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 505
Current children cumulated vsize (Kb) 9252
[startup+640.082 s]
Raw data (loadavg): 1.10 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 772 0 0 0 14886 2194 0 0 18 0 1 0 1843134313 7294976 743 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 743 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 513.82
Current children cumulated vsize (Kb) 9252
[startup+650.083 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 772 0 0 0 15403 2355 0 0 15 0 1 0 1843134313 7294976 743 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 743 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 520.6
Current children cumulated vsize (Kb) 9252
[startup+660.084 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 774 0 0 0 16033 2482 0 0 17 0 1 0 1843134313 7294976 745 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 745 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 528.17
Current children cumulated vsize (Kb) 9252
[startup+670.086 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 774 0 0 0 16845 2548 0 0 18 0 1 0 1843134313 7294976 745 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 745 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 536.95
Current children cumulated vsize (Kb) 9252
[startup+680.087 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 777 0 0 0 17658 2613 0 0 17 0 1 0 1843134313 7294976 748 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 748 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 545.73
Current children cumulated vsize (Kb) 9252
[startup+690.088 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 778 0 0 0 18541 2653 0 0 19 0 1 0 1843134313 7294976 749 4294967295 134512640 134702520 3221223712 3221222992 134557690 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 749 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 554.96
Current children cumulated vsize (Kb) 9252
[startup+700.089 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 778 0 0 0 19075 2812 0 0 16 0 1 0 1843134313 7294976 749 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 749 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 561.89
Current children cumulated vsize (Kb) 9252
[startup+710.09 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 780 0 0 0 19693 2935 0 0 17 0 1 0 1843134313 7294976 751 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 751 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 569.3
Current children cumulated vsize (Kb) 9252
[startup+720.092 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 783 0 0 0 20502 2998 0 0 17 0 1 0 1843134313 7294976 754 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 754 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 578.02
Current children cumulated vsize (Kb) 9252
[startup+730.093 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 784 0 0 0 21385 3039 0 0 19 0 1 0 1843134313 7294976 755 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 755 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 587.26
Current children cumulated vsize (Kb) 9252
[startup+740.095 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 786 0 0 0 22199 3101 0 0 17 0 1 0 1843134313 7294976 757 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 757 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 596.02
Current children cumulated vsize (Kb) 9252
[startup+750.096 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 807 0 0 0 22911 3199 0 0 16 0 1 0 1843134313 7294976 778 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1781 778 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 604.12
Current children cumulated vsize (Kb) 9252
[startup+760.097 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 808 0 0 0 23408 3371 0 0 16 0 1 0 1843134313 7294976 779 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1781 779 413 48 0 1733 0
[pid=4457] vsize: 7124
Current children cumulated CPU time (s) 610.81
Current children cumulated vsize (Kb) 9252
[startup+770.099 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 812 0 0 0 24226 3434 0 0 18 0 1 0 1843134313 7389184 783 4294967295 134512640 134702520 3221223712 3221222992 134550752 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 783 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 619.62
Current children cumulated vsize (Kb) 9344
[startup+780.1 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 812 0 0 0 25037 3497 0 0 16 0 1 0 1843134313 7389184 783 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 783 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 628.36
Current children cumulated vsize (Kb) 9344
[startup+790.102 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 815 0 0 0 25918 3538 0 0 18 0 1 0 1843134313 7389184 786 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 786 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (Kb) 9344
[startup+800.104 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 840 0 0 0 26808 3577 0 0 20 0 1 0 1843134313 7389184 811 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 811 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 646.87
Current children cumulated vsize (Kb) 9344
[startup+810.105 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 848 0 0 0 27263 3761 0 0 16 0 1 0 1843134313 7389184 819 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1804 819 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 653.26
Current children cumulated vsize (Kb) 9344
[startup+820.106 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 853 0 0 0 27897 3883 0 0 16 0 1 0 1843134313 7389184 824 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 824 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 660.82
Current children cumulated vsize (Kb) 9344
[startup+830.107 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 853 0 0 0 28765 3929 0 0 18 0 1 0 1843134313 7389184 824 4294967295 134512640 134702520 3221223712 3221222992 134553125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 824 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 669.96
Current children cumulated vsize (Kb) 9344
[startup+840.108 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 855 0 0 0 29572 3992 0 0 17 0 1 0 1843134313 7389184 826 4294967295 134512640 134702520 3221223712 3221222992 134557378 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 826 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 678.66
Current children cumulated vsize (Kb) 9344
[startup+850.11 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 857 0 0 0 30450 4034 0 0 18 0 1 0 1843134313 7389184 828 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 828 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 687.86
Current children cumulated vsize (Kb) 9344
[startup+860.111 s]
Raw data (loadavg): 1.08 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 857 0 0 0 30991 4184 0 0 16 0 1 0 1843134313 7389184 828 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 1804 828 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 694.77
Current children cumulated vsize (Kb) 9344
[startup+870.112 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 859 0 0 0 31598 4318 0 0 17 0 1 0 1843134313 7389184 830 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 830 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (Kb) 9344
[startup+880.113 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 859 0 0 0 32402 4382 0 0 17 0 1 0 1843134313 7389184 830 4294967295 134512640 134702520 3221223712 3221222832 134572114 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 830 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 710.86
Current children cumulated vsize (Kb) 9344
[startup+890.115 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 896 0 0 0 33283 4425 0 0 17 0 1 0 1843134313 7389184 867 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1804 867 413 48 0 1756 0
[pid=4457] vsize: 7216
Current children cumulated CPU time (s) 720.1
Current children cumulated vsize (Kb) 9344
[startup+900.116 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 994 0 0 0 34171 4463 0 0 20 0 1 0 1843134313 8052736 965 4294967295 134512640 134702520 3221223712 3221222992 134552693 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1966 965 413 48 0 1918 0
[pid=4457] vsize: 7864
Current children cumulated CPU time (s) 729.36
Current children cumulated vsize (Kb) 9992
[startup+910.117 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1083 0 0 0 35061 4502 0 0 20 0 1 0 1843134313 8179712 1054 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1997 1054 413 48 0 1949 0
[pid=4457] vsize: 7988
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (Kb) 10116
[startup+920.118 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1122 0 0 0 35696 4627 0 0 15 0 1 0 1843134313 7847936 983 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 983 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 746.25
Current children cumulated vsize (Kb) 9792
[startup+930.119 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1124 0 0 0 36224 4786 0 0 17 0 1 0 1843134313 7847936 985 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 985 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 753.12
Current children cumulated vsize (Kb) 9792
[startup+940.121 s]
Raw data (loadavg): 1.10 1.04 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1125 0 0 0 37099 4829 0 0 18 0 1 0 1843134313 7847936 986 4294967295 134512640 134702520 3221223712 3221222992 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 986 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (Kb) 9792
[startup+950.121 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1132 0 0 0 37990 4865 0 0 19 0 1 0 1843134313 7847936 993 4294967295 134512640 134702520 3221223712 3221222992 134557166 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1916 993 413 48 0 1868 0
[pid=4457] vsize: 7664
Current children cumulated CPU time (s) 771.57
Current children cumulated vsize (Kb) 9792
[startup+960.122 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1204 0 0 0 38878 4903 0 0 20 0 1 0 1843134313 8179712 1065 4294967295 134512640 134702520 3221223712 3221222932 134549015 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 1997 1065 413 48 0 1949 0
[pid=4457] vsize: 7988
Current children cumulated CPU time (s) 780.83
Current children cumulated vsize (Kb) 10116
[startup+970.124 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1279 0 0 0 39774 4935 0 0 19 0 1 0 1843134313 8646656 1140 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2111 1140 413 48 0 2063 0
[pid=4457] vsize: 8444
Current children cumulated CPU time (s) 790.11
Current children cumulated vsize (Kb) 10572
[startup+980.125 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1365 0 0 0 40666 4970 0 0 17 0 1 0 1843134313 8978432 1226 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2192 1226 413 48 0 2144 0
[pid=4457] vsize: 8768
Current children cumulated CPU time (s) 799.38
Current children cumulated vsize (Kb) 10896
[startup+990.126 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1433 0 0 0 41632 4984 0 0 17 0 1 0 1843134313 9113600 1294 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2225 1294 413 48 0 2177 0
[pid=4457] vsize: 8900
Current children cumulated CPU time (s) 809.18
Current children cumulated vsize (Kb) 11028
[startup+1000.13 s]
Raw data (loadavg): 1.11 1.05 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1441 0 0 0 42198 5121 0 0 16 0 1 0 1843134313 8450048 1138 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1138 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 816.21
Current children cumulated vsize (Kb) 10380
[startup+1010.13 s]
Raw data (loadavg): 1.10 1.05 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1444 0 0 0 42792 5261 0 0 18 0 1 0 1843134313 8450048 1141 4294967295 134512640 134702520 3221223712 3221222992 134552537 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1141 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 823.55
Current children cumulated vsize (Kb) 10380
[startup+1020.13 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1444 0 0 0 43679 5300 0 0 18 0 1 0 1843134313 8450048 1141 4294967295 134512640 134702520 3221223712 3221222980 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1141 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 832.81
Current children cumulated vsize (Kb) 10380
[startup+1030.13 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1445 0 0 0 44568 5337 0 0 18 0 1 0 1843134313 8450048 1142 4294967295 134512640 134702520 3221223712 3221222960 134564349 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1142 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 842.07
Current children cumulated vsize (Kb) 10380
[startup+1040.13 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1445 0 0 0 45460 5373 0 0 17 0 1 0 1843134313 8450048 1142 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2063 1142 413 48 0 2015 0
[pid=4457] vsize: 8252
Current children cumulated CPU time (s) 851.35
Current children cumulated vsize (Kb) 10380
[startup+1050.13 s]
Raw data (loadavg): 1.05 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1492 0 0 0 46425 5386 0 0 25 0 1 0 1843134313 8781824 1189 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2144 1189 413 48 0 2096 0
[pid=4457] vsize: 8576
Current children cumulated CPU time (s) 861.13
Current children cumulated vsize (Kb) 10704
[startup+1060.13 s]
Raw data (loadavg): 1.04 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1537 0 0 0 47321 5420 0 0 25 0 1 0 1843134313 8781824 1234 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2144 1234 413 48 0 2096 0
[pid=4457] vsize: 8576
Current children cumulated CPU time (s) 870.43
Current children cumulated vsize (Kb) 10704
[startup+1070.14 s]
Raw data (loadavg): 1.03 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1592 0 0 0 48224 5454 0 0 17 0 1 0 1843134313 9224192 1289 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2252 1289 413 48 0 2204 0
[pid=4457] vsize: 9008
Current children cumulated CPU time (s) 879.8
Current children cumulated vsize (Kb) 11136
[startup+1080.14 s]
Raw data (loadavg): 1.03 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1652 0 0 0 49189 5468 0 0 25 0 1 0 1843134313 9555968 1349 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2333 1349 413 48 0 2285 0
[pid=4457] vsize: 9332
Current children cumulated CPU time (s) 889.59
Current children cumulated vsize (Kb) 11460
[startup+1090.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1677 0 0 0 49876 5580 0 0 16 0 1 0 1843134313 8560640 1192 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2090 1192 413 48 0 2042 0
[pid=4457] vsize: 8360
Current children cumulated CPU time (s) 897.58
Current children cumulated vsize (Kb) 10488
[startup+1100.14 s]
Raw data (loadavg): 1.02 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1678 0 0 0 50395 5743 0 0 16 0 1 0 1843134313 8699904 1193 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2124 1193 413 48 0 2076 0
[pid=4457] vsize: 8496
Current children cumulated CPU time (s) 904.4
Current children cumulated vsize (Kb) 10624
[startup+1110.14 s]
Raw data (loadavg): 1.02 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 51309 5773 0 0 24 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134557183 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 913.84
Current children cumulated vsize (Kb) 10592
[startup+1120.14 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1679 0 0 0 52204 5811 0 0 19 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 923.17
Current children cumulated vsize (Kb) 10592
[startup+1130.14 s]
Raw data (loadavg): 1.01 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1679 0 0 0 53099 5847 0 0 17 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 932.48
Current children cumulated vsize (Kb) 10592
[startup+1140.15 s]
Raw data (loadavg): 1.01 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 53993 5884 0 0 19 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (Kb) 10592
[startup+1150.15 s]
Raw data (loadavg): 1.01 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1679 0 0 0 54883 5920 0 0 18 0 1 0 1843134313 8667136 1194 4294967295 134512640 134702520 3221223712 3221222992 134557257 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1194 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 951.05
Current children cumulated vsize (Kb) 10592
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 55824 5940 0 0 16 0 1 0 1843134313 8667136 1200 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2116 1200 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 960.66
Current children cumulated vsize (Kb) 10592
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 56739 5968 0 0 23 0 1 0 1843134313 8667136 1200 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2116 1200 413 48 0 2068 0
[pid=4457] vsize: 8464
Current children cumulated CPU time (s) 970.09
Current children cumulated vsize (Kb) 10592
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 57232 6137 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 976.71
Current children cumulated vsize (Kb) 10268
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 57896 6248 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 984.46
Current children cumulated vsize (Kb) 10268
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 58698 6316 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 993.16
Current children cumulated vsize (Kb) 10268
[startup+1210.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 59567 6361 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557259 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (Kb) 10268
[startup+1220.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 60437 6407 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134550430 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1011.46
Current children cumulated vsize (Kb) 10268
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 61308 6449 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222832 134572114 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1020.59
Current children cumulated vsize (Kb) 10268
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.02 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 61741 6638 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222712 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1026.81
Current children cumulated vsize (Kb) 10268
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.01 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 62447 6735 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1034.84
Current children cumulated vsize (Kb) 10268
[startup+1260.16 s]
Raw data (loadavg): 1.07 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 63254 6802 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1043.58
Current children cumulated vsize (Kb) 10268
[startup+1270.17 s]
Raw data (loadavg): 1.06 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 64120 6846 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1052.68
Current children cumulated vsize (Kb) 10268
[startup+1280.18 s]
Raw data (loadavg): 1.05 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 64994 6889 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134551028 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (Kb) 10268
[startup+1290.18 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 65862 6935 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1070.99
Current children cumulated vsize (Kb) 10268
[startup+1300.18 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 66341 7105 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1077.48
Current children cumulated vsize (Kb) 10268
[startup+1310.18 s]
Raw data (loadavg): 1.03 1.02 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 67005 7214 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1085.21
Current children cumulated vsize (Kb) 10268
[startup+1320.19 s]
Raw data (loadavg): 1.10 1.04 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 67828 7275 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1094.05
Current children cumulated vsize (Kb) 10268
[startup+1330.19 s]
Raw data (loadavg): 1.09 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 68669 7330 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1103.01
Current children cumulated vsize (Kb) 10268
[startup+1340.19 s]
Raw data (loadavg): 1.07 1.04 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 69540 7374 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1112.16
Current children cumulated vsize (Kb) 10268
[startup+1350.19 s]
Raw data (loadavg): 1.06 1.03 1.00 3/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 70419 7417 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557211 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1121.38
Current children cumulated vsize (Kb) 10268
[startup+1360.19 s]
Raw data (loadavg): 1.05 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 71133 7510 0 0 15 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1129.45
Current children cumulated vsize (Kb) 10268
[startup+1370.19 s]
Raw data (loadavg): 1.04 1.03 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 71580 7692 0 0 16 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134553950 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1135.74
Current children cumulated vsize (Kb) 10268
[startup+1380.19 s]
Raw data (loadavg): 1.04 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 72446 7738 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1144.86
Current children cumulated vsize (Kb) 10268
[startup+1390.2 s]
Raw data (loadavg): 1.03 1.03 1.00 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1685 0 0 0 73306 7785 0 0 17 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1153.93
Current children cumulated vsize (Kb) 10268
[startup+1400.2 s]
Raw data (loadavg): 1.10 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 74178 7831 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1163.11
Current children cumulated vsize (Kb) 10268
[startup+1410.2 s]
Raw data (loadavg): 1.08 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 75061 7875 0 0 19 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557201 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1172.38
Current children cumulated vsize (Kb) 10268
[startup+1420.2 s]
Raw data (loadavg): 1.07 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1685 0 0 0 75938 7917 0 0 18 0 1 0 1843134313 8335360 1119 4294967295 134512640 134702520 3221223712 3221222992 134557255 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1119 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (Kb) 10268
[startup+1430.2 s]
Raw data (loadavg): 1.06 1.04 1.00 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 76673 8005 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1189.8
Current children cumulated vsize (Kb) 10268
[startup+1440.2 s]
Raw data (loadavg): 1.12 1.05 1.01 1/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) T 4452 4452 31027 0 -1 0 1690 0 0 0 77110 8189 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222584 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1196.01
Current children cumulated vsize (Kb) 10268
[startup+1450.2 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 77963 8240 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222992 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1205.05
Current children cumulated vsize (Kb) 10268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1450.2 s]
Raw data (loadavg): 1.10 1.05 1.01 2/57 4457
Raw data (/proc/4452/stat): 4452 (vallstSAT2005PB) S 4451 4452 31027 0 -1 0 378 1256 0 0 2 1 30106 4193 17 0 1 0 1843091718 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/4452/statm): 532 248 485 147 0 385 0
[pid=4452] vsize: 2128
Raw data (/proc/4457/stat): 4457 (vallst) R 4452 4452 31027 0 -1 0 1690 0 0 0 77963 8240 0 0 16 0 1 0 1843134313 8335360 1124 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/4457/statm): 2035 1124 413 48 0 1987 0
[pid=4457] vsize: 8140
Current children cumulated CPU time (s) 1205.05
Current children cumulated vsize (Kb) 10268
Sending SIGTERM to -4452
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=4459
New process pid=4460
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 /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/32030/stat
open syscall for file /proc/32030/status
open syscall for file /proc/32030/cmdline
open syscall for file /proc/32030/environ
open syscall for file /proc/18880/stat
open syscall for file /proc/18880/status
open syscall for file /proc/18880/cmdline
open syscall for file /proc/18880/environ
open syscall for file /proc/18905/stat
open syscall for file /proc/18905/status
open syscall for file /proc/18905/cmdline
open syscall for file /proc/18905/environ
open syscall for file /proc/18931/stat
open syscall for file /proc/18931/status
open syscall for file /proc/18931/cmdline
open syscall for file /proc/18931/environ
open syscall for file /proc/27804/stat
open syscall for file /proc/27804/status
open syscall for file /proc/27804/cmdline
open syscall for file /proc/27804/environ
open syscall for file /proc/28297/stat
open syscall for file /proc/28297/status
open syscall for file /proc/28297/cmdline
open syscall for file /proc/28297/environ
open syscall for file /proc/13024/stat
open syscall for file /proc/13024/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/13024/cmdline
open syscall for file /proc/13024/environ
open syscall for file /proc/13060/stat
open syscall for file /proc/13060/status
open syscall for file /proc/13060/cmdline
open syscall for file /proc/13060/environ
open syscall for file /proc/31027/stat
open syscall for file /proc/31027/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/31027/cmdline
open syscall for file /proc/31027/environ
open syscall for file /proc/31028/stat
open syscall for file /proc/31028/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/31028/cmdline
open syscall for file /proc/31028/environ
open syscall for file /proc/31037/stat
open syscall for file /proc/31037/status
open syscall for file /proc/31037/cmdline
open syscall for file /proc/31037/environ
open syscall for file /proc/4415/stat
open syscall for file /proc/4415/status
open syscall for file /proc/4415/cmdline
open syscall for file /proc/4415/environ
open syscall for file /proc/4451/stat
open syscall for file /proc/4451/status
open syscall for file /proc/4451/cmdline
open syscall for file /proc/4451/environ
open syscall for file /proc/4452/stat
open syscall for file /proc/4452/status
open syscall for file /proc/4452/cmdline
open syscall for file /proc/4452/environ
open syscall for file /proc/4457/stat
open syscall for file /proc/4457/status
open syscall for file /proc/4457/cmdline
open syscall for file /proc/4457/environ
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
open syscall for file /proc/4459/stat
open syscall for file /proc/4459/status
open syscall for file /proc/4459/cmdline
open syscall for file /proc/4459/environ
open syscall for file /proc/4460/stat
open syscall for file /proc/4460/status
open syscall for file /proc/4460/cmdline
open syscall for file /proc/4460/environ
One traced child (pid=4457) exited with status: 3
One traced child (pid=4459) exited with status: 0
One traced child (pid=4460) exited with status: 0
New process pid=4461
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=4461) exited with status: 0
New process pid=4462
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=4462) exited with status: 0
One traced child (pid=4452) 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): 1450.71
CPU time (s): 1205.29
CPU user time (s): 1080.85
CPU system time (s): 124.448
CPU usage (%): 83.0833
Max. virtual memory (cumulated for all children) (Kb): 11460