Trace number 4265567

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.8 2520.02

General information on the benchmark

NameWwtpp/Wwtpp-ord-s1/
Wwtpp-ord-ex02280.xml
MD5SUM266034c566073a7f5804da8fab792568
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 benchmark0.31001899
Satisfiable
(Un)Satisfiability was proved
Number of variables476
Number of constraints402
Number of domains22
Minimum domain size1
Maximum domain size10001
Distribution of domain sizes[{"size":1,"count":22},{"size":2,"count":92},{"size":1001,"count":46},{"size":1501,"count":46},{"size":2501,"count":46},{"size":3001,"count":46},{"size":5001,"count":88},{"size":10001,"count":90}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":16},{"degree":2,"count":29},{"degree":3,"count":431}]
Minimum constraint arity2
Maximum constraint arity24
Distribution of constraint arities[{"arity":2,"count":189},{"arity":3,"count":96},{"arity":4,"count":90},{"arity":10,"count":4},{"arity":11,"count":7},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":23,"count":1},{"arity":24,"count":1}]
Number of extensional constraints192
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":192},{"type":"sum","count":210}]
Optimization problemNO
Type of objective

Solver Data 

56.78/56.92	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 (15036 MiB free)
  memory of node 1: 16384 MiB (15496 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=29865, runsolver pid=29862

[startup+0.100133 s]*
/proc/loadavg: 2.00 2.01 2.05 2/181 29866
/proc/meminfo: memFree=31265660/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=30796 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 82053754 31535104 262 18446744073709551615 4194304 35031035 140730394780192 140730394780192 4208990 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 7699 262 228 7529 0 146 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 30796 KiB
Current children cumulated memory: 1048 KiB

[startup+0.209175 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31264560/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=31972 memory=2196 CPUtime=0.11 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 946 0 0 0 11 0 0 0 20 0 1 0 82053754 32739328 549 18446744073709551615 4194304 35031035 140730394780192 140730394780192 4208986 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 7993 549 234 7529 0 440 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 31972 KiB
Current children cumulated memory: 2196 KiB

[startup+0.308808 s]*
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31263816/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=32728 memory=3184 CPUtime=0.21 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 1408 0 0 0 21 0 0 0 20 0 1 0 82053754 33513472 796 18446744073709551615 4194304 35031035 140730394780192 140730394780192 4207316 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 8182 796 234 7529 0 629 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32728 KiB
Current children cumulated memory: 3184 KiB

[startup+0.700272 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31261584/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=36100 memory=6324 CPUtime=0.59 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 3801 0 0 0 59 0 0 0 20 0 1 0 82053754 36966400 1581 18446744073709551615 4194304 35031035 140730394780192 140730394780192 4207859 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 9025 1581 234 7529 0 1472 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 36100 KiB
Current children cumulated memory: 6324 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31257864/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=42872 memory=13376 CPUtime=1.39 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 8411 0 0 0 137 2 0 0 20 0 1 0 82053754 43900928 3344 18446744073709551615 4194304 35031035 140730394780192 140730394780192 7408826 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 10718 3344 234 7529 0 3165 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 42872 KiB
Current children cumulated memory: 13376 KiB

[startup+3.10924 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31234056/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=63340 memory=33732 CPUtime=3 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 18187 0 0 0 297 3 0 0 20 0 1 0 82053754 64860160 8433 18446744073709551615 4194304 35031035 140730394780192 140730394775960 7408826 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 15835 8433 234 7529 0 8282 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 63340 KiB
Current children cumulated memory: 33732 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=31200820/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=97528 memory=68056 CPUtime=6.19 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 40562 0 0 0 612 7 0 0 20 0 1 0 82053754 99868672 17013 18446744073709551615 4194304 35031035 140730394780192 140730394775960 7993641 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 24399 17014 234 7529 0 16846 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 97528 KiB
Current children cumulated memory: 68056 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29866
/proc/meminfo: memFree=30911404/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=409428 memory=379448 CPUtime=12.59 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 132678 0 0 0 1239 20 0 0 20 0 1 0 82053754 419254272 94862 18446744073709551615 4194304 35031035 140730394780192 140730394773480 4223260 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 102357 94862 280 7529 0 94804 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 409428 KiB
Current children cumulated memory: 379448 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29867
/proc/meminfo: memFree=30200144/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=1119496 memory=1089352 CPUtime=25.38 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 311245 0 0 0 2497 41 0 0 20 0 1 0 82053754 1146363904 272338 18446744073709551615 4194304 35031035 140730394780192 140730394773480 4223271 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 279874 272338 280 7529 0 272321 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1119496 KiB
Current children cumulated memory: 1089352 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29882
/proc/meminfo: memFree=28772656/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2514060 memory=2483936 CPUtime=50.99 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 661584 0 0 0 5016 83 0 0 20 0 1 0 82053754 2574397440 620984 18446744073709551615 4194304 35031035 140730394780192 140730394773480 4223208 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 628515 620984 280 7529 0 620962 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 2514060 KiB
Current children cumulated memory: 2483936 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29884
/proc/meminfo: memFree=28565468/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720516 memory=2691256 CPUtime=102.18 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717019 0 0 0 10128 90 0 0 20 0 1 0 82053754 2785808384 672814 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394005 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680129 672814 311 7529 0 672576 0
Current children cumulated CPU time: 102.18 s
Current children cumulated vsize: 2720516 KiB
Current children cumulated memory: 2691256 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29886
/proc/meminfo: memFree=28568748/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720516 memory=2691340 CPUtime=162.17 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717071 0 0 0 16126 91 0 0 20 0 1 0 82053754 2785808384 672835 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394056 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680129 672835 311 7529 0 672576 0
Current children cumulated CPU time: 162.17 s
Current children cumulated vsize: 2720516 KiB
Current children cumulated memory: 2691340 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29888
/proc/meminfo: memFree=28569752/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720516 memory=2691348 CPUtime=222.17 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717147 0 0 0 22125 92 0 0 20 0 1 0 82053754 2785808384 672837 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393818 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680129 672837 311 7529 0 672576 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 2720516 KiB
Current children cumulated memory: 2691348 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29890
/proc/meminfo: memFree=28569716/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720648 memory=2691364 CPUtime=282.17 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717225 0 0 0 28124 93 0 0 20 0 1 0 82053754 2785943552 672841 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393767 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680162 672841 311 7529 0 672609 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 2720648 KiB
Current children cumulated memory: 2691364 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 29892
/proc/meminfo: memFree=28569124/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720648 memory=2691380 CPUtime=342.16 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717302 0 0 0 34122 94 0 0 20 0 1 0 82053754 2785943552 672845 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393736 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680162 672845 311 7529 0 672609 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 2720648 KiB
Current children cumulated memory: 2691380 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29895
/proc/meminfo: memFree=28569552/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720648 memory=2691392 CPUtime=402.16 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717381 0 0 0 40120 96 0 0 20 0 1 0 82053754 2785943552 672848 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393997 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680162 672848 311 7529 0 672609 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 2720648 KiB
Current children cumulated memory: 2691392 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29897
/proc/meminfo: memFree=28569456/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2720648 memory=2691436 CPUtime=462.16 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 717471 0 0 0 46119 97 0 0 20 0 1 0 82053754 2785943552 672859 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393786 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680162 672859 311 7529 0 672609 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 2720648 KiB
Current children cumulated memory: 2691436 KiB


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

/proc/29865/statm: 680492 673178 311 7529 0 672939 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2721968 KiB
Current children cumulated memory: 2692712 KiB

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/181 30056
/proc/meminfo: memFree=25873304/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2721968 memory=2692728 CPUtime=1782.1 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 719854 0 0 0 178103 107 0 0 20 0 1 0 82053754 2787295232 673182 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394828 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680492 673182 311 7529 0 672939 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 2721968 KiB
Current children cumulated memory: 2692728 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 30058
/proc/meminfo: memFree=25872464/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722232 memory=2692904 CPUtime=1842.1 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720017 0 0 0 184103 107 0 0 20 0 1 0 82053754 2787565568 673226 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393793 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680558 673226 311 7529 0 673005 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2722232 KiB
Current children cumulated memory: 2692904 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 30075
/proc/meminfo: memFree=25868416/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693088 CPUtime=1902.09 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720116 0 0 0 190102 107 0 0 20 0 1 0 82053754 2787700736 673272 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393749 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673272 311 7529 0 673038 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693088 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 30077
/proc/meminfo: memFree=25872212/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693100 CPUtime=1962.09 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720193 0 0 0 196102 107 0 0 20 0 1 0 82053754 2787700736 673275 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394056 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673275 311 7529 0 673038 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693100 KiB

[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 30079
/proc/meminfo: memFree=25873524/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693108 CPUtime=2022.09 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720279 0 0 0 202102 107 0 0 20 0 1 0 82053754 2787700736 673277 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393997 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673277 311 7529 0 673038 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693108 KiB

[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/182 30082
/proc/meminfo: memFree=25872916/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693124 CPUtime=2082.09 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720367 0 0 0 208102 107 0 0 20 0 1 0 82053754 2787700736 673281 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393859 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673281 311 7529 0 673038 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693124 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 30084
/proc/meminfo: memFree=25872572/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693128 CPUtime=2142.08 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720486 0 0 0 214101 107 0 0 20 0 1 0 82053754 2787700736 673282 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394828 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673282 311 7529 0 673038 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693128 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 30087
/proc/meminfo: memFree=25872868/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693140 CPUtime=2202.08 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720577 0 0 0 220101 107 0 0 20 0 1 0 82053754 2787700736 673285 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393793 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673285 311 7529 0 673038 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693140 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 30089
/proc/meminfo: memFree=25872648/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693152 CPUtime=2262.08 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720654 0 0 0 226101 107 0 0 20 0 1 0 82053754 2787700736 673288 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393736 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673288 311 7529 0 673038 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693152 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 30091
/proc/meminfo: memFree=25872800/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693164 CPUtime=2322.08 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720746 0 0 0 232101 107 0 0 20 0 1 0 82053754 2787700736 673291 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393767 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673291 311 7529 0 673038 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693164 KiB

[startup+2382.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/181 30094
/proc/meminfo: memFree=25872704/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2722364 memory=2693192 CPUtime=2382.08 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 720844 0 0 0 238101 107 0 0 20 0 1 0 82053754 2787700736 673298 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394056 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680591 673298 311 7529 0 673038 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 2722364 KiB
Current children cumulated memory: 2693192 KiB

[startup+2442.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/181 30096
/proc/meminfo: memFree=25871988/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2723024 memory=2693568 CPUtime=2442.07 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 721073 0 0 0 244100 107 0 0 20 0 1 0 82053754 2788376576 673392 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4394044 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680756 673392 311 7529 0 673203 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 2723024 KiB
Current children cumulated memory: 2693568 KiB

[startup+2502.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/185 30113
/proc/meminfo: memFree=25868896/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2723024 memory=2693780 CPUtime=2502.07 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 721185 0 0 0 250100 107 0 0 20 0 1 0 82053754 2788376576 673445 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393824 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680756 673445 311 7529 0 673203 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 2723024 KiB
Current children cumulated memory: 2693780 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.05 2.10 2.08 3/185 30113
/proc/meminfo: memFree=25868864/32770624 swapFree=67108860/67108860
[pid=29865] ppid=29862 vsize=2723024 memory=2693788 CPUtime=2519.78 cores=1,3,5,7
/proc/29865/stat : 29865 (BTD) R 29862 29865 17093 0 -1 4202496 721213 0 0 0 251871 107 0 0 20 0 1 0 82053754 2788376576 673447 18446744073709551615 4194304 35031035 140730394780192 140730394778760 4393910 0 0 1 0 0 0 0 17 3 0 0 10 0 0 37130264 37226188 37392384 140730394784223 140730394784299 140730394784299 140730394787793 0
/proc/29865/statm: 680756 673447 311 7529 0 673203 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 2723024 KiB
Current children cumulated memory: 2693788 KiB

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

[startup+2520.02 s]
# the end of solver process 29865 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.71 s, system=1.08395 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.02
CPU time (s): 2519.8
CPU user time (s): 2518.71
CPU system time (s): 1.08395
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 2723024
Max. memory (cumulated for all children) (KiB): 2693788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.08395
maximum resident set size= 2693788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721213
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= 11
involuntary context switches= 980


# summary of solver processes directly reported to runsolver:
#   pid: 29865
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2518.71
#   total CPU system time (s): 1.08395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.72608 second user time and 15.736 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-15 13:49:16
IDJOB=4265567
IDBENCH=140614
IDSOLVER=2654
FILE ID=node127/4265567-1502798605
RUNJOBID= node127-1502653304-21655
PBS_JOBID= 
Free space on /tmp= 61992 MiB

SOLVER NAME= BTD 2017-08-10
BENCH NAME= XCSP17/Wwtpp/Wwtpp-ord-s1/Wwtpp-ord-ex02280.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265567-1502798605/watcher-4265567-1502798605 -o /tmp/evaluation-result-4265567-1502798605/solver-4265567-1502798605 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580  BTD 2520 HOME/instance-4265567-1502798605.xml

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

MD5SUM BENCH= 266034c566073a7f5804da8fab792568
RANDOM SEED=1382774428

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:        31265960 kB
MemAvailable:   31979644 kB
Buffers:          250192 kB
Cached:           750540 kB
SwapCached:            0 kB
Active:           760308 kB
Inactive:         299352 kB
Active(anon):       8444 kB
Inactive(anon):    83804 kB
Active(file):     751864 kB
Inactive(file):   215548 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             38800 kB
Writeback:             0 kB
AnonPages:         58424 kB
Mapped:            52892 kB
Shmem:             33444 kB
Slab:             150348 kB
SReclaimable:     124216 kB
SUnreclaim:        26132 kB
KernelStack:        3264 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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-15 14:31:16