#BEGIN: [Thu Aug 31 22:34:33 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen050x050.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen050x050_01_6006.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/queen/queen050x050.col /benchmark/2022benchmark/benchmark/queen/queen050x050_01_6006.dat
c /benchmark/2022benchmark/benchmark/queen/queen050x050.col
c /benchmark/2022benchmark/benchmark/queen/queen050x050_01_6006.dat
TIMEOUT 1800
c send SIGTERM to CID 1d0c80eae3e80649057f30702a2da5f83359058c66d5495fd6fa5bb26e52d205
s 1044 186 132 2063 2495 1091 1625 321 1196 2003 1981 954 467 233 1348 670 2159 85 2402 1579 1773 1710 1257 2256 374 1149 1888 858 727 1437 1469 1389 2111 612 2301 40 280 1672 764 434 555 1243 528 950 2215 847 2376 1516 1918
t 2117 1710 2063 1918 1773 2281 1257 1672 950 1842 233 1515 1149 556 764 1437 977 1579 612 434 186 1469 1888 453 1625 670 2495 1196 2402 858 280 1044 1348 2301 2376 1389 132 1954 2011 321 2205 40 374 2159 847 716 85 1091 528
a YES
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 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 1888 1918 1981 2003 2063 2111 2159 2215 2256 2301 2392 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 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 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 2256 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 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 2217 2256 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 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 2217 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 565 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 2217 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 565 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 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 565 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 2117 2159 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 456 528 565 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 2011 2063 2117 2159 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 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 2011 2063 2117 2159 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 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 1956 2011 2063 2117 2159 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 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 1956 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 612 670 716 764 847 858 950 954 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1956 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1956 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 565 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1768 1842 1888 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2380 2402 2495
a 40 85 132 186 233 266 321 374 434 453 528 556 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2380 2402 2495
a 40 85 132 186 233 266 321 374 434 453 528 556 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1243 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
a 40 85 132 186 233 280 321 374 434 453 528 556 612 670 716 764 847 858 950 977 1044 1091 1149 1196 1257 1348 1389 1437 1469 1515 1579 1625 1672 1710 1773 1842 1888 1918 1954 2011 2063 2117 2159 2205 2281 2301 2376 2402 2495
c Step: 40
#END: [Thu Aug 31 23:04:34 2023]