#BEGIN: [Thu Aug 31 15:33:04 2023]
#HOST: s15
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/2022benchmark/benchmark/color04/DSJC1000.1.col
#INSTANCE2: /benchmark/2022benchmark/benchmark/color04/DSJC1000.1_02.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/2022benchmark/benchmark/color04/DSJC1000.1.col /benchmark/2022benchmark/benchmark/color04/DSJC1000.1_02.dat
c /benchmark/2022benchmark/benchmark/color04/DSJC1000.1.col
c /benchmark/2022benchmark/benchmark/color04/DSJC1000.1_02.dat
TIMEOUT 1800
c send SIGTERM to CID 47b50d96d6a5065cecb1d24dd80c94b724b467f8bd99f4346d2862eb2fab6fd9
s 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989 
t 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989
a YES
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 768 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 731 736 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 989
a 17 42 47 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 767 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 76 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 413 431 453 455 467 469 486 511 524 535 572 593 608 617 633 636 639 666 668 688 692 727 736 740 754 759 767 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 636 639 666 668 688 692 727 736 740 754 759 767 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 767 796 830 835 851 910 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 408 413 431 453 455 467 469 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 767 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 736 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 374 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 872 930 959 965 973 988 989
a 17 42 47 51 56 84 100 101 102 126 127 130 135 136 158 197 201 233 246 261 279 309 330 341 345 355 365 408 413 431 453 455 467 469 479 486 511 524 535 568 572 593 608 617 633 639 666 668 688 692 727 740 754 759 796 830 835 851 855 872 930 959 965 973 988 989
c Step: 22
#END: [Thu Aug 31 16:03:04 2023]