#BEGIN: [Thu Sep 7 23:14:20 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-ai-planning2-existent1 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen030x030.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen030x030_04_9144.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/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_04_9144.dat s 248 284 615 538 643 725 397 130 897 814 79 162 781 51 329 671 106 450 699 562 200 576 356 18 227 473 505 753 842 t 529 53 643 699 389 725 138 671 753 562 450 160 842 106 898 307 507 287 192 224 415 81 248 474 20 781 814 576 356 a YES a 18 51 79 106 130 162 200 227 248 284 329 356 397 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897 a 18 51 79 106 162 200 227 248 284 329 356 384 397 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897 a 18 51 79 106 127 162 200 227 248 284 329 356 384 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897 a 18 51 79 106 127 162 200 227 248 329 356 384 400 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 897 a 18 51 79 106 127 162 200 227 248 329 356 384 400 450 473 505 538 562 576 615 643 671 699 725 753 781 814 842 884 a 18 51 79 106 127 162 200 227 248 281 329 356 384 400 450 473 505 538 562 576 615 643 699 725 753 781 814 842 884 a 18 51 79 106 127 200 227 248 281 329 356 384 400 450 473 505 538 562 576 615 643 687 699 725 753 781 814 842 884 a 18 51 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 562 576 615 643 687 699 725 753 781 814 842 884 a 18 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 562 576 615 643 687 699 725 753 781 814 842 884 a 18 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 753 781 814 842 884 a 42 79 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 738 753 781 814 842 884 a 21 42 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 687 699 738 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 329 356 384 400 450 473 505 515 562 576 615 643 699 738 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 356 384 400 450 473 505 515 562 576 615 643 689 699 738 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 356 384 400 450 473 505 515 562 576 619 643 689 699 738 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 562 576 619 643 689 699 738 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 689 699 753 781 814 842 884 a 21 42 87 106 127 178 200 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 699 749 753 781 814 842 884 a 21 42 87 106 127 178 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884 a 21 87 106 127 178 192 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884 a 51 87 106 127 178 192 227 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884 a 17 51 87 106 127 178 192 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 884 a 17 51 87 106 127 178 192 224 248 281 305 356 384 400 450 473 505 528 562 576 619 643 680 699 749 753 781 814 842 a 17 51 87 106 127 178 192 224 248 281 305 356 384 400 450 473 528 562 576 619 643 680 699 749 753 781 814 842 895 a 17 51 106 127 178 192 224 248 281 305 356 384 400 450 473 507 528 562 576 619 643 680 699 749 753 781 814 842 895 a 17 51 106 127 178 192 224 248 281 305 356 384 400 450 473 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 17 51 106 127 178 192 224 248 281 305 356 384 391 450 473 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 17 51 70 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 17 53 70 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 17 53 81 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 10 53 81 106 127 178 192 224 248 281 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 10 53 81 106 127 178 192 224 248 287 305 356 384 391 450 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 10 53 81 106 127 178 192 224 248 287 356 384 391 450 455 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 10 53 81 106 178 192 224 248 287 307 356 384 391 450 455 507 528 562 576 619 643 680 699 749 753 795 814 842 895 a 10 53 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 562 576 619 643 680 699 749 753 795 814 842 895 a 53 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 680 699 749 753 795 814 842 895 a 41 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 680 699 749 753 795 814 842 895 a 41 81 106 138 178 192 224 248 287 307 356 384 391 450 455 507 520 562 576 619 643 683 699 749 753 795 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 749 753 795 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 725 753 795 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 619 643 683 699 725 753 809 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 384 391 450 507 520 562 576 615 643 683 699 725 753 809 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 391 450 474 507 520 562 576 615 643 683 699 725 753 809 814 842 895 a 20 41 81 106 138 178 192 224 248 287 307 356 391 450 474 507 529 562 576 615 643 683 699 725 753 809 814 842 895 a 20 41 81 106 138 160 192 224 248 287 307 356 391 450 474 507 529 562 576 615 643 683 699 725 753 809 814 842 895 a 20 41 81 106 138 160 192 224 248 287 307 356 389 391 450 474 507 529 562 576 615 643 683 699 725 753 814 842 895 a 20 41 81 106 138 160 192 224 248 287 307 356 389 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842 895 a 20 41 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842 a 20 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 683 699 725 753 781 814 842 898 a 20 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 615 643 671 699 725 753 781 814 842 898 a 20 53 81 106 138 160 192 224 248 287 307 356 389 415 450 474 507 529 562 576 643 671 699 725 753 781 814 842 898 Command being timed: "/solvers/driver/run.py --config=existent-single --memory-limit=54 --time-limit=1800 /benchmark/2022benchmark/benchmark/queen/queen030x030.col /benchmark/2022benchmark/benchmark/queen/queen030x030_04_9144.dat" User time (seconds): 0.45 System time (seconds): 0.04 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:00.50 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): 37996 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 19870 Voluntary context switches: 21 Involuntary context switches: 15 Swaps: 0 File system inputs: 0 File system outputs: 1608 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Thu Sep 7 23:14:21 2023]