Trace number 3259012

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-03-24? (TO) 4800.51 1201.91

General information on the benchmark

NameCRAFTED/rbsat/crafted/unforced/
rbsat-v2400c266431g6.cnf
MD5SUMd0bb6612a0c88017c970eb8fd1a4be9e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

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: 935)

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-3259012-1304056789/watcher-3259012-1304056789 -o /tmp/evaluation-result-3259012-1304056789/solver-3259012-1304056789 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3259012-1304056789.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.20 8.04 6.82 5/180 16969
/proc/meminfo: memFree=18462680/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=25124 CPUtime=0 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 597 0 0 0 0 0 0 0 25 0 1 0 595909598 25726976 473 33554432000 4194304 4623224 140734195399072 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/16969/statm: 6281 473 297 105 0 1785 0

[startup+0.0734741 s]
/proc/loadavg: 8.20 8.04 6.82 5/180 16969
/proc/meminfo: memFree=18462680/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=201924 CPUtime=0.07 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 5836 0 0 0 7 0 0 0 25 0 4 0 595909598 206770176 3981 33554432000 4194304 4623224 140734195399072 18446744073709551615 4498362 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 50481 3982 331 105 0 45985 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 201924

[startup+0.10047 s]
/proc/loadavg: 8.20 8.04 6.82 5/180 16969
/proc/meminfo: memFree=18462680/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=267920 CPUtime=0.18 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 6570 0 0 0 18 0 0 0 25 0 4 0 595909598 274350080 4699 33554432000 4194304 4623224 140734195399072 18446744073709551615 4497639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 66980 4699 336 105 0 62484 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 267920

[startup+0.300437 s]
/proc/loadavg: 8.20 8.04 6.82 5/180 16969
/proc/meminfo: memFree=18462680/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=270764 CPUtime=0.99 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 8944 0 0 0 98 1 0 0 25 0 4 0 595909598 277262336 7073 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 67691 7073 342 105 0 63195 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 270764

[startup+0.700371 s]
/proc/loadavg: 8.20 8.04 6.82 5/180 16969
/proc/meminfo: memFree=18462680/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=278772 CPUtime=2.59 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 12787 0 0 0 257 2 0 0 25 0 4 0 595909598 285462528 10078 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510900 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 69693 10078 342 105 0 65197 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 278772

[startup+1.50024 s]
/proc/loadavg: 8.20 8.04 6.82 10/184 16973
/proc/meminfo: memFree=18400160/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=284796 CPUtime=5.78 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 18060 0 0 0 575 3 0 0 25 0 4 0 595909598 291631104 14294 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 71199 14294 342 105 0 66703 0
[pid=16969/tid=16971] ppid=16967 vsize=284796 CPUtime=1.41 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 3024 0 0 0 141 0 0 0 25 0 4 0 595909605 291631104 14294 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=284796 CPUtime=1.42 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 3701 0 0 0 142 0 0 0 25 0 4 0 595909605 291631104 14294 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=284796 CPUtime=1.42 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 1851 0 0 0 142 0 0 0 25 0 4 0 595909605 291631104 14294 33554432000 4194304 4623224 140734195399072 18446744073709551615 4552799 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 284796

[startup+3.10097 s]
/proc/loadavg: 8.20 8.04 6.82 10/184 16973
/proc/meminfo: memFree=18369700/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=300992 CPUtime=12.17 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 29029 0 0 0 1212 5 0 0 25 0 4 0 595909598 308215808 21299 33554432000 4194304 4623224 140734195399072 18446744073709551615 4511646 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 75248 21299 342 105 0 70752 0
[pid=16969/tid=16971] ppid=16967 vsize=300992 CPUtime=3.01 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 6054 0 0 0 300 1 0 0 25 0 4 0 595909605 308215808 21299 33554432000 4194304 4623224 140734195399072 18446744073709551615 4466071 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=300992 CPUtime=3.02 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 7343 0 0 0 301 1 0 0 25 0 4 0 595909605 308215808 21299 33554432000 4194304 4623224 140734195399072 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=300992 CPUtime=3.02 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 3436 0 0 0 302 0 0 0 25 0 4 0 595909605 308215808 21299 33554432000 4194304 4623224 140734195399072 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 300992

