Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-msuncore-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_170_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/JoaoMarques-Silva/msuncore c *** MSUnCore MaxSAT solver, version 0.5, built 2009-Apr-26 09:40 *** c *** Author: Joao Marques-Silva (jpms@ucd.ie) *** c *** Instance: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0000.txt.wcnf *** c c Min unsat cost LB: 834 ... c Min unsat cost LB: 1844 ... c Min unsat cost LB: 2943 ... c Min unsat cost LB: 4041 ... c Min unsat cost LB: 4335 ... c Min unsat cost LB: 5325 ... c Min unsat cost LB: 5419 ... c Min unsat cost LB: 5979 ... c Min unsat cost LB: 6470 ... c Min unsat cost LB: 7569 ... c Min unsat cost LB: 7884 ... c Min unsat cost LB: 8894 ... c Min unsat cost LB: 9775 ... c Min unsat cost LB: 10257 ... c Min unsat cost LB: 10440 ... c Min unsat cost LB: 11539 ... c Min unsat cost LB: 12455 ... c Min unsat cost LB: 13336 ... c Min unsat cost LB: 13535 ... c Min unsat cost LB: 13629 ... c Min unsat cost LB: 13812 ... c Min unsat cost LB: 13929 ... c Min unsat cost LB: 14794 ... c Min unsat cost LB: 15156 ... c Min unsat cost LB: 15405 ... c Min unsat cost LB: 16012 ... c Min unsat cost LB: 16288 ... c Min unsat cost LB: 16571 ... c Min unsat cost LB: 16679 ... c Min unsat cost LB: 17436 ... c Min unsat cost LB: 18319 ... c Min unsat cost LB: 18484 ... c Min unsat cost LB: 18924 ... c Min unsat cost LB: 19052 ... c Min unsat cost LB: 19223 ... c Min unsat cost LB: 19271 ... c Min unsat cost LB: 19273 ... c Min unsat cost LB: 20242 ... c Min unsat cost LB: 21152 ... c Min unsat cost LB: 21342 ... c Min unsat cost LB: 21487 ... c Min unsat cost LB: 22379 ... c Min unsat cost LB: 23289 ... c Min unsat cost LB: 23302 ... c Min unsat cost LB: 23636 ... c Min unsat cost LB: 24339 ... c Min unsat cost LB: 24881 ... c Min unsat cost LB: 25081 ... c Min unsat cost LB: 25090 ... c Min unsat cost LB: 25323 ... c Min unsat cost LB: 25366 ... c Min unsat cost LB: 25615 ... c Min unsat cost LB: 26226 ... c Min unsat cost LB: 26597 ... c Min unsat cost LB: 27738 ... c Min unsat cost LB: 28054 ... c Min unsat cost LB: 28590 ... c Min unsat cost LB: 28735 ... c Min unsat cost LB: 29511 ... c Min unsat cost LB: 29711 ... c Min unsat cost LB: 29969 ... c Min unsat cost LB: 30115 ... c Min unsat cost LB: 30411 ... c Min unsat cost LB: 30891 ... c Min unsat cost LB: 31624 ... c Min unsat cost LB: 32136 ... c Min unsat cost LB: 32316 ... c Min unsat cost LB: 32558 ... c Min unsat cost LB: 33313 ... c Min unsat cost LB: 33619 ... c Min unsat cost LB: 33881 ... c Min unsat cost LB: 34733 ... c Min unsat cost LB: 35493 ... c Min unsat cost LB: 36774 ... c Min unsat cost LB: 37626 ... c Min unsat cost LB: 37761 ... c Min unsat cost LB: 38521 ... c Min unsat cost LB: 38616 ... c Min unsat cost LB: 39376 ... c Min unsat cost LB: 40041 ... c Min unsat cost LB: 41031 ... c Min unsat cost LB: 41154 ... c Min unsat cost LB: 41192 ... c Min unsat cost LB: 41871 ... c Min unsat cost LB: 42538 ... c Min unsat cost LB: 43421 ... c Min unsat cost LB: 43944 ... c Min unsat cost LB: 44317 ... c Min unsat cost LB: 45225 ... c Min unsat cost LB: 45425 ... c Min unsat cost LB: 45844 ... c Min unsat cost LB: 46251 ... c Min unsat cost LB: 46576 ... c Min unsat cost LB: 47566 ... c Min unsat cost LB: 48231 ... c Min unsat cost LB: 48658 ... c Min unsat cost LB: 49939 ... c Min unsat cost LB: 49998 ... c Min unsat cost LB: 50515 ... c Min unsat cost LB: 50733 ... c Min unsat cost LB: 51058 ... c Min unsat cost LB: 51204 ... c Min unsat cost LB: 51385 ... c Min unsat cost LB: 51427 ... c Min unsat cost LB: 51905 ... c Min unsat cost LB: 52364 ... c Min unsat cost LB: 52591 ... c Min unsat cost LB: 52669 ... c Min unsat cost LB: 53029 ... c Min unsat cost LB: 53115 ... c Min unsat cost LB: 53441 ... c Min unsat cost LB: 54396 ... c Min unsat cost LB: 55144 ... c Min unsat cost LB: 55849 ... c Min unsat cost LB: 56141 ... c Min unsat cost LB: 56303 ... c Min unsat cost LB: 56356 ... c Min unsat cost LB: 56374 ... c Min unsat cost LB: 57122 ... c Min unsat cost LB: 57137 ... c Min unsat cost LB: 57512 ... c Min unsat cost LB: 58260 ... c Min unsat cost LB: 58838 ... c Min unsat cost LB: 59748 ... c Min unsat cost LB: 59898 ... c Min unsat cost LB: 60179 ... c Min unsat cost LB: 60672 ... c Min unsat cost LB: 61659 ... c Min unsat cost LB: 62245 ... c Min unsat cost LB: 62248 ... c Min unsat cost LB: 62302 ... c Min unsat cost LB: 62317 ... c Min unsat cost LB: 62517 ... c Min unsat cost LB: 62595 ... c Min unsat cost LB: 62822 ... c Min unsat cost LB: 63027 ... c Min unsat cost LB: 63297 ... c Min unsat cost LB: 63698 ... c Min unsat cost LB: 63981 ... c Min unsat cost LB: 64034 ... c Min unsat cost LB: 64155 ... c Min unsat cost LB: 64300 ... c Min unsat cost LB: 64326 ... c Min unsat cost LB: 64358 ... c Min unsat cost LB: 64481 ... c Min unsat cost LB: 64558 ... c Min unsat cost LB: 64909 ... c Min unsat cost LB: 65357 ... c Min unsat cost LB: 65424 ... c Min unsat cost LB: 65686 ... c Min unsat cost LB: 65848 ... c Min unsat cost LB: 66029 ... c Min unsat cost LB: 66088 ... c Min unsat cost LB: 66486 ... c Min unsat cost LB: 66524 ... c Min unsat cost LB: 66538 ... c Min unsat cost LB: 67024 ... c Min unsat cost LB: 67170 ... c Min unsat cost LB: 67212 ... c Min unsat cost LB: 67392 ... c Min unsat cost LB: 67459 ... c Min unsat cost LB: 67611 ... c Min unsat cost LB: 67641 ... c Min unsat cost LB: 67656 ... c Min unsat cost LB: 67807 ... c Min unsat cost LB: 67849 ... c Min unsat cost LB: 67891 ... c Min unsat cost LB: 67936 ... c Min unsat cost LB: 67947 ... c Min unsat cost LB: 68006 ... c Min unsat cost LB: 68101 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68206 ... c Min unsat cost LB: 68303 ... c Min unsat cost LB: 68449 ... c Min unsat cost LB: 68723 ... c Min unsat cost LB: 68794 ... c Min unsat cost LB: 68904 ... c Min unsat cost LB: 68907 ... c Min unsat cost LB: 68917 ... c Min unsat cost LB: 68994 ... c Min unsat cost LB: 69098 ... c Min unsat cost LB: 69484 ... c Min unsat cost LB: 69653 ... c Min unsat cost LB: 69720 ... c Min unsat cost LB: 69978 ... c Min unsat cost LB: 70761 ... c Min unsat cost LB: 70861 ... c Min unsat cost LB: 70870 ... c Min unsat cost LB: 71054 ... c Min unsat cost LB: 71057 ... c Min unsat cost LB: 71075 ... c Min unsat cost LB: 71121 ... c Min unsat cost LB: 71175 ... c Min unsat cost LB: 71256 ... c Min unsat cost LB: 71498 ... c Min unsat cost LB: 71513 ... c Min unsat cost LB: 71582 ... c Min unsat cost LB: 71630 ... c Min unsat cost LB: 71750 ... c Min unsat cost LB: 71867 ... c Min unsat cost LB: 72050 ... c Min unsat cost LB: 72078 ... c Min unsat cost LB: 72116 ... c Min unsat cost LB: 72145 ... c Min unsat cost LB: 72163 ... c Min unsat cost LB: 72176 ... c Min unsat cost LB: 72326 ... c Min unsat cost LB: 72648 ... c Min unsat cost LB: 72793 ... c Min unsat cost LB: 72944 ... c Min unsat cost LB: 73096 ... c Min unsat cost LB: 73140 ... c Min unsat cost LB: 73173 ... c Min unsat cost LB: 73572 ... c Min unsat cost LB: 73669 ... c Min unsat cost LB: 73697 ... c Min unsat cost LB: 73715 ... c Min unsat cost LB: 73744 ... c Min unsat cost LB: 73773 ... c Min unsat cost LB: 73827 ... c Min unsat cost LB: 73842 ... c Min unsat cost LB: 73867 ... c Min unsat cost LB: 73977 ... c Min unsat cost LB: 73984 ... c Min unsat cost LB: 74002 ... c Min unsat cost LB: 74026 ... c Min unsat cost LB: 74039 ... c Min unsat cost LB: 74147 ... c Min unsat cost LB: 74157 ... c Min unsat cost LB: 74160 ... c Min unsat cost LB: 74174 ... c Min unsat cost LB: 74269 ... c Min unsat cost LB: 74274 ... c Min unsat cost LB: 74326 ... c Min unsat cost LB: 74377 ... c Min unsat cost LB: 74410 ... c Min unsat cost LB: 74432 ... c Min unsat cost LB: 74445 ... c Min unsat cost LB: 74705 ... c Min unsat cost LB: 75358 ... c Min unsat cost LB: 75398 ... c Min unsat cost LB: 75400 ... c Min unsat cost LB: 75506 ... c Min unsat cost LB: 75627 ... c Min unsat cost LB: 75734 ... c Min unsat cost LB: 75756 ... c Min unsat cost LB: 75767 ... c Min unsat cost LB: 75771 ... c Min unsat cost LB: 75785 ... c Min unsat cost LB: 75842 ... c Min unsat cost LB: 75858 ... c Min unsat cost LB: 75888 ... c Min unsat cost LB: 76038 ... c Min unsat cost LB: 76039 ... c Min unsat cost LB: 76060 ... c Min unsat cost LB: 76111 ... c Min unsat cost LB: 76297 ... c Min unsat cost LB: 76304 ... c Min unsat cost LB: 76462 ... c Min unsat cost LB: 76534 ... c Min unsat cost LB: 76548 ... c Min unsat cost LB: 76594 ... c Min unsat cost LB: 76648 ... c Min unsat cost LB: 76694 ... c Min unsat cost LB: 76990 ... c Min unsat cost LB: 76997 ... c Min unsat cost LB: 77026 ... c Min unsat cost LB: 77046 ... c Min unsat cost LB: 77070 ... c Min unsat cost LB: 77123 ... c Min unsat cost LB: 77129 ... c Min unsat cost LB: 77204 ... c Min unsat cost LB: 77208 ... c Min unsat cost LB: 77288 ... c Min unsat cost LB: 77324 ... c Min unsat cost LB: 77343 ... c Min unsat cost LB: 77449 ... c Min unsat cost LB: 77468 ... c Min unsat cost LB: 77481 ... c Min unsat cost LB: 77515 ... c Min unsat cost LB: 77615 ... c Min unsat cost LB: 77649 ... c Min unsat cost LB: 77673 ... c Min unsat cost LB: 78108 ... c Min unsat cost LB: 78124 ... c Min unsat cost LB: 78156 ... c Min unsat cost LB: 78301 ... c Min unsat cost LB: 78304 ... c Min unsat cost LB: 78371 ... c Min unsat cost LB: 78437 ... c Min unsat cost LB: 78762 ... c Min unsat cost LB: 79024 ... c Min unsat cost LB: 79066 ... c Min unsat cost LB: 79072 ... c Min unsat cost LB: 79556 ... c Min unsat cost LB: 79571 ... c Min unsat cost LB: 79753 ... c Min unsat cost LB: 79813 ... c Min unsat cost LB: 79870 ... c Min unsat cost LB: 80019 ... c Min unsat cost LB: 80103 ... c Min unsat cost LB: 80239 ... c Min unsat cost LB: 80274 ... c Min unsat cost LB: 80308 ... c Min unsat cost LB: 80363 ... c Min unsat cost LB: 80525 ... c Min unsat cost LB: 80545 ... c Min unsat cost LB: 80766 ... c Min unsat cost LB: 81064 ... c Min unsat cost LB: 81199 ... c Min unsat cost LB: 81206 ... c Min unsat cost LB: 81296 ... c Min unsat cost LB: 81330 ... c Min unsat cost LB: 81375 ... c Min unsat cost LB: 81393 ... c Min unsat cost LB: 81449 ... c Min unsat cost LB: 81468 ... c Min unsat cost LB: 81526 ... c Min unsat cost LB: 81540 ... c Min unsat cost LB: 81562 ... c Min unsat cost LB: 81564 ... c Min unsat cost LB: 81709 ... c Min unsat cost LB: 81715 ... c Min unsat cost LB: 81823 ... c Min unsat cost LB: 81865 ... c Min unsat cost LB: 81894 ... c Min unsat cost LB: 81899 ... c Min unsat cost LB: 82238 ... c Min unsat cost LB: 82245 ... c Min unsat cost LB: 82258 ... c Min unsat cost LB: 82284 ... c Min unsat cost LB: 82292 ... c Min unsat cost LB: 82312 ... c Min unsat cost LB: 82354 ... c Min unsat cost LB: 82364 ... c Min unsat cost LB: 82369 ... c Min unsat cost LB: 82387 ... c Min unsat cost LB: 82401 ... c Min unsat cost LB: 82416 ... c Min unsat cost LB: 82628 ... c Min unsat cost LB: 82634 ... c Min unsat cost LB: 82637 ... c Min unsat cost LB: 82659 ... c Min unsat cost LB: 82672 ... c Min unsat cost LB: 82701 ... c Min unsat cost LB: 82715 ... c Min unsat cost LB: 82731 ... c Min unsat cost LB: 82734 ... c Min unsat cost LB: 82745 ... c Min unsat cost LB: 82756 ... c Min unsat cost LB: 82823 ... c Min unsat cost LB: 82838 ... c Min unsat cost LB: 82847 ... c Min unsat cost LB: 82967 ... c Min unsat cost LB: 83075 ... c Min unsat cost LB: 83204 ... c Min unsat cost LB: 83214 ... c Min unsat cost LB: 83248 ... c Min unsat cost LB: 83355 ... c Min unsat cost LB: 83377 ... c Min unsat cost LB: 83382 ... c Min unsat cost LB: 83388 ... c Min unsat cost LB: 83406 ... c Min unsat cost LB: 83442 ... c Min unsat cost LB: 83458 ... c Min unsat cost LB: 83476 ... c Min unsat cost LB: 83489 ... c Min unsat cost LB: 83506 ... c Min unsat cost LB: 83509 ... c Min unsat cost LB: 83520 ... c Min unsat cost LB: 83535 ... c Min unsat cost LB: 83563 ... c Min unsat cost LB: 83568 ... c Min unsat cost LB: 83582 ... c Min unsat cost LB: 83586 ... c Min unsat cost LB: 83589 ... c Min unsat cost LB: 84073 ... c Min unsat cost LB: 84074 ... c Min unsat cost LB: 84108 ... c Min unsat cost LB: 84123 ... c Min unsat cost LB: 84128 ... c Min unsat cost LB: 84142 ... c Min unsat cost LB: 84170 ... c Min unsat cost LB: 84171 ... c Min unsat cost LB: 84188 ... c Min unsat cost LB: 84191 ... c Min unsat cost LB: 84193 ... c Min unsat cost LB: 84200 ... c Min unsat cost LB: 84208 ... c Min unsat cost LB: 84217 ... c Min unsat cost LB: 84221 ... c Min unsat cost LB: 84223 ... c Min unsat cost LB: 84232 ... c Min unsat cost LB: 84265 ... c Min unsat cost LB: 84327 ... c Min unsat cost LB: 84328 ... c Min unsat cost LB: 84330 ... c Min unsat cost LB: 84332 ... c Min unsat cost LB: 84339 ... c Min unsat cost LB: 84344 ... c Min unsat cost LB: 84357 ... c Min unsat cost LB: 84371 ... c Min unsat cost LB: 84377 ... c Min unsat cost LB: 84381 ... c Min unsat cost LB: 84385 ... c Min unsat cost LB: 84391 ... c Min unsat cost LB: 84397 ... c Min unsat cost LB: 84406 ... c Min unsat cost LB: 84411 ... c Min unsat cost LB: 84422 ... c Min unsat cost LB: 84426 ... c Min unsat cost LB: 84447 ... c Min unsat cost LB: 84448 ... c Min unsat cost LB: 84457 ... c Min unsat cost LB: 84477 ... c Min unsat cost LB: 84547 ... c Min unsat cost LB: 84567 ... c Min unsat cost LB: 84568 ... c Min unsat cost LB: 84584 ... c Min unsat cost LB: 84585 ... c Min unsat cost LB: 84587 ... c Min unsat cost LB: 84590 ... c Min unsat cost LB: 84597 ... c Min unsat cost LB: 84599 ... c Min unsat cost LB: 84603 ... c Min unsat cost LB: 84605 ... c Min unsat cost LB: 84612 ... c Min unsat cost LB: 84613 ... c Min unsat cost LB: 84637 ... c Min unsat cost LB: 84655 ... c Min unsat cost LB: 84672 ... c Min unsat cost LB: 84676 ... c Min unsat cost LB: 84679 ... c Min unsat cost LB: 84680 ... c Min unsat cost LB: 84686 ... c Min unsat cost LB: 84711 ... c Min unsat cost LB: 84712 ... c Min unsat cost LB: 84721 ... c Min unsat cost LB: 84723 ... c Min unsat cost LB: 84732 ... c Min unsat cost LB: 84735 ... c Min unsat cost LB: 84751 ... c Min unsat cost LB: 84765 ... c Min unsat cost LB: 84767 ... c Min unsat cost LB: 84772 ... c Min unsat cost LB: 84773 ... c Min unsat cost LB: 84778 ... c Min unsat cost LB: 84801 ... c Min unsat cost LB: 84804 ... c Min unsat cost LB: 84823 ... c Min unsat cost LB: 84829 ... c Min unsat cost LB: 84832 ... c Min unsat cost LB: 84846 ... c Min unsat cost LB: 84855 ... c Min unsat cost LB: 84857 ... c Min unsat cost LB: 84863 ... c Min unsat cost LB: 84869 ... c Min unsat cost LB: 84871 ... c Min unsat cost LB: 84873 ... c Min unsat cost LB: 84883 ... c Min unsat cost LB: 84884 ... c Min unsat cost LB: 84914 ... c Min unsat cost LB: 84918 ... c Min unsat cost LB: 84920 ... c Min unsat cost LB: 84928 ... c Min unsat cost LB: 84958 ... c Min unsat cost LB: 84974 ... c Min unsat cost LB: 85004 ... c Min unsat cost LB: 85020 ... c Min unsat cost LB: 85022 ... c Min unsat cost LB: 85023 ... c Min unsat cost LB: 85025 ... c Min unsat cost LB: 85028 ... c Min unsat cost LB: 85029 ... c Min unsat cost LB: 85030 ... c Min unsat cost LB: 85042 ... c Min unsat cost LB: 85046 ... c Min unsat cost LB: 85049 ... c Min unsat cost LB: 85050 ... c Min unsat cost LB: 85056 ... c Min unsat cost LB: 85057 ... c Min unsat cost LB: 85060 ... c Min unsat cost LB: 85079 ... c Min unsat cost LB: 85094 ... c Min unsat cost LB: 85095 ... c Min unsat cost LB: 85121 ... c Min unsat cost LB: 85122 ... c Min unsat cost LB: 85125 ... c Min unsat cost LB: 85126 ... c Min unsat cost LB: 85127 ... c Min unsat cost LB: 85128 ... c Min unsat cost LB: 85129 ... c Min unsat cost LB: 85130 ... c Min unsat cost LB: 85132 ... c Min unsat cost LB: 85135 ... c Min unsat cost LB: 85136 ... c Min unsat cost LB: 85143 ... c Min unsat cost LB: 85145 ... c Min unsat cost LB: 85147 ... c Min unsat cost LB: 85205 ... c Min unsat cost LB: 85213 ... c Min unsat cost LB: 85231 ... c Min unsat cost LB: 85232 ... c Min unsat cost LB: 85234 ... c Min unsat cost LB: 85235 ... c Min unsat cost LB: 85241 ... c Min unsat cost LB: 85242 ... c Min unsat cost LB: 85246 ... c Min unsat cost LB: 85249 ... c Min unsat cost LB: 85251 ... c Min unsat cost LB: 85253 ... c Min unsat cost LB: 85262 ... c Min unsat cost LB: 85263 ... c Min unsat cost LB: 85275 ... c Min unsat cost LB: 85276 ... c Min unsat cost LB: 85278 ... c Min unsat cost LB: 85282 ... c Min unsat cost LB: 85283 ... c Min unsat cost LB: 85284 ... c Min unsat cost LB: 85285 ... c Min unsat cost LB: 85290 ... c Min unsat cost LB: 85291 ... c Min unsat cost LB: 85292 ... c Min unsat cost LB: 85299 ... c Min unsat cost LB: 85304 ... c Min unsat cost LB: 85305 ... c Min unsat cost LB: 85308 ... c Min unsat cost LB: 85327 ... c Min unsat cost LB: 85328 ... c Min unsat cost LB: 85333 ... c Min unsat cost LB: 85362 ... c Min unsat cost LB: 85366 ... c Min unsat cost LB: 85377 ... c Min unsat cost LB: 85378 ... c Min unsat cost LB: 85384 ... c Min unsat cost LB: 85397 ... c Min unsat cost LB: 85436 ... c Min unsat cost LB: 85444 ... c Min unsat cost LB: 85446 ... c Min unsat cost LB: 85461 ... c Min unsat cost LB: 85468 ... c Min unsat cost LB: 85503 ... c Min unsat cost LB: 85507 ... c Min unsat cost LB: 85508 ... c Min unsat cost LB: 85511 ... c Min unsat cost LB: 85513 ... c Min unsat cost LB: 85518 ... c Min unsat cost LB: 85519 ... c Min unsat cost LB: 85540 ... c Min unsat cost LB: 85541 ... c Min unsat cost LB: 85542 ... c Min unsat cost LB: 85568 ... c Min unsat cost LB: 85572 ... c Min unsat cost LB: 85586 ... c Min unsat cost LB: 85604 ... c Min unsat cost LB: 85629 ... c Min unsat cost LB: 85644 ... c Min unsat cost LB: 85661 ... c Min unsat cost LB: 85662 ... c Min unsat cost LB: 85687 ... c Min unsat cost LB: 85691 ... c Min unsat cost LB: 85692 ... c Min unsat cost LB: 85693 ... c Min unsat cost LB: 85695 ... c Min unsat cost LB: 85696 ... c Min unsat cost LB: 85697 ... c Min unsat cost LB: 85698 ... c Min unsat cost LB: 85700 ... c Min unsat cost LB: 85701 ... c Min unsat cost LB: 85702 ... c Min unsat cost LB: 85703 ... c Min unsat cost LB: 85704 ... c Min unsat cost LB: 85705 ... c Min unsat cost LB: 85706 ... c Min unsat cost LB: 85707 ... c Min unsat cost LB: 85708 ... c Min unsat cost LB: 85709 ... c Min unsat cost LB: 85710 ... c Min unsat cost LB: 85711 ... c Min unsat cost LB: 85712 ... c Min unsat cost LB: 85713 ... c Min unsat cost LB: 85714 ... c Min unsat cost LB: 85715 ... c Min unsat cost LB: 85716 ... c Min unsat cost LB: 85717 ... c Min unsat cost LB: 85718 ... c Min unsat cost LB: 85728 ... c Min unsat cost LB: 85729 ... c Min unsat cost LB: 85730 ... c Min unsat cost LB: 85731 ... c Min unsat cost LB: 85734 ... c Min unsat cost LB: 85741 ... c Min unsat cost LB: 85746 ... c Min unsat cost LB: 85750 ... c Min unsat cost LB: 85754 ... c Min unsat cost LB: 85761 ... c Min unsat cost LB: 85764 ... c Min unsat cost LB: 85768 ... c Min unsat cost LB: 85770 ... c Min unsat cost LB: 85772 ... c Min unsat cost LB: 85775 ... c Min unsat cost LB: 85777 ... c Min unsat cost LB: 85778 ... c Min unsat cost LB: 85787 ... c Min unsat cost LB: 85789 ... c Min unsat cost LB: 85790 ... c Min unsat cost LB: 85793 ... c Min unsat cost LB: 85795 ... c Min unsat cost LB: 85797 ... c Min unsat cost LB: 85799 ... c Min unsat cost LB: 85804 ... c Min unsat cost LB: 85811 ... c Min unsat cost LB: 85816 ... c Min unsat cost LB: 85817 ... c Min unsat cost LB: 85827 ... c Min unsat cost LB: 85845 ... c Min unsat cost LB: 85881 ... c Min unsat cost LB: 85886 ... c Min unsat cost LB: 85896 ... c Min unsat cost LB: 85899 ... c Min unsat cost LB: 85900 ... c Min unsat cost LB: 85904 ... c Min unsat cost LB: 85908 ... c Min unsat cost LB: 85968 ... c Min unsat cost LB: 86024 ... c Min unsat cost LB: 86025 ... c Min unsat cost LB: 86026 ... c Min unsat cost LB: 86029 ... c Min unsat cost LB: 86030 ... c Min unsat cost LB: 86031 ... c Min unsat cost LB: 86033 ... c Min unsat cost LB: 86036 ... c Min unsat cost LB: 86045 ... c Min unsat cost LB: 86046 ... c Min unsat cost LB: 86047 ... c Min unsat cost LB: 86052 ... c Min unsat cost LB: 86057 ... c Min unsat cost LB: 86063 ... c Min unsat cost LB: 86065 ... c Min unsat cost LB: 86068 ... c Min unsat cost LB: 86070 ... c Min unsat cost LB: 86071 ... c Min unsat cost LB: 86075 ... c Min unsat cost LB: 86085 ... c Min unsat cost LB: 86089 ... c Min unsat cost LB: 86092 ... c Min unsat cost LB: 86102 ... c Min unsat cost LB: 86103 ... c Min unsat cost LB: 86106 ... c Min unsat cost LB: 86107 ... c Min unsat cost LB: 86110 ... c Min unsat cost LB: 86120 ... c Min unsat cost LB: 86121 ... c Min unsat cost LB: 86125 ... c Min unsat cost LB: 86135 ... c Min unsat cost LB: 86138 ... c Min unsat cost LB: 86146 ... c Min unsat cost LB: 86149 ... c Min unsat cost LB: 86154 ... c Min unsat cost LB: 86159 ... c Min unsat cost LB: 86160 ... c Min unsat cost LB: 86174 ... c Min unsat cost LB: 86176 ... c Min unsat cost LB: 86183 ... c Min unsat cost LB: 86188 ... c Min unsat cost LB: 86222 ... c Min unsat cost LB: 86224 ... c Min unsat cost LB: 86229 ... c Min unsat cost LB: 86232 ... c Min unsat cost LB: 86233 ... c Min unsat cost LB: 86245 ... c Min unsat cost LB: 86246 ... c Min unsat cost LB: 86247 ... c Min unsat cost LB: 86248 ... c Min unsat cost LB: 86250 ... c Min unsat cost LB: 86282 ... c Min unsat cost LB: 86283 ... c Min unsat cost LB: 86285 ... c Min unsat cost LB: 86286 ... c Min unsat cost LB: 86290 ... c Min unsat cost LB: 86293 ... c Min unsat cost LB: 86295 ... c Min unsat cost LB: 86296 ... c Min unsat cost LB: 86315 ... c Min unsat cost LB: 86316 ... c Min unsat cost LB: 86317 ... c Min unsat cost LB: 86318 ... c Min unsat cost LB: 86321 ... c Min unsat cost LB: 86322 ... c Min unsat cost LB: 86323 ... c Min unsat cost LB: 86325 ... c Min unsat cost LB: 86326 ... c Min unsat cost LB: 86333 ... c Min unsat cost LB: 86336 ... c Min unsat cost LB: 86346 ... c Min unsat cost LB: 86348 ... c Min unsat cost LB: 86350 ... c Min unsat cost LB: 86352 ... c Min unsat cost LB: 86354 ... c Min unsat cost LB: 86360 ... c Min unsat cost LB: 86361 ... c Min unsat cost LB: 86363 ... c Min unsat cost LB: 86364 ... c Min unsat cost LB: 86377 ... c Min unsat cost LB: 86385 ... c Min unsat cost LB: 86386 ... c Min unsat cost LB: 86387 ... c Min unsat cost LB: 86388 ... c Min unsat cost LB: 86389 ... c Min unsat cost LB: 86462 ... c Min unsat cost LB: 86503 ... c Min unsat cost LB: 86504 ... c Min unsat cost LB: 86505 ... c Min unsat cost LB: 86506 ... c Min unsat cost LB: 86507 ... c Min unsat cost LB: 86508 ... c Min unsat cost LB: 86517 ... c Min unsat cost LB: 86524 ... c Min unsat cost LB: 86525 ... c Min unsat cost LB: 86527 ... c Min unsat cost LB: 86528 ... c Min unsat cost LB: 86529 ... c Min unsat cost LB: 86530 ... c Min unsat cost LB: 86537 ... c Min unsat cost LB: 86538 ... c Min unsat cost LB: 86577 ... c Min unsat cost LB: 86592 ... c Min unsat cost LB: 86638 ... c Min unsat cost LB: 86645 ... c Min unsat cost LB: 86661 ... c Min unsat cost LB: 86663 ... c Min unsat cost LB: 86666 ... c Min unsat cost LB: 86668 ... c Min unsat cost LB: 86670 ... c Min unsat cost LB: 86671 ... c Min unsat cost LB: 86672 ... c Min unsat cost LB: 86675 ... c Min unsat cost LB: 86676 ... c Min unsat cost LB: 86677 ... c Min unsat cost LB: 86678 ... c Min unsat cost LB: 86679 ... c Min unsat cost LB: 86680 ... c Min unsat cost LB: 86681 ... c Min unsat cost LB: 86682 ... c Min unsat cost LB: 86683 ... c Min unsat cost LB: 86684 ... c Min unsat cost LB: 86685 ... c Min unsat cost LB: 86686 ... c Min unsat cost LB: 86687 ... c Min unsat cost LB: 86688 ... c Min unsat cost LB: 86689 ... c Min unsat cost LB: 86690 ... c Min unsat cost LB: 86691 ... c Min unsat cost LB: 86692 ... c Min unsat cost LB: 86693 ... c Min unsat cost LB: 86694 ... c Min unsat cost LB: 86700 ... c Min unsat cost LB: 86716 ... c Min unsat cost LB: 86717 ... c Min unsat cost LB: 86718 ... c Min unsat cost LB: 86719 ... c Min unsat cost LB: 86720 ... c Min unsat cost LB: 86721 ... c Min unsat cost LB: 86722 ... c Min unsat cost LB: 86723 ... c Min unsat cost LB: 86754 ... c Min unsat cost LB: 86755 ... c Min unsat cost LB: 86758 ... c Min unsat cost LB: 86760 ... c Min unsat cost LB: 86769 ... c Min unsat cost LB: 86770 ... c Min unsat cost LB: 86771 ... c Min unsat cost LB: 86772 ... c Min unsat cost LB: 86777 ... c Min unsat cost LB: 86778 ... c Min unsat cost LB: 86779 ... c Min unsat cost LB: 86781 ... c Min unsat cost LB: 86782 ... c Min unsat cost LB: 86783 ... c Min unsat cost LB: 86789 ... c Min unsat cost LB: 86790 ... c Min unsat cost LB: 86793 ... c Min unsat cost LB: 86806 ... c Min unsat cost LB: 86823 ... c Min unsat cost LB: 86833 ... c Min unsat cost LB: 86834 ... c Min unsat cost LB: 86835 ... c Min unsat cost LB: 86839 ... c Min unsat cost LB: 86840 ... c Min unsat cost LB: 86842 ... c Min unsat cost LB: 86843 ... c Min unsat cost LB: 86847 ... c Min unsat cost LB: 86849 ... c Min unsat cost LB: 86855 ... c Min unsat cost LB: 86857 ... c Min unsat cost LB: 86858 ... c Min unsat cost LB: 86859 ... c Min unsat cost LB: 86863 ... c Min unsat cost LB: 86866 ... c Min unsat cost LB: 86867 ... c Min unsat cost LB: 86868 ... c Min unsat cost LB: 86869 ... c Min unsat cost LB: 86870 ... c Min unsat cost LB: 86871 ... c Min unsat cost LB: 86873 ... c Min unsat cost LB: 86874 ... c Min unsat cost LB: 86875 ... c Min unsat cost LB: 86876 ... c Min unsat cost LB: 86877 ... c Min unsat cost LB: 86878 ... c Min unsat cost LB: 86879 ... c Min unsat cost LB: 86880 ... c Min unsat cost LB: 86881 ... c Min unsat cost LB: 86882 ... c Min unsat cost LB: 86887 ... c Min unsat cost LB: 86889 ... c Min unsat cost LB: 86890 ... c Min unsat cost LB: 86892 ... c Min unsat cost LB: 86893 ... c Min unsat cost LB: 86895 ... c Min unsat cost LB: 86897 ... c Min unsat cost LB: 86898 ... c Min unsat cost LB: 86899 ... c Min unsat cost LB: 86900 ... c Min unsat cost LB: 86901 ... c Min unsat cost LB: 86903 ... c Min unsat cost LB: 86905 ... c Min unsat cost LB: 86907 ... c Min unsat cost LB: 86908 ... c Min unsat cost LB: 86909 ... c Min unsat cost LB: 86910 ... c Min unsat cost LB: 86950 ... c Min unsat cost LB: 86951 ... c Min unsat cost LB: 86962 ... c Min unsat cost LB: 86963 ... c Min unsat cost LB: 86965 ... c Min unsat cost LB: 86966 ... c Min unsat cost LB: 86972 ... c Min unsat cost LB: 86973 ... c Min unsat cost LB: 86974 ... c Min unsat cost LB: 86977 ... c Min unsat cost LB: 86978 ... c Min unsat cost LB: 86980 ... c Min unsat cost LB: 86981 ... c Min unsat cost LB: 86982 ... c Min unsat cost LB: 86983 ... c Min unsat cost LB: 86984 ... c Min unsat cost LB: 86985 ... c Min unsat cost LB: 86986 ... c Min unsat cost LB: 86988 ... c Min unsat cost LB: 86990 ... c Min unsat cost LB: 86991 ... c Min unsat cost LB: 86992 ... c Min unsat cost LB: 86993 ... c Min unsat cost LB: 86994 ... c Min unsat cost LB: 86997 ... c Min unsat cost LB: 86999 ... c Min unsat cost LB: 87000 ... c Min unsat cost LB: 87001 ... c Min unsat cost LB: 87002 ... c Min unsat cost LB: 87003 ... c Min unsat cost LB: 87005 ... c Min unsat cost LB: 87006 ... c Min unsat cost LB: 87007 ... c Min unsat cost LB: 87008 ... c Min unsat cost LB: 87009 ... c Min unsat cost LB: 87015 ... c Min unsat cost LB: 87016 ... c Min unsat cost LB: 87018 ... c Min unsat cost LB: 87019 ... c Min unsat cost LB: 87021 ... c Min unsat cost LB: 87024 ... c Min unsat cost LB: 87026 ... c Min unsat cost LB: 87027 ... c Min unsat cost LB: 87028 ... c Min unsat cost LB: 87029 ... c Min unsat cost LB: 87030 ... c Min unsat cost LB: 87031 ... c Min unsat cost LB: 87199 ... c Min unsat cost LB: 87200 ... c Min unsat cost LB: 87201 ... c Min unsat cost LB: 87202 ... c Min unsat cost LB: 87203 ... c Min unsat cost LB: 87205 ... c Min unsat cost LB: 87206 ... c Min unsat cost LB: 87207 ... c Min unsat cost LB: 87208 ... c Min unsat cost LB: 87209 ... c Min unsat cost LB: 87210 ... c Min unsat cost LB: 87211 ... c Min unsat cost LB: 87214 ... c Min unsat cost LB: 87215 ... c Min unsat cost LB: 87217 ... c Min unsat cost LB: 87218 ... c Min unsat cost LB: 87219 ... c Min unsat cost LB: 87220 ... c Min unsat cost LB: 87221 ... c Min unsat cost LB: 87222 ... c Min unsat cost LB: 87278 ... c Min unsat cost LB: 87329 ... c Min unsat cost LB: 87330 ... c Min unsat cost LB: 87331 ... c Min unsat cost LB: 87333 ... c Min unsat cost LB: 87334 ... c Min unsat cost LB: 87337 ... c Min unsat cost LB: 87338 ... c Min unsat cost LB: 87340 ... c Min unsat cost LB: 87341 ... c Min unsat cost LB: 87342 ... c Min unsat cost LB: 87343 ... c Min unsat cost LB: 87344 ... c Min unsat cost LB: 87345 ... c Min unsat cost LB: 87346 ... c Min unsat cost LB: 87349 ... c Min unsat cost LB: 87351 ... c Min unsat cost LB: 87352 ... c Min unsat cost LB: 87380 ... c Min unsat cost LB: 87381 ... c Min unsat cost LB: 87382 ... c Min unsat cost LB: 87383 ... c Min unsat cost LB: 87384 ... c Min unsat cost LB: 87385 ... c Min unsat cost LB: 87388 ... c Min unsat cost LB: 87389 ... c Min unsat cost LB: 87390 ... c Min unsat cost LB: 87394 ... c Min unsat cost LB: 87395 ... c Min unsat cost LB: 87396 ... c Min unsat cost LB: 87480 ... c Min unsat cost LB: 87481 ... c Min unsat cost LB: 87482 ... c Min unsat cost LB: 87494 ... c Min unsat cost LB: 87495 ... c Min unsat cost LB: 87496 ... c Min unsat cost LB: 87497 ... c Min unsat cost LB: 87504 ... c Min unsat cost LB: 87505 ... c Min unsat cost LB: 87506 ... c Min unsat cost LB: 87507 ... c Min unsat cost LB: 87508 ... c Min unsat cost LB: 87509 ... c Min unsat cost LB: 87510 ... c Min unsat cost LB: 87511 ... c Min unsat cost LB: 87512 ... c Min unsat cost LB: 87514 ... c Min unsat cost LB: 87515 ... c Min unsat cost LB: 87516 ... c Min unsat cost LB: 87517 ... c Min unsat cost LB: 87560 ... c Min unsat cost LB: 87561 ... c Min unsat cost LB: 87562 ... c Min unsat cost LB: 87563 ... c Min unsat cost LB: 87564 ... c Min unsat cost LB: 87565 ... c Min unsat cost LB: 87578 ... c Min unsat cost LB: 87591 ... c Min unsat cost LB: 87602 ... c Min unsat cost LB: 87615 ... c Min unsat cost LB: 87620 ... c Min unsat cost LB: 87627 ... c Min unsat cost LB: 87628 ... c Min unsat cost LB: 87662 ... c Min unsat cost LB: 87667 ... c Min unsat cost LB: 87672 ... c Min unsat cost LB: 87675 ... c Min unsat cost LB: 87676 ... c Min unsat cost LB: 87677 ... c Min unsat cost LB: 87678 ... c Min unsat cost LB: 87679 ... c Min unsat cost LB: 87681 ... c Min unsat cost LB: 87682 ... c Min unsat cost LB: 87683 ... c Min unsat cost LB: 87684 ... c Min unsat cost LB: 87685 ... c Min unsat cost LB: 87686 ... c Min unsat cost LB: 87687 ... c Min unsat cost LB: 87688 ... c Min unsat cost LB: 87694 ... c Min unsat cost LB: 87695 ... c Min unsat cost LB: 87718 ... c Min unsat cost LB: 87719 ... c Min unsat cost LB: 87722 ... c Min unsat cost LB: 87723 ... c Min unsat cost LB: 87724 ... c Min unsat cost LB: 87725 ... c Min unsat cost LB: 87726 ... c Min unsat cost LB: 87727 ... c Min unsat cost LB: 87728 ... c Min unsat cost LB: 87729 ... c Min unsat cost LB: 87730 ... c Min unsat cost LB: 87731 ... c Min unsat cost LB: 87732 ... c Min unsat cost LB: 87733 ... c Min unsat cost LB: 87734 ... c Min unsat cost LB: 87738 ... c Min unsat cost LB: 87739 ... c Min unsat cost LB: 87740 ... c Min unsat cost LB: 87746 ... c Min unsat cost LB: 87751 ... c Min unsat cost LB: 87752 ... c Min unsat cost LB: 87753 ... c Min unsat cost LB: 87754 ... c Min unsat cost LB: 87755 ... c Min unsat cost LB: 87773 ... c Min unsat cost LB: 87869 ... c Min unsat cost LB: 87870 ... c Min unsat cost LB: 87871 ... c Min unsat cost LB: 87872 ... c Min unsat cost LB: 87873 ... c Min unsat cost LB: 87874 ... c Min unsat cost LB: 87877 ... c Min unsat cost LB: 87879 ... c Min unsat cost LB: 87880 ... c Min unsat cost LB: 87890 ... c Min unsat cost LB: 87896 ... c Min unsat cost LB: 87897 ... c Min unsat cost LB: 87898 ... c Min unsat cost LB: 87899 ... c Min unsat cost LB: 87900 ... c Min unsat cost LB: 87947 ... c Min unsat cost LB: 87950 ... c Min unsat cost LB: 87963 ... c Min unsat cost LB: 87965 ... c Min unsat coKilled 1811.712u 8.024s 30:23.59 99.7% 0+0k 0+0io 0pf+0w