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

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb
MD5SUM96d7d5bfca5320061ed7cb61443916ee
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7936
Optimality of the best value was proved NO
Number of terms in the objective function 68
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1054719
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268497406
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.07
Number of variables8590
Total number of constraints2614
Number of constraints which are clauses309
Number of constraints which are cardinality constraints (but not clauses)794
Number of constraints which are nor clauses,nor cardinality constraints1511
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 9440

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 13:37:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8165 boxname=wulflinc18 idbench=1133 idsolver=7 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  96d7d5bfca5320061ed7cb61443916ee  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-berlin_5_8_0.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-berlin_5_8_0.opb 0
IDLAUNCH: 8165
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        939240 kB
Buffers:         13700 kB
Cached:          61984 kB
SwapCached:          0 kB
Active:          45584 kB
Inactive:        33012 kB
HighTotal:      131008 kB
HighFree:        64708 kB
LowTotal:       903652 kB
LowFree:        874532 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11264 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 13:59:03 (client local time) WITH STATUS 0 IN 1208.44 SECONDS
stats: 8165 7 1208.44 0

Solver Data

1:
seed: 0
Nr of vars set: 6  (#equs: 0)
Nr of vars set: 20  (#equs: 25)
#decisions: 46156;  #end-nodes: 6027;
#proof improvement attempts: 0;  #restarts: 62
Current batch, end-nodes: 12 / 95 (95)
#axs: 1856, #non-axs: 1832
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  1035774 (18944:>=*);
#decisions: 1470;  #end-nodes: 0;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 1856, #non-axs: 1832
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1035902 (18816:>=*);
#decisions: 2340;  #end-nodes: 71;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 71 / 80 (80)
#axs: 1856, #non-axs: 1832
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036030 (18688:>=*);
#decisions: 37362;  #end-nodes: 3857;
#proof improvement attempts: 0;  #restarts: 41
Current batch, end-nodes: 58 / 91 (90)
#axs: 1861, #non-axs: 3091
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036158 (18560:>=*);
#decisions: 11287;  #end-nodes: 431;
#proof improvement attempts: 0;  #restarts: 4
Current batch, end-nodes: 81 / 84 (81)
#axs: 1861, #non-axs: 3272
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036286 (18432:>=*);
#decisions: 15831;  #end-nodes: 1915;
#proof improvement attempts: 0;  #restarts: 21
Current batch, end-nodes: 52 / 92 (85)
#axs: 1863, #non-axs: 3853
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036414 (18304:>=*);
#decisions: 107834;  #end-nodes: 13753;
#proof improvement attempts: 0;  #restarts: 131
Current batch, end-nodes: 77 / 113 (112)
#axs: 1869, #non-axs: 3665
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036542 (18176:>=*);
#decisions: 1551;  #end-nodes: 47;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 1869, #non-axs: 3665
tight: meta-meta: start: 6, end: 9;  meta: start: 10, end (keep): 19
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1036670 (18048:>=*);
#decisions: 251603;  #end-nodes: 36522;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 159 (151)
#axs: 1882, #non-axs: 2987
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 1036670 (18048:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20  (#equs: 60)
Time taken: 6 min, 11 sec

2:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 28)
#decisions: 30653;  #end-nodes: 4408;
#proof improvement attempts: 0;  #restarts: 32
Current batch, end-nodes: 122 / 133 (128)
#axs: 1850, #non-axs: 4267
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  1023 (5120:>=*);
#decisions: 1649;  #end-nodes: 15;
#proof improvement attempts: 0;  #restarts: 0
Current batch, end-nodes: 15 / 120 (120)
#axs: 1850, #non-axs: 4267
tight: meta-meta: start: 4, end: 5;  meta: start: 8, end (keep): 15
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:  1151 (4992:>=*);
#decisions: 310001;  #end-nodes: 50160;
#proof improvement attempts: 0;  #restarts: 288
Current batch, end-nodes: 0 / 223 (191)
#axs: 1880, #non-axs: 6598
tight: meta-meta: start: 4, end: 5;  meta: start: 5, end (keep): 9
loose: meta-meta: start: 8, end: 13;  meta: start: 28, end (keep): 45
Model found with constant:
  (pushed:) 1151 (4992:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 20  (#equs: 60)
Time taken: 5 min, 32 sec

3:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 25)
#decisions: 220275;  #end-nodes: 39173;
#proof improvement attempts: 0;  #restarts: 192
Current batch, end-nodes: 0 / 245 (207)
#axs: 1875, #non-axs: 1379
tight: meta-meta: start: 3, end: 4;  meta: start: 5, end (keep): 9
loose: meta-meta: start: 8, end: 13;  meta: start: 28, end (keep): 45
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: 20  (#equs: 55)
Time taken: 4 min, 2 sec

4:
seed: 0
Nr of vars set: 20  (#equs: 0)
Nr of vars set: 20  (#equs: 37)
Interupt request received.
result: an interupt signal has been received (3)
No model found at all.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 20  (#equs: 38)
Time taken: 4 min, 21 sec

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/5582/stat): 5582 (vallstSAT2005PB) R 5581 5582 4060 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 20605424 712704 3 4294967295 134512640 135087896 3221224480 3221224480 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/5582/statm): 174 3 169 147 0 27 0
[pid=5582] 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=5583
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=5583) exited with status: 0
New process pid=5584
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=5584) exited with status: 0
New process pid=5585
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-mps-v2-13-7-berlin_5_8_0.opb
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_var_map

[startup+10.0032 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 803 0 0 0 929 23 0 0 25 0 1 0 20605431 4636672 722 4294967295 134512640 134702520 3221223952 3221223088 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1132 722 413 48 0 1084 0
[pid=5585] vsize: 4528
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (Kb) 6656

[startup+20.0041 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 839 0 0 0 1868 44 0 0 25 0 1 0 20605431 7749632 758 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1892 758 413 48 0 1844 0
[pid=5585] vsize: 7568
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (Kb) 9696

[startup+30.0061 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 852 0 0 0 2724 89 0 0 25 0 1 0 20605431 7749632 771 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1892 771 413 48 0 1844 0
[pid=5585] vsize: 7568
Current children cumulated CPU time (s) 28.14
Current children cumulated vsize (Kb) 9696

[startup+40.007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 870 0 0 0 3619 123 0 0 25 0 1 0 20605431 7888896 789 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1926 789 413 48 0 1878 0
[pid=5585] vsize: 7704
Current children cumulated CPU time (s) 37.43
Current children cumulated vsize (Kb) 9832

[startup+50.0079 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 905 0 0 0 4488 164 0 0 25 0 1 0 20605431 7892992 824 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1927 824 413 48 0 1879 0
[pid=5585] vsize: 7708
Current children cumulated CPU time (s) 46.53
Current children cumulated vsize (Kb) 9836

[startup+60.0088 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 916 0 0 0 5393 194 0 0 25 0 1 0 20605431 7892992 835 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1927 835 413 48 0 1879 0
[pid=5585] vsize: 7708
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (Kb) 9836

[startup+70.0097 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 936 0 0 0 6284 232 0 0 25 0 1 0 20605431 7892992 855 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1927 855 413 48 0 1879 0
[pid=5585] vsize: 7708
Current children cumulated CPU time (s) 65.17
Current children cumulated vsize (Kb) 9836

[startup+80.0117 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 945 0 0 0 7164 274 0 0 25 0 1 0 20605431 7892992 864 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1927 864 413 48 0 1879 0
[pid=5585] vsize: 7708
Current children cumulated CPU time (s) 74.39
Current children cumulated vsize (Kb) 9836

[startup+90.0126 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 961 0 0 0 8045 312 0 0 18 0 1 0 20605431 7892992 880 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1927 880 413 48 0 1879 0
[pid=5585] vsize: 7708
Current children cumulated CPU time (s) 83.58
Current children cumulated vsize (Kb) 9836

[startup+100.013 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 975 0 0 0 8953 343 0 0 18 0 1 0 20605431 8056832 894 4294967295 134512640 134702520 3221223952 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1967 894 413 48 0 1919 0
[pid=5585] vsize: 7868
Current children cumulated CPU time (s) 92.97
Current children cumulated vsize (Kb) 9996

[startup+110.013 s]
Raw data (loadavg): 1.10 1.02 1.01 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 985 0 0 0 9860 376 0 0 25 0 1 0 20605431 8024064 904 4294967295 134512640 134702520 3221223952 3221223232 134552261 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1959 904 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (Kb) 9964

[startup+120.014 s]
Raw data (loadavg): 1.09 1.02 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 995 0 0 0 10771 407 0 0 25 0 1 0 20605431 8024064 914 4294967295 134512640 134702520 3221223952 3221223232 134554426 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 914 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 111.79
Current children cumulated vsize (Kb) 9964

[startup+130.016 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 995 0 0 0 11672 441 0 0 25 0 1 0 20605431 8024064 914 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1959 914 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 121.14
Current children cumulated vsize (Kb) 9964

[startup+140.017 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 996 0 0 0 12641 453 0 0 25 0 1 0 20605431 8024064 915 4294967295 134512640 134702520 3221223952 3221222960 134553224 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 915 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 130.95
Current children cumulated vsize (Kb) 9964

[startup+150.017 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 996 0 0 0 13596 466 0 0 25 0 1 0 20605431 8024064 915 4294967295 134512640 134702520 3221223952 3221223232 134552347 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1959 915 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 140.63
Current children cumulated vsize (Kb) 9964

[startup+160.018 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 997 0 0 0 14492 502 0 0 24 0 1 0 20605431 8024064 916 4294967295 134512640 134702520 3221223952 3221223232 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 916 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 9964

[startup+170.019 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 997 0 0 0 15398 535 0 0 25 0 1 0 20605431 8024064 916 4294967295 134512640 134702520 3221223952 3221223232 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 916 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 159.34
Current children cumulated vsize (Kb) 9964

[startup+180.021 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 998 0 0 0 16311 563 0 0 25 0 1 0 20605431 8024064 917 4294967295 134512640 134702520 3221223952 3221223232 134552544 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 917 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 168.75
Current children cumulated vsize (Kb) 9964

[startup+190.022 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1004 0 0 0 17186 607 0 0 19 0 1 0 20605431 8024064 923 4294967295 134512640 134702520 3221223952 3221222848 134552351 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 923 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 177.94
Current children cumulated vsize (Kb) 9964

[startup+200.022 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 1006 0 0 0 18113 631 0 0 23 0 1 0 20605431 8024064 925 4294967295 134512640 134702520 3221223952 3221223208 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 925 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 187.45
Current children cumulated vsize (Kb) 9964

[startup+210.023 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1009 0 0 0 19002 668 0 0 22 0 1 0 20605431 8024064 928 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 928 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 196.71
Current children cumulated vsize (Kb) 9964

[startup+220.024 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1009 0 0 0 19914 695 0 0 25 0 1 0 20605431 8024064 928 4294967295 134512640 134702520 3221223952 3221222848 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 928 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 206.1
Current children cumulated vsize (Kb) 9964

[startup+230.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1010 0 0 0 20877 707 0 0 25 0 1 0 20605431 8024064 929 4294967295 134512640 134702520 3221223952 3221222848 134552484 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 929 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 9964

[startup+240.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1010 0 0 0 21822 727 0 0 25 0 1 0 20605431 8024064 929 4294967295 134512640 134702520 3221223952 3221223232 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 929 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 225.5
Current children cumulated vsize (Kb) 9964

[startup+250.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1010 0 0 0 22737 753 0 0 25 0 1 0 20605431 8024064 929 4294967295 134512640 134702520 3221223952 3221223232 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1959 929 413 48 0 1911 0
[pid=5585] vsize: 7836
Current children cumulated CPU time (s) 234.91
Current children cumulated vsize (Kb) 9964

[startup+260.027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1012 0 0 0 23639 785 0 0 25 0 1 0 20605431 8097792 931 4294967295 134512640 134702520 3221223952 3221223232 134553320 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 931 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 244.25
Current children cumulated vsize (Kb) 10036

[startup+270.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1012 0 0 0 24544 817 0 0 25 0 1 0 20605431 8097792 931 4294967295 134512640 134702520 3221223952 3221223232 134552509 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 931 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 253.62
Current children cumulated vsize (Kb) 10036

[startup+280.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1012 0 0 0 25457 847 0 0 25 0 1 0 20605431 8097792 931 4294967295 134512640 134702520 3221223952 3221223232 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 931 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 263.05
Current children cumulated vsize (Kb) 10036

[startup+290.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 1013 0 0 0 26358 882 0 0 25 0 1 0 20605431 8097792 932 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 932 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 272.41
Current children cumulated vsize (Kb) 10036

[startup+300.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1014 0 0 0 27275 909 0 0 25 0 1 0 20605431 8097792 933 4294967295 134512640 134702520 3221223952 3221222848 134552347 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 933 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 281.85
Current children cumulated vsize (Kb) 10036

[startup+310.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1015 0 0 0 28236 923 0 0 25 0 1 0 20605431 8097792 934 4294967295 134512640 134702520 3221223952 3221222848 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 934 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 291.6
Current children cumulated vsize (Kb) 10036

[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 1015 0 0 0 29174 943 0 0 25 0 1 0 20605431 8097792 934 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 934 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 301.18
Current children cumulated vsize (Kb) 10036

[startup+330.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1015 0 0 0 30070 977 0 0 25 0 1 0 20605431 8097792 934 4294967295 134512640 134702520 3221223952 3221223232 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 934 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 310.48
Current children cumulated vsize (Kb) 10036

[startup+340.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1015 0 0 0 30977 1006 0 0 25 0 1 0 20605431 8097792 934 4294967295 134512640 134702520 3221223952 3221223232 134552246 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 934 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 319.84
Current children cumulated vsize (Kb) 10036

[startup+350.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1016 0 0 0 31873 1040 0 0 25 0 1 0 20605431 8097792 935 4294967295 134512640 134702520 3221223952 3221223232 134553035 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 935 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 329.14
Current children cumulated vsize (Kb) 10036

[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) T 5582 5582 4060 0 -1 0 1016 0 0 0 32780 1070 0 0 25 0 1 0 20605431 8097792 935 4294967295 134512640 134702520 3221223952 3221223464 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 935 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 338.51
Current children cumulated vsize (Kb) 10036

[startup+370.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1018 0 0 0 33677 1105 0 0 25 0 1 0 20605431 8097792 937 4294967295 134512640 134702520 3221223952 3221223232 134553342 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 937 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 347.83
Current children cumulated vsize (Kb) 10036

[startup+380.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1037 0 0 0 34582 1138 0 0 25 0 1 0 20605431 8097792 956 4294967295 134512640 134702520 3221223952 3221222848 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5585/statm): 1977 956 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 357.21
Current children cumulated vsize (Kb) 10036

[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5585
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 330 232 0 0 0 1 0 0 23 0 1 0 20605424 2179072 242 4294967295 134512640 135087896 3221224480 3221223752 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 242 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5585/stat): 5585 (vallst) R 5582 5582 4060 0 -1 0 1039 0 0 0 35544 1152 0 0 25 0 1 0 20605431 8097792 958 4294967295 134512640 134702520 3221223952 3221222848 134552889 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5585/statm): 1977 958 413 48 0 1929 0
[pid=5585] vsize: 7908
Current children cumulated CPU time (s) 366.97
Current children cumulated vsize (Kb) 10036
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=5585) exited with status: 2
New process pid=5586
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=5586) exited with status: 0
New process pid=5587
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+400.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 756 0 0 0 434 21 0 0 25 0 1 0 20644937 4820992 727 4294967295 134512640 134702520 3221223712 3221222848 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 1177 727 413 48 0 1129 0
[pid=5587] vsize: 4708
Current children cumulated CPU time (s) 376.43
Current children cumulated vsize (Kb) 6836

[startup+410.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 756 0 0 0 1343 50 0 0 25 0 1 0 20644937 4820992 727 4294967295 134512640 134702520 3221223712 3221223080 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5587/statm): 1177 727 413 48 0 1129 0
[pid=5587] vsize: 4708
Current children cumulated CPU time (s) 385.81
Current children cumulated vsize (Kb) 6836

[startup+420.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 826 0 0 0 2263 79 0 0 25 0 1 0 20644937 8069120 797 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5587/statm): 1970 797 413 48 0 1922 0
[pid=5587] vsize: 7880
Current children cumulated CPU time (s) 395.3
Current children cumulated vsize (Kb) 10008

[startup+430.044 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 847 0 0 0 3175 105 0 0 25 0 1 0 20644937 8069120 818 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5587/statm): 1970 818 413 48 0 1922 0
[pid=5587] vsize: 7880
Current children cumulated CPU time (s) 404.68
Current children cumulated vsize (Kb) 10008

[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 862 0 0 0 4066 142 0 0 25 0 1 0 20644937 8216576 833 4294967295 134512640 134702520 3221223712 3221223104 134603632 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2006 833 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 413.96
Current children cumulated vsize (Kb) 10152

[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 875 0 0 0 4984 170 0 0 25 0 1 0 20644937 8216576 846 4294967295 134512640 134702520 3221223712 3221222992 134557225 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2006 846 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 423.42
Current children cumulated vsize (Kb) 10152

[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 889 0 0 0 5906 195 0 0 25 0 1 0 20644937 8216576 860 4294967295 134512640 134702520 3221223712 3221222992 134552460 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2006 860 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 432.89
Current children cumulated vsize (Kb) 10152

[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 898 0 0 0 6838 219 0 0 25 0 1 0 20644937 8216576 869 4294967295 134512640 134702520 3221223712 3221222992 134552263 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2006 869 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 442.45
Current children cumulated vsize (Kb) 10152

[startup+480.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 909 0 0 0 7759 248 0 0 25 0 1 0 20644937 8216576 880 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2006 880 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 451.95
Current children cumulated vsize (Kb) 10152

[startup+490.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 918 0 0 0 8683 273 0 0 25 0 1 0 20644937 8216576 889 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2006 889 413 48 0 1958 0
[pid=5587] vsize: 8024
Current children cumulated CPU time (s) 461.44
Current children cumulated vsize (Kb) 10152

[startup+500.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 920 0 0 0 9613 298 0 0 25 0 1 0 20644937 8364032 891 4294967295 134512640 134702520 3221223712 3221222608 134552924 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2042 891 413 48 0 1994 0
[pid=5587] vsize: 8168
Current children cumulated CPU time (s) 470.99
Current children cumulated vsize (Kb) 10296

[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 921 0 0 0 10558 316 0 0 25 0 1 0 20644937 8294400 892 4294967295 134512640 134702520 3221223712 3221222992 134554441 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 892 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 480.62
Current children cumulated vsize (Kb) 10228

[startup+520.052 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 921 0 0 0 11454 351 0 0 25 0 1 0 20644937 8294400 892 4294967295 134512640 134702520 3221223712 3221222608 134550645 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2025 892 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 489.93
Current children cumulated vsize (Kb) 10228

[startup+530.053 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 921 0 0 0 12337 389 0 0 19 0 1 0 20644937 8294400 892 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 892 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 499.14
Current children cumulated vsize (Kb) 10228

[startup+540.054 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 935 0 0 0 13264 414 0 0 24 0 1 0 20644937 8294400 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 906 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 508.66
Current children cumulated vsize (Kb) 10228

[startup+550.055 s]
Raw data (loadavg): 1.05 1.01 1.00 1/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 935 0 0 0 14179 442 0 0 25 0 1 0 20644937 8294400 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 906 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 518.09
Current children cumulated vsize (Kb) 10228

[startup+560.056 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 935 0 0 0 15101 465 0 0 25 0 1 0 20644937 8294400 906 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 906 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 527.54
Current children cumulated vsize (Kb) 10228

[startup+570.057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 935 0 0 0 16058 480 0 0 25 0 1 0 20644937 8294400 906 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 906 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 537.26
Current children cumulated vsize (Kb) 10228

[startup+580.058 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 936 0 0 0 16967 510 0 0 25 0 1 0 20644937 8294400 907 4294967295 134512640 134702520 3221223712 3221222992 134552560 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2025 907 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 546.65
Current children cumulated vsize (Kb) 10228

[startup+590.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 936 0 0 0 17891 534 0 0 25 0 1 0 20644937 8294400 907 4294967295 134512640 134702520 3221223712 3221222992 134553492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2025 907 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 556.13
Current children cumulated vsize (Kb) 10228

[startup+600.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 936 0 0 0 18831 553 0 0 25 0 1 0 20644937 8294400 907 4294967295 134512640 134702520 3221223712 3221222992 134551020 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 907 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 565.72
Current children cumulated vsize (Kb) 10228

[startup+610.061 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 939 0 0 0 19745 584 0 0 25 0 1 0 20644937 8294400 910 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 910 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 575.17
Current children cumulated vsize (Kb) 10228

[startup+620.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 944 0 0 0 20670 608 0 0 25 0 1 0 20644937 8294400 915 4294967295 134512640 134702520 3221223712 3221222608 134550678 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2025 915 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 584.66
Current children cumulated vsize (Kb) 10228

[startup+630.063 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 944 0 0 0 21582 639 0 0 25 0 1 0 20644937 8294400 915 4294967295 134512640 134702520 3221223712 3221222608 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 915 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 594.09
Current children cumulated vsize (Kb) 10228

[startup+640.064 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 944 0 0 0 22509 665 0 0 25 0 1 0 20644937 8294400 915 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 915 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 603.62
Current children cumulated vsize (Kb) 10228

[startup+650.065 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 947 0 0 0 23420 693 0 0 25 0 1 0 20644937 8294400 918 4294967295 134512640 134702520 3221223712 3221222992 134552270 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2025 918 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 613.01
Current children cumulated vsize (Kb) 10228

[startup+660.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 947 0 0 0 24357 714 0 0 25 0 1 0 20644937 8294400 918 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 918 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 622.59
Current children cumulated vsize (Kb) 10228

[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 950 0 0 0 25264 745 0 0 25 0 1 0 20644937 8294400 921 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 921 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 631.97
Current children cumulated vsize (Kb) 10228

[startup+680.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 971 0 0 0 26169 778 0 0 25 0 1 0 20644937 8294400 942 4294967295 134512640 134702520 3221223712 3221222992 134554270 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2025 942 413 48 0 1977 0
[pid=5587] vsize: 8100
Current children cumulated CPU time (s) 641.35
Current children cumulated vsize (Kb) 10228

[startup+690.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 1012 0 0 0 27117 795 0 0 25 0 1 0 20644937 8712192 983 4294967295 134512640 134702520 3221223712 3221222992 134552472 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2127 983 413 48 0 2079 0
[pid=5587] vsize: 8508
Current children cumulated CPU time (s) 651
Current children cumulated vsize (Kb) 10636

[startup+700.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 1036 0 0 0 28030 824 0 0 25 0 1 0 20644937 8810496 1007 4294967295 134512640 134702520 3221223712 3221222992 134553489 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2151 1007 413 48 0 2103 0
[pid=5587] vsize: 8604
Current children cumulated CPU time (s) 660.42
Current children cumulated vsize (Kb) 10732

[startup+710.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 1078 0 0 0 28970 845 0 0 25 0 1 0 20644937 8810496 1049 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2151 1049 413 48 0 2103 0
[pid=5587] vsize: 8604
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 10732

[startup+720.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 1105 0 0 0 29891 875 0 0 25 0 1 0 20644937 9228288 1076 4294967295 134512640 134702520 3221223712 3221222992 134553273 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2253 1076 413 48 0 2205 0
[pid=5587] vsize: 9012
Current children cumulated CPU time (s) 679.54
Current children cumulated vsize (Kb) 11140

[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) T 5582 5582 4060 0 -1 0 1148 0 0 0 30823 898 0 0 22 0 1 0 20644937 9367552 1119 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5587/statm): 2287 1119 413 48 0 2239 0
[pid=5587] vsize: 9148
Current children cumulated CPU time (s) 689.09
Current children cumulated vsize (Kb) 11276

[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5587
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 378 1414 0 0 1 1 36024 1162 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5587/stat): 5587 (vallst) R 5582 5582 4060 0 -1 0 1149 0 0 0 31752 920 0 0 25 0 1 0 20644937 9367552 1120 4294967295 134512640 134702520 3221223712 3221222608 134553354 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5587/statm): 2287 1120 413 48 0 2239 0
[pid=5587] vsize: 9148
Current children cumulated CPU time (s) 698.6
Current children cumulated vsize (Kb) 11276
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=5587) exited with status: 2
New process pid=5588
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=5588) exited with status: 0
New process pid=5589
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+750.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 807 0 0 0 319 20 0 0 25 0 1 0 20680068 5021696 779 4294967295 134512640 134702520 3221223712 3221222848 134557285 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 1226 779 413 48 0 1178 0
[pid=5589] vsize: 4904
Current children cumulated CPU time (s) 707.94
Current children cumulated vsize (Kb) 7032

[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 810 0 0 0 1232 50 0 0 25 0 1 0 20680068 5021696 782 4294967295 134512640 134702520 3221223712 3221222848 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 1226 782 413 48 0 1178 0
[pid=5589] vsize: 4904
Current children cumulated CPU time (s) 717.37
Current children cumulated vsize (Kb) 7032

[startup+770.076 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 855 0 0 0 2177 69 0 0 25 0 1 0 20680068 8781824 827 4294967295 134512640 134702520 3221223712 3221222992 134550393 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2144 827 413 48 0 2096 0
[pid=5589] vsize: 8576
Current children cumulated CPU time (s) 727.01
Current children cumulated vsize (Kb) 10704

[startup+780.078 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 3101 93 0 0 19 0 1 0 20680068 8929280 848 4294967295 134512640 134702520 3221223712 3221222968 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 848 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 736.49
Current children cumulated vsize (Kb) 10848

[startup+790.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 881 0 0 0 4049 110 0 0 25 0 1 0 20680068 8929280 853 4294967295 134512640 134702520 3221223712 3221222992 134552484 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 853 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 746.14
Current children cumulated vsize (Kb) 10848

[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 887 0 0 0 4983 131 0 0 25 0 1 0 20680068 8929280 859 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 859 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 755.69
Current children cumulated vsize (Kb) 10848

[startup+810.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 908 0 0 0 5926 150 0 0 25 0 1 0 20680068 8929280 880 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 880 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 765.31
Current children cumulated vsize (Kb) 10848

[startup+820.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 911 0 0 0 6847 175 0 0 25 0 1 0 20680068 8929280 883 4294967295 134512640 134702520 3221223712 3221222992 134552509 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 883 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 774.77
Current children cumulated vsize (Kb) 10848

[startup+830.083 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 914 0 0 0 7746 205 0 0 25 0 1 0 20680068 8929280 886 4294967295 134512640 134702520 3221223712 3221222992 134553305 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 886 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 784.06
Current children cumulated vsize (Kb) 10848

[startup+840.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 914 0 0 0 8687 227 0 0 25 0 1 0 20680068 8929280 886 4294967295 134512640 134702520 3221223712 3221222992 134553830 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 886 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 793.69
Current children cumulated vsize (Kb) 10848

[startup+850.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 915 0 0 0 9609 253 0 0 25 0 1 0 20680068 8929280 887 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 887 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 803.17
Current children cumulated vsize (Kb) 10848

[startup+860.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 916 0 0 0 10574 264 0 0 25 0 1 0 20680068 8929280 888 4294967295 134512640 134702520 3221223712 3221222992 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 888 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 812.93
Current children cumulated vsize (Kb) 10848

[startup+870.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 916 0 0 0 11476 297 0 0 25 0 1 0 20680068 8929280 888 4294967295 134512640 134702520 3221223712 3221222608 134553499 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 888 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (Kb) 10848

[startup+880.088 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) T 5582 5582 4060 0 -1 0 916 0 0 0 12389 330 0 0 25 0 1 0 20680068 8929280 888 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 888 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 831.74
Current children cumulated vsize (Kb) 10848

[startup+890.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 918 0 0 0 13327 349 0 0 25 0 1 0 20680068 8929280 890 4294967295 134512640 134702520 3221223712 3221222992 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 890 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 841.31
Current children cumulated vsize (Kb) 10848

[startup+900.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 918 0 0 0 14245 377 0 0 25 0 1 0 20680068 8929280 890 4294967295 134512640 134702520 3221223712 3221222992 134552541 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 890 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 850.77
Current children cumulated vsize (Kb) 10848

[startup+910.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 918 0 0 0 15181 399 0 0 25 0 1 0 20680068 8929280 890 4294967295 134512640 134702520 3221223712 3221222992 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 890 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 860.35
Current children cumulated vsize (Kb) 10848

[startup+920.091 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 920 0 0 0 16102 426 0 0 25 0 1 0 20680068 8929280 892 4294967295 134512640 134702520 3221223712 3221222992 134552296 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 892 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 869.83
Current children cumulated vsize (Kb) 10848

[startup+930.092 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 924 0 0 0 17025 453 0 0 25 0 1 0 20680068 8929280 896 4294967295 134512640 134702520 3221223712 3221222608 134553273 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 896 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 879.33
Current children cumulated vsize (Kb) 10848

[startup+940.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 925 0 0 0 17970 470 0 0 25 0 1 0 20680068 8929280 897 4294967295 134512640 134702520 3221223712 3221222992 134552492 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 897 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 888.95
Current children cumulated vsize (Kb) 10848

[startup+950.094 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 932 0 0 0 18887 500 0 0 25 0 1 0 20680068 8929280 904 4294967295 134512640 134702520 3221223712 3221222992 134553317 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 904 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 898.42
Current children cumulated vsize (Kb) 10848

[startup+960.095 s]
Raw data (loadavg): 1.08 1.02 1.01 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 932 0 0 0 19829 519 0 0 25 0 1 0 20680068 8929280 904 4294967295 134512640 134702520 3221223712 3221222992 134552361 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 904 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 908.03
Current children cumulated vsize (Kb) 10848

[startup+970.096 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) T 5582 5582 4060 0 -1 0 934 0 0 0 20759 543 0 0 25 0 1 0 20680068 8929280 906 4294967295 134512640 134702520 3221223712 3221223224 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2180 906 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 917.57
Current children cumulated vsize (Kb) 10848

[startup+980.097 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 934 0 0 0 21715 561 0 0 25 0 1 0 20680068 8929280 906 4294967295 134512640 134702520 3221223712 3221222992 134550678 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2180 906 413 48 0 2132 0
[pid=5589] vsize: 8720
Current children cumulated CPU time (s) 927.31
Current children cumulated vsize (Kb) 10848

[startup+990.097 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) R 5582 5582 4060 0 -1 0 936 0 0 0 22612 598 0 0 25 0 1 0 20680068 9068544 908 4294967295 134512640 134702520 3221223712 3221222608 134553460 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5589/statm): 2214 908 413 48 0 2166 0
[pid=5589] vsize: 8856
Current children cumulated CPU time (s) 936.65
Current children cumulated vsize (Kb) 10984

[startup+1000.1 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 5589
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 417 2706 0 0 1 2 68348 2104 19 0 1 0 20605424 2179072 248 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 248 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5589/stat): 5589 (vallst) T 5582 5582 4060 0 -1 0 936 0 0 0 23510 634 0 0 25 0 1 0 20680068 9068544 908 4294967295 134512640 134702520 3221223712 3221222840 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5589/statm): 2214 908 413 48 0 2166 0
[pid=5589] vsize: 8856
Current children cumulated CPU time (s) 945.99
Current children cumulated vsize (Kb) 10984
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=5589) exited with status: 2
New process pid=5590
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=5590) exited with status: 0
New process pid=5591
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+1010.1 s]
Raw data (loadavg): 1.10 1.03 1.01 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 726 0 0 0 783 42 0 0 25 0 1 0 20705541 4677632 698 4294967295 134512640 134702520 3221223040 3221222176 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 698 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 955.15
Current children cumulated vsize (Kb) 6696

[startup+1020.1 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 727 0 0 0 1680 75 0 0 25 0 1 0 20705541 4677632 699 4294967295 134512640 134702520 3221223040 3221222176 134552343 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 699 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 964.45
Current children cumulated vsize (Kb) 6696

[startup+1030.1 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 727 0 0 0 2553 119 0 0 25 0 1 0 20705541 4677632 699 4294967295 134512640 134702520 3221223040 3221222176 134552486 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 699 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 973.62
Current children cumulated vsize (Kb) 6696

[startup+1040.1 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 727 0 0 0 3416 163 0 0 25 0 1 0 20705541 4677632 699 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1142 699 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 982.69
Current children cumulated vsize (Kb) 6696

[startup+1050.1 s]
Raw data (loadavg): 1.05 1.02 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 727 0 0 0 4284 207 0 0 25 0 1 0 20705541 4677632 699 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 699 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 991.81
Current children cumulated vsize (Kb) 6696

[startup+1060.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 728 0 0 0 5139 256 0 0 25 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222480 134617596 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1000.85
Current children cumulated vsize (Kb) 6696

[startup+1070.11 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 728 0 0 0 6042 288 0 0 25 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1010.2
Current children cumulated vsize (Kb) 6696

[startup+1080.11 s]
Raw data (loadavg): 1.03 1.02 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 728 0 0 0 6865 344 0 0 24 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222408 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1018.99
Current children cumulated vsize (Kb) 6696

[startup+1090.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 728 0 0 0 7699 398 0 0 24 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222176 134552293 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1027.87
Current children cumulated vsize (Kb) 6696

[startup+1100.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 728 0 0 0 8556 447 0 0 23 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222176 134550771 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1036.93
Current children cumulated vsize (Kb) 6696

[startup+1110.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 728 0 0 0 9451 483 0 0 25 0 1 0 20705541 4677632 700 4294967295 134512640 134702520 3221223040 3221222176 134553820 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1142 700 413 48 0 1094 0
[pid=5591] vsize: 4568
Current children cumulated CPU time (s) 1046.24
Current children cumulated vsize (Kb) 6696

[startup+1120.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 807 0 0 0 10401 501 0 0 25 0 1 0 20705541 7774208 779 4294967295 134512640 134702520 3221223040 3221222320 134553354 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1898 779 413 48 0 1850 0
[pid=5591] vsize: 7592
Current children cumulated CPU time (s) 1055.92
Current children cumulated vsize (Kb) 9720

[startup+1130.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 824 0 0 0 11333 525 0 0 25 0 1 0 20705541 7794688 796 4294967295 134512640 134702520 3221223040 3221221936 134550774 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1903 796 413 48 0 1855 0
[pid=5591] vsize: 7612
Current children cumulated CPU time (s) 1065.48
Current children cumulated vsize (Kb) 9740

[startup+1140.11 s]
Raw data (loadavg): 1.01 1.02 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 829 0 0 0 12291 538 0 0 25 0 1 0 20705541 7794688 801 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1903 801 413 48 0 1855 0
[pid=5591] vsize: 7612
Current children cumulated CPU time (s) 1075.19
Current children cumulated vsize (Kb) 9740

[startup+1150.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 842 0 0 0 13214 564 0 0 25 0 1 0 20705541 7946240 814 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1940 814 413 48 0 1892 0
[pid=5591] vsize: 7760
Current children cumulated CPU time (s) 1084.68
Current children cumulated vsize (Kb) 9888

[startup+1160.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 845 0 0 0 14168 578 0 0 25 0 1 0 20705541 7880704 817 4294967295 134512640 134702520 3221223040 3221222320 134552370 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1924 817 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1094.36
Current children cumulated vsize (Kb) 9824

[startup+1170.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 853 0 0 0 15091 603 0 0 21 0 1 0 20705541 7880704 825 4294967295 134512640 134702520 3221223040 3221221936 134552502 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1924 825 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1103.84
Current children cumulated vsize (Kb) 9824

[startup+1180.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 854 0 0 0 16048 617 0 0 25 0 1 0 20705541 7880704 826 4294967295 134512640 134702520 3221223040 3221222288 134567698 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1924 826 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1113.55
Current children cumulated vsize (Kb) 9824

[startup+1190.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 856 0 0 0 17006 631 0 0 25 0 1 0 20705541 7880704 828 4294967295 134512640 134702520 3221223040 3221222288 134566967 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1924 828 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1123.27
Current children cumulated vsize (Kb) 9824

[startup+1200.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 863 0 0 0 17930 655 0 0 25 0 1 0 20705541 7880704 835 4294967295 134512640 134702520 3221223040 3221222320 134552492 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1924 835 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1132.75
Current children cumulated vsize (Kb) 9824

[startup+1210.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 864 0 0 0 18883 671 0 0 25 0 1 0 20705541 7880704 836 4294967295 134512640 134702520 3221223040 3221222320 134553499 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1924 836 413 48 0 1876 0
[pid=5591] vsize: 7696
Current children cumulated CPU time (s) 1142.44
Current children cumulated vsize (Kb) 9824

[startup+1220.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 869 0 0 0 19806 695 0 0 25 0 1 0 20705541 7991296 841 4294967295 134512640 134702520 3221223040 3221222552 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1951 841 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1151.91
Current children cumulated vsize (Kb) 9932

[startup+1230.12 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 873 0 0 0 20776 705 0 0 25 0 1 0 20705541 7991296 845 4294967295 134512640 134702520 3221223040 3221222288 134567550 0 0 5 8404994 0 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1951 845 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1161.71
Current children cumulated vsize (Kb) 9932

[startup+1240.12 s]
Raw data (loadavg): 1.00 1.01 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 21707 728 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1171.25
Current children cumulated vsize (Kb) 9932

[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) R 5582 5582 4060 0 -1 0 876 0 0 0 22604 761 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221221936 134552502 0 0 5 8404994 0 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1180.55
Current children cumulated vsize (Kb) 9932

[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 23492 800 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1189.82
Current children cumulated vsize (Kb) 9932

[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 24367 841 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 0 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1198.98
Current children cumulated vsize (Kb) 9932

[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 25236 883 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 9932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 5591
Raw data (/proc/5582/stat): 5582 (vallstSAT2005PB) S 5581 5582 4060 0 -1 0 457 3785 0 0 1 2 91941 2746 19 0 1 0 20605424 2179072 249 4294967295 134512640 135087896 3221224480 3221223208 1074634510 0 65536 5 1132560122 3222414538 0 0 17 1 0 0
Raw data (/proc/5582/statm): 532 249 485 147 0 385 0
[pid=5582] vsize: 2128
Raw data (/proc/5591/stat): 5591 (vallst) T 5582 5582 4060 0 -1 0 876 0 0 0 25236 883 0 0 25 0 1 0 20705541 7991296 848 4294967295 134512640 134702520 3221223040 3221222168 1074744845 0 0 5 8404994 3222434794 0 0 17 1 0 0
Raw data (/proc/5591/statm): 1951 848 413 48 0 1903 0
[pid=5591] vsize: 7804
Current children cumulated CPU time (s) 1208.09
Current children cumulated vsize (Kb) 9932

Sending SIGTERM to -5582
Sleeping 2 seconds
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_out_theory.vnf
New process pid=5593
New process pid=5594
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/35/stat
open syscall for file /proc/35/status
open syscall for file /proc/35/cmdline
open syscall for file /proc/35/environ
open syscall for file /proc/36/stat
open syscall for file /proc/36/status
open syscall for file /proc/36/cmdline
open syscall for file /proc/36/environ
open syscall for file /proc/37/stat
open syscall for file /proc/37/status
open syscall for file /proc/37/cmdline
open syscall for file /proc/37/environ
open syscall for file /proc/38/stat
open syscall for file /proc/38/status
open syscall for file /proc/38/cmdline
open syscall for file /proc/38/environ
open syscall for file /proc/39/stat
open syscall for file /proc/39/status
open syscall for file /proc/39/cmdline
open syscall for file /proc/39/environ
open syscall for file /proc/153/stat
open syscall for file /proc/153/status
open syscall for file /proc/153/cmdline
open syscall for file /proc/153/environ
open syscall for file /proc/156/stat
open syscall for file /proc/156/status
open syscall for file /proc/156/cmdline
open syscall for file /proc/156/environ
open syscall for file /proc/159/stat
open syscall for file /proc/159/status
open syscall for file /proc/159/cmdline
open syscall for file /proc/159/environ
open syscall for file /proc/826/stat
open syscall for file /proc/826/status
open syscall for file /proc/826/cmdline
open syscall for file /proc/826/environ
open syscall for file /proc/827/stat
open syscall for file /proc/827/status
open syscall for file /proc/827/cmdline
open syscall for file /proc/827/environ
open syscall for file /proc/1260/stat
open syscall for file /proc/1260/status
open syscall for file /proc/1260/cmdline
open syscall for file /proc/1260/environ
open syscall for file /proc/1264/stat
open syscall for file /proc/1264/status
open syscall for file /proc/1264/cmdline
open syscall for file /proc/1264/environ
open syscall for file /proc/1286/stat
open syscall for file /proc/1286/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1286/cmdline
open syscall for file /proc/1286/environ
open syscall for file /proc/1316/stat
open syscall for file /proc/1316/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1316/cmdline
open syscall for file /proc/1316/environ
open syscall for file /proc/1360/stat
open syscall for file /proc/1360/status
open syscall for file /proc/1360/cmdline
open syscall for file /proc/1360/environ
open syscall for file /proc/1388/stat
open syscall for file /proc/1388/status
open syscall for file /proc/1388/cmdline
open syscall for file /proc/1388/environ
open syscall for file /proc/1453/stat
open syscall for file /proc/1453/status
open syscall for file /proc/1453/cmdline
open syscall for file /proc/1453/environ
open syscall for file /proc/1479/stat
open syscall for file /proc/1479/status
open syscall for file /proc/1479/cmdline
open syscall for file /proc/1479/environ
open syscall for file /proc/1504/stat
open syscall for file /proc/1504/status
open syscall for file /proc/1504/cmdline
open syscall for file /proc/1504/environ
open syscall for file /proc/1545/stat
open syscall for file /proc/1545/status
open syscall for file /proc/1545/cmdline
open syscall for file /proc/1545/environ
open syscall for file /proc/1569/stat
open syscall for file /proc/1569/status
open syscall for file /proc/1569/cmdline
open syscall for file /proc/1569/environ
open syscall for file /proc/1592/stat
open syscall for file /proc/1592/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/1592/cmdline
open syscall for file /proc/1592/environ
open syscall for file /proc/1623/stat
open syscall for file /proc/1623/status
open syscall for file /proc/1623/cmdline
open syscall for file /proc/1623/environ
open syscall for file /proc/1681/stat
open syscall for file /proc/1681/status
open syscall for file /proc/1681/cmdline
open syscall for file /proc/1681/environ
open syscall for file /proc/1686/stat
open syscall for file /proc/1686/status
open syscall for file /proc/1686/cmdline
open syscall for file /proc/1686/environ
open syscall for file /proc/1687/stat
open syscall for file /proc/1687/status
open syscall for file /proc/1687/cmdline
open syscall for file /proc/1687/environ
open syscall for file /proc/1688/stat
open syscall for file /proc/1688/status
open syscall for file /proc/1688/cmdline
open syscall for file /proc/1688/environ
open syscall for file /proc/1689/stat
open syscall for file /proc/1689/status
open syscall for file /proc/1689/cmdline
open syscall for file /proc/1689/environ
open syscall for file /proc/1690/stat
open syscall for file /proc/1690/status
open syscall for file /proc/1690/cmdline
open syscall for file /proc/1690/environ
open syscall for file /proc/1691/stat
open syscall for file /proc/1691/status
open syscall for file /proc/1691/cmdline
open syscall for file /proc/1691/environ
open syscall for file /proc/1692/stat
open syscall for file /proc/1692/status
open syscall for file /proc/1692/cmdline
open syscall for file /proc/1692/environ
open syscall for file /proc/4042/stat
open syscall for file /proc/4042/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/4042/cmdline
open syscall for file /proc/4042/environ
open syscall for file /proc/4068/stat
open syscall for file /proc/4068/status
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=7
socket syscall connect(7,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /proc/4068/cmdline
open syscall for file /proc/4068/environ
open syscall for file /proc/5543/stat
open syscall for file /proc/5543/status
open syscall for file /proc/5543/cmdline
open syscall for file /proc/5543/environ
open syscall for file /proc/5581/stat
open syscall for file /proc/5581/status
open syscall for file /proc/5581/cmdline
open syscall for file /proc/5581/environ
open syscall for file /proc/5582/stat
open syscall for file /proc/5582/status
open syscall for file /proc/5582/cmdline
open syscall for file /proc/5582/environ
open syscall for file /proc/5591/stat
open syscall for file /proc/5591/status
open syscall for file /proc/5591/cmdline
open syscall for file /proc/5591/environ
open syscall for file /proc/5593/stat
open syscall for file /proc/5593/status
open syscall for file /proc/5593/cmdline
open syscall for file /proc/5593/environ
open syscall for file /proc/5594/stat
open syscall for file /proc/5594/status
open syscall for file /proc/5594/cmdline
open syscall for file /proc/5594/environ
One traced child (pid=5593) exited with status: 0
One traced child (pid=5594) exited with status: 0
New process pid=5595
execve syscall for /bin/sleep executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/tls/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/i686/libm.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/librt.so.1
open syscall for file tls/i686/librt.so.1
open syscall for file tls/mmx/librt.so.1
open syscall for file tls/librt.so.1
open syscall for file i686/mmx/librt.so.1
open syscall for file i686/librt.so.1
open syscall for file mmx/librt.so.1
open syscall for file librt.so.1
open syscall for file /oldhome/oroussel/lib/librt.so.1
open syscall for file /lib/tls/librt.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /tmp/vallst_sh_tmp_subdir_0/vallst_sh_changing_setting.options
One traced child (pid=5591) exited with status: 3
One traced child (pid=5595) exited with status: 0
New process pid=5596
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=5596) exited with status: 0
One traced child (pid=5582) ended because it received signal 15 (SIGTERM)
All traced children have exited ! Game is over.

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1280.61
CPU time (s): 1208.44
CPU user time (s): 1172.04
CPU system time (s): 36.4015
CPU usage (%): 94.3643
Max. virtual memory (cumulated for all children) (Kb): 11276

Verifier Data

ERROR: no interpretation found !