[startup+6.30044 s]
/proc/loadavg: 8.18 8.04 6.83 10/184 16973
/proc/meminfo: memFree=18308352/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=313188 CPUtime=24.95 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 41007 0 0 0 2486 9 0 0 25 0 4 0 595909598 320704512 30165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510082 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 78297 30165 342 105 0 73801 0
[pid=16969/tid=16971] ppid=16967 vsize=313188 CPUtime=6.19 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 9894 0 0 0 616 3 0 0 25 0 4 0 595909605 320704512 30165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4465904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=313188 CPUtime=6.22 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 11980 0 0 0 619 3 0 0 25 0 4 0 595909605 320704512 30165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=313188 CPUtime=6.22 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 5799 0 0 0 622 0 0 0 25 0 4 0 595909605 320704512 30166 33554432000 4194304 4623224 140734195399072 18446744073709551615 4364235 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 313188

[startup+12.7004 s]
/proc/loadavg: 8.17 8.04 6.84 10/184 16973
/proc/meminfo: memFree=18216676/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=335644 CPUtime=50.52 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 69347 0 0 0 5036 16 0 0 25 0 4 0 595909598 343699456 41775 33554432000 4194304 4623224 140734195399072 18446744073709551615 4511808 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 83911 41775 342 105 0 79415 0
[pid=16969/tid=16971] ppid=16967 vsize=335644 CPUtime=12.55 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 15098 0 0 0 1251 4 0 0 25 0 4 0 595909605 343699456 41775 33554432000 4194304 4623224 140734195399072 18446744073709551615 224284593056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=335644 CPUtime=12.62 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 19208 0 0 0 1256 6 0 0 25 0 4 0 595909605 343699456 41775 33554432000 4194304 4623224 140734195399072 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=335644 CPUtime=12.62 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 17729 0 0 0 1260 2 0 0 25 0 4 0 595909605 343699456 41775 33554432000 4194304 4623224 140734195399072 18446744073709551615 224300909595 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 335644

[startup+25.5002 s]
/proc/loadavg: 8.13 8.03 6.85 10/184 16973
/proc/meminfo: memFree=18080148/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=439312 CPUtime=101.64 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 191759 0 0 0 10122 42 0 0 25 0 4 0 595909598 449855488 65948 33554432000 4194304 4623224 140734195399072 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 109828 65948 342 105 0 105332 0
[pid=16969/tid=16971] ppid=16967 vsize=439312 CPUtime=25.28 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 20493 0 0 0 2523 5 0 0 25 0 4 0 595909605 449855488 65948 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=439312 CPUtime=25.42 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 29528 0 0 0 2529 13 0 0 25 0 4 0 595909605 449855488 65948 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=439312 CPUtime=25.42 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 103313 0 0 0 2526 16 0 0 25 0 4 0 595909605 449855488 65948 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 439312

[startup+51.101 s]
/proc/loadavg: 8.32 8.08 6.90 10/184 16975
/proc/meminfo: memFree=17823812/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=674612 CPUtime=203.89 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 456723 0 0 0 20297 92 0 0 25 0 4 0 595909598 690802688 108685 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510592 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 168653 108685 342 105 0 164157 0
[pid=16969/tid=16971] ppid=16967 vsize=674612 CPUtime=50.74 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 29372 0 0 0 5066 8 0 0 25 0 4 0 595909605 690802688 108685 33554432000 4194304 4623224 140734195399072 18446744073709551615 4461194 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=674612 CPUtime=51.01 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 41268 0 0 0 5079 22 0 0 25 0 4 0 595909605 690802688 108685 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=674612 CPUtime=51.02 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 283616 0 0 0 5056 46 0 0 25 0 4 0 595909605 690802688 108685 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 674612

[startup+102.306 s]
/proc/loadavg: 8.35 8.12 6.97 9/184 16984
/proc/meminfo: memFree=17439600/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=910016 CPUtime=408.41 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 909777 0 0 0 40664 177 0 0 25 0 4 0 595909598 931856384 171974 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 227504 171974 342 105 0 223008 0
[pid=16969/tid=16971] ppid=16967 vsize=910016 CPUtime=101.84 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 41793 0 0 0 10170 14 0 0 25 0 4 0 595909605 931856384 171974 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=910016 CPUtime=102.21 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 63435 0 0 0 10187 34 0 0 25 0 4 0 595909605 931856384 171974 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376806 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=910016 CPUtime=102.03 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 641649 0 0 0 10099 104 0 0 25 0 4 0 595909605 931856384 171974 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 910016

[startup+162.3 s]
/proc/loadavg: 8.32 8.15 7.05 10/184 16986
/proc/meminfo: memFree=17109840/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=1122632 CPUtime=648.04 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 1411830 0 0 0 64528 276 0 0 25 0 4 0 595909598 1149575168 235284 33554432000 4194304 4623224 140734195399072 18446744073709551615 4280377 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 280658 235284 354 105 0 276162 0
[pid=16969/tid=16971] ppid=16967 vsize=1122632 CPUtime=161.82 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 56046 0 0 0 16161 21 0 0 25 0 4 0 595909605 1149575168 235284 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=1122632 CPUtime=162.2 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 84164 0 0 0 16167 53 0 0 25 0 4 0 595909605 1149575168 235284 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=1122632 CPUtime=161.7 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 1032453 0 0 0 16004 166 0 0 25 0 4 0 595909605 1149575168 235284 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 1122632

