2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: Mistral-2.0 2017-06-28	SAT (TO)	26	2400.09	2400.9

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240168-1500638679/watcher-4240168-1500638679 -o /tmp/evaluation-result-4240168-1500638679/solver-4240168-1500638679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3571 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 185660316 HOME/instance-4240168-1500638679.xml 

pid=8432
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8435
/proc/meminfo: memFree=30635944/32770624 swapFree=6376/1120036
[pid=8435] ppid=8432 vsize=29068 CPUtime=0 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1041 0 0 0 0 0 0 0 20 0 1 0 17145114 29765632 868 33554432000 4194304 7402444 140733175412464 140733175409512 140153792744421 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7267 868 618 784 0 281 0

[startup+0.100113 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8435
/proc/meminfo: memFree=30635944/32770624 swapFree=6376/1120036
[pid=8435] ppid=8432 vsize=29564 CPUtime=0.09 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1171 0 0 0 9 0 0 0 20 0 1 0 17145114 30273536 1000 33554432000 4194304 7402444 140733175412464 140733175405704 5905588 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7391 1000 631 784 0 405 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29564

[startup+0.200241 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8435
/proc/meminfo: memFree=30635944/32770624 swapFree=6376/1120036
[pid=8435] ppid=8432 vsize=30020 CPUtime=0.19 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1314 0 0 0 19 0 0 0 20 0 1 0 17145114 30740480 1094 33554432000 4194304 7402444 140733175412464 140733175405704 5931641 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7505 1094 631 784 0 519 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30020

[startup+0.300198 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8435
/proc/meminfo: memFree=30635944/32770624 swapFree=6376/1120036
[pid=8435] ppid=8432 vsize=30536 CPUtime=0.29 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1532 0 0 0 29 0 0 0 20 0 1 0 17145114 31268864 1206 33554432000 4194304 7402444 140733175412464 140733175405704 140153793488296 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7634 1206 679 784 0 648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30536

[startup+0.700172 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8435
/proc/meminfo: memFree=30635944/32770624 swapFree=6376/1120036
[pid=8435] ppid=8432 vsize=30932 CPUtime=0.69 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1631 0 0 0 69 0 0 0 20 0 1 0 17145114 31674368 1272 33554432000 4194304 7402444 140733175412464 140733175401272 5947810 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7733 1272 680 784 0 747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30932

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8436
/proc/meminfo: memFree=30633168/32770624 swapFree=6376/1119980
[pid=8435] ppid=8432 vsize=31848 CPUtime=1.49 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 1844 0 0 0 149 0 0 0 20 0 1 0 17145114 32612352 1470 33554432000 4194304 7402444 140733175412464 140733175403208 5905167 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 7962 1470 680 784 0 976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31848

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8436
/proc/meminfo: memFree=30632036/32770624 swapFree=6376/1119980
[pid=8435] ppid=8432 vsize=33692 CPUtime=3.09 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 2703 0 0 0 309 0 0 0 20 0 1 0 17145114 34500608 1937 33554432000 4194304 7402444 140733175412464 140733175403208 6063637 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 8423 1937 680 784 0 1437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33692

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8436
/proc/meminfo: memFree=30627164/32770624 swapFree=6376/1119988
[pid=8435] ppid=8432 vsize=36772 CPUtime=6.28 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 4149 0 0 0 628 0 0 0 20 0 1 0 17145114 37654528 2743 33554432000 4194304 7402444 140733175412464 140733175403208 6044217 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 9193 2743 680 784 0 2207 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36772

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8436
/proc/meminfo: memFree=30620568/32770624 swapFree=6376/1119996
[pid=8435] ppid=8432 vsize=44864 CPUtime=12.68 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 8905 0 0 0 1267 1 0 0 20 0 1 0 17145114 45940736 4932 33554432000 4194304 7402444 140733175412464 140733175407480 4239267 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4932 730 784 0 4230 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44864

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8436
/proc/meminfo: memFree=30617856/32770624 swapFree=6376/1120004
[pid=8435] ppid=8432 vsize=44864 CPUtime=25.48 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 15616 0 0 0 2547 1 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5758845 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44864

[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 8436
/proc/meminfo: memFree=30618000/32770624 swapFree=6376/1120012
[pid=8435] ppid=8432 vsize=44864 CPUtime=51.08 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 18981 0 0 0 5106 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4529200 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44864

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8437
/proc/meminfo: memFree=30618076/32770624 swapFree=6376/1120044
[pid=8435] ppid=8432 vsize=44864 CPUtime=102.26 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 22343 0 0 0 10224 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4248978 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44864

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8438
/proc/meminfo: memFree=30616800/32770624 swapFree=6376/1120088
[pid=8435] ppid=8432 vsize=44864 CPUtime=162.23 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 22510 0 0 0 16221 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4239179 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 44864

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8439
/proc/meminfo: memFree=30617552/32770624 swapFree=6376/1120124
[pid=8435] ppid=8432 vsize=44864 CPUtime=222.21 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 22668 0 0 0 22219 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4248926 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 44864

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8504
/proc/meminfo: memFree=30770992/32770624 swapFree=6376/1120292
[pid=8435] ppid=8432 vsize=44864 CPUtime=282.19 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 22830 0 0 0 28217 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5758807 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 44864

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8513
/proc/meminfo: memFree=30706788/32770624 swapFree=6376/1120352
[pid=8435] ppid=8432 vsize=44864 CPUtime=342.17 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 22988 0 0 0 34215 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5871069 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 44864

[startup+402.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 8514
/proc/meminfo: memFree=30640896/32770624 swapFree=6376/1120408
[pid=8435] ppid=8432 vsize=44864 CPUtime=402.15 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 23147 0 0 0 40213 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4248838 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 44864

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 8515
/proc/meminfo: memFree=30640652/32770624 swapFree=6376/1120436
[pid=8435] ppid=8432 vsize=44864 CPUtime=462.13 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 23306 0 0 0 46211 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4341797 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 44864

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8516
/proc/meminfo: memFree=30640760/32770624 swapFree=6376/1120476
[pid=8435] ppid=8432 vsize=44864 CPUtime=522.1 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 23466 0 0 0 52208 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4234564 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 44864

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8517
/proc/meminfo: memFree=30640892/32770624 swapFree=6376/1120508
[pid=8435] ppid=8432 vsize=44864 CPUtime=582.08 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 23625 0 0 0 58206 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5877690 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 44864


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 8550
/proc/meminfo: memFree=30638872/32770624 swapFree=6376/1121044
[pid=8435] ppid=8432 vsize=44864 CPUtime=1541.76 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26174 0 0 0 154174 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4248978 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 44864

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8551
/proc/meminfo: memFree=30638988/32770624 swapFree=6376/1121076
[pid=8435] ppid=8432 vsize=44864 CPUtime=1601.74 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26261 0 0 0 160172 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4254600 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 44864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8552
/proc/meminfo: memFree=30638868/32770624 swapFree=6376/1121104
[pid=8435] ppid=8432 vsize=44864 CPUtime=1661.72 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26420 0 0 0 166170 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4747226 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 44864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8553
/proc/meminfo: memFree=30638800/32770624 swapFree=6376/1121152
[pid=8435] ppid=8432 vsize=44864 CPUtime=1721.7 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26580 0 0 0 172168 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4239193 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 44864

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8554
/proc/meminfo: memFree=30638208/32770624 swapFree=6376/1121180
[pid=8435] ppid=8432 vsize=44864 CPUtime=1781.68 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26739 0 0 0 178166 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5877851 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 44864

[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8555
/proc/meminfo: memFree=30638372/32770624 swapFree=6376/1121204
[pid=8435] ppid=8432 vsize=44864 CPUtime=1841.66 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 26898 0 0 0 184164 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5877690 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1841.66
Current children cumulated vsize (KiB) 44864

[startup+1902.3 s]
/proc/loadavg: 2.20 2.08 2.06 3/187 8556
/proc/meminfo: memFree=30638212/32770624 swapFree=6376/1121236
[pid=8435] ppid=8432 vsize=44864 CPUtime=1901.64 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27059 0 0 0 190162 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4712877 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1901.64
Current children cumulated vsize (KiB) 44864

[startup+1962.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/187 8557
/proc/meminfo: memFree=30638448/32770624 swapFree=6376/1121264
[pid=8435] ppid=8432 vsize=44864 CPUtime=1961.62 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27221 0 0 0 196160 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4239193 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 1961.62
Current children cumulated vsize (KiB) 44864

[startup+2022.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 8558
/proc/meminfo: memFree=30638884/32770624 swapFree=6376/1121304
[pid=8435] ppid=8432 vsize=44864 CPUtime=2021.6 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27380 0 0 0 202158 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4238608 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2021.6
Current children cumulated vsize (KiB) 44864

[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 8559
/proc/meminfo: memFree=30639368/32770624 swapFree=6376/1121336
[pid=8435] ppid=8432 vsize=44864 CPUtime=2081.58 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27540 0 0 0 208156 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4239303 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2081.58
Current children cumulated vsize (KiB) 44864

[startup+2142.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/188 8568
/proc/meminfo: memFree=30630924/32770624 swapFree=6376/1121376
[pid=8435] ppid=8432 vsize=44864 CPUtime=2141.56 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27700 0 0 0 214154 2 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4249030 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2141.56
Current children cumulated vsize (KiB) 44864

[startup+2202.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 8569
/proc/meminfo: memFree=30631280/32770624 swapFree=6376/1121408
[pid=8435] ppid=8432 vsize=44864 CPUtime=2201.55 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 27859 0 0 0 220152 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 4248948 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2201.55
Current children cumulated vsize (KiB) 44864

[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 8570
/proc/meminfo: memFree=30631384/32770624 swapFree=6376/1121444
[pid=8435] ppid=8432 vsize=44864 CPUtime=2261.52 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 28019 0 0 0 226149 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5758807 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2261.52
Current children cumulated vsize (KiB) 44864

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8571
/proc/meminfo: memFree=30631724/32770624 swapFree=6376/1121468
[pid=8435] ppid=8432 vsize=44864 CPUtime=2321.5 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 28180 0 0 0 232147 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5877676 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2321.5
Current children cumulated vsize (KiB) 44864

[startup+2382.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/188 8572
/proc/meminfo: memFree=30631596/32770624 swapFree=6376/1121492
[pid=8435] ppid=8432 vsize=44864 CPUtime=2381.48 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 28337 0 0 0 238145 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5874954 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2381.48
Current children cumulated vsize (KiB) 44864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.9 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 8572
/proc/meminfo: memFree=30631624/32770624 swapFree=6376/1121500
[pid=8435] ppid=8432 vsize=44864 CPUtime=2400.08 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 28425 0 0 0 240005 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5820806 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 44864

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8435 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.9 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 8572
/proc/meminfo: memFree=30631624/32770624 swapFree=6376/1121500
[pid=8435] ppid=8432 vsize=44864 CPUtime=2400.08 cores=0,2,4,6
/proc/8435/stat : 8435 (MistralXCSP) R 8432 8435 3540 0 -1 4202496 28425 0 0 0 240005 3 0 0 20 0 1 0 17145114 45940736 4951 33554432000 4194304 7402444 140733175412464 140733175407480 5820806 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9500608 9505824 33308672 140733175420073 140733175420222 140733175420222 140733175422921 0
/proc/8435/statm: 11216 4951 730 784 0 4230 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 44864

Child status: 0
Real time (s): 2400.9
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.034988
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 44864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.034988
maximum resident set size= 19836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28467
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= 17
involuntary context switches= 124761

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03401 second user time and 9.06598 second system time

The end

Begin job on node121 at 2017-07-21 14:04:39
IDJOB=4240168
IDBENCH=120600
IDSOLVER=2622
FILE ID=node121/4240168-1500638679
RUNJOBID= node121-1500623787-3571
PBS_JOBID= 20623011
Free space on /tmp= 61992 MiB

SOLVER NAME= Mistral-2.0 2017-06-28
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.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-4240168-1500638679/watcher-4240168-1500638679 -o /tmp/evaluation-result-4240168-1500638679/solver-4240168-1500638679 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500623787-3571 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 185660316 HOME/instance-4240168-1500638679.xml

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

MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3
RANDOM SEED=185660316

node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 2000.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.47
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		: 2133.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.47
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		: 1600.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		: 1867.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.47
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		: 1600.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		: 2267.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.47
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		: 1600.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:        30636688 kB
MemAvailable:   31832408 kB
Buffers:          163424 kB
Cached:          1311452 kB
SwapCached:            0 kB
Active:           583396 kB
Inactive:        1128704 kB
Active(anon):     240112 kB
Inactive(anon):     8668 kB
Active(file):     343284 kB
Inactive(file):  1120036 kB
Unevictable:        6376 kB
Mlocked:            6388 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6136 kB
Writeback:             0 kB
AnonPages:        384680 kB
Mapped:            34724 kB
Shmem:              8848 kB
Slab:             121660 kB
SReclaimable:      96472 kB
SUnreclaim:        25188 kB
KernelStack:        3648 kB
PageTables:         5384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    327680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61980 MiB
End job on node121 at 2017-07-21 14:44:40

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	25
Best CPU time to get the best result obtained on this benchmark	2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4240168

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data