Trace number 4386717

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 19.07.01? (TO) 2519.91 2520.05

General information on the benchmark

NameBibd/Bibd-sc-open/
Bibd-sc-85-085-36-36-15.xml
MD5SUM6283987435144a6b5e9cf918aca30279
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 variables621350
Number of constraints307191
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":310675}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":310675},{"degree":2,"count":303450},{"degree":87,"count":7225}]
Minimum constraint arity3
Maximum constraint arity7225
Distribution of constraint arities[{"arity":3,"count":303450},{"arity":85,"count":3740},{"arity":7225,"count":1}]
Number of extensional constraints0
Number of intensional constraints303450
Distribution of constraint types[{"type":"intension","count":303450},{"type":"lex","count":1},{"type":"sum","count":3740}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Version 19.07.01

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 (5175 MiB free)
  memory of node 1: 16384 MiB (8994 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386717-1568280913/watcher-4386717-1568280913 -o /tmp/evaluation-result-4386717-1568280913/solver-4386717-1568280913 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568280874-3376 --watchdog 2580 BTD 2520 HOME/instance-4386717-1568280913.xml 

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

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
solver pid=3401, runsolver pid=3397
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 0.47 0.11 0.08 3/200 3406
/proc/meminfo: memFree=14490768/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=53736 memory=22356 CPUtime=0.1 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 5236 0 0 0 10 0 0 0 20 0 1 0 404006976 55025664 5589 33554432000 4194304 36700936 140734483610000 140734483610000 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 13434 5589 253 7937 0 5462 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53736 KiB
Current children cumulated memory: 22356 KiB

[startup+0.21058 s]*
/proc/loadavg: 0.47 0.11 0.08 4/200 3406
/proc/meminfo: memFree=14476060/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=66276 memory=34764 CPUtime=0.21 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 8371 0 0 0 20 1 0 0 20 0 1 0 404006976 67866624 8691 33554432000 4194304 36700936 140734483610000 140734483610000 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 16569 8691 253 7937 0 8597 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66276 KiB
Current children cumulated memory: 34764 KiB

[startup+0.309619 s]*
/proc/loadavg: 0.47 0.11 0.08 4/200 3406
/proc/meminfo: memFree=14462364/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=77496 memory=46116 CPUtime=0.31 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 11201 0 0 0 30 1 0 0 20 0 1 0 404006976 79355904 11529 33554432000 4194304 36700936 140734483610000 140734483610000 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 19374 11529 253 7937 0 11402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 77496 KiB
Current children cumulated memory: 46116 KiB

[startup+0.700326 s]
/proc/loadavg: 0.47 0.11 0.08 4/200 3406
/proc/meminfo: memFree=14436720/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=129504 memory=98124 CPUtime=0.69 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 24177 0 0 0 67 2 0 0 20 0 1 0 404006976 132612096 24531 33554432000 4194304 36700936 140734483610000 140734483610000 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 32376 24531 253 7937 0 24404 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129504 KiB
Current children cumulated memory: 98124 KiB

[startup+1.50033 s]
/proc/loadavg: 0.47 0.11 0.08 3/200 3406
/proc/meminfo: memFree=14267760/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=599056 memory=537028 CPUtime=1.49 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 123576 0 0 0 132 17 0 0 20 0 1 0 404006976 613433344 134257 33554432000 4194304 36700936 140734483610000 140734483605768 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 149764 134257 441 7937 0 141792 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 599056 KiB
Current children cumulated memory: 537028 KiB

[startup+3.10968 s]
/proc/loadavg: 0.47 0.11 0.08 3/200 3406
/proc/meminfo: memFree=13936048/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=614624 memory=551456 CPUtime=3.1 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 127042 0 0 0 292 18 0 0 20 0 1 0 404006976 629374976 137864 33554432000 4194304 36700936 140734483610000 140734483607256 5135391 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 153656 137864 445 7937 0 145684 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 614624 KiB
Current children cumulated memory: 551456 KiB

[startup+6.30028 s]
/proc/loadavg: 0.51 0.13 0.08 3/200 3406
/proc/meminfo: memFree=13867800/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=680348 memory=613808 CPUtime=6.29 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 144831 0 0 0 609 20 0 0 20 0 1 0 404006976 696676352 153452 33554432000 4194304 36700936 140734483610000 140734483604328 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 170087 153452 467 7937 0 162115 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 680348 KiB
Current children cumulated memory: 613808 KiB

[startup+12.7003 s]
/proc/loadavg: 0.63 0.16 0.09 3/200 3407
/proc/meminfo: memFree=13790168/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=746776 memory=680336 CPUtime=12.69 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 179867 0 0 0 1243 26 0 0 20 0 1 0 404006976 764698624 170084 33554432000 4194304 36700936 140734483610000 140734483604392 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 186694 170084 467 7937 0 178722 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 746776 KiB
Current children cumulated memory: 680336 KiB

[startup+25.5003 s]
/proc/loadavg: 0.93 0.25 0.12 3/200 3409
/proc/meminfo: memFree=13710400/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=808096 memory=741528 CPUtime=25.49 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 223310 0 0 0 2515 34 0 0 20 0 1 0 404006976 827490304 185382 33554432000 4194304 36700936 140734483610000 140734483602952 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 202024 185382 467 7937 0 194052 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 808096 KiB
Current children cumulated memory: 741528 KiB

[startup+51.1101 s]
/proc/loadavg: 1.30 0.39 0.17 3/199 3409
/proc/meminfo: memFree=13612920/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=884392 memory=817912 CPUtime=51.1 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 281598 0 0 0 5064 46 0 0 20 0 1 0 404006976 905617408 204478 33554432000 4194304 36700936 140734483610000 140734483604392 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 221098 204478 467 7937 0 213126 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 884392 KiB
Current children cumulated memory: 817912 KiB

[startup+102.3 s]
/proc/loadavg: 1.70 0.64 0.27 3/199 3413
/proc/meminfo: memFree=12882732/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=993836 memory=927104 CPUtime=102.28 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 361134 0 0 0 10164 64 0 0 20 0 1 0 404006976 1017688064 231776 33554432000 4194304 36700936 140734483610000 140734483603576 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 248459 231776 467 7937 0 240487 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 993836 KiB
Current children cumulated memory: 927104 KiB

[startup+162.3 s]
/proc/loadavg: 1.89 0.89 0.38 3/200 3419
/proc/meminfo: memFree=12782884/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1092836 memory=1026316 CPUtime=162.28 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 452839 0 0 0 16146 82 0 0 20 0 1 0 404006976 1119064064 256579 33554432000 4194304 36700936 140734483610000 140734483604312 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 273209 256579 467 7937 0 265237 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1092836 KiB
Current children cumulated memory: 1026316 KiB

[startup+222.3 s]
/proc/loadavg: 1.96 1.09 0.48 3/199 3423
/proc/meminfo: memFree=12699808/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1176572 memory=1109600 CPUtime=222.27 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 543212 0 0 0 22127 100 0 0 20 0 1 0 404006976 1204809728 277400 33554432000 4194304 36700936 140734483610000 140734483602792 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 294143 277400 467 7937 0 286171 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 1176572 KiB
Current children cumulated memory: 1109600 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.25 0.57 3/199 3449
/proc/meminfo: memFree=12626212/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1249568 memory=1182600 CPUtime=282.26 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 646003 0 0 0 28113 113 0 0 20 0 1 0 404006976 1279557632 295650 33554432000 4194304 36700936 140734483610000 140734483603624 4227444 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 312392 295650 467 7937 0 304420 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 1249568 KiB
Current children cumulated memory: 1182600 KiB

[startup+342.3 s]
/proc/loadavg: 2.03 1.41 0.67 3/202 3464
/proc/meminfo: memFree=12560500/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1315040 memory=1248180 CPUtime=342.27 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 756998 0 0 0 34097 130 0 0 20 0 1 0 404006976 1346600960 312045 33554432000 4194304 36700936 140734483610000 140734483604584 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 328760 312045 467 7937 0 320788 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 1315040 KiB
Current children cumulated memory: 1248180 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 1.51 0.75 3/201 3468
/proc/meminfo: memFree=12491872/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1374836 memory=1315472 CPUtime=402.26 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 874845 0 0 0 40081 145 0 0 20 0 1 0 404006976 1407832064 328868 33554432000 4194304 36700936 140734483610000 140734483603512 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 343709 328868 467 7937 0 335737 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 1374836 KiB
Current children cumulated memory: 1315472 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.83 3/201 3472
/proc/meminfo: memFree=12435996/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=1430408 memory=1371412 CPUtime=462.26 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 993873 0 0 0 46069 157 0 0 20 0 1 0 404006976 1464737792 342853 33554432000 4194304 36700936 140734483610000 140734483602792 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 357602 342853 467 7937 0 349630 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 1430408 KiB
Current children cumulated memory: 1371412 KiB


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

/proc/3401/statm: 550517 536519 467 7937 0 542545 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 2202068 KiB
Current children cumulated memory: 2146076 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/201 3619
/proc/meminfo: memFree=11348852/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2228864 memory=2172824 CPUtime=1782.18 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2054957 0 0 0 177886 332 0 0 20 0 1 0 404006976 2282356736 543206 33554432000 4194304 36700936 140734483610000 140734483604632 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 557216 543206 467 7937 0 549244 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 2228864 KiB
Current children cumulated memory: 2172824 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.74 3/200 3623
/proc/meminfo: memFree=11225504/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2255264 memory=2199144 CPUtime=1842.18 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2104588 0 0 0 183880 338 0 0 20 0 1 0 404006976 2309390336 549786 33554432000 4194304 36700936 140734483610000 140734483604584 8226803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 563816 549786 467 7937 0 555844 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 2255264 KiB
Current children cumulated memory: 2199144 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/199 3627
/proc/meminfo: memFree=11103244/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2281004 memory=2225020 CPUtime=1902.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2157555 0 0 0 189872 345 0 0 20 0 1 0 404006976 2335748096 556255 33554432000 4194304 36700936 140734483610000 140734483604296 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 570251 556255 467 7937 0 562279 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 2281004 KiB
Current children cumulated memory: 2225020 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/200 3633
/proc/meminfo: memFree=11065704/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2306348 memory=2250228 CPUtime=1962.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2213839 0 0 0 195867 350 0 0 20 0 1 0 404006976 2361700352 562557 33554432000 4194304 36700936 140734483610000 140734483604328 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 576587 562557 467 7937 0 568615 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 2306348 KiB
Current children cumulated memory: 2250228 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/199 3637
/proc/meminfo: memFree=11036156/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2331164 memory=2275104 CPUtime=2022.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2273425 0 0 0 201862 355 0 0 20 0 1 0 404006976 2387111936 568776 33554432000 4194304 36700936 140734483610000 140734483603608 4225737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 582791 568776 467 7937 0 574819 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 2331164 KiB
Current children cumulated memory: 2275104 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 1.81 3/199 3641
/proc/meminfo: memFree=11011996/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2355584 memory=2299604 CPUtime=2082.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2336212 0 0 0 207855 362 0 0 20 0 1 0 404006976 2412118016 574901 33554432000 4194304 36700936 140734483610000 140734483603576 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 588896 574901 467 7937 0 580924 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 2355584 KiB
Current children cumulated memory: 2299604 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 1.82 3/201 3655
/proc/meminfo: memFree=10988052/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2379608 memory=2323584 CPUtime=2142.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2402083 0 0 0 213849 368 0 0 20 0 1 0 404006976 2436718592 580896 33554432000 4194304 36700936 140734483610000 140734483604296 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 594902 580896 467 7937 0 586930 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 2379608 KiB
Current children cumulated memory: 2323584 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 1.83 3/200 3659
/proc/meminfo: memFree=10964068/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2403104 memory=2347032 CPUtime=2202.17 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2471016 0 0 0 219841 376 0 0 20 0 1 0 404006976 2460778496 586758 33554432000 4194304 36700936 140734483610000 140734483604264 8226803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 600776 586758 467 7937 0 592804 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 2403104 KiB
Current children cumulated memory: 2347032 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/200 3663
/proc/meminfo: memFree=10941248/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2426336 memory=2370292 CPUtime=2262.16 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2542671 0 0 0 225834 382 0 0 20 0 1 0 404006976 2484568064 592573 33554432000 4194304 36700936 140734483610000 140734483603576 4227518 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 606584 592573 467 7937 0 598612 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 2426336 KiB
Current children cumulated memory: 2370292 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/200 3669
/proc/meminfo: memFree=10919012/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2449040 memory=2393064 CPUtime=2322.16 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2584992 0 0 0 231828 388 0 0 20 0 1 0 404006976 2507816960 598266 33554432000 4194304 36700936 140734483610000 140734483604536 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 612260 598266 467 7937 0 604288 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 2449040 KiB
Current children cumulated memory: 2393064 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/200 3673
/proc/meminfo: memFree=10896348/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2471480 memory=2415500 CPUtime=2382.16 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2660255 0 0 0 237820 396 0 0 20 0 1 0 404006976 2530795520 603875 33554432000 4194304 36700936 140734483610000 140734483603576 7949654 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 617870 603875 467 7937 0 609898 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 2471480 KiB
Current children cumulated memory: 2415500 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 3677
/proc/meminfo: memFree=10874120/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2493656 memory=2437620 CPUtime=2442.15 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2738744 0 0 0 243812 403 0 0 20 0 1 0 404006976 2553503744 609405 33554432000 4194304 36700936 140734483610000 140734483603496 4225733 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 623414 609405 467 7937 0 615442 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 2493656 KiB
Current children cumulated memory: 2437620 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/200 3683
/proc/meminfo: memFree=10851760/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2515304 memory=2459320 CPUtime=2502.15 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2820115 0 0 0 249806 409 0 0 20 0 1 0 404006976 2575671296 614830 33554432000 4194304 36700936 140734483610000 140734483604088 4225743 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 628826 614830 467 7937 0 620854 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 2515304 KiB
Current children cumulated memory: 2459320 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.88 3/199 3684
/proc/meminfo: memFree=10845780/32770624 swapFree=66939824/67108860
[pid=3401] ppid=3397 vsize=2521640 memory=2465696 CPUtime=2519.86 cores=1,3,5,7
/proc/3401/stat : 3401 (BTD) R 3397 3401 3344 0 -1 4202496 2864605 0 0 0 251574 412 0 0 20 0 1 0 404006976 2582159360 616424 33554432000 4194304 36700936 140734483610000 140734483603576 4227533 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38800048 38936640 49659904 140734483612712 140734483612788 140734483612788 140734483615697 0
/proc/3401/statm: 630410 616424 467 7937 0 622438 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 2521640 KiB
Current children cumulated memory: 2465696 KiB

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

[startup+2520.05 s]
# the end of solver process 3401 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.75 s, system=4.16393 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.05
CPU time (s): 2519.91
CPU user time (s): 2515.75
CPU system time (s): 4.16393
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 2521640
Max. memory (cumulated for all children) (KiB): 2465696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.75
system time used= 4.16393
maximum resident set size= 2465708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2864605
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= 193
involuntary context switches= 2678


# summary of solver processes directly reported to runsolver:
#   pid: 3401
#   total CPU time (s): 2519.91
#   total CPU user time (s): 2515.75
#   total CPU system time (s): 4.16393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7516 second user time and 19.4275 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-12 11:34:34
IDJOB=4386717
IDBENCH=123924
IDSOLVER=2822
FILE ID=node119/4386717-1568280913
RUNJOBID= node119-1568280874-3376
PBS_JOBID= 21701084
Free space on /tmp= 52880 MiB

SOLVER NAME= BTD 19.07.01
BENCH NAME= XCSP17/Bibd/Bibd-sc-open/Bibd-sc-85-085-36-36-15.xml
COMMAND LINE= BTD TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386717-1568280913/watcher-4386717-1568280913 -o /tmp/evaluation-result-4386717-1568280913/solver-4386717-1568280913 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568280874-3376 --watchdog 2580  BTD 2520 HOME/instance-4386717-1568280913.xml

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

MD5SUM BENCH= 6283987435144a6b5e9cf918aca30279
RANDOM SEED=485843548

node119.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.47
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.47
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.47
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.47
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:        14475652 kB
MemAvailable:   31766056 kB
Buffers:          183248 kB
Cached:         17184952 kB
SwapCached:        61084 kB
Active:          2452152 kB
Inactive:       14979072 kB
Active(anon):       8672 kB
Inactive(anon):    96312 kB
Active(file):    2443480 kB
Inactive(file): 14882760 kB
Unevictable:      108400 kB
Mlocked:          108400 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             58636 kB
Writeback:         69076 kB
AnonPages:        112700 kB
Mapped:            42600 kB
Shmem:             32808 kB
Slab:             457872 kB
SReclaimable:     392624 kB
SUnreclaim:        65248 kB
KernelStack:        3408 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 52760 MiB
End job on node119 at 2019-09-12 12:16:41