[startup+222.3 s]
/proc/loadavg: 8.26 8.15 7.12 10/184 16988
/proc/meminfo: memFree=16835648/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=1504800 CPUtime=887.71 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 1660770 0 0 0 88442 329 0 0 25 0 4 0 595909598 1540915200 283787 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 376200 283787 345 105 0 371704 0
[pid=16969/tid=16971] ppid=16967 vsize=1504800 CPUtime=221.82 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 64990 0 0 0 22152 30 0 0 25 0 4 0 595909605 1540915200 283787 33554432000 4194304 4623224 140734195399072 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=1504800 CPUtime=222.2 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 104117 0 0 0 22155 65 0 0 25 0 4 0 595909605 1540915200 283787 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=1504800 CPUtime=221.38 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 1156370 0 0 0 21952 186 0 0 25 0 4 0 595909605 1540915200 283787 33554432000 4194304 4623224 140734195399072 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.71
Current children cumulated vsize (KiB) 1504800

[startup+282.3 s]

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

[pid=16969] ppid=16967 vsize=2104964 CPUtime=2565.44 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 4441332 0 0 0 255692 852 0 0 25 0 4 0 595909598 2155483136 437446 33554432000 4194304 4623224 140734195399072 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 526241 437446 342 105 0 521745 0
[pid=16969/tid=16971] ppid=16967 vsize=2104964 CPUtime=641.84 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 87680 0 0 0 64137 47 0 0 25 0 4 0 595909605 2155483136 437446 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2104964 CPUtime=642.19 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 110023 0 0 0 64151 68 0 0 25 0 4 0 595909605 2155483136 437446 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2104964 CPUtime=639.09 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 3485749 0 0 0 63303 606 0 0 25 0 4 0 595909605 2155483136 437446 33554432000 4194304 4623224 140734195399072 18446744073709551615 4363752 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.44
Current children cumulated vsize (KiB) 2104964

[startup+702.3 s]
/proc/loadavg: 8.02 8.08 7.50 10/184 17000
/proc/meminfo: memFree=15755092/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2170500 CPUtime=2805.09 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 4889113 0 0 0 279571 938 0 0 25 0 4 0 595909598 2222592000 453698 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 542625 453698 342 105 0 538129 0
[pid=16969/tid=16971] ppid=16967 vsize=2170500 CPUtime=701.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 88035 0 0 0 70136 47 0 0 25 0 4 0 595909605 2222592000 453698 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2170500 CPUtime=702.19 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 110377 0 0 0 70151 68 0 0 25 0 4 0 595909605 2222592000 453698 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2170500 CPUtime=698.76 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 3880142 0 0 0 69197 679 0 0 25 0 4 0 595909605 2222592000 453698 33554432000 4194304 4623224 140734195399072 18446744073709551615 4545477 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.09
Current children cumulated vsize (KiB) 2170500

[startup+762.306 s]
/proc/loadavg: 8.04 8.08 7.53 10/184 17002
/proc/meminfo: memFree=15597080/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2490616 CPUtime=3044.78 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 5512879 0 0 0 303429 1049 0 0 25 0 4 0 595909598 2550390784 487455 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510285 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 622654 487455 342 105 0 618158 0
[pid=16969/tid=16971] ppid=16967 vsize=2490616 CPUtime=761.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 88364 0 0 0 76136 47 0 0 25 0 4 0 595909605 2550390784 487455 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2490616 CPUtime=762.19 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 110811 0 0 0 76151 68 0 0 25 0 4 0 595909605 2550390784 487455 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2490616 CPUtime=758.42 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 4273384 0 0 0 75088 754 0 0 25 0 4 0 595909605 2550390784 487455 33554432000 4194304 4623224 140734195399072 18446744073709551615 4545579 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.78
Current children cumulated vsize (KiB) 2490616

