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

Solver Name	Answer	objective function	CPU time	Wall clock time
PicatSAT 2019-09-12	OPT	3078	176.842	176.861

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395174-1568325690/watcher-4395174-1568325690 -o /tmp/evaluation-result-4395174-1568325690/solver-4395174-1568325690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24211 --watchdog 2580 xcsp_picat HOME/instance-4395174-1568325690.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
solver pid=25116, runsolver pid=25113
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 2.11 2.18 2.05 3/199 25117
/proc/meminfo: memFree=21779240/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2038912 memory=23412 CPUtime=0.1 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 3010 0 0 0 10 0 0 0 20 0 1 0 408507461 2087845888 5853 33554432000 4194304 5870510 140727531627120 140727531625656 140560774594439 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 509728 5853 943 410 0 505201 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2038912 KiB
Current children cumulated memory: 23412 KiB

[startup+0.209907 s]*
/proc/loadavg: 2.11 2.18 2.05 3/199 25117
/proc/meminfo: memFree=21778232/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2039720 memory=26544 CPUtime=0.21 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 3369 0 0 0 20 1 0 0 20 0 1 0 408507461 2088673280 6636 33554432000 4194304 5870510 140727531627120 140727531626296 140560774594439 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 509930 6636 943 410 0 505403 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039720 KiB
Current children cumulated memory: 26544 KiB

[startup+0.309444 s]*
/proc/loadavg: 2.11 2.18 2.05 3/199 25117
/proc/meminfo: memFree=21775564/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2040224 memory=27244 CPUtime=0.31 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 3520 0 0 0 30 1 0 0 20 0 1 0 408507461 2089189376 6811 33554432000 4194304 5870510 140727531627120 140727531626296 5406532 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 510056 6811 960 410 0 505529 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2040224 KiB
Current children cumulated memory: 27244 KiB

[startup+0.700285 s]
/proc/loadavg: 2.11 2.18 2.05 3/199 25117
/proc/meminfo: memFree=21773640/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2040364 memory=27244 CPUtime=0.69 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 3538 0 0 0 68 1 0 0 20 0 1 0 408507461 2089332736 6811 33554432000 4194304 5870510 140727531627120 140727531626232 5337529 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 510091 6811 960 410 0 505564 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2040364 KiB
Current children cumulated memory: 27244 KiB

[startup+1.50029 s]
/proc/loadavg: 2.11 2.18 2.05 3/199 25117
/proc/meminfo: memFree=21774944/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2043504 memory=30472 CPUtime=1.49 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 5323 0 0 0 148 1 0 0 20 0 1 0 408507461 2092548096 7618 33554432000 4194304 5870510 140727531627120 140727531625480 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 510876 7618 991 410 0 506349 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2043504 KiB
Current children cumulated memory: 30472 KiB

[startup+3.10963 s]
/proc/loadavg: 2.10 2.18 2.05 3/199 25118
/proc/meminfo: memFree=21758164/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2067672 memory=44040 CPUtime=3.1 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 8943 0 0 0 308 2 0 0 20 0 1 0 408507461 2117296128 11010 33554432000 4194304 5870510 140727531627120 140727531625480 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 516918 11010 991 410 0 512391 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2067672 KiB
Current children cumulated memory: 44040 KiB

[startup+6.30035 s]
/proc/loadavg: 2.10 2.18 2.05 3/200 25120
/proc/meminfo: memFree=21742956/32770624 swapFree=66999188/67108860
[pid=25116] ppid=25113 vsize=2057204 memory=44008 CPUtime=6.29 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 17245 0 0 0 625 4 0 0 20 0 1 0 408507461 2106576896 11002 33554432000 4194304 5870510 140727531627120 140727531626136 5262692 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 514301 11002 991 410 0 509774 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2057204 KiB
Current children cumulated memory: 44008 KiB

