#BEGIN: [Thu Aug 31 22:31:50 2023]
#HOST: s01
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.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/queen040x040.col /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
c /benchmark/2022benchmark/benchmark/queen/queen040x040.col
c /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
TIMEOUT 1800
c send SIGTERM to CID 62bc786eb9c45c5916ffc8e059e9d3b95225c04a9b33437b50381c04fc5ee758
s 935 1499 408 1412 604 874 454 673 180 1285 1206 27 371 301 1270 1176 558 104 1450 483 277 1361 756 71 343 789 1097 978 832 1595 562 225 1009 1133 908 1047 146 1360 702
t 1411 673 1008 454 225 104 277 146 180 604 1282 1441 558 832 908 1270 412 756 301 1176 702 343 1595 935 483 569 1499 1050 1366 978 1097 874 1360 789 367 1133 1559 71 1205
a YES
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1522 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1361 1412 1480 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 284 343 371 408 454 483 558 562 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1412 1450 1499 1559 1595
a 27 41 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 408 454 483 558 562 673 702 724 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 408 454 483 558 562 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559 1595
a 27 41 104 146 180 225 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559
a 27 41 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1391 1412 1450 1499 1559
a 27 41 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1412 1450 1499 1559 1585
a 27 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1585
a 27 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 52 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 301 343 371 408 454 483 558 562 604 673 702 756 789 832 874 908 935 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 301 343 371 408 454 483 558 578 604 673 702 756 789 832 874 908 935 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 789 832 874 908 935 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 789 832 861 908 935 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 832 861 908 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 578 604 673 702 756 798 832 861 908 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 578 604 673 702 756 798 832 861 908 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1469 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 832 861 908 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1469 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 788 832 861 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1469 1499 1559 1585
a 27 52 104 146 180 235 277 282 343 371 408 454 483 558 578 604 673 702 756 788 832 861 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 277 282 343 371 408 454 483 558 578 604 673 702 756 788 832 861 915 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 277 282 343 371 408 454 483 558 578 604 673 702 756 788 832 869 915 935 994 1009 1047 1097 1133 1176 1206 1270 1285 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 282 343 371 408 454 483 558 578 604 673 702 756 788 832 869 915 935 994 1009 1047 1097 1133 1176 1206 1270 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 578 604 673 702 756 788 832 869 915 935 994 1009 1047 1097 1133 1176 1206 1270 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 578 604 673 702 756 788 832 869 915 935 994 1047 1097 1133 1176 1206 1270 1282 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1047 1097 1133 1176 1206 1270 1282 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1047 1097 1133 1176 1218 1270 1282 1360 1361 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1047 1097 1133 1176 1218 1270 1282 1360 1366 1431 1450 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1047 1097 1133 1176 1218 1270 1282 1360 1366 1431 1441 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 408 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1050 1097 1133 1176 1218 1270 1282 1360 1366 1431 1441 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 371 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1008 1050 1097 1133 1176 1218 1270 1282 1360 1366 1431 1441 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 367 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1008 1050 1097 1133 1176 1218 1270 1282 1360 1366 1431 1441 1499 1559 1585
a 27 52 104 146 180 205 277 301 343 367 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1008 1050 1097 1133 1176 1218 1270 1282 1360 1366 1411 1441 1499 1559 1585
a 27 104 146 180 205 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 915 935 994 1008 1050 1097 1133 1176 1218 1270 1282 1360 1366 1411 1441 1499 1559 1585
a 27 71 104 146 180 205 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 915 935 1008 1050 1097 1133 1176 1218 1270 1282 1360 1366 1411 1441 1499 1559 1585
a 27 71 104 146 180 205 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 915 935 978 1008 1050 1097 1133 1176 1270 1282 1360 1366 1411 1441 1499 1559 1585
a 27 71 104 146 180 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 915 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1585
a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 915 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559
a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 869 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 788 832 874 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595
a 71 104 146 180 225 277 301 343 367 412 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1411 1441 1499 1559 1595
c Step: 55
#END: [Thu Aug 31 23:01:50 2023]