[startup+822.3 s]
/proc/loadavg: 8.09 8.09 7.57 10/184 17004
/proc/meminfo: memFree=15495868/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2490616 CPUtime=3284.42 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 5964792 0 0 0 327313 1129 0 0 25 0 4 0 595909598 2550390784 501448 33554432000 4194304 4623224 140734195399072 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 622654 501448 342 105 0 618158 0
[pid=16969/tid=16971] ppid=16967 vsize=2490616 CPUtime=821.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 88874 0 0 0 82136 47 0 0 25 0 4 0 595909605 2550390784 501448 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2490616 CPUtime=822.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 111193 0 0 0 82150 68 0 0 25 0 4 0 595909605 2550390784 501448 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2490616 CPUtime=818.09 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 4666010 0 0 0 80987 822 0 0 25 0 4 0 595909605 2550390784 501448 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.42
Current children cumulated vsize (KiB) 2490616

[startup+882.3 s]
/proc/loadavg: 8.07 8.08 7.60 10/184 17006
/proc/meminfo: memFree=15407424/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2556152 CPUtime=3524.09 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 6406983 0 0 0 351201 1208 0 0 25 0 4 0 595909598 2617499648 513835 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 639038 513835 342 105 0 634542 0
[pid=16969/tid=16971] ppid=16967 vsize=2556152 CPUtime=881.84 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 89190 0 0 0 88136 48 0 0 25 0 4 0 595909605 2617499648 513835 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2556152 CPUtime=882.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 111474 0 0 0 88149 69 0 0 25 0 4 0 595909605 2617499648 513835 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2556152 CPUtime=877.76 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 5055303 0 0 0 86885 891 0 0 25 0 4 0 595909605 2617499648 513835 33554432000 4194304 4623224 140734195399072 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.09
Current children cumulated vsize (KiB) 2556152

[startup+942.3 s]
/proc/loadavg: 8.17 8.11 7.63 9/184 17006
/proc/meminfo: memFree=15030172/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2589456 CPUtime=3763.77 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 6873023 0 0 0 375085 1292 0 0 25 0 4 0 595909598 2651602944 533665 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 647364 533665 342 105 0 642868 0
[pid=16969/tid=16971] ppid=16967 vsize=2589456 CPUtime=941.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 89509 0 0 0 94135 48 0 0 25 0 4 0 595909605 2651602944 533665 33554432000 4194304 4623224 140734195399072 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2589456 CPUtime=942.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 111709 0 0 0 94149 69 0 0 25 0 4 0 595909605 2651602944 533665 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357610 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2589456 CPUtime=937.43 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 5452922 0 0 0 92785 958 0 0 25 0 4 0 595909605 2651602944 533665 33554432000 4194304 4623224 140734195399072 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.77
Current children cumulated vsize (KiB) 2589456

