#BEGIN: [Mon Aug 28 23:06:57 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/2022benchmark/benchmark/queen/queen070x070.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.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/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat
c /benchmark/2022benchmark/benchmark/queen/queen070x070.col
c /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.114 seconds
s 1697 4590 1472 3376 736 1610 539 3554 3257 4215 691 2089 4283 4136 3088 2713 2449 196 2810 3674 3325 4098 4894 4419 1958 818 3735 3617 2958 1000 2297 4351 859 3189 1851 1267 3826 937 2011 2754 372 231 4485 4621 2578 3882 3442 3963 2163 2516 1220 589 55 3043 2354 2184 1677 330 1791 1073 4694 1146 2655 2873 122 4802 4018 1460 1392
t 4621 122 4694 3320 2163 3376 860 691 2345 1958 1472 1677 393 1064 4894 1839 3442 2516 2089 3257 4590 1392 1782 196 2191 2655 1147 2578 787 3735 4419 4215 3826 3674 3189 1610 330 4807 213 2836 465 3054 4098 2449 2297 589 1267 2958 1690 941 4136 3102 3892 4283 2011 3618 1460 1008 2878 723 3554 4351 3946 4031 4485 1223 55 2754 539
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/queen/queen070x070.col /benchmark/2022benchmark/benchmark/queen/queen070x070_03_1545.dat"
	User time (seconds): 2278.09
	System time (seconds): 24.20
	Percent of CPU this job got: 244%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 15:41.48
	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): 64485280
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 1424
	Minor (reclaiming a frame) page faults: 27693214
	Voluntary context switches: 2738
	Involuntary context switches: 10915
	Swaps: 0
	File system inputs: 71312
	File system outputs: 19712
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Aug 28 23:22:39 2023]