Trace number 3439551

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 into four (or five) parts:
  1. 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 ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 40001 5012.44

General information on the benchmark

NameSAT05/crafted/markstrom05/eulcbip/
eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
MD5SUM151ccdb2c52c7f525fde5dca388bb6e6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.082986
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses672
Sum of the clauses size2684
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 30
Number of clauses of size 4670
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3439551-1306965463/watcher-3439551-1306965463 -o /tmp/evaluation-result-3439551-1306965463/solver-3439551-1306965463 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439551-1306965463.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.15 8.12 8.02 2/547 26724
/proc/meminfo: memFree=25236192/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=90600 CPUtime=0.05 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 529 0 0 0 5 0 0 0 19 0 8 0 808143337 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927666 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26724/statm: 22650 466 300 106 0 18153 0
[pid=26724/tid=26725] ppid=26722 vsize=90600 CPUtime=0.01 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1 0 0 0 1 0 0 0 19 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927666 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=90600 CPUtime=0 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927664 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=90600 CPUtime=0 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927660 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=90600 CPUtime=0.01 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927666 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=90600 CPUtime=0 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927670 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=90600 CPUtime=0 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=90600 CPUtime=0 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 808143338 92774400 466 33554432000 4194304 4625164 140735992981936 18446744073709551615 47788288927666 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0868199 s]
/proc/loadavg: 8.15 8.12 8.02 2/547 26724
/proc/meminfo: memFree=25236192/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=420548 CPUtime=0.85 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 2948 0 0 0 85 0 0 0 20 0 8 0 808143337 430641152 2277 33554432000 4194304 4625164 140735992981936 18446744073709551615 4519497 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 105137 2277 351 106 0 100640 0
[pid=26724/tid=26725] ppid=26722 vsize=420548 CPUtime=0.11 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295 0 0 0 11 0 0 0 20 0 8 0 808143338 430641152 2277 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=420548 CPUtime=0.1 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 278 0 0 0 10 0 0 0 18 0 8 0 808143338 430641152 2277 33554432000 4194304 4625164 140735992981936 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=420548 CPUtime=0.1 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 494 0 0 0 10 0 0 0 20 0 8 0 808143338 430641152 2277 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=420548 CPUtime=0.11 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 245 0 0 0 11 0 0 0 21 0 8 0 808143338 430641152 2281 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=420548 CPUtime=0.1 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 251 0 0 0 10 0 0 0 21 0 8 0 808143338 430641152 2299 33554432000 4194304 4625164 140735992981936 18446744073709551615 4349779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=420548 CPUtime=0.08 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 382 0 0 0 8 0 0 0 21 0 8 0 808143338 430641152 2302 33554432000 4194304 4625164 140735992981936 18446744073709551615 4279928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=420548 CPUtime=0.1 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223 0 0 0 10 0 0 0 18 0 8 0 808143338 430641152 2303 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351860 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 420548

[startup+0.139933 s]
/proc/loadavg: 8.15 8.12 8.02 2/547 26724
/proc/meminfo: memFree=25236192/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=422420 CPUtime=1.46 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) S 26722 26724 26482 0 -1 4202496 5150 0 0 0 145 1 0 0 20 0 8 0 808143337 432558080 3629 33554432000 4194304 4625164 140735992981936 18446744073709551615 239476799982 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 106066 3882 351 106 0 101569 0
[pid=26724/tid=26725] ppid=26722 vsize=424264 CPUtime=0.21 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 598 0 0 0 21 0 0 0 20 0 8 0 808143338 434446336 3883 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=424264 CPUtime=0.2 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 661 0 0 0 20 0 0 0 18 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=424264 CPUtime=0.2 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 982 0 0 0 20 0 0 0 20 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=424264 CPUtime=0.21 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 575 0 0 0 21 0 0 0 21 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=424264 CPUtime=0.2 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 586 0 0 0 20 0 0 0 21 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4349336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=424264 CPUtime=0.18 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 647 0 0 0 18 0 0 0 21 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=424264 CPUtime=0.2 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 535 0 0 0 20 0 0 0 18 0 8 0 808143338 434446336 3884 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 422420

