#BEGIN: [Wed Sep 13 18:42:37 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: existent-cpu-banbaralab2-existent3
#INSTANCE1: /benchmark/exp_instance/LGC_exp_instance010.col
#INSTANCE2: /benchmark/exp_instance/LGC_exp_instance010_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_instance010.col /benchmark/exp_instance/LGC_exp_instance010_01.dat
c /benchmark/exp_instance/LGC_exp_instance010.col
c /benchmark/exp_instance/LGC_exp_instance010_01.dat
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 3.123 seconds
*** Info : (clingo): Sending shutdown signal...
*** ERROR: (clingo): solving stopped by signal
*** Info : (clingo): Shutdown completed in 0.011 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 105 108 110 112 114 116 118 121 123 125 127 129 132 134 136 137 139 141 144 146 148 149 151 153 156 158 160 161 163 165 168 170 172 173 175 177 180 182 184 185 187 189 192 194 196 197 199 201 204 206 208 209 211 213 216 218 220 221 223 225 228 230 232 233 235 237 240 242 244 245 247 249 252 254 256 257 259 261 264 266 268 269 271 273 276 278 280 281 283 285 288 290 292 293 295 297 300 302 304 305 307 309 312 314 316 317 319 321 324 326 328 329 331 333 336 338 340 341 343 345 348 350 352 353 355 357 360 362 364 365 367 369 372 374 376 377 379 381 384 386 388 389 391 393 396 398 400 401 403 405 408 410 412 413 415 417 420 422 424 425 427 429 432 434 436 437 439 441 444 446 448 449 451 453 456 458 460 461 463 465 468 470 472 473 475 477 480 482 484 485 487 489 492 494 496 497 499 501 504 506 508 509 511 513 516 518 520 521 523 525 528 530 532 533 535 537 540 542 544 545 547 549 552 554 556 557 559 561 564 566 568 569 571 573 576 578 580 581 583 585 588 590 592 593 595 597 600 602 604 605 607 609 612 614 616 617 619 621 624 626 628 629 631 633 636 638 640 641 643 645 648 650 652 653 655 657 660 662 664 665 667 669
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 92 95 97 99 101 103 105 108 110 112 114 116 119 120 123 125 127 129 132 134 136 137 139 141 144 146 148 149 151 153 156 158 160 161 163 165 168 170 172 173 175 177 180 182 184 185 187 189 192 194 196 197 199 201 204 206 208 209 211 213 216 218 220 221 223 225 228 230 232 233 235 237 240 242 244 245 247 249 252 254 256 257 259 261 264 266 268 269 271 273 276 278 280 281 283 285 288 290 292 293 295 297 300 302 304 305 307 309 312 314 316 317 319 321 324 326 328 329 331 333 336 338 340 341 343 345 348 350 352 353 355 357 360 362 364 365 367 369 372 374 376 377 379 381 384 386 388 389 391 393 396 398 400 401 403 405 408 410 412 413 415 417 420 422 424 425 427 429 432 434 436 437 439 441 444 446 448 449 451 453 456 458 460 461 463 465 468 470 472 473 475 477 480 482 484 485 487 489 492 494 496 497 499 501 504 506 508 509 511 513 516 518 520 521 523 525 528 530 532 533 535 537 540 542 544 545 547 549 552 554 556 557 559 561 564 566 568 569 571 573 576 578 580 581 583 585 588 590 592 593 595 597 600 602 604 605 607 609 612 614 616 617 619 621 624 626 628 629 631 633 636 638 640 641 643 645 648 650 652 653 655 657 660 662 664 665 667 669
c UNKNOWN
c REACHABILITY UNKNOWN
	Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/exp_instance/LGC_exp_instance010.col /benchmark/exp_instance/LGC_exp_instance010_01.dat"
	User time (seconds): 3183.84
	System time (seconds): 2.09
	Percent of CPU this job got: 391%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 13:34.15
	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): 4010436
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 3
	Minor (reclaiming a frame) page faults: 1246310
	Voluntary context switches: 36448
	Involuntary context switches: 4308
	Swaps: 0
	File system inputs: 768
	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:56:11 2023]