Trace number 4386766

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.79 2520.59

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr0600-int.xml
MD5SUM944fe5e858b8dc1e5468427caea6b95a
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark118.465
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints718800
Number of domains1
Minimum domain size599
Maximum domain size599
Distribution of domain sizes[{"size":599,"count":600}]
Minimum variable degree2396
Maximum variable degree2396
Distribution of variable degrees[{"degree":2396,"count":600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":718800}]
Number of extensional constraints0
Number of intensional constraints718800
Distribution of constraint types[{"type":"intension","count":718800}]
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 (8810 MiB free)
  memory of node 1: 16384 MiB (12924 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386766-1568280964/watcher-4386766-1568280964 -o /tmp/evaluation-result-4386766-1568280964/solver-4386766-1568280964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568280854-6242 --watchdog 2580 BTD 2520 HOME/instance-4386766-1568280964.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6336, runsolver pid=6333
Current StackSize limit: 8192 KiB


[startup+0.100204 s]*
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22223124/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=66316 memory=35340 CPUtime=0.1 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 9237 0 0 0 10 0 0 0 20 0 1 0 404349523 67907584 8835 33554432000 4194304 36700936 140728144168016 140728144168016 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 16579 8835 418 7937 0 8607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66316 KiB
Current children cumulated memory: 35340 KiB

[startup+0.209644 s]*
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22212336/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=77100 memory=46420 CPUtime=0.21 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 12347 0 0 0 20 1 0 0 20 0 1 0 404349523 78950400 11605 33554432000 4194304 36700936 140728144168016 140728144168016 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 19275 11605 418 7937 0 11303 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77100 KiB
Current children cumulated memory: 46420 KiB

[startup+0.309665 s]*
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22201920/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=88504 memory=56700 CPUtime=0.31 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 15559 0 0 0 29 2 0 0 20 0 1 0 404349523 90628096 14175 33554432000 4194304 36700936 140728144168016 140728144168016 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 22126 14175 418 7937 0 14154 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 88504 KiB
Current children cumulated memory: 56700 KiB

[startup+0.700414 s]
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22179732/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=127416 memory=96220 CPUtime=0.69 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 25165 0 0 0 65 4 0 0 20 0 1 0 404349523 130473984 24055 33554432000 4194304 36700936 140728144168016 140728144165272 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 31854 24055 418 7937 0 23882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 127416 KiB
Current children cumulated memory: 96220 KiB

[startup+1.50038 s]
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22128140/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=192576 memory=158640 CPUtime=1.49 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 39747 0 0 0 143 6 0 0 20 0 1 0 404349523 197197824 39660 33554432000 4194304 36700936 140728144168016 140728144160328 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 48144 39660 452 7937 0 40172 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 192576 KiB
Current children cumulated memory: 158640 KiB

[startup+3.10944 s]
/proc/loadavg: 1.09 0.31 0.14 3/199 6337
/proc/meminfo: memFree=22031048/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=265440 memory=231344 CPUtime=3.1 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 64382 0 0 0 300 10 0 0 20 0 1 0 404349523 271810560 57836 33554432000 4194304 36700936 140728144168016 140728144159496 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 66360 57836 452 7937 0 58388 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 265440 KiB
Current children cumulated memory: 231344 KiB

[startup+6.30038 s]
/proc/loadavg: 1.00 0.30 0.14 3/199 6337
/proc/meminfo: memFree=21929280/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=371268 memory=337124 CPUtime=6.29 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 105637 0 0 0 614 15 0 0 20 0 1 0 404349523 380178432 84281 33554432000 4194304 36700936 140728144168016 140728144159496 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 92817 84281 452 7937 0 84845 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 371268 KiB
Current children cumulated memory: 337124 KiB

[startup+12.7004 s]
/proc/loadavg: 1.08 0.33 0.15 3/199 6338
/proc/meminfo: memFree=21798552/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=503268 memory=469396 CPUtime=12.69 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 155037 0 0 0 1247 22 0 0 20 0 1 0 404349523 515346432 117349 33554432000 4194304 36700936 140728144168016 140728144161464 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 125817 117349 452 7937 0 117845 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 503268 KiB
Current children cumulated memory: 469396 KiB

[startup+25.5004 s]
/proc/loadavg: 1.29 0.41 0.18 3/200 6340
/proc/meminfo: memFree=21653384/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=642120 memory=607756 CPUtime=25.49 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 249673 0 0 0 2514 35 0 0 20 0 1 0 404349523 657530880 151939 33554432000 4194304 36700936 140728144168016 140728144162280 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 160530 151939 452 7937 0 152558 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 642120 KiB
Current children cumulated memory: 607756 KiB

[startup+51.1097 s]
/proc/loadavg: 1.53 0.54 0.23 3/199 6340
/proc/meminfo: memFree=21475832/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=815436 memory=781488 CPUtime=51.1 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 345449 0 0 0 5057 53 0 0 20 0 1 0 404349523 835006464 195372 33554432000 4194304 36700936 140728144168016 140728144160280 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 203859 195372 452 7937 0 195887 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 815436 KiB
Current children cumulated memory: 781488 KiB

[startup+102.3 s]
/proc/loadavg: 1.80 0.77 0.32 3/199 6404
/proc/meminfo: memFree=21281376/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=1065156 memory=1030632 CPUtime=102.28 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 482903 0 0 0 10151 77 0 0 20 0 1 0 404349523 1090719744 257658 33554432000 4194304 36700936 140728144168016 140728144160280 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 266289 257658 452 7937 0 258317 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1065156 KiB
Current children cumulated memory: 1030632 KiB

[startup+162.3 s]
/proc/loadavg: 1.92 0.99 0.43 3/200 6411
/proc/meminfo: memFree=21047240/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=1297080 memory=1262684 CPUtime=162.27 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 603161 0 0 0 16129 98 0 0 20 0 1 0 404349523 1328209920 315671 33554432000 4194304 36700936 140728144168016 140728144162456 7961048 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 324270 315671 452 7937 0 316298 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1297080 KiB
Current children cumulated memory: 1262684 KiB

[startup+222.3 s]
/proc/loadavg: 1.97 1.17 0.53 3/200 6415
/proc/meminfo: memFree=20845680/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=1498116 memory=1463980 CPUtime=222.24 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 765603 0 0 0 22103 121 0 0 20 0 1 0 404349523 1534070784 365995 33554432000 4194304 36700936 140728144168016 140728144159624 5308219 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 374529 365995 452 7937 0 366557 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 1498116 KiB
Current children cumulated memory: 1463980 KiB

[startup+282.3 s]
/proc/loadavg: 1.99 1.33 0.62 3/200 6419
/proc/meminfo: memFree=20660592/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=1682520 memory=1648284 CPUtime=282.21 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 901818 0 0 0 28079 142 0 0 20 0 1 0 404349523 1722900480 412071 33554432000 4194304 36700936 140728144168016 140728144159496 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 420630 412071 452 7937 0 412658 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 1682520 KiB
Current children cumulated memory: 1648284 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.45 0.70 3/200 6432
/proc/meminfo: memFree=20486004/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=1855704 memory=1821548 CPUtime=342.18 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 1014474 0 0 0 34057 161 0 0 20 0 1 0 404349523 1900240896 455387 33554432000 4194304 36700936 140728144168016 140728144161960 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 463926 455387 452 7937 0 455954 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 1855704 KiB
Current children cumulated memory: 1821548 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.55 0.79 3/200 6436
/proc/meminfo: memFree=20319944/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=2020836 memory=1986852 CPUtime=402.15 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 1175481 0 0 0 40032 183 0 0 20 0 1 0 404349523 2069336064 496713 33554432000 4194304 36700936 140728144168016 140728144161544 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 505209 496713 452 7937 0 497237 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 2020836 KiB
Current children cumulated memory: 1986852 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.63 0.86 3/199 6440
/proc/meminfo: memFree=20161112/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=2180980 memory=2146148 CPUtime=462.11 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 1349462 0 0 0 46008 203 0 0 20 0 1 0 404349523 2233323520 536537 33554432000 4194304 36700936 140728144168016 140728144161464 4227447 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 545245 536537 452 7937 0 537273 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 2180980 KiB
Current children cumulated memory: 2146148 KiB


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


[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/199 6589
/proc/meminfo: memFree=15779340/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=6556356 memory=6518680 CPUtime=1841.66 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4069280 0 0 0 183481 685 0 0 20 0 1 0 404349523 6713708544 1629670 33554432000 4194304 36700936 140728144168016 140728144161896 4227444 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1639089 1629670 453 7937 0 1631117 0
Current children cumulated CPU time: 1841.66 s
Current children cumulated vsize: 6556356 KiB
Current children cumulated memory: 6518680 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.78 3/199 6593
/proc/meminfo: memFree=15624960/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=6710004 memory=6672348 CPUtime=1901.65 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4125728 0 0 0 189464 701 0 0 20 0 1 0 404349523 6871044096 1668087 33554432000 4194304 36700936 140728144168016 140728144161896 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1677501 1668087 453 7937 0 1669529 0
Current children cumulated CPU time: 1901.65 s
Current children cumulated vsize: 6710004 KiB
Current children cumulated memory: 6672348 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/199 6599
/proc/meminfo: memFree=15473304/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=6861144 memory=6823544 CPUtime=1961.64 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4181556 0 0 0 195447 717 0 0 20 0 1 0 404349523 7025811456 1705886 33554432000 4194304 36700936 140728144168016 140728144160808 4227444 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1715286 1705886 453 7937 0 1707314 0
Current children cumulated CPU time: 1961.64 s
Current children cumulated vsize: 6861144 KiB
Current children cumulated memory: 6823544 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/199 6603
/proc/meminfo: memFree=15324284/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7010568 memory=6972900 CPUtime=2021.62 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4236940 0 0 0 201427 735 0 0 20 0 1 0 404349523 7178821632 1743225 33554432000 4194304 36700936 140728144168016 140728144160808 4415371 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1752642 1743225 453 7937 0 1744670 0
Current children cumulated CPU time: 2021.62 s
Current children cumulated vsize: 7010568 KiB
Current children cumulated memory: 6972900 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/199 6607
/proc/meminfo: memFree=15174816/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7158804 memory=7121016 CPUtime=2081.61 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4292799 0 0 0 207407 754 0 0 20 0 1 0 404349523 7330615296 1780254 33554432000 4194304 36700936 140728144168016 140728144160808 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1789701 1780254 453 7937 0 1781729 0
Current children cumulated CPU time: 2081.61 s
Current children cumulated vsize: 7158804 KiB
Current children cumulated memory: 7121016 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/201 6622
/proc/meminfo: memFree=15027200/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7305720 memory=7268024 CPUtime=2141.59 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4364785 0 0 0 213387 772 0 0 20 0 1 0 404349523 7481057280 1817006 33554432000 4194304 36700936 140728144168016 140728144161960 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1826430 1817006 453 7937 0 1818458 0
Current children cumulated CPU time: 2141.59 s
Current children cumulated vsize: 7305720 KiB
Current children cumulated memory: 7268024 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/201 6626
/proc/meminfo: memFree=14880560/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7451844 memory=7414200 CPUtime=2201.58 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4437629 0 0 0 219368 790 0 0 20 0 1 0 404349523 7630688256 1853550 33554432000 4194304 36700936 140728144168016 140728144161592 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1862961 1853550 453 7937 0 1854989 0
Current children cumulated CPU time: 2201.58 s
Current children cumulated vsize: 7451844 KiB
Current children cumulated memory: 7414200 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/201 6630
/proc/meminfo: memFree=14735700/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7597440 memory=7559824 CPUtime=2261.56 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4510513 0 0 0 225347 809 0 0 20 0 1 0 404349523 7779778560 1889956 33554432000 4194304 36700936 140728144168016 140728144162072 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1899360 1889956 453 7937 0 1891388 0
Current children cumulated CPU time: 2261.56 s
Current children cumulated vsize: 7597440 KiB
Current children cumulated memory: 7559824 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/201 6636
/proc/meminfo: memFree=14590144/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7742772 memory=7705080 CPUtime=2321.56 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4583331 0 0 0 231327 829 0 0 20 0 1 0 404349523 7928598528 1926270 33554432000 4194304 36700936 140728144168016 140728144161592 4227444 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1935693 1926270 453 7937 0 1927721 0
Current children cumulated CPU time: 2321.56 s
Current children cumulated vsize: 7742772 KiB
Current children cumulated memory: 7705080 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/201 6640
/proc/meminfo: memFree=14444328/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=7887972 memory=7850248 CPUtime=2381.53 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 4655669 0 0 0 237306 847 0 0 20 0 1 0 404349523 8077283328 1962562 33554432000 4194304 36700936 140728144168016 140728144160936 4227533 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 1971993 1962562 453 7937 0 1964021 0
Current children cumulated CPU time: 2381.53 s
Current children cumulated vsize: 7887972 KiB
Current children cumulated memory: 7850248 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/199 6644
/proc/meminfo: memFree=10093100/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=12256056 memory=12225760 CPUtime=2441.52 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 6175352 0 0 0 243111 1041 0 0 20 0 1 0 404349523 12550201344 3056440 33554432000 4194304 36700936 140728144168016 140728144166408 7949654 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 3064014 3056440 479 7937 0 3056042 0
Current children cumulated CPU time: 2441.52 s
Current children cumulated vsize: 12256056 KiB
Current children cumulated memory: 12225760 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/199 6650
/proc/meminfo: memFree=8413400/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=13897476 memory=13867276 CPUtime=2501.49 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 7746975 0 0 0 248941 1208 0 0 20 0 1 0 404349523 14231015424 3466819 33554432000 4194304 36700936 140728144168016 140728144166408 4313030 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 3474369 3466819 479 7937 0 3466397 0
Current children cumulated CPU time: 2501.49 s
Current children cumulated vsize: 13897476 KiB
Current children cumulated memory: 13867276 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.88 3/199 6651
/proc/meminfo: memFree=8413984/32770624 swapFree=66997112/67108860
[pid=6336] ppid=6333 vsize=13897476 memory=13867276 CPUtime=2519.19 cores=0,2,4,6
/proc/6336/stat : 6336 (BTD) R 6333 6336 6211 0 -1 4202496 8008497 0 0 0 250684 1235 0 0 20 0 1 0 404349523 14231015424 3466819 33554432000 4194304 36700936 140728144168016 140728144166408 4313030 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 38800048 38936640 39612416 140728144172072 140728144172148 140728144172148 140728144175057 0
/proc/6336/statm: 3474369 3466819 479 7937 0 3466397 0
Current children cumulated CPU time: 2519.19 s
Current children cumulated vsize: 13897476 KiB
Current children cumulated memory: 13867276 KiB

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

[startup+2520.59 s]
# the end of solver process 6336 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2506.84 s, system=12.9404 s

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

[startup+2520.4 s]
/proc/loadavg: 2.00 2.01 1.88 3/199 6651
/proc/meminfo: memFree=13923864/32770624 swapFree=66997112/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2520.5 s]
/proc/loadavg: 2.00 2.01 1.88 3/199 6651
/proc/meminfo: memFree=13923864/32770624 swapFree=66997112/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.59
CPU time (s): 2519.79
CPU user time (s): 2506.84
CPU system time (s): 12.9404
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 13897476
Max. memory (cumulated for all children) (KiB): 13867276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.84
system time used= 12.9404
maximum resident set size= 13867276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8008497
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= 1248
involuntary context switches= 2106


# summary of solver processes directly reported to runsolver:
#   pid: 6336
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2506.84
#   total CPU system time (s): 12.9404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.74227 second user time and 19.1954 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-12 11:35:05
IDJOB=4386766
IDBENCH=126913
IDSOLVER=2822
FILE ID=node103/4386766-1568280964
RUNJOBID= node103-1568280854-6242
PBS_JOBID= 21701091
Free space on /tmp= 52604 MiB

SOLVER NAME= BTD 19.07.01
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr0600-int.xml
COMMAND LINE= BTD TIMELIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4386766-1568280964/watcher-4386766-1568280964 -o /tmp/evaluation-result-4386766-1568280964/solver-4386766-1568280964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568280854-6242 --watchdog 2580  BTD 2520 HOME/instance-4386766-1568280964.xml

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

MD5SUM BENCH= 944fe5e858b8dc1e5468427caea6b95a
RANDOM SEED=641112728

node103.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.74
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.74
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.74
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.74
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:        22256636 kB
MemAvailable:   31825660 kB
Buffers:          100260 kB
Cached:          9698384 kB
SwapCached:         8920 kB
Active:          1982064 kB
Inactive:        7859060 kB
Active(anon):      36852 kB
Inactive(anon):    47120 kB
Active(file):    1945212 kB
Inactive(file):  7811940 kB
Unevictable:      108584 kB
Mlocked:          108584 kB
SwapTotal:      67108860 kB
SwapFree:       66997112 kB
Dirty:             91020 kB
Writeback:             0 kB
AnonPages:        143436 kB
Mapped:            44320 kB
Shmem:             32812 kB
Slab:             268996 kB
SReclaimable:     240332 kB
SUnreclaim:        28664 kB
KernelStack:        3488 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     556188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52576 MiB
End job on node103 at 2019-09-12 12:17:06