[startup+12.7004 s]
/proc/loadavg: 2.02 2.16 2.05 3/199 25145
/proc/meminfo: memFree=21714976/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2096748 memory=84820 CPUtime=12.69 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 21332 0 0 0 1264 5 0 0 20 0 1 0 408507461 2147069952 21205 33554432000 4194304 5870510 140727531627120 140727531625688 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 524187 21205 998 410 0 519660 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2096748 KiB
Current children cumulated memory: 84820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.15 2.05 3/199 25145
/proc/meminfo: memFree=21723556/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2089552 memory=77372 CPUtime=25.49 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 28244 0 0 0 2542 7 0 0 20 0 1 0 408507461 2139701248 19343 33554432000 4194304 5870510 140727531627120 140727531626296 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 522388 19343 998 410 0 517861 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2089552 KiB
Current children cumulated memory: 77372 KiB

[startup+51.1097 s]
/proc/loadavg: 2.01 2.14 2.05 3/200 25147
/proc/meminfo: memFree=21721412/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2089552 memory=77520 CPUtime=51.1 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 37148 0 0 0 5100 10 0 0 20 0 1 0 408507461 2139701248 19380 33554432000 4194304 5870510 140727531627120 140727531626296 5272427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 522388 19380 998 410 0 517861 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2089552 KiB
Current children cumulated memory: 77520 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.12 2.05 3/199 25151
/proc/meminfo: memFree=21728068/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2082424 memory=70632 CPUtime=102.28 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 44071 0 0 0 10215 13 0 0 20 0 1 0 408507461 2132402176 17658 33554432000 4194304 5870510 140727531627120 140727531626296 5277429 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 520606 17658 998 410 0 516079 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2082424 KiB
Current children cumulated memory: 70632 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.10 2.05 3/199 25155
/proc/meminfo: memFree=21718844/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2089564 memory=77772 CPUtime=162.27 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 50718 0 0 0 16212 15 0 0 20 0 1 0 408507461 2139713536 19443 33554432000 4194304 5870510 140727531627120 140727531626136 5283102 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 522391 19443 998 410 0 517864 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2089564 KiB
Current children cumulated memory: 77772 KiB

[startup+176.861 s]
# the end of solver process 25116 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=176.675 s, system=0.166981 s

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

[startup+166.4 s]
/proc/loadavg: 2.00 2.10 2.05 3/199 25155
/proc/meminfo: memFree=21718844/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2089564 memory=77772 CPUtime=166.37 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 50722 0 0 0 16621 16 0 0 20 0 1 0 408507461 2139713536 19443 33554432000 4194304 5870510 140727531627120 140727531626296 5262718 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 522391 19443 998 410 0 517864 0
Current children cumulated CPU time: 166.37 s
Current children cumulated vsize: 2089564 KiB
Current children cumulated memory: 77772 KiB

[startup+172.8 s]
/proc/loadavg: 2.00 2.10 2.05 3/199 25155
/proc/meminfo: memFree=21749836/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2071212 memory=49712 CPUtime=172.77 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 51783 0 0 0 17261 16 0 0 20 0 1 0 408507461 2120921088 12428 33554432000 4194304 5870510 140727531627120 140727531625688 5308230 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 517803 12428 998 410 0 513276 0
Current children cumulated CPU time: 172.77 s
Current children cumulated vsize: 2071212 KiB
Current children cumulated memory: 49712 KiB

[startup+174.4 s]
/proc/loadavg: 2.00 2.09 2.05 3/199 25155
/proc/meminfo: memFree=21747292/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2071212 memory=49712 CPUtime=174.37 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 51783 0 0 0 17421 16 0 0 20 0 1 0 408507461 2120921088 12428 33554432000 4194304 5870510 140727531627120 140727531625560 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 517803 12428 998 410 0 513276 0
Current children cumulated CPU time: 174.37 s
Current children cumulated vsize: 2071212 KiB
Current children cumulated memory: 49712 KiB

[startup+176 s]*
/proc/loadavg: 2.00 2.09 2.05 3/199 25155
/proc/meminfo: memFree=21747292/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2071212 memory=49712 CPUtime=175.98 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 51783 0 0 0 17582 16 0 0 20 0 1 0 408507461 2120921088 12428 33554432000 4194304 5870510 140727531627120 140727531625560 5282767 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 517803 12428 998 410 0 513276 0
Current children cumulated CPU time: 175.98 s
Current children cumulated vsize: 2071212 KiB
Current children cumulated memory: 49712 KiB

