Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Nameweb/uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUMa6997171dcc57638d93d44e87488aa8f
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46.8799
Number of variables18069
Total number of constraints52475
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11

Trace number 3554

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-19 01:47:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=7359 boxname=wulflinc18 idbench=327 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a6997171dcc57638d93d44e87488aa8f  /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.rf10.ucl.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.rf10.ucl.opb 0
IDLAUNCH: 7359
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        894216 kB
Buffers:         31408 kB
Cached:          74780 kB
SwapCached:        844 kB
Active:          47976 kB
Inactive:        60780 kB
HighTotal:      131008 kB
HighFree:        53088 kB
LowTotal:       903652 kB
LowFree:        841128 kB
SwapTotal:     2097892 kB
SwapFree:      2096548 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5764 kB
Slab:            25892 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 01:55:10 (client local time) WITH STATUS 20 IN 452.986 SECONDS
stats: 7359 7 452.986 20

Solver Data

1:
seed: 0
Nr of vars set: 1  (#equs: 0)
Nr of vars set: 2399  (#equs: 1955)
#decisions: 150770;  #end-nodes: 85067;
#proof improvement attempts: 0;  #restarts: 96
Current batch, end-nodes: 0 / 792 (103)
#axs: 54792, #non-axs: 9876
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)
seed: 0
Nr of vars set: 5391  (#equs: 2318)
Time taken: 5 min, 52 sec

2:
seed: 0
Nr of vars set: 5391  (#equs: 0)
Nr of vars set: 5643  (#equs: 484)
#decisions: 40964;  #end-nodes: 29832;
#proof improvement attempts: 0;  #restarts: 11
Current batch, end-nodes: 15262 / 15980 (122)
#axs: 31585, #non-axs: 13868
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: proof of false found (0)
seed: 0
Nr of vars set: 10272  (#equs: 484)
Time taken: 1 min, 40 sec
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 190: grepres: command not found
/oldhome/oroussel/solvers/vallstSAT2005PB.sh: line 191: [: -eq: unary operator expected
times:
0m0.023s 0m0.021s
7m28.559s 0m4.299s
s UNSATISFIABLE

Watcher Data

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/15177/stat): 15177 (vallstSAT2005PB) R 15176 15177 31027 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1846017361 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15177/statm): 174 3 169 147 0 27 0
[pid=15177] 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=15178
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=15178) exited with status: 0
New process pid=15179
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=15179) exited with status: 0
New process pid=15180
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-ooo.rf10.ucl.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0038 s]
Raw data (loadavg): 0.91 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 1938 0 0 0 970 14 0 0 25 0 1 0 1846017368 10182656 1842 4294967295 134512640 134702520 3221223968 3221223232 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 2486 1842 413 48 0 2438 0
[pid=15180] vsize: 9944
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (Kb) 12072

[startup+20.0057 s]
Raw data (loadavg): 0.93 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 1974 0 0 0 1912 32 0 0 24 0 1 0 1846017368 18784256 1878 4294967295 134512640 134702520 3221223968 3221223088 134573369 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4586 1878 413 48 0 4538 0
[pid=15180] vsize: 18344
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (Kb) 20472

[startup+30.0066 s]
Raw data (loadavg): 0.94 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2009 0 0 0 2876 46 0 0 25 0 1 0 1846017368 18784256 1913 4294967295 134512640 134702520 3221223968 3220850764 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4586 1913 413 48 0 4538 0
[pid=15180] vsize: 18344
Current children cumulated CPU time (s) 29.24
Current children cumulated vsize (Kb) 20472

[startup+40.0086 s]
Raw data (loadavg): 0.95 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2070 0 0 0 3833 61 0 0 25 0 1 0 1846017368 18874368 1974 4294967295 134512640 134702520 3221223968 3221223248 134553489 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4608 1974 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 38.96
Current children cumulated vsize (Kb) 20560

[startup+50.0095 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2170 0 0 0 4811 70 0 0 25 0 1 0 1846017368 18874368 2074 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4608 2074 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (Kb) 20560

[startup+60.0104 s]
Raw data (loadavg): 0.96 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2403 0 0 0 5779 82 0 0 25 0 1 0 1846017368 18874368 2307 4294967295 134512640 134702520 3221223968 3221223188 134549003 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4608 2307 413 48 0 4560 0
[pid=15180] vsize: 18432
Current children cumulated CPU time (s) 58.63
Current children cumulated vsize (Kb) 20560

[startup+70.0114 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2424 0 0 0 6749 94 0 0 25 0 1 0 1846017368 19009536 2328 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2328 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 68.45
Current children cumulated vsize (Kb) 20692

[startup+80.0123 s]
Raw data (loadavg): 0.97 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2558 0 0 0 7727 101 0 0 25 0 1 0 1846017368 19009536 2462 4294967295 134512640 134702520 3221223968 3221048064 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2462 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 78.3
Current children cumulated vsize (Kb) 20692

[startup+90.0132 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2567 0 0 0 8702 111 0 0 25 0 1 0 1846017368 19009536 2471 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4641 2471 413 48 0 4593 0
[pid=15180] vsize: 18564
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (Kb) 20692

[startup+100.014 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 2843 0 0 0 9670 126 0 0 25 0 1 0 1846017368 19144704 2747 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 2747 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 97.98
Current children cumulated vsize (Kb) 20824

[startup+110.015 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 3255 0 0 0 10641 135 0 0 25 0 1 0 1846017368 19144704 3159 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 3159 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 107.78
Current children cumulated vsize (Kb) 20824

[startup+120.017 s]
Raw data (loadavg): 0.98 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4054 0 0 0 11615 147 0 0 25 0 1 0 1846017368 19144704 3958 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4674 3958 413 48 0 4626 0
[pid=15180] vsize: 18696
Current children cumulated CPU time (s) 117.64
Current children cumulated vsize (Kb) 20824

[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4264 0 0 0 12588 158 0 0 25 0 1 0 1846017368 19279872 4168 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4707 4168 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 127.48
Current children cumulated vsize (Kb) 20956

[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4276 0 0 0 13559 167 0 0 25 0 1 0 1846017368 19279872 4180 4294967295 134512640 134702520 3221223968 3221218784 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4180 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 137.28
Current children cumulated vsize (Kb) 20956

[startup+150.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4278 0 0 0 14545 173 0 0 25 0 1 0 1846017368 19279872 4182 4294967295 134512640 134702520 3221223968 3221223248 134557196 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4182 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 147.2
Current children cumulated vsize (Kb) 20956

[startup+160.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4279 0 0 0 15520 183 0 0 25 0 1 0 1846017368 19279872 4183 4294967295 134512640 134702520 3221223968 3221223248 134553057 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4183 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 157.05
Current children cumulated vsize (Kb) 20956

[startup+170.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4287 0 0 0 16494 192 0 0 25 0 1 0 1846017368 19279872 4191 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4191 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 166.88
Current children cumulated vsize (Kb) 20956

[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4304 0 0 0 17473 198 0 0 25 0 1 0 1846017368 19279872 4208 4294967295 134512640 134702520 3221223968 3221223236 134553184 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4707 4208 413 48 0 4659 0
[pid=15180] vsize: 18828
Current children cumulated CPU time (s) 176.73
Current children cumulated vsize (Kb) 20956

[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4327 0 0 0 18450 206 0 0 25 0 1 0 1846017368 19415040 4231 4294967295 134512640 134702520 3221223968 3221223248 134550430 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15180/statm): 4740 4231 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 186.58
Current children cumulated vsize (Kb) 21088

[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4336 0 0 0 19425 214 0 0 25 0 1 0 1846017368 19415040 4240 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4240 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 196.41
Current children cumulated vsize (Kb) 21088

[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) T 15177 15177 31027 0 -1 0 4345 0 0 0 20404 221 0 0 25 0 1 0 1846017368 19415040 4249 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4249 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 206.27
Current children cumulated vsize (Kb) 21088

[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4355 0 0 0 21383 229 0 0 25 0 1 0 1846017368 19415040 4259 4294967295 134512640 134702520 3221223968 3221223248 134552163 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4259 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 216.14
Current children cumulated vsize (Kb) 21088

[startup+230.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4362 0 0 0 22363 237 0 0 25 0 1 0 1846017368 19415040 4266 4294967295 134512640 134702520 3221223968 3221223248 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4740 4266 413 48 0 4692 0
[pid=15180] vsize: 18960
Current children cumulated CPU time (s) 226.02
Current children cumulated vsize (Kb) 21088

[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4369 0 0 0 23356 239 0 0 25 0 1 0 1846017368 19492864 4273 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4273 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 235.97
Current children cumulated vsize (Kb) 21164

[startup+250.033 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) T 15177 15177 31027 0 -1 0 4398 0 0 0 24333 248 0 0 25 0 1 0 1846017368 19492864 4302 4294967295 134512640 134702520 3221223968 3221223480 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4302 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 245.83
Current children cumulated vsize (Kb) 21164

[startup+260.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4422 0 0 0 25310 255 0 0 25 0 1 0 1846017368 19492864 4326 4294967295 134512640 134702520 3221223968 3221223248 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4326 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 255.67
Current children cumulated vsize (Kb) 21164

[startup+270.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4447 0 0 0 26291 262 0 0 25 0 1 0 1846017368 19492864 4351 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4351 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 265.55
Current children cumulated vsize (Kb) 21164

[startup+280.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4469 0 0 0 27269 270 0 0 25 0 1 0 1846017368 19492864 4373 4294967295 134512640 134702520 3221223968 3221223248 134552128 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4373 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 275.41
Current children cumulated vsize (Kb) 21164

[startup+290.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4493 0 0 0 28248 277 0 0 25 0 1 0 1846017368 19492864 4397 4294967295 134512640 134702520 3221223968 3221223248 134552125 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4759 4397 413 48 0 4711 0
[pid=15180] vsize: 19036
Current children cumulated CPU time (s) 285.27
Current children cumulated vsize (Kb) 21164

[startup+300.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4514 0 0 0 29228 285 0 0 25 0 1 0 1846017368 19738624 4418 4294967295 134512640 134702520 3221223968 3221223248 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4819 4418 413 48 0 4771 0
[pid=15180] vsize: 19276
Current children cumulated CPU time (s) 295.15
Current children cumulated vsize (Kb) 21404

[startup+310.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4541 0 0 0 30206 294 0 0 25 0 1 0 1846017368 19873792 4445 4294967295 134512640 134702520 3221223968 3221223248 134550393 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4445 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 305.02
Current children cumulated vsize (Kb) 21536

[startup+320.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4559 0 0 0 31189 300 0 0 25 0 1 0 1846017368 19873792 4463 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4463 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 314.91
Current children cumulated vsize (Kb) 21536

[startup+330.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4576 0 0 0 32170 307 0 0 25 0 1 0 1846017368 19873792 4480 4294967295 134512640 134702520 3221223968 3221223248 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4852 4480 413 48 0 4804 0
[pid=15180] vsize: 19408
Current children cumulated CPU time (s) 324.79
Current children cumulated vsize (Kb) 21536

[startup+340.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4597 0 0 0 33152 315 0 0 25 0 1 0 1846017368 20119552 4501 4294967295 134512640 134702520 3221223968 3221223248 134550947 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4912 4501 413 48 0 4864 0
[pid=15180] vsize: 19648
Current children cumulated CPU time (s) 334.69
Current children cumulated vsize (Kb) 21776

[startup+350.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15180
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 330 232 0 0 1 1 0 0 22 0 1 0 1846017361 2179072 242 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 532 242 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15180/stat): 15180 (vallst) R 15177 15177 31027 0 -1 0 4599 0 0 0 34149 317 0 0 25 0 1 0 1846017368 20119552 4503 4294967295 134512640 134702520 3221223968 3220962144 134612000 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15180/statm): 4912 4503 413 48 0 4864 0
[pid=15180] vsize: 19648
Current children cumulated CPU time (s) 344.68
Current children cumulated vsize (Kb) 21776
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=15180) exited with status: 2
New process pid=15181
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=15181) exited with status: 0
New process pid=15182
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+360.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1316 0 0 0 177 6 0 0 25 0 1 0 1846053182 8540160 1286 4294967295 134512640 134702520 3221223712 3221200348 134531187 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 2085 1286 413 48 0 2037 0
[pid=15182] vsize: 8340
Current children cumulated CPU time (s) 354.6
Current children cumulated vsize (Kb) 10468

[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1392 0 0 0 1177 6 0 0 25 0 1 0 1846053182 8851456 1362 4294967295 134512640 134702520 3221223712 3220734928 134612000 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/15182/statm): 2161 1362 413 48 0 2113 0
[pid=15182] vsize: 8644
Current children cumulated CPU time (s) 364.6
Current children cumulated vsize (Kb) 10772

[startup+380.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 1699 0 0 0 2150 18 0 0 25 0 1 0 1846053182 18833408 1669 4294967295 134512640 134702520 3221223712 3221222992 134550642 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4598 1669 413 48 0 4550 0
[pid=15182] vsize: 18392
Current children cumulated CPU time (s) 374.45
Current children cumulated vsize (Kb) 20520

[startup+390.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2097 0 0 0 3119 29 0 0 25 0 1 0 1846053182 18833408 2067 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4598 2067 413 48 0 4550 0
[pid=15182] vsize: 18392
Current children cumulated CPU time (s) 384.25
Current children cumulated vsize (Kb) 20520

[startup+400.051 s]
Raw data (loadavg): 0.99 0.97 0.99 1/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) T 15177 15177 31027 0 -1 0 2121 0 0 0 4090 39 0 0 25 0 1 0 1846053182 18968576 2091 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4631 2091 413 48 0 4583 0
[pid=15182] vsize: 18524
Current children cumulated CPU time (s) 394.06
Current children cumulated vsize (Kb) 20652

[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2444 0 0 0 5063 50 0 0 25 0 1 0 1846053182 18968576 2414 4294967295 134512640 134702520 3221223712 3221222992 134550676 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4631 2414 413 48 0 4583 0
[pid=15182] vsize: 18524
Current children cumulated CPU time (s) 403.9
Current children cumulated vsize (Kb) 20652

[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2460 0 0 0 6032 61 0 0 25 0 1 0 1846053182 19103744 2430 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4664 2430 413 48 0 4616 0
[pid=15182] vsize: 18656
Current children cumulated CPU time (s) 413.7
Current children cumulated vsize (Kb) 20784

[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 2878 0 0 0 7004 73 0 0 25 0 1 0 1846053182 19103744 2848 4294967295 134512640 134702520 3221223712 3221222832 134572638 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4664 2848 413 48 0 4616 0
[pid=15182] vsize: 18656
Current children cumulated CPU time (s) 423.54
Current children cumulated vsize (Kb) 20784

[startup+440.056 s]
Raw data (loadavg): 1.07 0.99 0.99 1/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) T 15177 15177 31027 0 -1 0 3678 0 0 0 7974 86 0 0 25 0 1 0 1846053182 19238912 3648 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/15182/statm): 4697 3648 413 48 0 4649 0
[pid=15182] vsize: 18788
Current children cumulated CPU time (s) 433.37
Current children cumulated vsize (Kb) 20916

[startup+450.057 s]
Raw data (loadavg): 1.06 0.99 0.99 2/57 15182
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 378 4982 0 0 2 1 34950 324 19 0 1 0 1846017361 2179072 248 4294967295 134512640 135087896 3221224496 3221223224 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/15177/statm): 532 248 485 147 0 385 0
[pid=15177] vsize: 2128
Raw data (/proc/15182/stat): 15182 (vallst) R 15177 15177 31027 0 -1 0 4016 0 0 0 8949 95 0 0 25 0 1 0 1846053182 19238912 3986 4294967295 134512640 134702520 3221223712 3221222968 134564367 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/15182/statm): 4697 3986 413 48 0 4649 0
[pid=15182] vsize: 18788
Current children cumulated CPU time (s) 443.21
Current children cumulated vsize (Kb) 20916
One traced child (pid=15182) exited with status: 0
New process pid=15183
open syscall for file /dev/null
execve syscall for /bin/grep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpcre.so.0
open syscall for file tls/i686/libpcre.so.0
open syscall for file tls/mmx/libpcre.so.0
open syscall for file tls/libpcre.so.0
open syscall for file i686/mmx/libpcre.so.0
open syscall for file i686/libpcre.so.0
open syscall for file mmx/libpcre.so.0
open syscall for file libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpcre.so.0
open syscall for file /oldhome/oroussel/lib/libpcre.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libpcre.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.rf10.ucl.opb
One traced child (pid=15183) exited with status: 1
New process pid=15184
One traced child (pid=15184) exited with status: 127
New process pid=15185
New process pid=15186
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/15140/stat
open syscall for file /proc/15140/status
open syscall for file /proc/15140/cmdline
open syscall for file /proc/15140/environ
open syscall for file /proc/15176/stat
open syscall for file /proc/15176/status
open syscall for file /proc/15176/cmdline
open syscall for file /proc/15176/environ
open syscall for file /proc/15177/stat
open syscall for file /proc/15177/status
open syscall for file /proc/15177/cmdline
open syscall for file /proc/15177/environ
open syscall for file /proc/15185/stat
open syscall for file /proc/15185/status
open syscall for file /proc/15185/cmdline
open syscall for file /proc/15185/environ
open syscall for file /proc/15186/stat
open syscall for file /proc/15186/status
open syscall for file /proc/15186/cmdline
open syscall for file /proc/15186/environ
One traced child (pid=15185) exited with status: 0
One traced child (pid=15186) exited with status: 0
New process pid=15187
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

[startup+460.058 s]
Raw data (loadavg): 1.05 0.99 0.99 1/57 15187
Raw data (/proc/15177/stat): 15177 (vallstSAT2005PB) S 15176 15177 31027 0 -1 0 479 9459 0 0 3 2 44857 433 17 0 1 0 1846017361 2183168 251 4294967295 134512640 135087896 3221224496 3221223144 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (/proc/15177/statm): 533 251 485 147 0 386 0
[pid=15177] vsize: 2132
Raw data (/proc/15187/stat): 15187 (sleep) S 15177 15177 31027 0 -1 0 152 0 0 0 0 0 0 0 17 0 1 0 1846063367 1818624 125 4294967295 134512640 134523492 3221224624 3221224284 1074828523 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/15187/statm): 444 125 392 4 0 440 0
[pid=15187] vsize: 1776
Current children cumulated CPU time (s) 452.95
Current children cumulated vsize (Kb) 3908
One traced child (pid=15187) exited with status: 0
New process pid=15188
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=15188) exited with status: 0
One traced child (pid=15177) exited with status: 20
All traced children have exited ! Game is over.

Child status: 20
Real time (s): 460.354
CPU time (s): 452.986
CPU user time (s): 448.616
CPU system time (s): 4.37033
CPU usage (%): 98.3996
Max. virtual memory (cumulated for all children) (Kb): 21776

Verifier Data

ERROR: no interpretation found !