Trace number 4289545

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
Mistral-2.0 2018-06-15? (TO) 2400.01 2400.11

General information on the benchmark

NameCrossword/
Crossword-m18-ogd2008-vg-08-09_c18.xml
MD5SUM352bf2632dd9da6639b1d332c92c1592
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 variables72
Number of constraints17
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":72}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":72}]
Minimum constraint arity8
Maximum constraint arity9
Distribution of constraint arities[{"arity":8,"count":9},{"arity":9,"count":8}]
Number of extensional constraints17
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":17}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c Mistral 16062018
2400.00/2400.11	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289545-1532200111/watcher-4289545-1532200111 -o /tmp/evaluation-result-4289545-1532200111/solver-4289545-1532200111 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25138 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2073730747 HOME/instance-4289545-1532200111.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=26584, runsolver pid=26581


[startup+0.100173 s]*
/proc/loadavg: 2.26 2.15 2.09 4/187 26585
/proc/meminfo: memFree=18621572/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=29816 memory=4196 CPUtime=0.1 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 1265 0 0 0 10 0 0 0 20 0 1 0 37574244 30531584 1049 33554432000 4194304 7498468 140731518666224 140731518663224 140262625610725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 7454 1049 663 807 0 445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29816 KiB
Current children cumulated memory: 4196 KiB

[startup+0.209395 s]*
/proc/loadavg: 2.26 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18620456/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=30728 memory=5036 CPUtime=0.21 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 1584 0 0 0 21 0 0 0 20 0 1 0 37574244 31465472 1259 33554432000 4194304 7498468 140731518666224 140731518663224 140262625610725 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 7682 1259 663 807 0 673 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30728 KiB
Current children cumulated memory: 5036 KiB

[startup+0.308833 s]*
/proc/loadavg: 2.26 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18619040/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=32024 memory=5664 CPUtime=0.31 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 1977 0 0 0 31 0 0 0 20 0 1 0 37574244 32792576 1416 33554432000 4194304 7498468 140731518666224 140731518659464 5881872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 8006 1416 663 807 0 997 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32024 KiB
Current children cumulated memory: 5664 KiB

[startup+0.700293 s]
/proc/loadavg: 2.26 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18618036/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=35672 memory=8756 CPUtime=0.69 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 3139 0 0 0 69 0 0 0 20 0 1 0 37574244 36528128 2189 33554432000 4194304 7498468 140731518666224 140731518659464 6016813 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 8918 2189 663 807 0 1909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35672 KiB
Current children cumulated memory: 8756 KiB

[startup+1.50029 s]
/proc/loadavg: 2.26 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18515348/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=195300 memory=169840 CPUtime=1.49 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 43409 0 0 0 144 5 0 0 20 0 1 0 37574244 199987200 42460 33554432000 4194304 7498468 140731518666224 140731518657528 140262626049024 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 48825 42460 687 807 0 41816 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195300 KiB
Current children cumulated memory: 169840 KiB

[startup+3.10967 s]
/proc/loadavg: 2.24 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18315648/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309032 CPUtime=3.1 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 99716 0 0 0 300 10 0 0 20 0 1 0 37574244 343560192 77258 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77258 717 807 0 76868 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309032 KiB

[startup+6.30041 s]
/proc/loadavg: 2.24 2.15 2.09 3/187 26585
/proc/meminfo: memFree=18315552/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309036 CPUtime=6.29 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 123251 0 0 0 618 11 0 0 20 0 1 0 37574244 343560192 77259 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77259 718 807 0 76868 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309036 KiB

[startup+12.7004 s]
/proc/loadavg: 2.22 2.14 2.09 3/187 26585
/proc/meminfo: memFree=18315552/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309036 CPUtime=12.69 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 190354 0 0 0 1255 14 0 0 20 0 1 0 37574244 343560192 77259 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77259 718 807 0 76868 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309036 KiB

[startup+25.5004 s]
/proc/loadavg: 2.17 2.14 2.09 3/187 26585
/proc/meminfo: memFree=18315232/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309036 CPUtime=25.49 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 235419 0 0 0 2533 16 0 0 20 0 1 0 37574244 343560192 77259 33554432000 4194304 7498468 140731518666224 140731518661576 5791624 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77259 718 807 0 76868 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309036 KiB