[startup+176.4 s]
/proc/loadavg: 2.00 2.09 2.05 3/199 25155
/proc/meminfo: memFree=21747292/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2071212 memory=49712 CPUtime=176.37 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 51783 0 0 0 17621 16 0 0 20 0 1 0 408507461 2120921088 12428 33554432000 4194304 5870510 140727531627120 140727531625560 5272920 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 517803 12428 998 410 0 513276 0
Current children cumulated CPU time: 176.37 s
Current children cumulated vsize: 2071212 KiB
Current children cumulated memory: 49712 KiB

[startup+176.8 s]
/proc/loadavg: 2.00 2.09 2.05 3/199 25155
/proc/meminfo: memFree=21747292/32770624 swapFree=66999192/67108860
[pid=25116] ppid=25113 vsize=2071212 memory=50224 CPUtime=176.77 cores=1,3,5,7
/proc/25116/stat : 25116 (xcsp_picat) R 25113 25116 24179 0 -1 4202496 51894 0 0 0 17661 16 0 0 20 0 1 0 408507461 2120921088 12556 33554432000 4194304 5870510 140727531627120 140727531625560 5298780 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 27762688 140727531631647 140727531631725 140727531631725 140727531634634 0
/proc/25116/statm: 517803 12556 998 410 0 513276 0
Current children cumulated CPU time: 176.77 s
Current children cumulated vsize: 2071212 KiB
Current children cumulated memory: 50224 KiB

Child status: 0
Real time (s): 176.861
CPU time (s): 176.842
CPU user time (s): 176.675
CPU system time (s): 0.166981
CPU usage (%): 99.9887
Max. virtual memory (cumulated for all children) (KiB): 2138884
Max. memory (cumulated for all children) (KiB): 123712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.675
system time used= 0.166981
maximum resident set size= 123712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51991
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= 4
involuntary context switches= 181


# summary of solver processes directly reported to runsolver:
#   pid: 25116
#   total CPU time (s): 176.842
#   total CPU user time (s): 176.675
#   total CPU system time (s): 0.166981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.666209 second user time and 1.30414 second system time

The end

Begin job on node140 at 2019-09-13 00:00:50
IDJOB=4395174
IDBENCH=123028
IDSOLVER=2844
FILE ID=node140/4395174-1568325690
RUNJOBID= node140-1568322359-24211
PBS_JOBID= 21701141
Free space on /tmp= 56864 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr22a.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395174-1568325690/watcher-4395174-1568325690 -o /tmp/evaluation-result-4395174-1568325690/solver-4395174-1568325690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24211 --watchdog 2580  xcsp_picat HOME/instance-4395174-1568325690.xml

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

MD5SUM BENCH= 8cf591d8b3ba65ef1650a88ec52af52c
RANDOM SEED=1567429941

node140.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.43
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.43
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.43
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.43
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:        21798736 kB
MemAvailable:   31670164 kB
Buffers:          149540 kB
Cached:          9897592 kB
SwapCached:         2832 kB
Active:          1751212 kB
Inactive:        8492112 kB
Active(anon):     193592 kB
Inactive(anon):    43924 kB
Active(file):    1557620 kB
Inactive(file):  8448188 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66999188 kB
Dirty:              3144 kB
Writeback:             0 kB
AnonPages:        302560 kB
Mapped:            46044 kB
Shmem:             32164 kB
Slab:             323976 kB
SReclaimable:     294080 kB
SUnreclaim:        29896 kB
KernelStack:        3472 kB
PageTables:         5532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2719068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56864 MiB
End job on node140 at 2019-09-13 00:03:47

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr22a.xml
MD5SUM	8cf591d8b3ba65ef1650a88ec52af52c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	3078
Best CPU time to get the best result obtained on this benchmark	10.4002
Satisfiable
(Un)Satisfiability was proved
Number of variables	506
Number of constraints	22
Number of domains	2
Minimum domain size	22
Maximum domain size	45
Distribution of domain sizes	[{"size":22,"count":22},{"size":45,"count":21}]
Minimum variable degree	0
Maximum variable degree	5
Distribution of variable degrees	[{"degree":0,"count":463},{"degree":2,"count":32},{"degree":3,"count":4},{"degree":4,"count":5},{"degree":5,"count":2}]
Minimum constraint arity	3
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":3,"count":21},{"arity":22,"count":1}]
Number of extensional constraints	21
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":21},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4395174

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