Trace number 4265495

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.8101 2520.01

General information on the benchmark

NameSocialGolfers/SocialGolfers-xcsp2-s1/
SocialGolfers-08-4-8_X2.xml
MD5SUM5b948440152400779ab8a0c6bf9e55ba
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 variables6016
Number of constraints32560
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":6016}]
Minimum variable degree9
Maximum variable degree33
Distribution of variable degrees[{"degree":9,"count":3968},{"degree":33,"count":2048}]
Minimum constraint arity3
Maximum constraint arity32
Distribution of constraint arities[{"arity":3,"count":31744},{"arity":8,"count":752},{"arity":32,"count":64}]
Number of extensional constraints0
Number of intensional constraints31744
Distribution of constraint types[{"type":"intension","count":31744},{"type":"sum","count":816}]
Optimization problemNO
Type of objective

Solver Data 

34.13/34.25	c Version: 2017-08-10

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

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


[startup+0.100666 s]*
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31204392/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=33888 memory=4380 CPUtime=0.05 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 1226 0 0 0 5 0 0 0 20 0 1 0 73087282 34701312 1095 18446744073709551615 4194304 35031035 140733909107840 140733909103704 4632235 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 8472 1095 232 7529 0 919 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 33888 KiB
Current children cumulated memory: 4380 KiB

[startup+0.20931 s]*
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31203012/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=35652 memory=6208 CPUtime=0.16 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 4549 0 0 0 15 1 0 0 20 0 1 0 73087282 36507648 1552 18446744073709551615 4194304 35031035 140733909107840 140733909103704 7993641 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 8913 1552 271 7529 0 1360 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 6208 KiB

[startup+0.309042 s]*
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31202268/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=36020 memory=6576 CPUtime=0.26 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 4667 0 0 0 25 1 0 0 20 0 1 0 73087282 36884480 1644 18446744073709551615 4194304 35031035 140733909107840 140733909103704 7408826 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 9005 1644 271 7529 0 1452 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 36020 KiB
Current children cumulated memory: 6576 KiB

[startup+0.700313 s]
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31201896/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=42616 memory=13120 CPUtime=0.63 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 6501 0 0 0 62 1 0 0 20 0 1 0 73087282 43638784 3280 18446744073709551615 4194304 35031035 140733909107840 140733909103704 6497691 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 10654 3280 272 7529 0 3101 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 42616 KiB
Current children cumulated memory: 13120 KiB

[startup+1.50028 s]
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31194924/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=43972 memory=14440 CPUtime=1.43 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 6839 0 0 0 142 1 0 0 20 0 1 0 73087282 45027328 3610 18446744073709551615 4194304 35031035 140733909107840 140733909100664 4255432 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 10993 3610 295 7529 0 3440 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 43972 KiB
Current children cumulated memory: 14440 KiB

[startup+3.10906 s]
/proc/loadavg: 2.24 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31191700/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=46552 memory=17128 CPUtime=3.05 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 9000 0 0 0 303 2 0 0 20 0 1 0 73087282 47669248 4282 18446744073709551615 4194304 35031035 140733909107840 140733909100664 7429712 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 11638 4282 295 7529 0 4085 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 46552 KiB
Current children cumulated memory: 17128 KiB

[startup+6.30029 s]
/proc/loadavg: 2.22 2.06 2.06 3/182 7398
/proc/meminfo: memFree=31187296/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=51416 memory=21984 CPUtime=6.23 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 12760 0 0 0 621 2 0 0 20 0 1 0 73087282 52649984 5496 18446744073709551615 4194304 35031035 140733909107840 140733909100664 4255432 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 12854 5496 295 7529 0 5301 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 51416 KiB
Current children cumulated memory: 21984 KiB

[startup+12.7004 s]
/proc/loadavg: 2.21 2.06 2.06 3/181 7399
/proc/meminfo: memFree=31179604/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=59796 memory=30380 CPUtime=12.63 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 18873 0 0 0 1260 3 0 0 20 0 1 0 73087282 61231104 7595 18446744073709551615 4194304 35031035 140733909107840 140733909100664 6446274 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 14949 7595 295 7529 0 7396 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 59796 KiB
Current children cumulated memory: 30380 KiB

[startup+25.5004 s]
/proc/loadavg: 2.16 2.06 2.06 3/181 7399
/proc/meminfo: memFree=31167396/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=71336 memory=41904 CPUtime=25.43 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 35848 0 0 0 2539 4 0 0 20 0 1 0 73087282 73048064 10476 18446744073709551615 4194304 35031035 140733909107840 140733909100664 7982123 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 17834 10476 295 7529 0 10281 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 71336 KiB
Current children cumulated memory: 41904 KiB

