#BEGIN: [Mon Aug 28 23:10:44 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen090x090.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen090x090_01_8978.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_01_8978.dat
c /benchmark/2022benchmark/benchmark/queen/queen090x090.col
c /benchmark/2022benchmark/benchmark/queen/queen090x090_01_8978.dat
*** Info : (clingo): INTERRUPTED by signal!
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.153 seconds
s 2786 1742 1400 2620 6626 7391 342 7717 1462 4127 7303 2186 3683 5618 4041 3417 6184 6813 2068 2113 1570 6542 6719 5704 3177 1186 5490 3585 4220 4907 6949 6847 4642 663 4385 4529 2820 5958 6342 3769 5535 71 8094 1844 3853 2523 158 5181 1921 7479 3480 5358 1141 775 7922 250 6222 2357 2444 1657 834 7028 5801 2965 4971 6447 7565 4705 1026 3019 4488 4828 7741 3106 6065 3946 989 594 519 4304 5093 2273 5889 5240 7834 426 7116 3322 7215
t 6714 7116 7479 519 4385 3853 5977 1548 6949 1744 6813 1225 5093 822 3322 6065 4041 2965 6847 4971 158 7215 2357 2786 1660 5686 426 2068 2273 342 5181 3470 3019 5424 4740 4619 682 2620 71 4220 3769 3181 3585 7834 5535 2820 3417 8094 250 7717 7303 1476 5889 7028 7565 3683 572 4590 5358 3946 2186 5801 7391 4304 6629 5240 1288 6271 6153 2112 1843 2444 1102 4828 4904 1036 6537 1915 776 5618 4127 7741 2523 4488 6327 3107 7922 1412 6454
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/queen/queen090x090.col /benchmark/2022benchmark/benchmark/queen/queen090x090_01_8978.dat"
	User time (seconds): 2299.54
	System time (seconds): 33.89
	Percent of CPU this job got: 132%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 29:25.57
	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): 48526864
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 39494996
	Voluntary context switches: 3561
	Involuntary context switches: 12528
	Swaps: 0
	File system inputs: 0
	File system outputs: 42352
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Aug 28 23:40:10 2023]