#BEGIN: [Tue Aug 29 21:31:07 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/wap02a.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/2022benchmark/benchmark/color04/wap02a.col /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat c /benchmark/2022benchmark/benchmark/color04/wap02a.col c /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 t 6 21 29 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a YES a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1544 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 251 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 699 700 701 702 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 1745 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 803 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2425 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 95 120 121 152 153 154 155 160 162 163 164 236 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 95 120 121 152 153 154 155 160 162 163 164 168 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2464 a 6 42 47 58 65 68 69 70 95 120 121 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2377 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 42 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 459 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 47 58 65 68 69 70 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 456 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 256 258 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 456 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 398 404 405 406 407 409 413 414 447 448 456 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 494 495 496 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 576 577 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 514 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 298 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 829 833 834 835 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2404 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 272 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 731 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 404 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 152 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 814 829 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 a 6 21 29 47 58 65 68 69 95 103 120 140 153 154 155 160 161 162 163 168 237 238 239 240 245 246 247 248 252 255 256 261 267 268 271 273 282 283 284 291 304 305 306 309 310 340 350 381 382 383 384 385 396 397 403 405 406 407 409 413 414 447 448 456 463 467 468 472 478 494 495 497 500 501 502 515 516 517 518 519 520 521 523 526 531 533 534 535 536 544 545 575 576 589 594 595 596 597 600 601 607 615 668 699 700 701 703 717 718 719 720 721 726 732 746 750 751 759 763 771 791 795 797 801 802 809 814 833 834 841 842 845 890 891 904 925 926 1081 1153 1192 1193 1344 1345 2374 2376 2382 2394 2397 2399 2403 2405 2406 2407 2410 2411 2415 2416 2418 2426 2435 2436 2443 2451 2452 2453 2454 2455 2456 2459 2463 c Step: 31 Command being timed: "python3 run_3.py --existent --na /benchmark/2022benchmark/benchmark/color04/wap02a.col /benchmark/2022benchmark/benchmark/color04/wap02a_01.dat" User time (seconds): 405.97 System time (seconds): 13.38 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:59.39 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): 46102492 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 17136039 Voluntary context switches: 32 Involuntary context switches: 2379 Swaps: 0 File system inputs: 0 File system outputs: 4264 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Aug 29 21:38:07 2023]