#BEGIN: [Tue Aug 29 05:27:30 2023] #HOST: s06 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: shortest-cpu-banbaralab2-shortest2 #INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col #INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --shortest -t4 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat c /benchmark/2022benchmark/benchmark/queen/queen090x090.col c /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat s 4220 4304 2444 3322 5181 6949 4385 3107 1744 4127 2820 5889 989 1914 5440 3683 4642 866 5093 6595 7116 7303 663 4971 7922 6804 4828 7834 71 158 6847 2620 6184 1843 4041 6363 1379 6449 5602 5240 3417 7028 7741 3585 5971 1657 1036 2114 1278 7215 7565 4872 2273 5686 7479 3853 1225 8094 2786 4590 3769 7717 1476 342 3177 2357 7391 250 6542 1572 3946 2965 5535 5358 6065 519 2523 3019 2068 4740 568 758 4488 5801 6242 6717 1141 2186 426 t 682 4220 2620 3853 3014 5688 3082 5240 4385 1570 2820 6949 71 5889 2068 2523 7922 6542 989 2357 6242 6454 2786 7479 3470 1653 7028 3769 7565 4886 3683 5986 6065 6180 4488 2185 4971 1381 6847 1276 6629 3585 1026 4127 4637 6327 158 1141 6778 519 4692 3199 5618 7741 3417 8094 342 754 1773 5535 5801 5093 2965 1914 5358 594 7116 7215 250 5181 7717 4828 4304 4041 2444 2113 4529 3322 7303 6717 1842 866 3946 1225 5490 2273 7834 1477 7391 c UNKNOWN c REACHABILITY UNKNOWN Command being timed: "python3 run_3.py --shortest -t4 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_02_0808.dat" User time (seconds): 1792.51 System time (seconds): 8.84 Percent of CPU this job got: 124% Elapsed (wall clock) time (h:mm:ss or m:ss): 24:11.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): 19077036 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10159997 Voluntary context switches: 1414 Involuntary context switches: 9151 Swaps: 0 File system inputs: 0 File system outputs: 42040 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 05:51:42 2023]