Trace number 4265442

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

General information on the benchmark

NameRoomMate/
RoomMate-int-s1/RoomMate-sr1000b-int.xml
MD5SUMfdcb353b2918313db809b139313e7b9f
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 variables1000
Number of constraints1998000
Number of domains1
Minimum domain size999
Maximum domain size999
Distribution of domain sizes[{"size":999,"count":1000}]
Minimum variable degree3996
Maximum variable degree3996
Distribution of variable degrees[{"degree":3996,"count":1000}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1998000}]
Number of extensional constraints0
Number of intensional constraints1998000
Distribution of constraint types[{"type":"intension","count":1998000}]
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 (14999 MiB free)
  memory of node 1: 16384 MiB (15190 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265442-1502715390/watcher-4265442-1502715390 -o /tmp/evaluation-result-4265442-1502715390/solver-4265442-1502715390 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580 BTD 2520 HOME/instance-4265442-1502715390.xml 

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

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

solver pid=9045, runsolver pid=9042

[startup+0.100107 s]*
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30913772/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=32240 memory=2508 CPUtime=0.03 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 789 0 0 0 3 0 0 0 20 0 1 0 73732429 33013760 627 18446744073709551615 4194304 35031035 140725731902560 140725731902560 7408826 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 8060 627 232 7529 0 507 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 32240 KiB
Current children cumulated memory: 2508 KiB

[startup+0.209135 s]*
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30908020/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=37056 memory=7452 CPUtime=0.13 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 1996 0 0 0 13 0 0 0 20 0 1 0 73732429 37945344 1863 18446744073709551615 4194304 35031035 140725731902560 140725731902560 7408826 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 9264 1863 232 7529 0 1711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 7452 KiB

[startup+0.309078 s]*
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30904300/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=41484 memory=11884 CPUtime=0.23 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 3096 0 0 0 23 0 0 0 20 0 1 0 73732429 42479616 2905 18446744073709551615 4194304 35031035 140725731902560 140725731902560 7415457 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 10371 2971 232 7529 0 2818 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 41484 KiB
Current children cumulated memory: 11884 KiB

[startup+0.700242 s]
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30895868/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=58248 memory=28628 CPUtime=0.61 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 7302 0 0 0 60 1 0 0 20 0 1 0 73732429 59645952 7157 18446744073709551615 4194304 35031035 140725731902560 140725731898328 4207309 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 14562 7157 232 7529 0 7009 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 58248 KiB
Current children cumulated memory: 28628 KiB

[startup+1.50025 s]
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30873796/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=92568 memory=62820 CPUtime=1.42 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 15881 0 0 0 139 3 0 0 20 0 1 0 73732429 94789632 15705 18446744073709551615 4194304 35031035 140725731902560 140725731898280 4207309 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 23142 15705 232 7529 0 15589 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 92568 KiB
Current children cumulated memory: 62820 KiB

[startup+3.10919 s]
/proc/loadavg: 1.90 1.98 2.03 3/182 9046
/proc/meminfo: memFree=30731008/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=218992 memory=186632 CPUtime=3.02 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 45853 0 0 0 292 10 0 0 20 0 1 0 73732429 224247808 46658 18446744073709551615 4194304 35031035 140725731902560 140725731899736 7408826 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 54748 46658 242 7529 0 47195 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 218992 KiB
Current children cumulated memory: 186632 KiB

[startup+6.30022 s]
/proc/loadavg: 1.99 2.00 2.03 3/182 9046
/proc/meminfo: memFree=30572188/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=375584 memory=344284 CPUtime=6.21 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 86175 0 0 0 605 16 0 0 20 0 1 0 73732429 384598016 86071 18446744073709551615 4194304 35031035 140725731902560 140725731895384 6446230 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 93896 86071 288 7529 0 86343 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 375584 KiB
Current children cumulated memory: 344284 KiB

[startup+12.7003 s]
/proc/loadavg: 1.99 2.00 2.03 3/182 9046
/proc/meminfo: memFree=30562968/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=383968 memory=352560 CPUtime=12.61 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 90551 0 0 0 1244 17 0 0 20 0 1 0 73732429 393183232 88140 18446744073709551615 4194304 35031035 140725731902560 140725731895384 7398592 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 95992 88140 288 7529 0 88439 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 383968 KiB
Current children cumulated memory: 352560 KiB

[startup+25.5003 s]
/proc/loadavg: 1.99 2.00 2.03 3/182 9046
/proc/meminfo: memFree=30541616/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=395172 memory=363668 CPUtime=25.4 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 97977 0 0 0 2522 18 0 0 20 0 1 0 73732429 404656128 90917 18446744073709551615 4194304 35031035 140725731902560 140725731895384 6446230 0 0 1 0 0 0 0 17 0 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 98793 90917 288 7529 0 91240 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 395172 KiB
Current children cumulated memory: 363668 KiB

[startup+51.1097 s]
/proc/loadavg: 1.99 2.00 2.03 3/182 9047
/proc/meminfo: memFree=30524516/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=410560 memory=379240 CPUtime=51.01 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 117590 0 0 0 5080 21 0 0 20 0 1 0 73732429 420413440 94810 18446744073709551615 4194304 35031035 140725731902560 140725731895384 7439968 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 102640 94810 288 7529 0 95087 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 410560 KiB
Current children cumulated memory: 379240 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 9049
/proc/meminfo: memFree=30488644/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=431560 memory=400128 CPUtime=102.19 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 137420 0 0 0 10196 23 0 0 20 0 1 0 73732429 441917440 100032 18446744073709551615 4194304 35031035 140725731902560 140725731895384 6442563 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 107890 100032 288 7529 0 100337 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 431560 KiB
Current children cumulated memory: 400128 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 9051
/proc/meminfo: memFree=30444852/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=449980 memory=418596 CPUtime=162.19 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 161253 0 0 0 16193 26 0 0 20 0 1 0 73732429 460779520 104649 18446744073709551615 4194304 35031035 140725731902560 140725731895384 6442549 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 112495 104649 288 7529 0 104942 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 449980 KiB
Current children cumulated memory: 418596 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 9053
/proc/meminfo: memFree=30413740/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=465880 memory=434524 CPUtime=222.18 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 188550 0 0 0 22190 28 0 0 20 0 1 0 73732429 477061120 108631 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 116470 108631 288 7529 0 108917 0
Current children cumulated CPU time: 222.18 s
Current children cumulated vsize: 465880 KiB
Current children cumulated memory: 434524 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 9055
/proc/meminfo: memFree=30385824/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=479444 memory=448096 CPUtime=282.18 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 217455 0 0 0 28188 30 0 0 20 0 1 0 73732429 490950656 112024 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 119861 112024 288 7529 0 112308 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 479444 KiB
Current children cumulated memory: 448096 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/181 9057
/proc/meminfo: memFree=30357656/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=491888 memory=460520 CPUtime=342.16 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 248678 0 0 0 34185 31 0 0 20 0 1 0 73732429 503693312 115130 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4801616 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 122972 115130 288 7529 0 115419 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 491888 KiB
Current children cumulated memory: 460520 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 9059
/proc/meminfo: memFree=30323428/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=502424 memory=471076 CPUtime=402.15 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 282477 0 0 0 40182 33 0 0 20 0 1 0 73732429 514482176 117769 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256528 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 125606 117769 288 7529 0 118053 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 502424 KiB
Current children cumulated memory: 471076 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/184 9075
/proc/meminfo: memFree=30293292/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=513872 memory=482460 CPUtime=462.14 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 295021 0 0 0 46180 34 0 0 20 0 1 0 73732429 526204928 120615 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256557 0 0 1 0 0 0 0 17 4 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 128468 120615 288 7529 0 120915 0
Current children cumulated CPU time: 462.14 s
Current children cumulated vsize: 513872 KiB
Current children cumulated memory: 482460 KiB


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

/proc/9045/statm: 164857 157029 288 7529 0 157304 0
Current children cumulated CPU time: 1722 s
Current children cumulated vsize: 659428 KiB
Current children cumulated memory: 628116 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 9563
/proc/meminfo: memFree=30478564/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=664152 memory=632804 CPUtime=1781.98 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 556748 0 0 0 178149 49 0 0 20 0 1 0 73732429 680091648 158201 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 166038 158201 288 7529 0 158485 0
Current children cumulated CPU time: 1781.98 s
Current children cumulated vsize: 664152 KiB
Current children cumulated memory: 632804 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9565
/proc/meminfo: memFree=30474028/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=668940 memory=637644 CPUtime=1841.98 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 559434 0 0 0 184149 49 0 0 20 0 1 0 73732429 684994560 159411 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 167235 159411 288 7529 0 159682 0
Current children cumulated CPU time: 1841.98 s
Current children cumulated vsize: 668940 KiB
Current children cumulated memory: 637644 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9567
/proc/meminfo: memFree=30466352/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=673804 memory=642508 CPUtime=1901.98 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 562834 0 0 0 190148 50 0 0 20 0 1 0 73732429 689975296 160627 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 168451 160627 288 7529 0 160898 0
Current children cumulated CPU time: 1901.98 s
Current children cumulated vsize: 673804 KiB
Current children cumulated memory: 642508 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9569
/proc/meminfo: memFree=30461376/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=678736 memory=647444 CPUtime=1961.97 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 567476 0 0 0 196147 50 0 0 20 0 1 0 73732429 695025664 161861 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 169684 161861 288 7529 0 162131 0
Current children cumulated CPU time: 1961.97 s
Current children cumulated vsize: 678736 KiB
Current children cumulated memory: 647444 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9571
/proc/meminfo: memFree=30455796/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=683756 memory=652408 CPUtime=2021.96 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 573382 0 0 0 202146 50 0 0 20 0 1 0 73732429 700166144 163102 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256528 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 170939 163102 288 7529 0 163386 0
Current children cumulated CPU time: 2021.96 s
Current children cumulated vsize: 683756 KiB
Current children cumulated memory: 652408 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9573
/proc/meminfo: memFree=30451108/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=688840 memory=657536 CPUtime=2081.96 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 579542 0 0 0 208145 51 0 0 20 0 1 0 73732429 705372160 164384 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 172210 164384 288 7529 0 164657 0
Current children cumulated CPU time: 2081.96 s
Current children cumulated vsize: 688840 KiB
Current children cumulated memory: 657536 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9575
/proc/meminfo: memFree=30445776/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=694012 memory=662696 CPUtime=2141.95 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 587513 0 0 0 214144 51 0 0 20 0 1 0 73732429 710668288 165674 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 173503 165674 288 7529 0 165950 0
Current children cumulated CPU time: 2141.95 s
Current children cumulated vsize: 694012 KiB
Current children cumulated memory: 662696 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 9577
/proc/meminfo: memFree=30440752/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=699244 memory=667856 CPUtime=2201.94 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 595776 0 0 0 220142 52 0 0 20 0 1 0 73732429 716025856 166964 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 174811 166964 288 7529 0 167258 0
Current children cumulated CPU time: 2201.94 s
Current children cumulated vsize: 699244 KiB
Current children cumulated memory: 667856 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 9594
/proc/meminfo: memFree=30433688/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=701884 memory=670608 CPUtime=2261.94 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 605066 0 0 0 226141 53 0 0 20 0 1 0 73732429 718729216 167652 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256442 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 175471 167652 288 7529 0 167918 0
Current children cumulated CPU time: 2261.94 s
Current children cumulated vsize: 701884 KiB
Current children cumulated memory: 670608 KiB

[startup+2322.3 s]
/proc/loadavg: 2.54 2.18 2.10 3/185 9596
/proc/meminfo: memFree=30428588/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=707232 memory=675924 CPUtime=2321.92 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 609776 0 0 0 232139 53 0 0 20 0 1 0 73732429 724205568 168981 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 176808 168981 288 7529 0 169255 0
Current children cumulated CPU time: 2321.92 s
Current children cumulated vsize: 707232 KiB
Current children cumulated memory: 675924 KiB

[startup+2382.3 s]
/proc/loadavg: 2.20 2.15 2.09 3/182 9598
/proc/meminfo: memFree=30426712/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=712652 memory=681176 CPUtime=2381.92 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 611706 0 0 0 238138 54 0 0 20 0 1 0 73732429 729755648 170294 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 178163 170294 288 7529 0 170610 0
Current children cumulated CPU time: 2381.92 s
Current children cumulated vsize: 712652 KiB
Current children cumulated memory: 681176 KiB

[startup+2442.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/182 9600
/proc/meminfo: memFree=30424108/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=715396 memory=684100 CPUtime=2441.92 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 613665 0 0 0 244138 54 0 0 20 0 1 0 73732429 732565504 171025 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 178849 171025 288 7529 0 171296 0
Current children cumulated CPU time: 2441.92 s
Current children cumulated vsize: 715396 KiB
Current children cumulated memory: 684100 KiB

[startup+2502.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/182 9602
/proc/meminfo: memFree=30418836/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=720932 memory=689612 CPUtime=2501.91 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 617167 0 0 0 250137 54 0 0 20 0 1 0 73732429 738234368 172403 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256494 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 180233 172403 288 7529 0 172680 0
Current children cumulated CPU time: 2501.91 s
Current children cumulated vsize: 720932 KiB
Current children cumulated memory: 689612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.02 2.09 2.08 3/182 9603
/proc/meminfo: memFree=30419084/32770624 swapFree=67108860/67108860
[pid=9045] ppid=9042 vsize=720932 memory=689640 CPUtime=2519.62 cores=0,2,4,6
/proc/9045/stat : 9045 (BTD) R 9042 9045 17093 0 -1 4202496 617283 0 0 0 251908 54 0 0 20 0 1 0 73732429 738234368 172410 18446744073709551615 4194304 35031035 140725731902560 140725731895384 4256528 0 0 1 0 0 0 0 17 2 0 0 7 0 0 37130264 37226188 69124096 140725731910111 140725731910187 140725731910187 140725731913681 0
/proc/9045/statm: 180233 172410 288 7529 0 172680 0
Current children cumulated CPU time: 2519.62 s
Current children cumulated vsize: 720932 KiB
Current children cumulated memory: 689640 KiB

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

[startup+2520.01 s]
# the end of solver process 9045 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.08 s, system=0.548945 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.63
CPU user time (s): 2519.08
CPU system time (s): 0.548945
CPU usage (%): 99.9849
Max. virtual memory (cumulated for all children) (KiB): 720932
Max. memory (cumulated for all children) (KiB): 689640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 0.548945
maximum resident set size= 689648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617283
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= 81
involuntary context switches= 3349


# summary of solver processes directly reported to runsolver:
#   pid: 9045
#   total CPU time (s): 2519.63
#   total CPU user time (s): 2519.08
#   total CPU system time (s): 0.548945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0356 second user time and 16.8991 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-14 14:42:22
IDJOB=4265442
IDBENCH=126900
IDSOLVER=2654
FILE ID=node127/4265442-1502715390
RUNJOBID= node127-1502653304-21654
PBS_JOBID= 
Free space on /tmp= 61908 MiB

SOLVER NAME= BTD 2017-08-10
BENCH NAME= XCSP17/RoomMate/RoomMate-int-s1/RoomMate-sr1000b-int.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265442-1502715390/watcher-4265442-1502715390 -o /tmp/evaluation-result-4265442-1502715390/solver-4265442-1502715390 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21654 --watchdog 2580  BTD 2520 HOME/instance-4265442-1502715390.xml

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

MD5SUM BENCH= fdcb353b2918313db809b139313e7b9f
RANDOM SEED=740559004

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:        30914756 kB
MemAvailable:   31653724 kB
Buffers:          231536 kB
Cached:           796436 kB
SwapCached:            0 kB
Active:          1118516 kB
Inactive:         296292 kB
Active(anon):     336700 kB
Inactive(anon):    83824 kB
Active(file):     781816 kB
Inactive(file):   212468 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            121844 kB
Writeback:             0 kB
AnonPages:        387116 kB
Mapped:            50140 kB
Shmem:             33444 kB
Slab:             146908 kB
SReclaimable:     121036 kB
SUnreclaim:        25872 kB
KernelStack:        3216 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     664076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 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= 61872 MiB
End job on node127 at 2017-08-14 15:24:23