[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 7.66 10/184 17008
/proc/meminfo: memFree=14785120/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2717004 CPUtime=4003.44 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 7312458 0 0 0 398976 1368 0 0 25 0 4 0 595909598 2782212096 549946 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 679251 549946 342 105 0 674755 0
[pid=16969/tid=16971] ppid=16967 vsize=2717004 CPUtime=1001.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 89910 0 0 0 100135 48 0 0 25 0 4 0 595909605 2782212096 549946 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2717004 CPUtime=1002.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 127525 0 0 0 100146 72 0 0 25 0 4 0 595909605 2782212096 549946 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2717004 CPUtime=997.1 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 5851186 0 0 0 98683 1027 0 0 25 0 4 0 595909605 2782212096 549946 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.44
Current children cumulated vsize (KiB) 2717004

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 7.68 10/184 17010
/proc/meminfo: memFree=14717004/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2717004 CPUtime=4243.12 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 7728598 0 0 0 422867 1445 0 0 25 0 4 0 595909598 2782212096 562165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 679251 562165 342 105 0 674755 0
[pid=16969/tid=16971] ppid=16967 vsize=2717004 CPUtime=1061.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 90263 0 0 0 106135 48 0 0 25 0 4 0 595909605 2782212096 562165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2717004 CPUtime=1062.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 127837 0 0 0 106146 72 0 0 25 0 4 0 595909605 2782212096 562165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2717004 CPUtime=1056.78 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 6260578 0 0 0 104577 1101 0 0 25 0 4 0 595909605 2782212096 562165 33554432000 4194304 4623224 140734195399072 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.12
Current children cumulated vsize (KiB) 2717004

[startup+1122.3 s]
/proc/loadavg: 8.04 8.08 7.70 10/184 17012
/proc/meminfo: memFree=14649400/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2782540 CPUtime=4482.8 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 7857734 0 0 0 446809 1471 0 0 25 0 4 0 595909598 2849320960 573780 33554432000 4194304 4623224 140734195399072 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 695635 573780 342 105 0 691139 0
[pid=16969/tid=16971] ppid=16967 vsize=2782540 CPUtime=1121.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 90646 0 0 0 112135 48 0 0 25 0 4 0 595909605 2849320960 573780 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2782540 CPUtime=1122.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 128226 0 0 0 112146 72 0 0 25 0 4 0 595909605 2849320960 573780 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2782540 CPUtime=1116.45 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 6382996 0 0 0 110521 1124 0 0 25 0 4 0 595909605 2849320960 573780 33554432000 4194304 4623224 140734195399072 18446744073709551615 4545457 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.8
Current children cumulated vsize (KiB) 2782540

[startup+1182.3 s]
/proc/loadavg: 8.01 8.06 7.72 10/184 17014
/proc/meminfo: memFree=14561200/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2811424 CPUtime=4722.46 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 8288227 0 0 0 470705 1541 0 0 25 0 4 0 595909598 2878898176 587398 33554432000 4194304 4623224 140734195399072 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 702856 587398 342 105 0 698360 0
[pid=16969/tid=16971] ppid=16967 vsize=2811424 CPUtime=1181.83 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 106405 0 0 0 118132 51 0 0 25 0 4 0 595909605 2878898176 587398 33554432000 4194304 4623224 140734195399072 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2811424 CPUtime=1182.18 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 128459 0 0 0 118146 72 0 0 25 0 4 0 595909605 2878898176 587398 33554432000 4194304 4623224 140734195399072 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2811424 CPUtime=1176.13 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 6790858 0 0 0 116423 1190 0 0 25 0 4 0 595909605 2878898176 587398 33554432000 4194304 4623224 140734195399072 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.46
Current children cumulated vsize (KiB) 2811424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.01 8.06 7.72 5/179 17015
/proc/meminfo: memFree=16103292/32951124 swapFree=67110396/67111528
[pid=16969] ppid=16967 vsize=2811424 CPUtime=4800.38 cores=1,3,5,7
/proc/16969/stat : 16969 (SArTagnan) R 16967 16969 14760 0 -1 4202496 8421435 0 0 0 478474 1564 0 0 25 0 4 0 595909598 2878898176 590790 33554432000 4194304 4623224 140734195399072 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16969/statm: 702856 590790 342 105 0 698360 0
[pid=16969/tid=16971] ppid=16967 vsize=2811424 CPUtime=1201.34 cores=1,3,5,7
/proc/16969/task/16971/stat : 16971 (SArTagnan) R 16967 16969 14760 0 -1 4202560 106462 0 0 0 120083 51 0 0 25 0 4 0 595909605 2878898176 590790 33554432000 4194304 4623224 140734195399072 18446744073709551615 4486219 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16969/tid=16972] ppid=16967 vsize=2811424 CPUtime=1201.68 cores=1,3,5,7
/proc/16969/task/16972/stat : 16972 (SArTagnan) R 16967 16969 14760 0 -1 4202560 128599 0 0 0 120096 72 0 0 25 0 4 0 595909605 2878898176 590790 33554432000 4194304 4623224 140734195399072 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16969/tid=16973] ppid=16967 vsize=2811424 CPUtime=1195.52 cores=1,3,5,7
/proc/16969/task/16973/stat : 16973 (SArTagnan) R 16967 16969 14760 0 -1 4202560 6922019 0 0 0 118340 1212 0 0 25 0 4 0 595909605 2878898176 590790 33554432000 4194304 4623224 140734195399072 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 2811424

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.91
CPU time (s): 4800.51
CPU user time (s): 4784.76
CPU system time (s): 15.7416
CPU usage (%): 399.407
Max. virtual memory (cumulated for all children) (KiB): 3130848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.76
system time used= 15.7416
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8421437
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= 2291
involuntary context switches= 33645

runsolver used 1.75073 second user time and 4.81327 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 07:59:49
IDJOB=3259012
IDBENCH=71471
IDSOLVER=1656
FILE ID=node118/3259012-1304056789
RUNJOBID= node118-1304055585-16853
PBS_JOBID= 13170373
Free space on /tmp= 71612 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v2400c266431g6.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259012-1304056789/watcher-3259012-1304056789 -o /tmp/evaluation-result-3259012-1304056789/solver-3259012-1304056789 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3259012-1304056789.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d0bb6612a0c88017c970eb8fd1a4be9e
RANDOM SEED=1297762588

node118.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.842
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.68
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.842
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.842
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.74
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.842
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.842
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.68
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.842
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18463084 kB
Buffers:       1898868 kB
Cached:       11980352 kB
SwapCached:        600 kB
Active:        9417948 kB
Inactive:      4535052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18463084 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            4904 kB
Writeback:           0 kB
AnonPages:       72696 kB
Mapped:          15460 kB
Slab:           471788 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   250100 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= 71612 MiB
End job on node118 at 2011-04-29 08:19:53