#BEGIN: [Tue Aug 29 23:34:00 2023] #HOST: s08 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen100x100.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen100x100_02_1699.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_02_1699.dat c /benchmark/2022benchmark/benchmark/queen/queen100x100.col c /benchmark/2022benchmark/benchmark/queen/queen100x100_02_1699.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 176 3133 7941 3330 5289 7017 7682 8031 4785 4991 5437 8129 4074 938 864 2832 3747 9704 3990 2696 1262 6253 6499 9405 5728 5570 4592 4286 548 1349 3514 278 6063 4193 477 5866 9958 1143 724 7767 6561 9309 9015 4400 1065 3694 7597 8227 4888 7473 1940 8719 1568 9113 1735 2342 5360 8410 6323 4687 2536 5626 6655 6820 2444 9802 7871 1459 3412 6156 2739 375 8325 1872 9211 8906 9503 8808 652 6969 79 8607 8522 6751 3854 3280 2134 7298 9601 2916 4483 5184 1621 7195 2245 5081 7346 3018 2050 t 7682 4785 6751 1459 9309 5184 7841 9601 7767 8410 6655 7446 2739 9958 4592 2245 2536 938 7597 8325 4991 6253 652 1568 8906 5626 7398 5728 9113 5957 2916 3412 4286 4193 3514 2050 7017 8719 3133 375 3330 8522 9211 3280 3694 3747 1621 5570 9704 5081 8129 2444 864 8031 6323 6969 6063 8808 1872 548 2696 1065 7273 3854 7971 7195 6561 4888 1262 1940 8227 6820 5360 1735 4074 9503 5866 477 9802 1143 5437 724 6499 3018 2342 6156 5289 2832 79 4400 4687 278 3990 2134 9405 176 8607 4483 9015 a YES a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9646 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7398 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9646 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9646 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7871 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958 c Step: 8 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/queen/queen100x100.col /benchmark/2022benchmark/benchmark/queen/queen100x100_02_1699.dat" User time (seconds): 813.43 System time (seconds): 8.18 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 13:41.68 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): 17581116 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10226335 Voluntary context switches: 33 Involuntary context switches: 5326 Swaps: 0 File system inputs: 0 File system outputs: 57664 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 23:47:42 2023]