[startup+51.1093 s]
/proc/loadavg: 2.11 2.05 2.06 3/181 7400
/proc/meminfo: memFree=31107876/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=148736 memory=100896 CPUtime=51.04 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 64081 0 0 0 5097 7 0 0 20 0 1 0 73087282 152305664 25224 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544899 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37184 25224 342 7529 0 29631 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 148736 KiB
Current children cumulated memory: 100896 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 7402
/proc/meminfo: memFree=31108352/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=148736 memory=100940 CPUtime=102.23 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 76689 0 0 0 10215 8 0 0 20 0 1 0 73087282 152305664 25235 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37184 25235 342 7529 0 29631 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 148736 KiB
Current children cumulated memory: 100940 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 7404
/proc/meminfo: memFree=31107560/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=148736 memory=100996 CPUtime=162.2 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 89215 0 0 0 16212 8 0 0 20 0 1 0 73087282 152305664 25249 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37184 25249 342 7529 0 29631 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 148736 KiB
Current children cumulated memory: 100996 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 7407
/proc/meminfo: memFree=31088972/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=148868 memory=119656 CPUtime=222.2 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 90774 0 0 0 22210 10 0 0 20 0 1 0 73087282 152440832 29914 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544936 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37217 29914 342 7529 0 29664 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 148868 KiB
Current children cumulated memory: 119656 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 7409
/proc/meminfo: memFree=31088856/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=149000 memory=119712 CPUtime=282.2 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 91064 0 0 0 28209 11 0 0 20 0 1 0 73087282 152576000 29928 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544902 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37250 29928 342 7529 0 29697 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 149000 KiB
Current children cumulated memory: 119712 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 7426
/proc/meminfo: memFree=31083584/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=149132 memory=119796 CPUtime=342.2 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 91395 0 0 0 34208 12 0 0 20 0 1 0 73087282 152711168 29949 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544906 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37283 29949 342 7529 0 29730 0
Current children cumulated CPU time: 342.2 s
Current children cumulated vsize: 149132 KiB
Current children cumulated memory: 119796 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 7453
/proc/meminfo: memFree=31082932/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=149396 memory=120084 CPUtime=402.19 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 91765 0 0 0 40206 13 0 0 20 0 1 0 73087282 152981504 30021 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544899 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37349 30021 342 7529 0 29796 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 149396 KiB
Current children cumulated memory: 120084 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 7455
/proc/meminfo: memFree=31083056/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=149396 memory=120120 CPUtime=462.19 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 92145 0 0 0 46205 14 0 0 20 0 1 0 73087282 152981504 30030 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37349 30030 342 7529 0 29796 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 149396 KiB
Current children cumulated memory: 120120 KiB


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

/proc/7397/statm: 37994 30683 342 7529 0 30441 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 151976 KiB
Current children cumulated memory: 122732 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7588
/proc/meminfo: memFree=31182492/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=151976 memory=122820 CPUtime=1782.13 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 96441 0 0 0 178163 50 0 0 20 0 1 0 73087282 155623424 30705 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544915 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37994 30705 342 7529 0 30441 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 151976 KiB
Current children cumulated memory: 122820 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7591
/proc/meminfo: memFree=31182136/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=151976 memory=122832 CPUtime=1842.12 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 96563 0 0 0 184160 52 0 0 20 0 1 0 73087282 155623424 30708 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544902 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 37994 30708 342 7529 0 30441 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 151976 KiB
Current children cumulated memory: 122832 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7593
/proc/meminfo: memFree=31181824/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152112 memory=122932 CPUtime=1902.12 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 96699 0 0 0 190157 55 0 0 20 0 1 0 73087282 155762688 30733 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38028 30733 342 7529 0 30475 0
Current children cumulated CPU time: 1902.12 s
Current children cumulated vsize: 152112 KiB
Current children cumulated memory: 122932 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7595
/proc/meminfo: memFree=31181576/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152248 memory=123032 CPUtime=1962.12 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 96835 0 0 0 196156 56 0 0 20 0 1 0 73087282 155901952 30758 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38062 30758 342 7529 0 30509 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 152248 KiB
Current children cumulated memory: 123032 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7598
/proc/meminfo: memFree=31181204/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152248 memory=123104 CPUtime=2022.11 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 96953 0 0 0 202155 56 0 0 20 0 1 0 73087282 155901952 30776 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544922 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38062 30776 342 7529 0 30509 0
Current children cumulated CPU time: 2022.11 s
Current children cumulated vsize: 152248 KiB
Current children cumulated memory: 123104 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7600
/proc/meminfo: memFree=31180964/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152248 memory=123128 CPUtime=2082.11 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97066 0 0 0 208152 59 0 0 20 0 1 0 73087282 155901952 30782 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38062 30782 342 7529 0 30509 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 152248 KiB
Current children cumulated memory: 123128 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7617
/proc/meminfo: memFree=31177552/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152528 memory=123276 CPUtime=2142.11 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97204 0 0 0 214150 61 0 0 20 0 1 0 73087282 156188672 30819 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38132 30819 342 7529 0 30579 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 152528 KiB
Current children cumulated memory: 123276 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7619
/proc/meminfo: memFree=31177552/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152664 memory=123372 CPUtime=2202.1 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97367 0 0 0 220147 63 0 0 20 0 1 0 73087282 156327936 30843 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38166 30843 342 7529 0 30613 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 152664 KiB
Current children cumulated memory: 123372 KiB

