Trace number 3288853

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.18 1201.88

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
Bench CategoryAPPLICATION (applications 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 variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

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

running on 4 cores: 0,2,4,6

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.19 8.08 8.05 6/184 8970
/proc/meminfo: memFree=24713844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=30264 CPUtime=0 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 1723 0 0 0 0 0 0 0 25 0 1 0 519660055 30990336 1661 33554432000 4194304 4623224 140734119450416 18446744073709551615 246516834048 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8970/statm: 7566 1661 296 105 0 3070 0

[startup+0.0471769 s]
/proc/loadavg: 8.19 8.08 8.05 6/184 8970
/proc/meminfo: memFree=24713844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=35364 CPUtime=0.04 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 4510 0 0 0 4 0 0 0 25 0 1 0 519660055 36212736 3062 33554432000 4194304 4623224 140734119450416 18446744073709551615 246516495045 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8970/statm: 8841 3064 301 105 0 4345 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 35364

[startup+0.100166 s]
/proc/loadavg: 8.19 8.08 8.05 6/184 8970
/proc/meminfo: memFree=24713844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=41468 CPUtime=0.09 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 7798 0 0 0 9 0 0 0 25 0 1 0 519660055 42463232 4845 33554432000 4194304 4623224 140734119450416 18446744073709551615 4388413 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8970/statm: 10367 4846 301 105 0 5871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41468

[startup+0.301089 s]
/proc/loadavg: 8.19 8.08 8.05 6/184 8970
/proc/meminfo: memFree=24713844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=320532 CPUtime=0.8 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 26001 0 0 0 77 3 0 0 25 0 4 0 519660055 328224768 19197 33554432000 4194304 4623224 140734119450416 18446744073709551615 4281496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 80133 19219 334 105 0 75637 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 320532

[startup+0.701019 s]
/proc/loadavg: 8.19 8.08 8.05 6/184 8970
/proc/meminfo: memFree=24713844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=327544 CPUtime=2.4 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 31400 0 0 0 236 4 0 0 25 0 4 0 519660055 335405056 23135 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 81886 23135 429 105 0 77390 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 327544

[startup+1.50087 s]
/proc/loadavg: 8.19 8.08 8.05 9/188 8974
/proc/meminfo: memFree=24620092/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=327544 CPUtime=5.59 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 33092 0 0 0 555 4 0 0 25 0 4 0 519660055 335405056 23559 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 81886 23559 402 105 0 77390 0
[pid=8970/tid=8972] ppid=8968 vsize=327544 CPUtime=1.36 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 3281 0 0 0 136 0 0 0 25 0 4 0 519660068 335405056 23559 33554432000 4194304 4623224 140734119450416 18446744073709551615 4485214 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=327544 CPUtime=1.36 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 3039 0 0 0 136 0 0 0 25 0 4 0 519660068 335405056 23559 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=327544 CPUtime=1.36 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 6461 0 0 0 136 0 0 0 25 0 4 0 519660068 335405056 23559 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 327544

[startup+3.10058 s]
/proc/loadavg: 8.19 8.08 8.05 9/188 8974
/proc/meminfo: memFree=24619844/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=332420 CPUtime=11.98 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 38013 0 0 0 1193 5 0 0 25 0 4 0 519660055 340398080 23747 33554432000 4194304 4623224 140734119450416 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 83105 23747 402 105 0 78609 0
[pid=8970/tid=8972] ppid=8968 vsize=332420 CPUtime=2.96 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 3386 0 0 0 296 0 0 0 25 0 4 0 519660068 340398080 23747 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=332420 CPUtime=2.95 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 3135 0 0 0 295 0 0 0 25 0 4 0 519660068 340398080 23747 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=332420 CPUtime=2.96 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 10279 0 0 0 295 1 0 0 25 0 4 0 519660068 340398080 23747 33554432000 4194304 4623224 140734119450416 18446744073709551615 4354651 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 332420

[startup+6.30099 s]
/proc/loadavg: 8.17 8.08 8.05 9/188 8974
/proc/meminfo: memFree=24604520/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=348680 CPUtime=24.77 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 45143 0 0 0 2471 6 0 0 25 0 4 0 519660055 357048320 26822 33554432000 4194304 4623224 140734119450416 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 87170 26822 379 105 0 82674 0
[pid=8970/tid=8972] ppid=8968 vsize=348680 CPUtime=6.16 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 6113 0 0 0 615 1 0 0 25 0 4 0 519660068 357048320 26822 33554432000 4194304 4623224 140734119450416 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=348680 CPUtime=6.13 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 5678 0 0 0 613 0 0 0 25 0 4 0 519660068 357048320 26822 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=348680 CPUtime=6.16 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 11495 0 0 0 615 1 0 0 25 0 4 0 519660068 357048320 26822 33554432000 4194304 4623224 140734119450416 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 348680

[startup+12.7008 s]
/proc/loadavg: 8.16 8.08 8.05 9/188 8974
/proc/meminfo: memFree=24320568/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=656888 CPUtime=50.27 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 224666 0 0 0 4995 32 0 0 25 0 4 0 519660055 672653312 93576 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510604 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 164222 93576 344 105 0 159726 0
[pid=8970/tid=8972] ppid=8968 vsize=656888 CPUtime=12.54 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 40077 0 0 0 1249 5 0 0 25 0 4 0 519660068 672653312 93576 33554432000 4194304 4623224 140734119450416 18446744073709551615 4289745 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=656888 CPUtime=12.48 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 39109 0 0 0 1241 7 0 0 25 0 4 0 519660068 672653312 93576 33554432000 4194304 4623224 140734119450416 18446744073709551615 4278641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=656888 CPUtime=12.55 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 47524 0 0 0 1249 6 0 0 25 0 4 0 519660068 672653312 93576 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 656888

[startup+25.5005 s]
/proc/loadavg: 8.12 8.07 8.05 9/188 8974
/proc/meminfo: memFree=24276416/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=656888 CPUtime=101.4 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 225728 0 0 0 10107 33 0 0 25 0 4 0 519660055 672653312 94636 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510498 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 164222 94636 344 105 0 159726 0
[pid=8970/tid=8972] ppid=8968 vsize=656888 CPUtime=25.34 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 40184 0 0 0 2529 5 0 0 25 0 4 0 519660068 672653312 94636 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=656888 CPUtime=25.2 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 39652 0 0 0 2513 7 0 0 25 0 4 0 519660068 672653312 94636 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=656888 CPUtime=25.35 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 47633 0 0 0 2529 6 0 0 25 0 4 0 519660068 672653312 94636 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 656888

[startup+51.1008 s]
/proc/loadavg: 8.22 8.10 8.06 9/188 8975
/proc/meminfo: memFree=24213548/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=671184 CPUtime=203.67 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 240061 0 0 0 20325 42 0 0 25 0 4 0 519660055 687292416 108962 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 167796 108962 344 105 0 163300 0
[pid=8970/tid=8972] ppid=8968 vsize=671184 CPUtime=50.95 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 44427 0 0 0 5088 7 0 0 25 0 4 0 519660068 687292416 108962 33554432000 4194304 4623224 140734119450416 18446744073709551615 4289917 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=671184 CPUtime=50.67 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 45721 0 0 0 5054 13 0 0 25 0 4 0 519660068 687292416 108962 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=671184 CPUtime=50.95 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 51202 0 0 0 5088 7 0 0 25 0 4 0 519660068 687292416 108962 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 671184

[startup+102.306 s]
/proc/loadavg: 8.25 8.11 8.07 9/188 8976
/proc/meminfo: memFree=24108000/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=760644 CPUtime=408.18 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 621449 0 0 0 40705 113 0 0 25 0 4 0 519660055 778899456 124757 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 190161 124757 344 105 0 185665 0
[pid=8970/tid=8972] ppid=8968 vsize=760644 CPUtime=102.14 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 61567 0 0 0 10200 14 0 0 25 0 4 0 519660068 778899456 124757 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=760644 CPUtime=101.58 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 49606 0 0 0 10143 15 0 0 25 0 4 0 519660068 778899456 124757 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=760644 CPUtime=102.14 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 409446 0 0 0 10147 67 0 0 25 0 4 0 519660068 778899456 124757 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 760644

[startup+162.3 s]
/proc/loadavg: 8.16 8.11 8.07 9/188 8978
/proc/meminfo: memFree=24020796/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=786616 CPUtime=647.81 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 1067118 0 0 0 64598 183 0 0 25 0 4 0 519660055 805494784 130244 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 196654 130244 345 105 0 192158 0
[pid=8970/tid=8972] ppid=8968 vsize=786616 CPUtime=162.13 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 62488 0 0 0 16198 15 0 0 25 0 4 0 519660068 805494784 130244 33554432000 4194304 4623224 140734119450416 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=786616 CPUtime=161.25 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 60227 0 0 0 16108 17 0 0 25 0 4 0 519660068 805494784 130244 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=786616 CPUtime=162.14 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 843019 0 0 0 16078 136 0 0 25 0 4 0 519660068 805494784 130244 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364251 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.81
Current children cumulated vsize (KiB) 786616

[startup+222.3 s]
/proc/loadavg: 8.26 8.13 8.08 9/188 8980
/proc/meminfo: memFree=23878296/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=802568 CPUtime=887.48 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 1467553 0 0 0 88494 254 0 0 25 0 4 0 519660055 821829632 145546 33554432000 4194304 4623224 140734119450416 18446744073709551615 4413946 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 200642 145546 345 105 0 196146 0
[pid=8970/tid=8972] ppid=8968 vsize=802568 CPUtime=222.13 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 68550 0 0 0 22193 20 0 0 25 0 4 0 519660068 821829632 145546 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=802568 CPUtime=220.91 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 63053 0 0 0 22073 18 0 0 25 0 4 0 519660068 821829632 145547 33554432000 4194304 4623224 140734119450416 18446744073709551615 4366576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=802568 CPUtime=222.14 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 1233415 0 0 0 22015 199 0 0 25 0 4 0 519660068 821829632 145547 33554432000 4194304 4623224 140734119450416 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.48
Current children cumulated vsize (KiB) 802568

[startup+282.301 s]

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

[pid=8970] ppid=8968 vsize=1305604 CPUtime=2565.17 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 4168087 0 0 0 255798 719 0 0 25 0 4 0 519660055 1336938496 272686 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 326401 272686 345 105 0 321905 0
[pid=8970/tid=8972] ppid=8968 vsize=1305604 CPUtime=642.13 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 157666 0 0 0 64152 61 0 0 25 0 4 0 519660068 1336938496 272686 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1305604 CPUtime=638.64 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 90720 0 0 0 63828 36 0 0 25 0 4 0 519660068 1336938496 272686 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1305604 CPUtime=642.14 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 3786110 0 0 0 63614 600 0 0 25 0 4 0 519660068 1336938496 272686 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.17
Current children cumulated vsize (KiB) 1305604

[startup+702.301 s]
/proc/loadavg: 8.32 8.20 8.11 9/188 8992
/proc/meminfo: memFree=22745828/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1502212 CPUtime=2804.83 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 4658898 0 0 0 279679 804 0 0 25 0 4 0 519660055 1538265088 291096 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 375553 291096 345 105 0 371057 0
[pid=8970/tid=8972] ppid=8968 vsize=1502212 CPUtime=702.12 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 166776 0 0 0 70144 68 0 0 25 0 4 0 519660068 1538265088 291096 33554432000 4194304 4623224 140734119450416 18446744073709551615 4468051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1502212 CPUtime=698.31 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 96941 0 0 0 69789 42 0 0 25 0 4 0 519660068 1538265088 291096 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1502212 CPUtime=702.13 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 4260598 0 0 0 69542 671 0 0 25 0 4 0 519660068 1538265088 291096 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364107 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.83
Current children cumulated vsize (KiB) 1502212

[startup+762.307 s]
/proc/loadavg: 8.19 8.18 8.10 9/188 8994
/proc/meminfo: memFree=22613992/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1631864 CPUtime=3044.5 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 5153018 0 0 0 303569 881 0 0 25 0 4 0 519660055 1671028736 303694 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 407966 303694 345 105 0 403470 0
[pid=8970/tid=8972] ppid=8968 vsize=1631864 CPUtime=762.13 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 206405 0 0 0 76138 75 0 0 25 0 4 0 519660068 1671028736 303694 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1631864 CPUtime=758 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 98206 0 0 0 75757 43 0 0 25 0 4 0 519660068 1671028736 303694 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1631864 CPUtime=762.13 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 4712962 0 0 0 75471 742 0 0 25 0 4 0 519660068 1671028736 303694 33554432000 4194304 4623224 140734119450416 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.5
Current children cumulated vsize (KiB) 1631864

[startup+822.301 s]
/proc/loadavg: 8.31 8.20 8.11 9/188 8995
/proc/meminfo: memFree=22496296/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1659724 CPUtime=3284.15 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 5600752 0 0 0 327455 960 0 0 25 0 4 0 519660055 1699557376 318659 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 414931 318659 345 105 0 410435 0
[pid=8970/tid=8972] ppid=8968 vsize=1659724 CPUtime=821.85 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 213330 0 0 0 82103 82 0 0 25 0 4 0 519660068 1699557376 318659 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1659724 CPUtime=817.93 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 115270 0 0 0 81747 46 0 0 25 0 4 0 519660068 1699557376 318659 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1659724 CPUtime=822.12 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 5135749 0 0 0 81403 809 0 0 25 0 4 0 519660068 1699557376 318659 33554432000 4194304 4623224 140734119450416 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.15
Current children cumulated vsize (KiB) 1659724

[startup+882.301 s]
/proc/loadavg: 8.29 8.21 8.12 9/188 8997
/proc/meminfo: memFree=22397184/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1672200 CPUtime=3523.82 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 5912146 0 0 0 351364 1018 0 0 25 0 4 0 519660055 1712332800 331999 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 418050 331999 345 105 0 413554 0
[pid=8970/tid=8972] ppid=8968 vsize=1672200 CPUtime=881.52 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 216258 0 0 0 88068 84 0 0 25 0 4 0 519660068 1712332800 331999 33554432000 4194304 4623224 140734119450416 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1672200 CPUtime=877.93 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 118318 0 0 0 87744 49 0 0 25 0 4 0 519660068 1712332800 331999 33554432000 4194304 4623224 140734119450416 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1672200 CPUtime=882.12 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 5440392 0 0 0 87351 861 0 0 25 0 4 0 519660068 1712332800 331999 33554432000 4194304 4623224 140734119450416 18446744073709551615 4545383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.82
Current children cumulated vsize (KiB) 1672200

[startup+942.301 s]
/proc/loadavg: 8.36 8.24 8.13 9/188 8999
/proc/meminfo: memFree=22305652/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1685796 CPUtime=3763.49 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 6349748 0 0 0 375254 1095 0 0 25 0 4 0 519660055 1726255104 350716 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 421449 350716 346 105 0 416953 0
[pid=8970/tid=8972] ppid=8968 vsize=1685796 CPUtime=941.2 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 222937 0 0 0 94032 88 0 0 25 0 4 0 519660068 1726255104 350716 33554432000 4194304 4623224 140734119450416 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1685796 CPUtime=937.93 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 122075 0 0 0 93741 52 0 0 25 0 4 0 519660068 1726255104 350716 33554432000 4194304 4623224 140734119450416 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1685796 CPUtime=942.12 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 5866585 0 0 0 93280 932 0 0 25 0 4 0 519660068 1726255104 350716 33554432000 4194304 4623224 140734119450416 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.49
Current children cumulated vsize (KiB) 1685796

[startup+1002.3 s]
/proc/loadavg: 8.25 8.23 8.13 9/188 9000
/proc/meminfo: memFree=22246336/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1689140 CPUtime=4003.16 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 6711071 0 0 0 399164 1152 0 0 25 0 4 0 519660055 1729679360 356135 33554432000 4194304 4623224 140734119450416 18446744073709551615 4413744 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 422285 356135 345 105 0 417789 0
[pid=8970/tid=8972] ppid=8968 vsize=1689140 CPUtime=1000.87 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 223014 0 0 0 99999 88 0 0 25 0 4 0 519660068 1729679360 356135 33554432000 4194304 4623224 140734119450416 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1689140 CPUtime=997.93 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 124358 0 0 0 99740 53 0 0 25 0 4 0 519660068 1729679360 356135 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1689140 CPUtime=1002.12 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 6224719 0 0 0 99225 987 0 0 25 0 4 0 519660068 1729679360 356135 33554432000 4194304 4623224 140734119450416 18446744073709551615 4330845 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.16
Current children cumulated vsize (KiB) 1689140

[startup+1062.3 s]
/proc/loadavg: 8.26 8.24 8.14 9/188 9002
/proc/meminfo: memFree=22205512/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1798128 CPUtime=4242.83 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 7107983 0 0 0 423068 1215 0 0 25 0 4 0 519660055 1841283072 362289 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 449532 362289 345 105 0 445036 0
[pid=8970/tid=8972] ppid=8968 vsize=1798128 CPUtime=1060.55 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 223044 0 0 0 105967 88 0 0 25 0 4 0 519660068 1841283072 362289 33554432000 4194304 4623224 140734119450416 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1798128 CPUtime=1057.94 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 125634 0 0 0 105740 54 0 0 25 0 4 0 519660068 1841283072 362289 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1798128 CPUtime=1062.11 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 6598906 0 0 0 105165 1046 0 0 25 0 4 0 519660068 1841283072 362289 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.83
Current children cumulated vsize (KiB) 1798128

[startup+1122.3 s]
/proc/loadavg: 8.20 8.23 8.14 9/188 9003
/proc/meminfo: memFree=22127860/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1816652 CPUtime=4482.5 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 7363764 0 0 0 446986 1264 0 0 25 0 4 0 519660055 1860251648 372466 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 454163 372466 345 105 0 449667 0
[pid=8970/tid=8972] ppid=8968 vsize=1816652 CPUtime=1120.22 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 223049 0 0 0 111934 88 0 0 25 0 4 0 519660068 1860251648 372466 33554432000 4194304 4623224 140734119450416 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1816652 CPUtime=1117.94 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 132903 0 0 0 111734 60 0 0 25 0 4 0 519660068 1860251648 372466 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1816652 CPUtime=1122.11 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 6846948 0 0 0 111122 1089 0 0 25 0 4 0 519660068 1860251648 372466 33554432000 4194304 4623224 140734119450416 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.5
Current children cumulated vsize (KiB) 1816652

[startup+1182.3 s]
/proc/loadavg: 8.17 8.21 8.14 9/188 9005
/proc/meminfo: memFree=22094840/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1882188 CPUtime=4722.17 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 7826185 0 0 0 470871 1346 0 0 25 0 4 0 519660055 1927360512 374667 33554432000 4194304 4623224 140734119450416 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 470547 374667 345 105 0 466051 0
[pid=8970/tid=8972] ppid=8968 vsize=1882188 CPUtime=1179.9 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 223198 0 0 0 117902 88 0 0 25 0 4 0 519660068 1927360512 374667 33554432000 4194304 4623224 140734119450416 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1882188 CPUtime=1177.94 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 133768 0 0 0 117733 61 0 0 25 0 4 0 519660068 1927360512 374667 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1882188 CPUtime=1182.12 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 7307842 0 0 0 117041 1171 0 0 25 0 4 0 519660068 1927360512 374667 33554432000 4194304 4623224 140734119450416 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.17
Current children cumulated vsize (KiB) 1882188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.12 8.20 8.14 9/188 9037
/proc/meminfo: memFree=23267988/32951124 swapFree=67111352/67111528
[pid=8970] ppid=8968 vsize=1882188 CPUtime=4800.08 cores=0,2,4,6
/proc/8970/stat : 8970 (SArTagnan) R 8968 8970 8802 0 -1 4202496 7925907 0 0 0 478644 1364 0 0 25 0 4 0 519660055 1927360512 377509 33554432000 4194304 4623224 140734119450416 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8970/statm: 470547 377509 345 105 0 466051 0
[pid=8970/tid=8972] ppid=8968 vsize=1882188 CPUtime=1199.29 cores=0,2,4,6
/proc/8970/task/8972/stat : 8972 (SArTagnan) R 8968 8970 8802 0 -1 4202560 223232 0 0 0 119841 88 0 0 25 0 4 0 519660068 1927360512 377509 33554432000 4194304 4623224 140734119450416 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8970/tid=8973] ppid=8968 vsize=1882188 CPUtime=1197.44 cores=0,2,4,6
/proc/8970/task/8973/stat : 8973 (SArTagnan) R 8968 8970 8802 0 -1 4202560 135893 0 0 0 119682 62 0 0 25 0 4 0 519660068 1927360512 377509 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8970/tid=8974] ppid=8968 vsize=1882188 CPUtime=1201.62 cores=0,2,4,6
/proc/8970/task/8974/stat : 8974 (SArTagnan) R 8968 8970 8802 0 -1 4202560 7405206 0 0 0 118975 1187 0 0 25 0 4 0 519660068 1927360512 377509 33554432000 4194304 4623224 140734119450416 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1882188

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.88
CPU time (s): 4800.18
CPU user time (s): 4786.46
CPU system time (s): 13.7139
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 1882188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.46
system time used= 13.7139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7925913
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= 6588
involuntary context switches= 71131

runsolver used 1.76373 second user time and 4.80027 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 14:36:59
IDJOB=3288853
IDBENCH=83107
IDSOLVER=1656
FILE ID=node134/3288853-1304080618
RUNJOBID= node134-1304080396-8820
PBS_JOBID= 13170534
Free space on /tmp= 71576 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288853-1304080618/watcher-3288853-1304080618 -o /tmp/evaluation-result-3288853-1304080618/solver-3288853-1304080618 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3288853-1304080618.cnf -threads=4

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=757318768

node134.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.831
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.66
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.831
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.67
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.831
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24714000 kB
Buffers:       1486496 kB
Cached:        5850416 kB
SwapCached:         64 kB
Active:        1766996 kB
Inactive:      5947996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24714000 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            8980 kB
Writeback:           0 kB
AnonPages:      377308 kB
Mapped:          15564 kB
Slab:           459184 kB
PageTables:       5268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   633368 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71576 MiB
End job on node134 at 2011-04-29 14:57:02