Trace number 4265071

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 2017-08-10? (TO) 2519.73 2520.01

General information on the benchmark

NameBibd/Bibd-sc-open/
Bibd-sc-65-104-40-25-15.xml
MD5SUM221a96fe8d827ba40f627424420ef5aa
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 variables446160
Number of constraints218570
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":223080}]
Minimum variable degree0
Maximum variable degree67
Distribution of variable degrees[{"degree":0,"count":223080},{"degree":2,"count":216320},{"degree":67,"count":6760}]
Minimum constraint arity3
Maximum constraint arity6760
Distribution of constraint arities[{"arity":3,"count":216320},{"arity":65,"count":104},{"arity":104,"count":2145},{"arity":6760,"count":1}]
Number of extensional constraints0
Number of intensional constraints216320
Distribution of constraint types[{"type":"intension","count":216320},{"type":"lex","count":1},{"type":"sum","count":2249}]
Optimization problemNO
Type of objective

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265071-1502686986/watcher-4265071-1502686986 -o /tmp/evaluation-result-4265071-1502686986/solver-4265071-1502686986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265071-1502686986.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
Current StackSize limit: 8192 KiB

solver pid=745, runsolver pid=742

[startup+0.100478 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 746
/proc/meminfo: memFree=30978604/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=33052 memory=3500 CPUtime=0.02 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1011 0 0 0 2 0 0 0 20 0 1 0 70891931 33845248 875 18446744073709551615 4194304 35031035 140734435393440 140734435389304 4632139 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 8263 875 232 7529 0 710 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 33052 KiB
Current children cumulated memory: 3500 KiB

[startup+0.209302 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 746
/proc/meminfo: memFree=30976012/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=35552 memory=5892 CPUtime=0.12 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 6601 0 0 0 12 0 0 0 20 0 1 0 70891931 36405248 1473 18446744073709551615 4194304 35031035 140734435393440 140734435389304 4632139 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 8888 1473 232 7529 0 1335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 35552 KiB
Current children cumulated memory: 5892 KiB

[startup+0.30891 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 746
/proc/meminfo: memFree=30965036/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=47068 memory=17456 CPUtime=0.23 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 11171 0 0 0 22 1 0 0 20 0 1 0 70891931 48197632 4364 18446744073709551615 4194304 35031035 140734435393440 140734435389304 7408826 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 11767 4364 232 7529 0 4214 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 47068 KiB
Current children cumulated memory: 17456 KiB

[startup+0.700342 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 746
/proc/meminfo: memFree=30945320/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=88144 memory=58396 CPUtime=0.61 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 21453 0 0 0 59 2 0 0 20 0 1 0 70891931 90259456 14599 18446744073709551615 4194304 35031035 140734435393440 140734435389064 7408826 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 22036 14599 232 7529 0 14483 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 88144 KiB
Current children cumulated memory: 58396 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 746
/proc/meminfo: memFree=30895108/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=118888 memory=89236 CPUtime=1.41 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 186027 0 0 0 121 20 0 0 20 0 1 0 70891931 121741312 22309 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4252912 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 29779 22309 232 7529 0 22226 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 118888 KiB
Current children cumulated memory: 89236 KiB

[startup+3.10922 s]
/proc/loadavg: 1.92 2.02 2.04 3/181 746
/proc/meminfo: memFree=30884568/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=125596 memory=95928 CPUtime=3.02 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 520317 0 0 0 251 51 0 0 20 0 1 0 70891931 128610304 23982 18446744073709551615 4194304 35031035 140734435393440 140734435389304 4252896 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 31399 23982 232 7529 0 23846 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 125596 KiB
Current children cumulated memory: 95928 KiB

[startup+6.30028 s]
/proc/loadavg: 1.92 2.02 2.04 3/181 746
/proc/meminfo: memFree=30875604/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=134788 memory=104948 CPUtime=6.21 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 795367 0 0 0 540 81 0 0 20 0 1 0 70891931 138022912 26237 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632151 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 33697 26237 232 7529 0 26144 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 134788 KiB
Current children cumulated memory: 104948 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.02 2.04 3/181 746
/proc/meminfo: memFree=30863704/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=147424 memory=117776 CPUtime=12.61 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 879128 0 0 0 1171 90 0 0 20 0 1 0 70891931 150962176 29444 18446744073709551615 4194304 35031035 140734435393440 140734435389160 7408826 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 36856 29444 232 7529 0 29303 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 147424 KiB
Current children cumulated memory: 117776 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.02 2.04 3/181 746
/proc/meminfo: memFree=30844912/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=164236 memory=134580 CPUtime=25.4 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 993124 0 0 0 2438 102 0 0 20 0 1 0 70891931 168177664 33645 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632176 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 41059 33645 232 7529 0 33506 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 164236 KiB
Current children cumulated memory: 134580 KiB

[startup+51.1096 s]
/proc/loadavg: 1.96 2.02 2.04 3/181 747
/proc/meminfo: memFree=30821228/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=186428 memory=156772 CPUtime=51.01 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1143155 0 0 0 4981 120 0 0 20 0 1 0 70891931 190902272 39193 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632344 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 46607 39193 232 7529 0 39054 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 186428 KiB
Current children cumulated memory: 156772 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/185 764
/proc/meminfo: memFree=30787188/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=214648 memory=184968 CPUtime=102.2 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1309497 0 0 0 10076 144 0 0 20 0 1 0 70891931 219799552 46242 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632191 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 53662 46242 232 7529 0 46109 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 214648 KiB
Current children cumulated memory: 184968 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 766
/proc/meminfo: memFree=30761340/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=237168 memory=207472 CPUtime=162.19 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1418703 0 0 0 16058 161 0 0 20 0 1 0 70891931 242860032 51868 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632235 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 59292 51868 232 7529 0 51739 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 237168 KiB
Current children cumulated memory: 207472 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 768
/proc/meminfo: memFree=30745396/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=254472 memory=224932 CPUtime=222.19 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1496882 0 0 0 22044 175 0 0 20 0 1 0 70891931 260579328 56233 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632128 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 63618 56233 232 7529 0 56065 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 254472 KiB
Current children cumulated memory: 224932 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 770
/proc/meminfo: memFree=30728612/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=270488 memory=240652 CPUtime=282.18 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1561196 0 0 0 28032 186 0 0 20 0 1 0 70891931 276979712 60163 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632147 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 67622 60163 232 7529 0 60069 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 270488 KiB
Current children cumulated memory: 240652 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 772
/proc/meminfo: memFree=30714644/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=283012 memory=253304 CPUtime=342.17 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1609395 0 0 0 34023 194 0 0 20 0 1 0 70891931 289804288 63326 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632235 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 70753 63326 232 7529 0 63200 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 283012 KiB
Current children cumulated memory: 253304 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 775
/proc/meminfo: memFree=30701692/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=295120 memory=265496 CPUtime=402.16 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1655969 0 0 0 40013 203 0 0 20 0 1 0 70891931 302202880 66374 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4630696 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 73780 66374 232 7529 0 66227 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 295120 KiB
Current children cumulated memory: 265496 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/176 1255
/proc/meminfo: memFree=31074056/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=306592 memory=276868 CPUtime=462.16 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 1706790 0 0 0 46003 213 0 0 20 0 1 0 70891931 313950208 69217 18446744073709551615 4194304 35031035 140734435393440 140734435389160 4632132 0 0 1 0 0 0 0 17 1 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 76648 69217 232 7529 0 69095 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 306592 KiB
Current children cumulated memory: 276868 KiB


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

/proc/745/statm: 126564 119231 294 7529 0 119011 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 506256 KiB
Current children cumulated memory: 476924 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.03 3/181 1565
/proc/meminfo: memFree=30855812/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=511656 memory=482192 CPUtime=1782.05 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2169994 0 0 0 177905 300 0 0 20 0 1 0 70891931 523935744 120548 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 127914 120548 294 7529 0 120361 0
Current children cumulated CPU time: 1782.05 s
Current children cumulated vsize: 511656 KiB
Current children cumulated memory: 482192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 1567
/proc/meminfo: memFree=30851348/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=516128 memory=486692 CPUtime=1842.05 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2176725 0 0 0 183904 301 0 0 20 0 1 0 70891931 528515072 121673 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 129032 121673 294 7529 0 121479 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 516128 KiB
Current children cumulated memory: 486692 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 1584
/proc/meminfo: memFree=30842632/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=520736 memory=491316 CPUtime=1902.04 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2184633 0 0 0 189903 301 0 0 20 0 1 0 70891931 533233664 122829 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 130184 122829 294 7529 0 122631 0
Current children cumulated CPU time: 1902.04 s
Current children cumulated vsize: 520736 KiB
Current children cumulated memory: 491316 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 1586
/proc/meminfo: memFree=30839008/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=525492 memory=496120 CPUtime=1962.04 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2186594 0 0 0 195902 302 0 0 20 0 1 0 70891931 538103808 124030 18446744073709551615 4194304 35031035 140734435393440 140734435386264 7544539 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 131373 124030 294 7529 0 123820 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 525492 KiB
Current children cumulated memory: 496120 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 1588
/proc/meminfo: memFree=30837352/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=529160 memory=499704 CPUtime=2022.04 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2189192 0 0 0 201902 302 0 0 20 0 1 0 70891931 541859840 124926 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254174 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 132290 124926 294 7529 0 124737 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 529160 KiB
Current children cumulated memory: 499704 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 1590
/proc/meminfo: memFree=30834256/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=532912 memory=503532 CPUtime=2082.03 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2192747 0 0 0 207901 302 0 0 20 0 1 0 70891931 545701888 125883 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254000 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 133228 125883 294 7529 0 125675 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 532912 KiB
Current children cumulated memory: 503532 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 1592
/proc/meminfo: memFree=30830660/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=536748 memory=507412 CPUtime=2142.03 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2197536 0 0 0 213900 303 0 0 20 0 1 0 70891931 549629952 126853 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 134187 126853 294 7529 0 126634 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 536748 KiB
Current children cumulated memory: 507412 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1595
/proc/meminfo: memFree=30826708/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=540672 memory=511344 CPUtime=2202.02 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2203359 0 0 0 219899 303 0 0 20 0 1 0 70891931 553648128 127836 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 135168 127836 294 7529 0 127615 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 540672 KiB
Current children cumulated memory: 511344 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 1597
/proc/meminfo: memFree=30822864/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=544696 memory=515312 CPUtime=2262.02 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2209982 0 0 0 225898 304 0 0 20 0 1 0 70891931 557768704 128828 18446744073709551615 4194304 35031035 140734435393440 140734435386264 7546964 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 136174 128828 294 7529 0 128621 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 544696 KiB
Current children cumulated memory: 515312 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 1599
/proc/meminfo: memFree=30818856/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=548804 memory=519372 CPUtime=2322.02 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2217571 0 0 0 231898 304 0 0 20 0 1 0 70891931 561975296 129843 18446744073709551615 4194304 35031035 140734435393440 140734435386264 7501369 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 137201 129843 294 7529 0 129648 0
Current children cumulated CPU time: 2322.02 s
Current children cumulated vsize: 548804 KiB
Current children cumulated memory: 519372 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 1601
/proc/meminfo: memFree=30815784/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=551596 memory=522248 CPUtime=2382.01 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2219225 0 0 0 237897 304 0 0 20 0 1 0 70891931 564834304 130562 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4256494 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 137899 130562 294 7529 0 130346 0
Current children cumulated CPU time: 2382.01 s
Current children cumulated vsize: 551596 KiB
Current children cumulated memory: 522248 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 1603
/proc/meminfo: memFree=30811816/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=555872 memory=526316 CPUtime=2442 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2221951 0 0 0 243896 304 0 0 20 0 1 0 70891931 569212928 131579 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 138968 131579 294 7529 0 131415 0
Current children cumulated CPU time: 2442 s
Current children cumulated vsize: 555872 KiB
Current children cumulated memory: 526316 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 1619
/proc/meminfo: memFree=30804720/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=558776 memory=529264 CPUtime=2502.01 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2225053 0 0 0 249896 305 0 0 20 0 1 0 70891931 572186624 132316 18446744073709551615 4194304 35031035 140734435393440 140734435386264 7501336 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 139694 132316 294 7529 0 132141 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 558776 KiB
Current children cumulated memory: 529264 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/184 1622
/proc/meminfo: memFree=30803348/32770624 swapFree=67108860/67108860
[pid=745] ppid=742 vsize=560248 memory=530896 CPUtime=2519.71 cores=1,3,5,7
/proc/745/stat : 745 (BTD) R 742 745 17093 0 -1 4202496 2225532 0 0 0 251666 305 0 0 20 0 1 0 70891931 573693952 132724 18446744073709551615 4194304 35031035 140734435393440 140734435386264 4254068 0 0 1 0 0 0 0 17 3 0 0 7 0 0 37130264 37226188 55914496 140734435398111 140734435398187 140734435398187 140734435401681 0
/proc/745/statm: 140062 132724 294 7529 0 132509 0
Current children cumulated CPU time: 2519.71 s
Current children cumulated vsize: 560248 KiB
Current children cumulated memory: 530896 KiB

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

[startup+2520.01 s]
# the end of solver process 745 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.67 s, system=3.05378 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.73
CPU user time (s): 2516.67
CPU system time (s): 3.05378
CPU usage (%): 99.9886
Max. virtual memory (cumulated for all children) (KiB): 560248
Max. memory (cumulated for all children) (KiB): 530896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.67
system time used= 3.05378
maximum resident set size= 530900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2225532
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= 49
involuntary context switches= 1897


# summary of solver processes directly reported to runsolver:
#   pid: 745
#   total CPU time (s): 2519.73
#   total CPU user time (s): 2516.67
#   total CPU system time (s): 3.05378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22848 second user time and 20.1126 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-14 06:48:58
IDJOB=4265071
IDBENCH=123943
IDSOLVER=2654
FILE ID=node127/4265071-1502686986
RUNJOBID= node127-1502653304-21655
PBS_JOBID= 
Free space on /tmp= 61976 MiB

SOLVER NAME= BTD 2017-08-10
BENCH NAME= XCSP17/Bibd/Bibd-sc-open/Bibd-sc-65-104-40-25-15.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265071-1502686986/watcher-4265071-1502686986 -o /tmp/evaluation-result-4265071-1502686986/solver-4265071-1502686986 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580  BTD 2520 HOME/instance-4265071-1502686986.xml

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

MD5SUM BENCH= 221a96fe8d827ba40f627424420ef5aa
RANDOM SEED=240835845

node127.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.92
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.92
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.92
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.92
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:        30981228 kB
MemAvailable:   31622156 kB
Buffers:          225420 kB
Cached:           704800 kB
SwapCached:            0 kB
Active:          1078064 kB
Inactive:         271324 kB
Active(anon):     368912 kB
Inactive(anon):    83832 kB
Active(file):     709152 kB
Inactive(file):   187492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             50064 kB
Writeback:             0 kB
AnonPages:        419116 kB
Mapped:            49612 kB
Shmem:             33444 kB
Slab:             145700 kB
SReclaimable:     120240 kB
SUnreclaim:        25460 kB
KernelStack:        3168 kB
PageTables:         5472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     696184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 61944 MiB
End job on node127 at 2017-08-14 07:30:58