[startup+0.320288 s]
/proc/loadavg: 8.15 8.12 8.02 2/547 26724
/proc/meminfo: memFree=25236192/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=425764 CPUtime=2.45 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 7484 0 0 0 244 1 0 0 20 0 8 0 808143337 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4422707 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 106441 5203 351 106 0 101944 0
[pid=26724/tid=26725] ppid=26722 vsize=425764 CPUtime=0.31 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 685 0 0 0 31 0 0 0 20 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=425764 CPUtime=0.3 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 990 0 0 0 30 0 0 0 18 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=425764 CPUtime=0.3 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1514 0 0 0 30 0 0 0 20 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 239492678683 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=425764 CPUtime=0.31 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 646 0 0 0 31 0 0 0 21 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=425764 CPUtime=0.3 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 900 0 0 0 30 0 0 0 21 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4348858 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=425764 CPUtime=0.28 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 901 0 0 0 28 0 0 0 21 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351925 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=425764 CPUtime=0.3 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 661 0 0 0 30 0 0 0 18 0 8 0 808143338 435982336 5203 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 425764

[startup+0.701216 s]
/proc/loadavg: 8.15 8.12 8.02 2/547 26724
/proc/meminfo: memFree=25236192/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=430956 CPUtime=5.5 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 14468 0 0 0 547 3 0 0 21 0 8 0 808143337 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 107739 9237 352 106 0 103242 0
[pid=26724/tid=26725] ppid=26722 vsize=430956 CPUtime=0.68 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1448 0 0 0 68 0 0 0 21 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4465239 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=430956 CPUtime=0.68 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1628 0 0 0 68 0 0 0 18 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=430956 CPUtime=0.68 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 3478 0 0 0 68 0 0 0 21 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=430956 CPUtime=0.69 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1318 0 0 0 69 0 0 0 22 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=430956 CPUtime=0.68 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1499 0 0 0 68 0 0 0 22 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4348821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=430956 CPUtime=0.66 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1904 0 0 0 66 0 0 0 22 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=430956 CPUtime=0.68 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 1414 0 0 0 68 0 0 0 18 0 8 0 808143338 441298944 9237 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 430956

[startup+1.50107 s]
/proc/loadavg: 8.14 8.12 8.02 9/555 26732
/proc/meminfo: memFree=25188768/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=441908 CPUtime=11.87 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 24860 0 0 0 1183 4 0 0 23 0 8 0 808143337 452513792 14978 33554432000 4194304 4625164 140735992981936 18446744073709551615 4338085 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 110477 14978 351 106 0 105980 0
[pid=26724/tid=26725] ppid=26722 vsize=441908 CPUtime=1.48 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2271 0 0 0 148 0 0 0 23 0 8 0 808143338 452513792 14978 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=441908 CPUtime=1.48 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2444 0 0 0 148 0 0 0 19 0 8 0 808143338 452513792 14978 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=441908 CPUtime=1.48 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 7320 0 0 0 148 0 0 0 23 0 8 0 808143338 452513792 14978 33554432000 4194304 4625164 140735992981936 18446744073709551615 239476353780 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=441908 CPUtime=1.49 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2180 0 0 0 149 0 0 0 25 0 8 0 808143338 452513792 14979 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=441908 CPUtime=1.47 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2947 0 0 0 147 0 0 0 25 0 8 0 808143338 452513792 14979 33554432000 4194304 4625164 140735992981936 18446744073709551615 4289984 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=441908 CPUtime=1.45 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2956 0 0 0 145 0 0 0 25 0 8 0 808143338 452513792 14979 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=441908 CPUtime=1.48 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 2277 0 0 0 148 0 0 0 19 0 8 0 808143338 452513792 14979 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 441908

