#BEGIN: [Fri Sep 1 04:38:50 2023] #HOST: s10 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen050x050.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat c /benchmark/2022benchmark/benchmark/queen/queen050x050.col c /benchmark/2022benchmark/benchmark/queen/queen050x050_02_6166.dat s 1470 434 528 2301 1918 2003 1658 2063 186 85 1389 1257 1625 1437 1091 950 655 1196 2217 711 2281 572 2495 1243 1348 1842 233 1579 469 977 2402 1966 1773 764 2159 1044 1515 854 1149 1710 847 2106 132 321 40 2376 374 612 1888 t 2402 321 612 1981 1389 858 847 2159 2215 280 2301 1888 1044 764 1842 2111 954 233 1918 2063 1672 2003 1710 1348 670 85 2376 434 132 1469 528 2256 374 40 1257 1437 1243 727 1091 1625 1196 467 950 1773 2495 186 1516 1579 555 a YES a 40 85 132 186 233 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 711 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1658 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 708 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1470 1515 1579 1625 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 708 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2281 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 708 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2106 2159 2217 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 708 764 847 854 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 708 764 847 854 950 977 1044 1091 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 764 847 854 950 977 1044 1091 1108 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2099 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2099 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1175 1243 1257 1348 1389 1431 1470 1515 1579 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1175 1243 1257 1348 1389 1431 1470 1515 1579 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1243 1257 1348 1389 1431 1470 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 996 1044 1091 1108 1243 1257 1348 1389 1431 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1431 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1431 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1320 1389 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1320 1389 1449 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2031 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1449 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1966 2031 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1449 1469 1515 1579 1625 1687 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1449 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2217 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 469 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 167 233 280 321 374 434 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 233 280 321 374 434 467 528 572 612 655 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 572 612 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1970 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 2031 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 854 950 953 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1981 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1666 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 854 950 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2266 2301 2376 2402 2495 a 40 85 132 186 233 321 374 434 467 528 555 612 670 727 764 847 854 950 980 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2266 2301 2376 2402 2495 a 40 85 132 186 233 321 374 434 467 528 555 612 670 727 764 847 854 950 980 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 854 950 980 1044 1091 1108 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 854 950 980 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 40 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 858 950 980 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 4 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 858 950 980 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2249 2256 2301 2376 2402 2495 a 4 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 858 950 980 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 265 321 374 434 467 528 555 612 670 727 764 847 858 950 980 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2256 2301 2376 2402 2495 a 40 85 132 186 233 321 374 434 467 528 555 612 670 727 764 847 858 950 980 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 a 40 85 132 186 233 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 a 40 85 132 186 233 280 321 374 434 467 528 555 612 670 727 764 847 858 950 954 1044 1091 1196 1243 1257 1348 1389 1437 1469 1516 1579 1625 1672 1710 1773 1842 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2376 2402 2495 c Step: 56 #END: [Fri Sep 1 04:49:00 2023]