pauljngr / PACE2024

Submission to PACE 2024 - one-sided crossing minimization problem

Our submission to the PACE 2024 Challenge to the Exact Track and the Parameterized Track

Optil username: mppeg

Michael Jünger, Paul Jünger, Petra Mutzel, Gerhard Reinelt

June 9th, 2024

Exact solver based on branch-and-cut

You can find our solver description here.

Requirements:

• Cbc Version 2.10.7
• CMake (we used version 3.22.1)

To build the project, just run

cmake .
make

Example usage

cat tiny_test_set/website_20.gr | ./oscm
# The solution will be printed to stdout

Our results on the exact-public testset

The solver obtains provably optimal solutions for 99 of 100 instances in the required timelimit of 30 minutes.
Tested on one thread of the Intel Xeon "Sapphire Rapids" 48-core/96-thread 2.10GHz processor

Instance	#Crossings	Time
exact-public/1.gr	1482	0m 0s
exact-public/2.gr	3080	0m 0s
exact-public/3.gr	6320	0m 1s
exact-public/4.gr	6480	0m 0s
exact-public/5.gr	9702	0m 0s
exact-public/6.gr	11990	0m 0s
exact-public/7.gr	14520	0m 1s
exact-public/8.gr	16256	0m 0s
exact-public/9.gr	19740	0m 1s
exact-public/10.gr	16555	0m 3s
exact-public/11.gr	20089	0m 5s
exact-public/12.gr	829	0m 0s
exact-public/13.gr	2744	0m 0s
exact-public/14.gr	5316	0m 0s
exact-public/15.gr	9500	0m 0s
exact-public/16.gr	11068	0m 1s
exact-public/17.gr	33251	0m 12s
exact-public/18.gr	11841	0m 0s
exact-public/19.gr	18104	0m 0s
exact-public/20.gr	14897	0m 0s
exact-public/21.gr	5176	0m 0s
exact-public/22.gr	6777	0m 0s
exact-public/23.gr	8590	0m 0s
exact-public/24.gr	7686	0m 0s
exact-public/25.gr	8139	0m 0s
exact-public/26.gr	10879	0m 0s
exact-public/27.gr	3230	0m 0s
exact-public/28.gr	1559	0m 0s
exact-public/29.gr	2776	0m 0s
exact-public/30.gr	15024	0m 0s
exact-public/31.gr	22312	0m 0s
exact-public/32.gr	20873	0m 0s
exact-public/33.gr	20724	0m 0s
exact-public/34.gr	23408	0m 0s
exact-public/35.gr	27740	0m 0s
exact-public/36.gr	27022	0m 0s
exact-public/37.gr	31948	0m 0s
exact-public/38.gr	25208	0m 1s
exact-public/39.gr	198926	0m 1s
exact-public/40.gr	227764	0m 0s
exact-public/41.gr	221630	0m 0s
exact-public/42.gr	257869	0m 1s
exact-public/43.gr	275442	0m 1s
exact-public/44.gr	326396	0m 1s
exact-public/45.gr	222924	0m 0s
exact-public/46.gr	248405	0m 0s
exact-public/47.gr	293935	0m 1s
exact-public/48.gr	305888	0m 1s
exact-public/49.gr	277023	0m 0s
exact-public/50.gr	106802	0m 3s
exact-public/51.gr	97850	0m 1s
exact-public/52.gr	152556	0m 1s
exact-public/53.gr	187314	0m 3s
exact-public/54.gr	213217	0m 5s
exact-public/55.gr	82205	0m 0s
exact-public/56.gr	100013	0m 0s
exact-public/57.gr	173013	0m 0s
exact-public/58.gr	188442	0m 9s
exact-public/59.gr	227475	0m 3s
exact-public/60.gr	317024	0m 3s
exact-public/61.gr	347582	0m 3s
exact-public/62.gr	444898	0m 9s
exact-public/63.gr	56563	0m 8s
exact-public/64.gr	105838	0m 7s
exact-public/65.gr	993019	0m 1s
exact-public/66.gr	257876	0m 3s
exact-public/67.gr	317718	0m 5s
exact-public/68.gr	107438	6m 22s
exact-public/69.gr	116996	17m 17s
exact-public/70.gr	117037	0m 0s
exact-public/71.gr	132493	0m 0s
exact-public/72.gr	176033	0m 0s
exact-public/73.gr	599603	0m 26s
exact-public/74.gr	145468	6m 20s
exact-public/75.gr	215824	4m 20s
exact-public/76.gr	286207	2m 37s
exact-public/77.gr	120099	0m 18s
exact-public/78.gr	126862	0m 19s
exact-public/79.gr	152071	0m 36s
exact-public/80.gr	182715	0m 34s
exact-public/81.gr	188778	0m 43s
exact-public/82.gr	187569	0m 32s
exact-public/83.gr	125099	0m 0s
exact-public/84.gr	184166	0m 0s
exact-public/85.gr	92759	0m 0s
exact-public/86.gr	200617	0m 0s
exact-public/87.gr	236782	0m 0s
exact-public/88.gr	241803	0m 0s
exact-public/89.gr	236418	0m 0s
exact-public/90.gr	257813	0m 0s
exact-public/91.gr	268908	0m 0s
exact-public/92.gr	-	timeout
exact-public/93.gr	302803	1m 57s
exact-public/94.gr	307447	2m 37s
exact-public/95.gr	303429	3m 30s
exact-public/96.gr	251921	0m 51s
exact-public/97.gr	242361	0m 0s
exact-public/98.gr	224831	0m 1s
exact-public/99.gr	287587	0m 0s
exact-public/100.gr	346841	0m 0s