[startup+3.10076 s]
/proc/loadavg: 8.14 8.12 8.02 9/555 26732
/proc/meminfo: memFree=25159768/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=456648 CPUtime=24.65 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 41697 0 0 0 2458 7 0 0 25 0 8 0 808143337 467607552 22818 33554432000 4194304 4625164 140735992981936 18446744073709551615 4337984 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 114162 22818 353 106 0 109665 0
[pid=26724/tid=26725] ppid=26722 vsize=456648 CPUtime=3.08 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 3532 0 0 0 308 0 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=456648 CPUtime=3.08 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 3603 0 0 0 307 1 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=456648 CPUtime=3.08 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 13502 0 0 0 307 1 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=456648 CPUtime=3.09 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 3493 0 0 0 309 0 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=456648 CPUtime=3.07 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 4720 0 0 0 307 0 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4348804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=456648 CPUtime=3.06 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 4637 0 0 0 305 1 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=456648 CPUtime=3.07 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 4755 0 0 0 307 0 0 0 25 0 8 0 808143338 467607552 22819 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.65
Current children cumulated vsize (KiB) 456648

[startup+6.30115 s]
/proc/loadavg: 8.13 8.11 8.02 9/555 26732
/proc/meminfo: memFree=25106276/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=489360 CPUtime=50.2 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 73566 0 0 0 5007 13 0 0 25 0 8 0 808143337 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4329088 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 122340 36464 446 106 0 117843 0
[pid=26724/tid=26725] ppid=26722 vsize=489360 CPUtime=6.29 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 5722 0 0 0 628 1 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=489360 CPUtime=6.28 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 7293 0 0 0 627 1 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=489360 CPUtime=6.28 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 25470 0 0 0 625 3 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=489360 CPUtime=6.29 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 5502 0 0 0 629 0 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=489360 CPUtime=6.28 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 7467 0 0 0 627 1 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=489360 CPUtime=6.26 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 9509 0 0 0 624 2 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=489360 CPUtime=6.28 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 7749 0 0 0 627 1 0 0 25 0 8 0 808143338 501104640 36464 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 5 0 0 0

################
# More data... #
################

/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 271062 0 0 0 466177 66 0 0 25 0 8 0 808143338 5424496640 1064144 33554432000 4194304 4625164 140735992981936 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5297360 CPUtime=4660.75 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189857 0 0 0 466019 56 0 0 25 0 8 0 808143338 5424496640 1064144 33554432000 4194304 4625164 140735992981936 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 37208.1
Current children cumulated vsize (KiB) 5297360

