#BEGIN: [Thu Sep 7 22:11:59 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order40.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat #COMMAND: docker run --cap-add=CAP_SYS_RESOURCE --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark ai-planning2 --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat s 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 t 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 a YES a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 710 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1372 1401 1472 1520 1548 1595 a 7 42 114 141 171 231 263 305 323 379 410 464 516 525 573 614 648 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 132 171 231 263 305 323 379 410 464 516 525 573 614 648 726 764 822 860 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 132 171 231 263 305 323 379 410 464 516 525 573 614 648 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 132 171 231 260 305 323 379 410 464 516 525 573 614 648 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1520 1548 1595 a 7 42 114 132 171 231 260 305 323 379 410 464 516 525 573 614 648 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 7 42 114 132 171 240 260 305 323 379 410 464 516 525 573 614 648 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 7 42 114 132 171 240 260 305 323 379 410 464 516 525 573 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1175 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 7 42 114 132 171 240 260 305 323 379 410 464 516 525 573 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 15 42 114 132 171 240 260 305 323 379 410 464 516 525 573 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 15 42 114 132 171 240 260 305 323 379 410 464 516 525 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 15 53 114 132 171 240 260 305 323 379 410 464 516 525 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 410 464 516 525 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1472 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 410 464 516 525 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1443 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 410 464 516 552 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1347 1369 1401 1443 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 410 464 516 552 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1218 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 410 464 516 552 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 764 822 861 917 936 986 1017 1069 1113 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 114 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 822 861 917 936 986 1017 1069 1113 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 822 861 917 936 986 1017 1069 1113 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 822 861 917 936 986 1017 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1548 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 822 861 917 936 986 1017 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 822 861 908 936 986 1017 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 516 552 567 614 671 726 770 837 861 908 936 986 1017 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 502 552 567 614 671 726 770 837 861 908 936 986 1017 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 171 240 260 305 322 379 418 464 502 552 567 614 671 726 770 837 861 908 936 986 1036 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 171 240 260 305 322 379 418 457 502 552 567 614 671 726 770 837 861 908 936 986 1036 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 240 260 305 322 379 418 457 502 552 567 614 671 691 726 770 837 861 908 936 986 1036 1069 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 189 240 260 305 322 379 418 457 502 552 567 614 671 691 726 770 837 861 908 936 986 1036 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1595 a 15 53 84 132 189 240 260 305 322 379 418 457 502 552 567 614 671 691 726 770 837 861 908 936 986 1036 1075 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 a 15 53 84 132 189 240 260 305 322 379 418 457 502 552 567 614 671 691 770 837 861 908 936 986 1036 1075 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 305 322 418 457 502 552 567 614 671 691 739 770 837 861 908 936 986 1036 1075 1114 1158 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 305 322 398 418 457 502 552 567 614 671 691 739 770 837 861 908 936 986 1036 1075 1114 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 322 398 418 457 502 552 567 614 671 691 739 770 837 861 908 936 986 1036 1075 1114 1145 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 296 322 398 418 457 502 552 567 614 671 691 739 770 837 861 908 986 1036 1075 1114 1145 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 296 322 398 418 457 502 552 567 671 691 739 770 837 861 908 934 986 1036 1075 1114 1145 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 691 739 770 837 861 908 934 1036 1075 1114 1145 1168 1227 1270 1319 1325 1369 1401 1443 1503 1553 1566 a 15 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 691 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1319 1325 1369 1443 1503 1553 1566 a 15 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 691 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 691 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1325 1369 1439 1443 1503 1553 1566 a 24 53 84 132 189 240 260 296 322 398 418 457 502 552 567 626 671 739 770 837 861 908 934 961 1036 1075 1114 1145 1168 1227 1270 1291 1325 1369 1439 1443 1503 1553 1566 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/color04/qg.order40.col /benchmark/2022benchmark/benchmark/color04/qg.order40_01.dat" User time (seconds): 0.36 System time (seconds): 0.03 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.40 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 49996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 25267 Voluntary context switches: 24 Involuntary context switches: 10 Swaps: 0 File system inputs: 0 File system outputs: 2480 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 22:12:00 2023]