#BEGIN: [Fri Sep 15 04:04:10 2023]
#HOST: s07
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-ai-planning-longest2
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen040x040.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
#COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning --config=longest-portfolio --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen040x040.col /benchmark/2022benchmark/benchmark/queen/queen040x040_03_7037.dat
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 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 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 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1009 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 562 604 673 702 756 789 832 874 908 935 978 1008 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1097 1133 1176 1206 1270 1285 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1097 1133 1176 1206 1270 1282 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1206 1270 1282 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1270 1282 1360 1361 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1270 1282 1360 1412 1450 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1270 1282 1360 1412 1441 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1077 1097 1133 1176 1205 1270 1282 1360 1372 1441 1499 1559 1595
a 27 71 104 146 180 225 246 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1372 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1372 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 371 407 454 483 558 569 604 673 702 756 789 832 874 908 935 978 1008 1050 1097 1133 1176 1205 1270 1282 1360 1366 1441 1499 1559 1595
a 27 71 104 146 180 225 277 301 343 407 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
a 27 71 104 146 180 225 277 301 343 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
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
#END: [Fri Sep 15 04:33:10 2023]