[startup+4722.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/555 26882
/proc/meminfo: memFree=20966208/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5297360 CPUtime=37687.1 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17123776 0 0 0 3765498 3213 0 0 25 0 8 0 808143337 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1324340 1065155 539 106 0 1319843 0
[pid=26724/tid=26725] ppid=26722 vsize=5297360 CPUtime=4720.95 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223723 0 0 0 472038 57 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5297360 CPUtime=4722.47 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295109 0 0 0 472177 70 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5297360 CPUtime=4722.41 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 9654590 0 0 0 470607 1634 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5297360 CPUtime=4722.45 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 217081 0 0 0 472181 64 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5297360 CPUtime=4722.46 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279773 0 0 0 472164 82 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5297360 CPUtime=4722.46 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 271481 0 0 0 472179 67 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5297360 CPUtime=4720.77 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189868 0 0 0 472021 56 0 0 25 0 8 0 808143338 5424496640 1065155 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 37687.1
Current children cumulated vsize (KiB) 5297360

[startup+4782.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/555 26884
/proc/meminfo: memFree=20958116/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5297360 CPUtime=38165.8 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17258648 0 0 0 3813344 3237 0 0 25 0 8 0 808143337 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1324340 1066564 489 106 0 1319843 0
[pid=26724/tid=26725] ppid=26722 vsize=5297360 CPUtime=4780.91 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223732 0 0 0 478034 57 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5297360 CPUtime=4782.45 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295115 0 0 0 478175 70 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5297360 CPUtime=4782.4 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 9787502 0 0 0 476582 1658 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5297360 CPUtime=4782.43 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 217098 0 0 0 478179 64 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5297360 CPUtime=4782.44 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279785 0 0 0 478162 82 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5297360 CPUtime=4782.44 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 273266 0 0 0 478177 67 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5297360 CPUtime=4780.75 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189881 0 0 0 478019 56 0 0 25 0 8 0 808143338 5424496640 1066564 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 38165.8
Current children cumulated vsize (KiB) 5297360

[startup+4842.32 s]
/proc/loadavg: 8.06 8.05 8.00 9/555 26885
/proc/meminfo: memFree=20956464/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5297360 CPUtime=38644.8 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17395880 0 0 0 3861216 3265 0 0 25 0 8 0 808143337 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1324340 1067694 511 106 0 1319843 0
[pid=26724/tid=26725] ppid=26722 vsize=5297360 CPUtime=4840.91 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223744 0 0 0 484034 57 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5297360 CPUtime=4842.47 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295123 0 0 0 484177 70 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5297360 CPUtime=4842.42 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 9923810 0 0 0 482558 1684 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5297360 CPUtime=4842.46 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 217110 0 0 0 484182 64 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5297360 CPUtime=4842.46 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279796 0 0 0 484164 82 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4460412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5297360 CPUtime=4842.46 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 273769 0 0 0 484178 68 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5297360 CPUtime=4840.78 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189891 0 0 0 484022 56 0 0 25 0 8 0 808143338 5424496640 1067694 33554432000 4194304 4625164 140735992981936 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 38644.8
Current children cumulated vsize (KiB) 5297360

[startup+4902.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/555 26887
/proc/meminfo: memFree=20948376/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5362896 CPUtime=39123.5 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17545015 0 0 0 3909054 3296 0 0 25 0 8 0 808143337 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1340724 1068966 521 106 0 1336227 0
[pid=26724/tid=26725] ppid=26722 vsize=5362896 CPUtime=4900.87 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223756 0 0 0 490030 57 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5362896 CPUtime=4902.45 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295125 0 0 0 490175 70 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5362896 CPUtime=4902.4 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 10072106 0 0 0 488527 1713 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5362896 CPUtime=4902.44 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 217123 0 0 0 490180 64 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5362896 CPUtime=4902.45 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279809 0 0 0 490163 82 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5362896 CPUtime=4902.45 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 274475 0 0 0 490175 70 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5362896 CPUtime=4900.76 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189910 0 0 0 490020 56 0 0 25 0 8 0 808143338 5491605504 1068966 33554432000 4194304 4625164 140735992981936 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39123.5
Current children cumulated vsize (KiB) 5362896

[startup+4962.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/555 26888
/proc/meminfo: memFree=20944864/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5362896 CPUtime=39602.3 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17703179 0 0 0 3956907 3326 0 0 25 0 8 0 808143337 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1340724 1070613 550 106 0 1336227 0
[pid=26724/tid=26725] ppid=26722 vsize=5362896 CPUtime=4960.86 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223770 0 0 0 496029 57 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5362896 CPUtime=4962.45 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295130 0 0 0 496175 70 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5362896 CPUtime=4962.41 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 10229407 0 0 0 494498 1743 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5362896 CPUtime=4962.44 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 217135 0 0 0 496180 64 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5362896 CPUtime=4962.45 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279821 0 0 0 496163 82 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4460412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5362896 CPUtime=4962.45 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 275247 0 0 0 496174 71 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5362896 CPUtime=4960.76 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189921 0 0 0 496020 56 0 0 25 0 8 0 808143338 5491605504 1070613 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 39602.3
Current children cumulated vsize (KiB) 5362896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.2 s]
/proc/loadavg: 8.10 8.07 8.01 9/555 26890
/proc/meminfo: memFree=20934420/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=5362896 CPUtime=40000.7 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4202496 17846277 0 0 0 3996718 3352 0 0 25 0 8 0 808143337 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26724/statm: 1340724 1073095 570 106 0 1336227 0
[pid=26724/tid=26725] ppid=26722 vsize=5362896 CPUtime=5010.75 cores=0-7
/proc/26724/task/26725/stat : 26725 (SArTagnan) R 26722 26724 26482 0 -1 4202560 223779 0 0 0 501018 57 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26724/tid=26726] ppid=26722 vsize=5362896 CPUtime=5012.38 cores=0-7
/proc/26724/task/26726/stat : 26726 (SArTagnan) R 26722 26724 26482 0 -1 4202560 295134 0 0 0 501168 70 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26724/tid=26727] ppid=26722 vsize=5362896 CPUtime=5012.33 cores=0-7
/proc/26724/task/26727/stat : 26727 (SArTagnan) R 26722 26724 26482 0 -1 4202560 10370578 0 0 0 499465 1768 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26724/tid=26728] ppid=26722 vsize=5362896 CPUtime=5012.37 cores=0-7
/proc/26724/task/26728/stat : 26728 (SArTagnan) R 26722 26724 26482 0 -1 4202560 218796 0 0 0 501172 65 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26724/tid=26729] ppid=26722 vsize=5362896 CPUtime=5012.37 cores=0-7
/proc/26724/task/26729/stat : 26729 (SArTagnan) R 26722 26724 26482 0 -1 4202560 279833 0 0 0 501155 82 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26724/tid=26730] ppid=26722 vsize=5362896 CPUtime=5012.37 cores=0-7
/proc/26724/task/26730/stat : 26730 (SArTagnan) R 26722 26724 26482 0 -1 4202560 275442 0 0 0 501166 71 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26724/tid=26731] ppid=26722 vsize=5362896 CPUtime=5010.68 cores=0-7
/proc/26724/task/26731/stat : 26731 (SArTagnan) R 26722 26724 26482 0 -1 4202560 189934 0 0 0 501012 56 0 0 25 0 8 0 808143338 5491605504 1073095 33554432000 4194304 4625164 140735992981936 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 5362896

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5012.33 s]
/proc/loadavg: 8.10 8.07 8.01 9/555 26890
/proc/meminfo: memFree=20934420/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=0 CPUtime=40000.9 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4203524 17846277 0 0 0 3996723 3362 0 0 25 0 1 0 808143337 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26724/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0

