#BEGIN: [Wed Sep 13 18:41:36 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance008.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance008_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/exp_instance/LGC_exp_instance008.col /benchmark/exp_instance/LGC_exp_instance008_01.dat
c /benchmark/exp_instance/LGC_exp_instance008.col
c /benchmark/exp_instance/LGC_exp_instance008_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 1.279 seconds
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.015 seconds
s 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 92 95 97 99 101 103 106 108 110 111 113 115 118 120 122 123 125 127 130 132 134 135 137 139 142 144 146 147 149 151 154 156 158 159 161 163 166 168 170 171 173 175 178 180 182 183 185 187 190 192 194 195 197 199 202 204 206 207 209 211 214 216 218 219 221 223 226 228 230 231 233 235 238 240 242 243 245 247 250 252 254 255 257 259 262 264 266 267 269 271 274 276 278 279 281 283 286 288 290 291 293 295 298 300 302 303 305 307 310 312 314 315 317 319 322 324 326 327 329 331 334 336 338 339 341 343 346 348 350 351 353 355 358 360 362 363 365 367 370 372 374 375 377 379 382 384 386 387 389 391 394 396 398 399 401 403 406 408 410 411 413 415 418 420 422 423 425 427 430 432 434 435 437 439
t 1 4 6 8 10 12 14 17 19 21 23 25 27 30 32 34 36 38 40 43 45 47 49 51 53 56 58 60 62 64 66 69 71 73 75 77 79 82 84 86 88 90 93 94 97 99 101 103 106 108 110 111 113 115 118 120 122 123 125 127 130 132 134 135 137 139 142 144 146 147 149 151 154 156 158 159 161 163 166 168 170 171 173 175 178 180 182 183 185 187 190 192 194 195 197 199 202 204 206 207 209 211 214 216 218 219 221 223 226 228 230 231 233 235 238 240 242 243 245 247 250 252 254 255 257 259 262 264 266 267 269 271 274 276 278 279 281 283 286 288 290 291 293 295 298 300 302 303 305 307 310 312 314 315 317 319 322 324 326 327 329 331 334 336 338 339 341 343 346 348 350 351 353 355 358 360 362 363 365 367 370 372 374 375 377 379 382 384 386 387 389 391 394 396 398 399 401 403 406 408 410 411 413 415 418 420 422 423 425 427 430 432 434 435 437 439
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/exp_instance/LGC_exp_instance008.col /benchmark/exp_instance/LGC_exp_instance008_01.dat"
	User time (seconds): 3216.47
	System time (seconds): 1.55
	Percent of CPU this job got: 396%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:31.96
	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): 2047192
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 5
	Minor (reclaiming a frame) page faults: 675951
	Voluntary context switches: 19116
	Involuntary context switches: 6007
	Swaps: 0
	File system inputs: 1024
	File system outputs: 120
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0
#END: [Wed Sep 13 18:55:08 2023]