#BEGIN: [Thu Aug 31 18:35:27 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-cpu-banbaralab-longest1 #INSTANCE1: /benchmark/2022benchmark/benchmark/color04/qg.order30.col #INSTANCE2: /benchmark/2022benchmark/benchmark/color04/qg.order30_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/qg.order30.col /benchmark/2022benchmark/benchmark/color04/qg.order30_02.dat c /benchmark/2022benchmark/benchmark/color04/qg.order30.col c /benchmark/2022benchmark/benchmark/color04/qg.order30_02.dat TIMEOUT 1800 c send SIGTERM to CID 44138e8330ec2297284192ccd34b6a1857497af8dc4d4644357c8211f1589c5c s 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 t 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a YES a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 641 684 737 756 792 826 866 900 a 8 51 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 737 756 792 826 866 900 a 8 41 78 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 737 756 792 826 866 900 a 8 41 81 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 737 756 792 826 866 900 a 8 41 81 119 140 157 198 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 737 756 792 826 866 900 a 8 41 81 119 140 157 198 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 866 900 a 8 41 81 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 866 900 a 8 41 81 119 140 157 190 229 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 836 900 a 8 41 81 119 140 157 190 268 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 836 859 900 a 8 41 81 119 140 157 190 238 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 836 859 900 a 8 41 81 119 140 157 190 238 292 303 332 385 404 424 465 503 511 549 575 613 657 684 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 238 264 292 303 332 385 404 424 465 503 511 549 575 613 657 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 238 264 292 303 332 385 404 424 465 511 549 575 613 657 679 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 238 264 292 303 332 385 404 424 465 503 511 549 613 657 679 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 264 292 303 332 385 404 424 465 503 511 549 575 613 657 679 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 214 264 292 303 332 385 404 465 503 511 549 575 613 657 679 706 737 756 792 836 858 900 a 8 41 81 119 140 157 190 214 264 292 303 332 385 404 450 465 503 511 549 575 613 657 679 706 737 756 792 836 858 a 8 41 81 119 140 157 190 214 264 292 303 332 388 404 450 465 503 511 549 575 613 657 679 706 737 756 792 836 858 a 8 41 81 119 140 157 190 214 264 292 303 332 388 404 450 465 503 511 549 575 613 657 679 706 737 775 792 836 858 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 575 613 657 679 706 737 775 792 836 858 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 575 613 657 679 706 737 775 792 836 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 613 657 679 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 336 388 404 450 465 503 511 549 573 613 657 679 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 336 388 404 450 465 503 511 549 572 613 657 679 706 737 775 792 836 845 888 a 8 41 81 119 157 190 214 264 292 303 336 388 404 450 465 503 511 549 572 613 657 679 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 572 613 657 679 706 737 775 792 845 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 572 613 679 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 572 613 657 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 404 450 465 503 511 549 572 657 679 706 737 775 792 836 845 888 a 8 41 81 119 140 157 190 214 264 292 303 336 388 450 465 503 511 549 572 613 657 679 706 737 775 792 836 845 888 a 8 41 74 119 140 157 190 214 264 292 303 336 388 450 465 503 511 549 572 613 657 679 706 737 775 792 836 845 888 a 8 41 74 119 140 157 190 214 264 292 303 336 388 450 465 503 511 549 572 613 657 679 706 741 775 792 836 845 888 a 8 41 74 119 140 157 190 214 257 292 303 336 388 450 465 503 511 549 572 613 657 679 706 741 775 792 836 845 888 a 8 41 74 119 140 157 190 214 257 292 303 336 384 450 465 503 511 549 572 613 657 679 706 741 775 792 836 845 888 a 8 41 74 119 140 157 190 214 257 292 303 336 414 450 465 503 511 549 572 613 657 679 706 741 775 792 836 845 888 a 8 41 74 119 140 157 190 214 257 292 303 336 388 414 450 465 503 511 549 572 613 679 706 741 775 792 836 845 888 a 8 41 119 140 157 190 214 257 292 303 336 388 414 450 465 503 511 549 572 613 657 679 706 741 775 792 836 845 888 a 8 41 119 140 157 190 214 257 292 303 336 388 414 450 465 503 511 549 572 613 657 679 706 741 775 792 836 854 888 a 8 41 119 140 157 190 214 257 292 303 336 388 414 450 465 503 511 549 575 613 657 679 706 741 775 792 836 854 888 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 511 549 575 613 657 679 706 741 792 836 854 888 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 575 613 657 679 706 741 792 836 854 888 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 575 613 657 679 706 741 768 792 836 854 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 768 792 836 854 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 768 792 836 845 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 768 792 836 875 a 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 768 792 836 854 875 a 8 41 85 119 140 157 190 214 257 292 303 388 414 450 465 503 512 549 571 613 657 679 706 741 768 792 836 854 875 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 613 657 679 706 741 768 792 836 854 875 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 613 657 679 706 741 751 792 836 854 875 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 792 836 854 875 a 8 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 792 836 854 888 a 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 571 613 657 679 706 741 758 792 836 854 888 a 41 85 119 140 157 190 214 257 292 303 336 388 414 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 41 85 119 140 157 190 214 257 292 303 336 361 414 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 41 85 119 140 157 190 214 268 292 303 336 361 414 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 24 41 85 119 140 157 190 214 268 292 303 336 361 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 24 41 85 119 140 157 190 214 268 292 303 336 361 407 450 465 503 512 549 575 613 657 706 741 758 792 836 854 888 a 24 85 119 140 157 190 214 268 292 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 24 85 119 140 157 190 214 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 85 140 157 190 214 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 85 140 157 190 237 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 85 124 157 190 237 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 85 117 124 157 190 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 117 124 157 190 235 268 292 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 124 157 190 235 268 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 641 679 706 741 758 792 836 854 888 a 24 59 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 407 450 465 503 512 549 575 613 641 679 706 741 758 792 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 641 679 706 741 758 836 854 888 a 24 59 82 117 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 679 706 741 758 792 836 854 888 a 24 59 82 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 24 59 82 140 157 191 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 888 a 24 59 82 108 140 157 191 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 a 24 59 82 108 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 a 24 41 82 108 140 157 190 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 a 24 41 82 108 140 157 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 899 a 24 40 82 108 140 157 235 268 274 303 336 361 407 450 465 503 512 549 575 613 657 679 706 741 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 450 465 503 549 575 613 657 679 706 741 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 465 503 540 549 575 613 657 679 706 741 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 465 503 521 549 575 613 657 679 706 741 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 436 465 503 521 549 575 613 657 679 741 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 436 465 503 521 549 575 613 657 679 750 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 407 465 503 521 549 575 613 657 679 706 750 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 437 465 503 521 549 575 613 657 679 706 750 758 792 836 854 899 a 24 40 82 108 140 157 182 235 268 274 303 336 361 419 437 465 503 521 549 575 613 657 679 706 750 758 792 836 854 a 24 40 82 108 140 157 182 235 268 274 303 336 361 419 437 465 503 521 549 575 613 657 679 706 741 758 792 836 854 a 24 40 82 108 140 157 182 235 268 274 303 336 361 419 437 465 503 521 549 600 613 657 679 706 741 758 792 836 854 a 24 40 82 108 140 157 235 268 274 303 336 361 419 437 465 503 521 549 600 613 657 679 706 741 758 792 836 854 872 a 24 40 82 108 140 157 235 268 274 303 336 361 419 437 465 503 521 549 600 613 657 679 706 741 755 792 836 854 872 a 24 40 82 108 157 200 235 268 274 303 336 361 419 437 465 503 521 549 600 613 657 679 706 741 755 792 836 854 872 a 24 40 82 108 157 200 235 268 274 303 336 361 419 437 465 503 521 549 600 613 638 679 706 741 755 792 836 854 872 a 24 40 82 108 147 157 200 235 268 274 303 336 361 419 437 465 503 521 549 600 613 638 679 706 741 755 836 854 872 a 24 40 82 108 147 157 200 235 268 282 303 336 361 419 437 465 503 521 549 600 613 638 679 706 741 755 836 854 872 a 24 40 82 108 147 157 200 235 268 282 303 336 361 419 437 465 503 521 549 600 613 638 679 706 741 755 836 844 872 a 24 40 82 108 147 157 200 235 268 282 303 336 361 419 437 465 503 521 549 600 638 679 706 741 755 793 836 844 872 a 24 82 108 147 157 200 235 268 282 303 336 361 419 437 465 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 24 45 82 108 147 157 200 235 268 282 303 336 361 419 437 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 24 45 82 108 147 157 200 235 268 282 336 361 419 437 453 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 24 45 82 108 147 157 200 235 268 282 306 361 419 437 453 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 45 82 108 147 157 200 235 268 282 306 354 361 419 437 453 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 45 82 108 134 157 200 235 268 282 306 354 361 419 437 453 503 521 549 600 610 638 679 706 741 755 793 836 844 872 a 45 82 108 134 157 200 235 268 282 306 354 361 419 437 453 503 521 549 600 610 657 679 706 741 755 793 836 844 872 a 45 82 108 134 157 200 235 268 282 306 354 361 419 437 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 82 108 134 157 200 235 268 282 306 354 361 419 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 82 108 134 157 200 235 257 282 306 354 361 419 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 82 108 134 157 200 235 257 282 306 354 388 419 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 82 91 134 157 200 235 257 282 306 354 388 419 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 82 91 134 157 200 235 257 282 306 354 388 408 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 521 549 600 610 657 679 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 532 549 600 610 657 679 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 532 549 581 610 657 679 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 532 549 581 610 657 690 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 532 559 581 610 657 690 706 741 758 793 836 844 872 a 45 89 91 134 157 200 235 257 282 306 354 388 408 425 453 503 532 559 581 610 657 690 706 741 758 793 819 844 872 a 45 89 91 134 157 200 236 257 282 306 354 388 408 425 453 503 532 559 581 610 657 690 706 741 758 793 819 844 872 a 45 89 91 134 157 200 236 257 282 306 354 388 408 425 453 503 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 134 152 200 236 257 282 306 354 388 408 425 453 503 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 134 152 200 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 a 45 89 91 134 152 203 236 257 282 306 354 388 408 425 453 487 532 559 581 610 657 690 706 741 758 793 819 844 895 c Step: 126 #END: [Thu Aug 31 19:05:28 2023]