[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7621
/proc/meminfo: memFree=31181120/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152800 memory=123632 CPUtime=2262.1 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97535 0 0 0 226145 65 0 0 20 0 1 0 73087282 156467200 30908 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544902 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38200 30908 342 7529 0 30647 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 152800 KiB
Current children cumulated memory: 123632 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7623
/proc/meminfo: memFree=31181256/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152800 memory=123652 CPUtime=2322.1 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97740 0 0 0 232143 67 0 0 20 0 1 0 73087282 156467200 30913 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544899 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38200 30913 342 7529 0 30647 0
Current children cumulated CPU time: 2322.1 s
Current children cumulated vsize: 152800 KiB
Current children cumulated memory: 123652 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7625
/proc/meminfo: memFree=31181132/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152932 memory=123652 CPUtime=2382.1 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97870 0 0 0 238142 68 0 0 20 0 1 0 73087282 156602368 30913 18446744073709551615 4194304 35031035 140733909107840 140733909106840 7760122 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38233 30913 342 7529 0 30680 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 152932 KiB
Current children cumulated memory: 123652 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7627
/proc/meminfo: memFree=31181272/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=152932 memory=123776 CPUtime=2442.1 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 97990 0 0 0 244140 70 0 0 20 0 1 0 73087282 156602368 30944 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38233 30944 342 7529 0 30680 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 152932 KiB
Current children cumulated memory: 123776 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7629
/proc/meminfo: memFree=31181272/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=153064 memory=123812 CPUtime=2502.09 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 98129 0 0 0 250138 71 0 0 20 0 1 0 73087282 156737536 30953 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544936 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38266 30953 342 7529 0 30713 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 153064 KiB
Current children cumulated memory: 123812 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 7630
/proc/meminfo: memFree=31181272/32770624 swapFree=67108860/67108860
[pid=7397] ppid=7394 vsize=153064 memory=123908 CPUtime=2519.8 cores=1,3,5,7
/proc/7397/stat : 7397 (BTD) R 7394 7397 17093 0 -1 4202496 98258 0 0 0 251908 72 0 0 20 0 1 0 73087282 156737536 30977 18446744073709551615 4194304 35031035 140733909107840 140733909106840 4544913 0 0 1 0 0 0 0 17 1 0 0 5 0 0 37130264 37226188 61607936 140733909111263 140733909111339 140733909111339 140733909114833 0
/proc/7397/statm: 38266 30977 342 7529 0 30713 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 153064 KiB
Current children cumulated memory: 123908 KiB

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

[startup+2520.01 s]
# the end of solver process 7397 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.09 s, system=0.722965 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.81
CPU user time (s): 2519.09
CPU system time (s): 0.722965
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 153064
Max. memory (cumulated for all children) (KiB): 123908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.09
system time used= 0.722965
maximum resident set size= 123908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98258
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= 28
involuntary context switches= 826


# summary of solver processes directly reported to runsolver:
#   pid: 7397
#   total CPU time (s): 2519.81
#   total CPU user time (s): 2519.09
#   total CPU system time (s): 0.722965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72393 second user time and 19.5506 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-14 12:54:51
IDJOB=4265495
IDBENCH=126718
IDSOLVER=2654
FILE ID=node127/4265495-1502708940
RUNJOBID= node127-1502653304-21655
PBS_JOBID= 
Free space on /tmp= 61992 MiB

SOLVER NAME= BTD 2017-08-10
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-xcsp2-s1/SocialGolfers-08-4-8_X2.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265495-1502708940/watcher-4265495-1502708940 -o /tmp/evaluation-result-4265495-1502708940/solver-4265495-1502708940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580  BTD 2520 HOME/instance-4265495-1502708940.xml

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

MD5SUM BENCH= 5b948440152400779ab8a0c6bf9e55ba
RANDOM SEED=1249734254

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:        31207652 kB
MemAvailable:   31850980 kB
Buffers:          230252 kB
Cached:           701940 kB
SwapCached:            0 kB
Active:           836060 kB
Inactive:         285472 kB
Active(anon):     138960 kB
Inactive(anon):    83824 kB
Active(file):     697100 kB
Inactive(file):   201648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             40116 kB
Writeback:             0 kB
AnonPages:        189344 kB
Mapped:            50400 kB
Shmem:             33444 kB
Slab:             146668 kB
SReclaimable:     120832 kB
SUnreclaim:        25836 kB
KernelStack:        3200 kB
PageTables:         5036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     466360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 61956 MiB
End job on node127 at 2017-08-14 13:36:51