total (excluding timeout): 50m 55s

Our results on the parameterized testset

The solver obtains provably optimal solutions for all 125 instances in a total of 20 seconds.
Tested on one thread of the Intel Xeon "Sapphire Rapids" 48-core/96-thread 2.10GHz processor

Instance	#Crossings	Time
cutwidth-public/1.gr	1559	0m 0s
cutwidth-public/2.gr	1946	0m 0s
cutwidth-public/3.gr	1650	0m 0s
cutwidth-public/4.gr	4451	0m 0s
cutwidth-public/5.gr	4703	0m 0s
cutwidth-public/6.gr	5148	0m 0s
cutwidth-public/7.gr	3744	0m 0s
cutwidth-public/8.gr	4331	0m 0s
cutwidth-public/9.gr	4671	0m 0s
cutwidth-public/10.gr	10501	0m 0s
cutwidth-public/11.gr	6291	0m 0s
cutwidth-public/12.gr	11575	0m 0s
cutwidth-public/13.gr	11199	0m 0s
cutwidth-public/14.gr	6387	0m 0s
cutwidth-public/15.gr	5660	0m 0s
cutwidth-public/16.gr	14251	0m 0s
cutwidth-public/17.gr	13618	0m 0s
cutwidth-public/18.gr	6193	0m 0s
cutwidth-public/19.gr	23712	0m 0s
cutwidth-public/20.gr	5055	0m 0s
cutwidth-public/21.gr	28869	0m 0s
cutwidth-public/22.gr	2740	0m 0s
cutwidth-public/23.gr	45700	0m 1s
cutwidth-public/24.gr	9404	0m 0s
cutwidth-public/25.gr	33915	0m 0s
cutwidth-public/26.gr	7767	0m 0s
cutwidth-public/27.gr	49542	0m 0s
cutwidth-public/28.gr	17805	0m 0s
cutwidth-public/29.gr	11616	0m 0s
cutwidth-public/30.gr	17481	0m 0s
cutwidth-public/31.gr	62268	0m 0s
cutwidth-public/32.gr	5366	0m 0s
cutwidth-public/33.gr	75396	0m 0s
cutwidth-public/34.gr	5859	0m 0s
cutwidth-public/35.gr	12966	0m 0s
cutwidth-public/36.gr	6163	0m 0s
cutwidth-public/37.gr	65972	0m 0s
cutwidth-public/38.gr	9428	0m 0s
cutwidth-public/39.gr	98130	0m 1s
cutwidth-public/40.gr	6520	0m 0s
cutwidth-public/41.gr	22477	0m 0s
cutwidth-public/42.gr	13913	0m 0s
cutwidth-public/43.gr	90508	0m 0s
cutwidth-public/44.gr	19895	0m 0s
cutwidth-public/45.gr	16536	0m 0s
cutwidth-public/46.gr	5888	0m 0s
cutwidth-public/47.gr	80075	0m 0s
cutwidth-public/48.gr	7440	0m 0s
cutwidth-public/49.gr	41289	0m 0s
cutwidth-public/50.gr	15907	0m 0s
cutwidth-public/51.gr	95580	0m 0s
cutwidth-public/52.gr	10317	0m 0s
cutwidth-public/53.gr	75891	0m 0s
cutwidth-public/54.gr	34258	0m 0s
cutwidth-public/55.gr	166608	0m 1s
cutwidth-public/56.gr	14049	0m 0s
cutwidth-public/57.gr	69965	0m 0s
cutwidth-public/58.gr	13585	0m 0s
cutwidth-public/59.gr	38634	0m 0s
cutwidth-public/60.gr	5963	0m 0s
cutwidth-public/61.gr	202015	0m 0s
cutwidth-public/62.gr	17092	0m 0s
cutwidth-public/63.gr	53599	0m 0s
cutwidth-public/64.gr	16674	0m 0s
cutwidth-public/65.gr	124345	0m 0s
cutwidth-public/66.gr	14289	0m 0s
cutwidth-public/67.gr	41368	0m 1s
cutwidth-public/68.gr	34854	0m 0s
cutwidth-public/69.gr	265863	0m 0s
cutwidth-public/70.gr	15005	0m 0s
cutwidth-public/71.gr	245680	0m 0s
cutwidth-public/72.gr	15485	0m 0s
cutwidth-public/73.gr	264891	0m 0s
cutwidth-public/74.gr	11405	0m 0s
cutwidth-public/75.gr	264076	0m 1s
cutwidth-public/76.gr	58111	0m 0s
cutwidth-public/77.gr	282406	0m 0s
cutwidth-public/78.gr	27479	0m 0s
cutwidth-public/79.gr	285015	0m 0s
cutwidth-public/80.gr	16135	0m 0s
cutwidth-public/81.gr	37712	0m 0s
cutwidth-public/82.gr	14313	0m 0s
cutwidth-public/83.gr	19538	0m 0s
cutwidth-public/84.gr	50552	0m 1s
cutwidth-public/85.gr	327506	0m 0s
cutwidth-public/86.gr	379653	0m 0s
cutwidth-public/87.gr	370277	0m 0s
cutwidth-public/88.gr	20823	0m 1s
cutwidth-public/89.gr	234695	0m 0s
cutwidth-public/90.gr	345891	0m 0s
cutwidth-public/91.gr	7057	0m 0s
cutwidth-public/92.gr	42632	0m 0s
cutwidth-public/93.gr	169488	0m 0s
cutwidth-public/94.gr	8847	0m 0s
cutwidth-public/95.gr	339842	0m 0s
cutwidth-public/96.gr	39808	0m 1s
cutwidth-public/97.gr	389705	0m 0s
cutwidth-public/98.gr	14182	0m 0s
cutwidth-public/99.gr	85089	0m 0s
cutwidth-public/100.gr	31293	0m 0s
cutwidth-public/101.gr	1022	0m 0s
cutwidth-public/102.gr	1536	0m 0s
cutwidth-public/103.gr	1693	0m 1s
cutwidth-public/104.gr	4730	0m 0s
cutwidth-public/105.gr	4630	0m 0s
cutwidth-public/106.gr	6725	0m 0s
cutwidth-public/107.gr	7098	0m 1s
cutwidth-public/108.gr	6411	0m 0s
cutwidth-public/109.gr	12027	0m 0s
cutwidth-public/110.gr	46732	0m 1s
cutwidth-public/111.gr	36628	0m 0s
cutwidth-public/112.gr	114941	0m 1s
cutwidth-public/113.gr	8671	0m 0s
cutwidth-public/114.gr	9651	0m 0s
cutwidth-public/115.gr	201038	0m 1s
cutwidth-public/116.gr	37479	0m 0s
cutwidth-public/117.gr	9619	0m 0s
cutwidth-public/118.gr	19821	0m 0s
cutwidth-public/119.gr	204545	0m 1s
cutwidth-public/120.gr	104878	0m 1s
cutwidth-public/121.gr	226246	0m 1s
cutwidth-public/122.gr	218633	0m 1s
cutwidth-public/123.gr	371626	0m 2s
cutwidth-public/124.gr	53999	0m 0s
cutwidth-public/125.gr	267162	0m 1s
total		0m 20s