[startup+5012.4 s]
/proc/loadavg: 8.10 8.07 8.01 9/555 26890
/proc/meminfo: memFree=20934420/32950928 swapFree=67056580/67111528
[pid=26724] ppid=26722 vsize=0 CPUtime=40000.9 cores=0-7
/proc/26724/stat : 26724 (SArTagnan) R 26722 26724 26482 0 -1 4203524 17846277 0 0 0 3996723 3369 0 0 25 0 1 0 808143337 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26724/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.44
CPU time (s): 40001
CPU user time (s): 39967.2
CPU system time (s): 33.7379
CPU usage (%): 798.034
Max. virtual memory (cumulated for all children) (KiB): 5513444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39967.2
system time used= 33.7379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17846277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1220
involuntary context switches= 168899

runsolver used 25.4701 second user time and 69.5464 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-01 23:57:43
IDJOB=3439551
IDBENCH=85780
IDSOLVER=1936
FILE ID=node148/3439551-1306965463
RUNJOBID= node148-1306960404-26496
PBS_JOBID= 13497603
Free space on /tmp= 73860 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT05/crafted/markstrom05/eulcbip/eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439551-1306965463/watcher-3439551-1306965463 -o /tmp/evaluation-result-3439551-1306965463/solver-3439551-1306965463 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439551-1306965463.cnf -threads=8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 151ccdb2c52c7f525fde5dca388bb6e6
RANDOM SEED=665992453

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25236472 kB
Buffers:        157380 kB
Cached:         421692 kB
SwapCached:       7908 kB
Active:        7003304 kB
Inactive:       402856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25236472 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:             428 kB
Writeback:           0 kB
AnonPages:     6825792 kB
Mapped:          43412 kB
Slab:           179088 kB
PageTables:      58068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170361048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73860 MiB
End job on node148 at 2011-06-02 01:21:17