[startup+51.1096 s]
/proc/loadavg: 2.11 2.13 2.09 3/187 26585
/proc/meminfo: memFree=18315208/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309036 CPUtime=51.09 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 280155 0 0 0 5090 19 0 0 20 0 1 0 37574244 343560192 77259 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77259 718 807 0 76868 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309036 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.11 2.08 3/188 26594
/proc/meminfo: memFree=18314224/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=309036 CPUtime=102.28 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 338260 0 0 0 10206 22 0 0 20 0 1 0 37574244 343560192 77259 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77259 718 807 0 76868 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 309036 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/188 26656
/proc/meminfo: memFree=18278484/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=162.26 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 353568 0 0 0 16204 22 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 26657
/proc/meminfo: memFree=18277344/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=222.25 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 357613 0 0 0 22202 23 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791638 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/188 26658
/proc/meminfo: memFree=18278236/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=282.25 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 357954 0 0 0 28202 23 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 26659
/proc/meminfo: memFree=18277832/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=342.25 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 358282 0 0 0 34202 23 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 26660
/proc/meminfo: memFree=18278496/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=402.25 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 358557 0 0 0 40202 23 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253254 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26661
/proc/meminfo: memFree=18278488/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=462.25 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 358882 0 0 0 46202 23 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791419 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB


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

/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/187 26698
/proc/meminfo: memFree=18277508/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=1722.21 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 364384 0 0 0 172197 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+1782.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 26699
/proc/meminfo: memFree=18277736/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=1782.21 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 364590 0 0 0 178197 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 26700
/proc/meminfo: memFree=18277840/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=1842.21 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 364923 0 0 0 184197 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253120 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/189 26710
/proc/meminfo: memFree=18276432/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=1902.2 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 365221 0 0 0 190196 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253120 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/189 26711
/proc/meminfo: memFree=18276688/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=1962.2 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 365425 0 0 0 196196 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791624 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/189 26712
/proc/meminfo: memFree=18277008/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2022.2 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 365632 0 0 0 202196 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/189 26713
/proc/meminfo: memFree=18277188/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2082.2 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 365837 0 0 0 208196 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253243 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 26714
/proc/meminfo: memFree=18277292/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2142.2 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 366039 0 0 0 214196 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 26715
/proc/meminfo: memFree=18277692/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2202.19 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 366252 0 0 0 220195 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 26716
/proc/meminfo: memFree=18277544/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2262.19 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 366462 0 0 0 226195 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26717
/proc/meminfo: memFree=18277560/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2322.19 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 366857 0 0 0 232195 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791403 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26718
/proc/meminfo: memFree=18277424/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2382.19 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 367165 0 0 0 238195 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 5791392 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26719
/proc/meminfo: memFree=18277296/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2400 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 367237 0 0 0 239976 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253232 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

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

[startup+2400.11 s]
# the end of solver process 26584 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.76 s, system=0.245992 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26719
/proc/meminfo: memFree=18277296/32770624 swapFree=67108860/67108860
[pid=26584] ppid=26581 vsize=335508 memory=310184 CPUtime=2400 cores=1,3,5,7
/proc/26584/stat : 26584 (MistralXCSP) R 26581 26584 25105 0 -1 4202496 367237 0 0 0 239976 24 0 0 20 0 1 0 37574244 343560192 77546 33554432000 4194304 7498468 140731518666224 140731518661576 4253232 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 42000384 140731518669933 140731518670083 140731518670083 140731518672841 0
/proc/26584/statm: 83877 77546 718 807 0 76868 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 335508 KiB
Current children cumulated memory: 310184 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2399.76
CPU system time (s): 0.245992
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 335508
Max. memory (cumulated for all children) (KiB): 310184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.76
system time used= 0.245992
maximum resident set size= 310204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367273
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= 60
involuntary context switches= 614


# summary of solver processes directly reported to runsolver:
#   pid: 26584
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2399.76
#   total CPU system time (s): 0.245992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.43147 second user time and 22.434 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-21 21:08:31
IDJOB=4289545
IDBENCH=141442
IDSOLVER=2741
FILE ID=node139/4289545-1532200111
RUNJOBID= node139-1532190500-25138
PBS_JOBID= 21018928
Free space on /tmp= 45916 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Crossword/Crossword-m18-ogd2008-vg-08-09_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289545-1532200111/watcher-4289545-1532200111 -o /tmp/evaluation-result-4289545-1532200111/solver-4289545-1532200111 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25138 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2073730747 HOME/instance-4289545-1532200111.xml

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

MD5SUM BENCH= 352bf2632dd9da6639b1d332c92c1592
RANDOM SEED=2073730747

node139.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.80
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.80
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.80
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.80
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:        18622556 kB
MemAvailable:   31935620 kB
Buffers:          120512 kB
Cached:         13248808 kB
SwapCached:            0 kB
Active:          1092632 kB
Inactive:       12336284 kB
Active(anon):      15052 kB
Inactive(anon):    64124 kB
Active(file):    1077580 kB
Inactive(file): 12272160 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             12812 kB
Writeback:             0 kB
AnonPages:         66624 kB
Mapped:            35988 kB
Shmem:             17036 kB
Slab:             418708 kB
SReclaimable:     391784 kB
SUnreclaim:        26924 kB
KernelStack:        3360 kB
PageTables:         5192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     351068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 45904 MiB
End job on node139 at 2018-07-21 21:48:31