#BEGIN: [Wed Aug 30 01:14:53 2023]
#HOST: s12
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-wallclock-banbaralab2-existent3
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/le450_15a.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/le450_15a_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/le450_15a.col /benchmark/2022benchmark/benchmark/color04/le450_15a_02.dat
c /benchmark/2022benchmark/benchmark/color04/le450_15a.col
c /benchmark/2022benchmark/benchmark/color04/le450_15a_02.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.002 seconds
s 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448 
t 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a YES
a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 248 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448
a 14 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 252 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 410 411 422 444 448
a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 252 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 444 448
a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 199 207 210 217 230 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
a 14 20 21 22 32 34 37 44 48 54 61 63 64 74 79 87 90 94 100 104 107 122 124 126 128 130 132 138 141 142 149 167 171 174 177 181 184 195 207 210 217 230 231 239 267 269 276 277 279 289 291 312 313 316 318 326 327 331 335 350 357 359 360 366 373 375 392 394 401 411 422 436 444 448
c Step: 4
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/2022benchmark/benchmark/color04/le450_15a.col /benchmark/2022benchmark/benchmark/color04/le450_15a_02.dat"
	User time (seconds): 256.40
	System time (seconds): 0.67
	Percent of CPU this job got: 336%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:16.46
	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): 1864564
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 666882
	Voluntary context switches: 1488
	Involuntary context switches: 651
	Swaps: 0
	File system inputs: 0
	File system outputs: 592
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Aug 30 01:16:10 2023]