#BEGIN: [Mon Aug 28 21:58:53 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_25c.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_25c_01.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/color04/le450_25c.col /benchmark/2022benchmark/benchmark/color04/le450_25c_01.dat
c /benchmark/2022benchmark/benchmark/color04/le450_25c.col
c /benchmark/2022benchmark/benchmark/color04/le450_25c_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.056 seconds
s 11 14 15 18 25 44 73 77 85 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 
t 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
a YES
a 11 14 15 18 25 44 73 77 85 92 109 115 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 85 92 109 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 299 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436
a 11 14 15 18 25 44 73 77 85 92 100 119 133 140 148 153 163 188 191 196 201 215 230 236 237 253 258 268 270 285 292 304 324 336 352 355 365 371 376 390 393 407 413 415 429 436 448
c Step: 3
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/le450_25c.col /benchmark/2022benchmark/benchmark/color04/le450_25c_01.dat"
	User time (seconds): 259.41
	System time (seconds): 0.71
	Percent of CPU this job got: 325%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:19.90
	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): 1832424
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 769420
	Voluntary context switches: 1478
	Involuntary context switches: 709
	Swaps: 0
	File system inputs: 0
	File system outputs: 1104
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Mon Aug 28 22:00:14 2023]