Trace number 4293731

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
BTD_12 2018-06-11_12? (TO) 2519.92 2520.01

General information on the benchmark

NamePseudoBoolean-dec/
Pb-chnl50-51_c18.xml
MD5SUMa87da95f210b3c94235cbc017ff62562
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5100
Number of constraints202
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":5100}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":5100}]
Minimum constraint arity50
Maximum constraint arity51
Distribution of constraint arities[{"arity":50,"count":102},{"arity":51,"count":100}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":202}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Version 18.06.11_12

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (6772 MiB free)
  memory of node 1: 16384 MiB (8829 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293731-1532482191/watcher-4293731-1532482191 -o /tmp/evaluation-result-4293731-1532482191/solver-4293731-1532482191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532466477-17020 --watchdog 2580 BTD 12 2520 HOME/instance-4293731-1532482191.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=20259, runsolver pid=20256

[startup+0.100144 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15970656/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=37764 memory=7256 CPUtime=0.1 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 1991 0 0 0 10 0 0 0 20 0 1 0 65782321 38670336 1814 33554432000 4194304 36388972 140737028302912 140737028302912 7657238 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 9441 1814 441 7861 0 1545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 7256 KiB

[startup+0.209699 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15969912/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=38284 memory=7776 CPUtime=0.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 2116 0 0 0 21 0 0 0 20 0 1 0 65782321 39202816 1944 33554432000 4194304 36388972 140737028302912 140737028302912 4212832 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 9571 1944 441 7861 0 1675 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 7776 KiB

[startup+0.309209 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15969184/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=38936 memory=8576 CPUtime=0.31 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 2287 0 0 0 31 0 0 0 20 0 1 0 65782321 39870464 2144 33554432000 4194304 36388972 140737028302912 140737028302912 7750784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 9734 2144 446 7861 0 1838 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38936 KiB
Current children cumulated memory: 8576 KiB

[startup+0.700347 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15949108/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=60824 memory=30220 CPUtime=0.69 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 7746 0 0 0 69 0 0 0 20 0 1 0 65782321 62283776 7555 33554432000 4194304 36388972 140737028302912 140737028300856 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15206 7555 501 7861 0 7310 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60824 KiB
Current children cumulated memory: 30220 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15947248/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=60824 memory=30484 CPUtime=1.49 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 7774 0 0 0 148 1 0 0 20 0 1 0 65782321 62283776 7621 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15206 7621 503 7861 0 7310 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60824 KiB
Current children cumulated memory: 30484 KiB

[startup+3.10922 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20260
/proc/meminfo: memFree=15946876/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=60960 memory=30656 CPUtime=3.1 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 8920 0 0 0 308 2 0 0 20 0 1 0 65782321 62423040 7664 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15240 7664 512 7861 0 7344 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 60960 KiB
Current children cumulated memory: 30656 KiB

[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/188 20260
/proc/meminfo: memFree=15946360/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=61384 memory=31000 CPUtime=6.3 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 10156 0 0 0 626 4 0 0 20 0 1 0 65782321 62857216 7750 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15346 7750 512 7861 0 7450 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 61384 KiB
Current children cumulated memory: 31000 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 20265
/proc/meminfo: memFree=15945212/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=62056 memory=31600 CPUtime=12.69 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 11558 0 0 0 1262 7 0 0 20 0 1 0 65782321 63545344 7900 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15514 7900 512 7861 0 7618 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 62056 KiB
Current children cumulated memory: 31600 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 20265
/proc/meminfo: memFree=15944056/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=62848 memory=32528 CPUtime=25.49 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 14509 0 0 0 2533 16 0 0 20 0 1 0 65782321 64356352 8132 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15712 8132 512 7861 0 7816 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 62848 KiB
Current children cumulated memory: 32528 KiB

[startup+51.1093 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 20265
/proc/meminfo: memFree=15943436/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=63656 memory=33448 CPUtime=51.1 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 16324 0 0 0 5072 38 0 0 20 0 1 0 65782321 65183744 8362 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 15914 8362 512 7861 0 8018 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 63656 KiB
Current children cumulated memory: 33448 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 20266
/proc/meminfo: memFree=15942240/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=64340 memory=34220 CPUtime=102.29 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 17954 0 0 0 10150 79 0 0 20 0 1 0 65782321 65884160 8555 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16085 8555 512 7861 0 8189 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 64340 KiB
Current children cumulated memory: 34220 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 20267
/proc/meminfo: memFree=15943384/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=64900 memory=34788 CPUtime=162.29 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 18272 0 0 0 16090 139 0 0 20 0 1 0 65782321 66457600 8697 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16225 8697 512 7861 0 8329 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 64900 KiB
Current children cumulated memory: 34788 KiB

[startup+222.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/188 20268
/proc/meminfo: memFree=15943384/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=65332 memory=35216 CPUtime=222.29 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 18586 0 0 0 22017 212 0 0 20 0 1 0 65782321 66899968 8804 33554432000 4194304 36388972 140737028302912 140737028301752 6663863 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16333 8804 512 7861 0 8437 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 65332 KiB
Current children cumulated memory: 35216 KiB

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/188 20329
/proc/meminfo: memFree=15697384/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=65600 memory=35392 CPUtime=282.28 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 18895 0 0 0 27937 291 0 0 20 0 1 0 65782321 67174400 8848 33554432000 4194304 36388972 140737028302912 140737028301752 6663859 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16400 8848 512 7861 0 8504 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 65600 KiB
Current children cumulated memory: 35392 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 20330
/proc/meminfo: memFree=15695864/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=65732 memory=35648 CPUtime=342.27 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 19126 0 0 0 33848 379 0 0 20 0 1 0 65782321 67309568 8912 33554432000 4194304 36388972 140737028302912 140737028301752 6663888 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16433 8912 512 7861 0 8537 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 65732 KiB
Current children cumulated memory: 35648 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20331
/proc/meminfo: memFree=15694340/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=66012 memory=35912 CPUtime=402.27 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 19413 0 0 0 39757 470 0 0 20 0 1 0 65782321 67596288 8978 33554432000 4194304 36388972 140737028302912 140737028301752 4251292 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16503 8978 512 7861 0 8607 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 66012 KiB
Current children cumulated memory: 35912 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20332
/proc/meminfo: memFree=15693156/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=66284 memory=36124 CPUtime=462.27 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 19738 0 0 0 45666 561 0 0 20 0 1 0 65782321 67874816 9031 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16571 9031 512 7861 0 8675 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 66284 KiB
Current children cumulated memory: 36124 KiB


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

/proc/20259/statm: 16909 9403 512 7861 0 9013 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 67636 KiB
Current children cumulated memory: 37612 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20378
/proc/meminfo: memFree=15684248/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67636 memory=37672 CPUtime=1782.22 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 24877 0 0 0 175684 2538 0 0 20 0 1 0 65782321 69259264 9418 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16909 9418 512 7861 0 9013 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 67636 KiB
Current children cumulated memory: 37672 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20388
/proc/meminfo: memFree=15682424/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67636 memory=37672 CPUtime=1842.22 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 25067 0 0 0 181597 2625 0 0 20 0 1 0 65782321 69259264 9418 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16909 9418 512 7861 0 9013 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 67636 KiB
Current children cumulated memory: 37672 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20411
/proc/meminfo: memFree=15681752/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67776 memory=37704 CPUtime=1902.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 25329 0 0 0 187508 2713 0 0 20 0 1 0 65782321 69402624 9426 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16944 9426 512 7861 0 9048 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 67776 KiB
Current children cumulated memory: 37704 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20412
/proc/meminfo: memFree=15681932/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67776 memory=37780 CPUtime=1962.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 25522 0 0 0 193424 2797 0 0 20 0 1 0 65782321 69402624 9445 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16944 9445 512 7861 0 9048 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 67776 KiB
Current children cumulated memory: 37780 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20413
/proc/meminfo: memFree=15682376/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67776 memory=37780 CPUtime=2022.22 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 25753 0 0 0 199337 2885 0 0 20 0 1 0 65782321 69402624 9445 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16944 9445 512 7861 0 9048 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 67776 KiB
Current children cumulated memory: 37780 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 20414
/proc/meminfo: memFree=15682564/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67912 memory=37836 CPUtime=2082.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 25979 0 0 0 205248 2973 0 0 20 0 1 0 65782321 69541888 9459 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16978 9459 512 7861 0 9082 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 37836 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20415
/proc/meminfo: memFree=15682660/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67912 memory=37872 CPUtime=2142.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 26233 0 0 0 211159 3062 0 0 20 0 1 0 65782321 69541888 9468 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16978 9468 512 7861 0 9082 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 37872 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20416
/proc/meminfo: memFree=15682476/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67912 memory=37872 CPUtime=2202.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 26407 0 0 0 217066 3155 0 0 20 0 1 0 65782321 69541888 9468 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16978 9468 512 7861 0 9082 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 37872 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20417
/proc/meminfo: memFree=15682660/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=67912 memory=37872 CPUtime=2262.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 26581 0 0 0 222973 3248 0 0 20 0 1 0 65782321 69541888 9468 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 16978 9468 512 7861 0 9082 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 37872 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20418
/proc/meminfo: memFree=15682600/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=68052 memory=37872 CPUtime=2322.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 26816 0 0 0 228885 3336 0 0 20 0 1 0 65782321 69685248 9468 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 17013 9468 512 7861 0 9117 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 37872 KiB

[startup+2382.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 20419
/proc/meminfo: memFree=15683148/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=68052 memory=37996 CPUtime=2382.2 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 27018 0 0 0 234795 3425 0 0 20 0 1 0 65782321 69685248 9499 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 17013 9499 512 7861 0 9117 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 37996 KiB

[startup+2442.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 20427
/proc/meminfo: memFree=15681408/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=68052 memory=37996 CPUtime=2442.21 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 27189 0 0 0 240707 3514 0 0 20 0 1 0 65782321 69685248 9499 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 17013 9499 512 7861 0 9117 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 37996 KiB

[startup+2502.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 20428
/proc/meminfo: memFree=15681216/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=68052 memory=38000 CPUtime=2502.2 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 27452 0 0 0 246621 3599 0 0 20 0 1 0 65782321 69685248 9500 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 17013 9500 512 7861 0 9117 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 38000 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.99 2.00 2.04 3/187 20429
/proc/meminfo: memFree=15681216/32770624 swapFree=67108860/67108860
[pid=20259] ppid=20256 vsize=68052 memory=38120 CPUtime=2519.91 cores=0,2,4,6
/proc/20259/stat : 20259 (BTD) R 20256 20259 16989 0 -1 4202496 27647 0 0 0 248366 3625 0 0 20 0 1 0 65782321 69685248 9530 33554432000 4194304 36388972 140737028302912 140737028301752 8047815 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 38489992 38625312 51503104 140737028306108 140737028306187 140737028306187 140737028308945 0
/proc/20259/statm: 17013 9530 512 7861 0 9117 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 68052 KiB
Current children cumulated memory: 38120 KiB

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

[startup+2520.01 s]
# the end of solver process 20259 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2483.67 s, system=36.2568 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2483.67
CPU system time (s): 36.2568
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 68052
Max. memory (cumulated for all children) (KiB): 38120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2483.67
system time used= 36.2568
maximum resident set size= 38120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27647
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= 9
involuntary context switches= 2987


# summary of solver processes directly reported to runsolver:
#   pid: 20259
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2483.67
#   total CPU system time (s): 36.2568

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4257 second user time and 14.7549 second system time

The end

Launcher Data 

Begin job on node149 at 2018-07-25 03:29:51
IDJOB=4293731
IDBENCH=141230
IDSOLVER=2748
FILE ID=node149/4293731-1532482191
RUNJOBID= node149-1532466477-17020
PBS_JOBID= 21021584
Free space on /tmp= 43212 MiB

SOLVER NAME= BTD_12 2018-06-11_12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-chnl50-51_c18.xml
COMMAND LINE= BTD 12 TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293731-1532482191/watcher-4293731-1532482191 -o /tmp/evaluation-result-4293731-1532482191/solver-4293731-1532482191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532466477-17020 --watchdog 2580  BTD 12 2520 HOME/instance-4293731-1532482191.xml

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

MD5SUM BENCH= a87da95f210b3c94235cbc017ff62562
RANDOM SEED=1223046651

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15976244 kB
MemAvailable:   31727316 kB
Buffers:          182732 kB
Cached:         15593708 kB
SwapCached:            0 kB
Active:          2623060 kB
Inactive:       13416824 kB
Active(anon):     213016 kB
Inactive(anon):    70180 kB
Active(file):    2410044 kB
Inactive(file): 13346644 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             52732 kB
Writeback:             0 kB
AnonPages:        271208 kB
Mapped:            40220 kB
Shmem:             17064 kB
Slab:             451340 kB
SReclaimable:     422844 kB
SUnreclaim:        28496 kB
KernelStack:        3360 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     553668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43160 MiB
End job on node149 at 2018-07-25 04:11:51