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_0007.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0007.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_0007.txt.wcnf *** c c Min unsat cost LB: 874 ... c Min unsat cost LB: 1512 ... c Min unsat cost LB: 1984 ... c Min unsat cost LB: 2622 ... c Min unsat cost LB: 3260 ... c Min unsat cost LB: 3545 ... c Min unsat cost LB: 3740 ... c Min unsat cost LB: 3882 ... c Min unsat cost LB: 4549 ... c Min unsat cost LB: 4879 ... c Min unsat cost LB: 5351 ... c Min unsat cost LB: 6240 ... c Min unsat cost LB: 6657 ... c Min unsat cost LB: 6807 ... c Min unsat cost LB: 6918 ... c Min unsat cost LB: 7354 ... c Min unsat cost LB: 7590 ... c Min unsat cost LB: 8667 ... c Min unsat cost LB: 8818 ... c Min unsat cost LB: 9069 ... c Min unsat cost LB: 9164 ... c Min unsat cost LB: 9244 ... c Min unsat cost LB: 9439 ... c Min unsat cost LB: 9823 ... c Min unsat cost LB: 10353 ... c Min unsat cost LB: 10480 ... c Min unsat cost LB: 11054 ... c Min unsat cost LB: 11339 ... c Min unsat cost LB: 11464 ... c Min unsat cost LB: 11828 ... c Min unsat cost LB: 11959 ... c Min unsat cost LB: 11972 ... c Min unsat cost LB: 12232 ... c Min unsat cost LB: 12677 ... c Min unsat cost LB: 13457 ... c Min unsat cost LB: 13929 ... c Min unsat cost LB: 14454 ... c Min unsat cost LB: 15025 ... c Min unsat cost LB: 15397 ... c Min unsat cost LB: 15602 ... c Min unsat cost LB: 16292 ... c Min unsat cost LB: 16514 ... c Min unsat cost LB: 16698 ... c Min unsat cost LB: 17209 ... c Min unsat cost LB: 17682 ... c Min unsat cost LB: 18075 ... c Min unsat cost LB: 18311 ... c Min unsat cost LB: 19032 ... c Min unsat cost LB: 19737 ... c Min unsat cost LB: 20001 ... c Min unsat cost LB: 20099 ... c Min unsat cost LB: 20602 ... c Min unsat cost LB: 21468 ... c Min unsat cost LB: 21491 ... c Min unsat cost LB: 21954 ... c Min unsat cost LB: 22849 ... c Min unsat cost LB: 22930 ... c Min unsat cost LB: 23149 ... c Min unsat cost LB: 23346 ... c Min unsat cost LB: 23689 ... c Min unsat cost LB: 24053 ... c Min unsat cost LB: 24214 ... c Min unsat cost LB: 24241 ... c Min unsat cost LB: 24423 ... c Min unsat cost LB: 24651 ... c Min unsat cost LB: 25053 ... c Min unsat cost LB: 25691 ... c Min unsat cost LB: 26329 ... c Min unsat cost LB: 26490 ... c Min unsat cost LB: 26961 ... c Min unsat cost LB: 27559 ... c Min unsat cost LB: 27729 ... c Min unsat cost LB: 28206 ... c Min unsat cost LB: 28367 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29639 ... c Min unsat cost LB: 29668 ... c Min unsat cost LB: 30105 ... c Min unsat cost LB: 30232 ... c Min unsat cost LB: 30870 ... c Min unsat cost LB: 31580 ... c Min unsat cost LB: 31681 ... c Min unsat cost LB: 32582 ... c Min unsat cost LB: 32980 ... c Min unsat cost LB: 33461 ... c Min unsat cost LB: 33504 ... c Min unsat cost LB: 33551 ... c Min unsat cost LB: 34038 ... c Min unsat cost LB: 34884 ... c Min unsat cost LB: 35786 ... c Min unsat cost LB: 36424 ... c Min unsat cost LB: 36829 ... c Min unsat cost LB: 37134 ... c Min unsat cost LB: 37154 ... c Min unsat cost LB: 37331 ... c Min unsat cost LB: 37385 ... c Min unsat cost LB: 37812 ... c Min unsat cost LB: 37838 ... c Min unsat cost LB: 37906 ... c Min unsat cost LB: 38559 ... c Min unsat cost LB: 38964 ... c Min unsat cost LB: 39535 ... c Min unsat cost LB: 39937 ... c Min unsat cost LB: 40090 ... c Min unsat cost LB: 40543 ... c Min unsat cost LB: 40801 ... c Min unsat cost LB: 41226 ... c Min unsat cost LB: 41698 ... c Min unsat cost LB: 42286 ... c Min unsat cost LB: 42372 ... c Min unsat cost LB: 42450 ... c Min unsat cost LB: 42517 ... c Min unsat cost LB: 42757 ... c Min unsat cost LB: 43316 ... c Min unsat cost LB: 43673 ... c Min unsat cost LB: 44177 ... c Min unsat cost LB: 44394 ... c Min unsat cost LB: 44528 ... c Min unsat cost LB: 44897 ... c Min unsat cost LB: 45115 ... c Min unsat cost LB: 45628 ... c Min unsat cost LB: 45854 ... c Min unsat cost LB: 45979 ... c Min unsat cost LB: 46008 ... c Min unsat cost LB: 46531 ... c Min unsat cost LB: 46810 ... c Min unsat cost LB: 46907 ... c Min unsat cost LB: 47433 ... c Min unsat cost LB: 47587 ... c Min unsat cost LB: 48123 ... c Min unsat cost LB: 48155 ... c Min unsat cost LB: 49145 ... c Min unsat cost LB: 49230 ... c Min unsat cost LB: 49771 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 50029 ... c Min unsat cost LB: 50506 ... c Min unsat cost LB: 50533 ... c Min unsat cost LB: 50893 ... c Min unsat cost LB: 51027 ... c Min unsat cost LB: 51188 ... c Min unsat cost LB: 51419 ... c Min unsat cost LB: 51466 ... c Min unsat cost LB: 51563 ... c Min unsat cost LB: 51961 ... c Min unsat cost LB: 52192 ... c Min unsat cost LB: 52251 ... c Min unsat cost LB: 52412 ... c Min unsat cost LB: 52446 ... c Min unsat cost LB: 52492 ... c Min unsat cost LB: 52514 ... c Min unsat cost LB: 52609 ... c Min unsat cost LB: 52657 ... c Min unsat cost LB: 52905 ... c Min unsat cost LB: 53287 ... c Min unsat cost LB: 53321 ... c Min unsat cost LB: 53463 ... c Min unsat cost LB: 53847 ... c Min unsat cost LB: 53958 ... c Min unsat cost LB: 53987 ... c Min unsat cost LB: 54051 ... c Min unsat cost LB: 54071 ... c Min unsat cost LB: 54109 ... c Min unsat cost LB: 54132 ... c Min unsat cost LB: 54155 ... c Min unsat cost LB: 54198 ... c Min unsat cost LB: 54241 ... c Min unsat cost LB: 54390 ... c Min unsat cost LB: 54419 ... c Min unsat cost LB: 54505 ... c Min unsat cost LB: 54538 ... c Min unsat cost LB: 54590 ... c Min unsat cost LB: 55043 ... c Min unsat cost LB: 55062 ... c Min unsat cost LB: 55119 ... c Min unsat cost LB: 55142 ... c Min unsat cost LB: 55261 ... c Min unsat cost LB: 55326 ... c Min unsat cost LB: 55341 ... c Min unsat cost LB: 55404 ... c Min unsat cost LB: 55613 ... c Min unsat cost LB: 55635 ... c Min unsat cost LB: 55760 ... c Min unsat cost LB: 55767 ... c Min unsat cost LB: 55799 ... c Min unsat cost LB: 55814 ... c Min unsat cost LB: 55820 ... c Min unsat cost LB: 55871 ... c Min unsat cost LB: 56092 ... c Min unsat cost LB: 56247 ... c Min unsat cost LB: 56297 ... c Min unsat cost LB: 56310 ... c Min unsat cost LB: 56394 ... c Min unsat cost LB: 56437 ... c Min unsat cost LB: 56457 ... c Min unsat cost LB: 56483 ... c Min unsat cost LB: 56632 ... c Min unsat cost LB: 56834 ... c Min unsat cost LB: 56915 ... c Min unsat cost LB: 56936 ... c Min unsat cost LB: 56984 ... c Min unsat cost LB: 56993 ... c Min unsat cost LB: 57051 ... c Min unsat cost LB: 57184 ... c Min unsat cost LB: 57248 ... c Min unsat cost LB: 57359 ... c Min unsat cost LB: 57388 ... c Min unsat cost LB: 57410 ... c Min unsat cost LB: 57413 ... c Min unsat cost LB: 57429 ... c Min unsat cost LB: 57440 ... c Min unsat cost LB: 57444 ... c Min unsat cost LB: 57566 ... c Min unsat cost LB: 57604 ... c Min unsat cost LB: 57621 ... c Min unsat cost LB: 57689 ... c Min unsat cost LB: 57710 ... c Min unsat cost LB: 58008 ... c Min unsat cost LB: 58134 ... c Min unsat cost LB: 58471 ... c Min unsat cost LB: 58498 ... c Min unsat cost LB: 58503 ... c Min unsat cost LB: 58551 ... c Min unsat cost LB: 58558 ... c Min unsat cost LB: 58605 ... c Min unsat cost LB: 58609 ... c Min unsat cost LB: 58661 ... c Min unsat cost LB: 58747 ... c Min unsat cost LB: 58780 ... c Min unsat cost LB: 58977 ... c Min unsat cost LB: 59084 ... c Min unsat cost LB: 59095 ... c Min unsat cost LB: 59203 ... c Min unsat cost LB: 59207 ... c Min unsat cost LB: 59230 ... c Min unsat cost LB: 59233 ... c Min unsat cost LB: 59375 ... c Min unsat cost LB: 59409 ... c Min unsat cost LB: 59423 ... c Min unsat cost LB: 59482 ... c Min unsat cost LB: 59540 ... c Min unsat cost LB: 59913 ... c Min unsat cost LB: 59957 ... c Min unsat cost LB: 60004 ... c Min unsat cost LB: 60018 ... c Min unsat cost LB: 60061 ... c Min unsat cost LB: 60632 ... c Min unsat cost LB: 60728 ... c Min unsat cost LB: 60809 ... c Min unsat cost LB: 60815 ... c Min unsat cost LB: 60837 ... c Min unsat cost LB: 60962 ... c Min unsat cost LB: 61031 ... c Min unsat cost LB: 61040 ... c Min unsat cost LB: 61063 ... c Min unsat cost LB: 61085 ... c Min unsat cost LB: 61112 ... c Min unsat cost LB: 61161 ... c Min unsat cost LB: 61263 ... c Min unsat cost LB: 61326 ... c Min unsat cost LB: 61348 ... c Min unsat cost LB: 61568 ... c Min unsat cost LB: 61571 ... c Min unsat cost LB: 61688 ... c Min unsat cost LB: 61701 ... c Min unsat cost LB: 61793 ... c Min unsat cost LB: 61880 ... c Min unsat cost LB: 61888 ... c Min unsat cost LB: 61976 ... c Min unsat cost LB: 61998 ... c Min unsat cost LB: 62001 ... c Min unsat cost LB: 62009 ... c Min unsat cost LB: 62034 ... c Min unsat cost LB: 62110 ... c Min unsat cost LB: 62169 ... c Min unsat cost LB: 62232 ... c Min unsat cost LB: 62263 ... c Min unsat cost LB: 62343 ... c Min unsat cost LB: 62413 ... c Min unsat cost LB: 62449 ... c Min unsat cost LB: 62522 ... c Min unsat cost LB: 62527 ... c Min unsat cost LB: 62726 ... c Min unsat cost LB: 62732 ... c Min unsat cost LB: 62761 ... c Min unsat cost LB: 62824 ... c Min unsat cost LB: 62890 ... c Min unsat cost LB: 62922 ... c Min unsat cost LB: 62945 ... c Min unsat cost LB: 62982 ... c Min unsat cost LB: 62984 ... c Min unsat cost LB: 62987 ... c Min unsat cost LB: 63077 ... c Min unsat cost LB: 63142 ... c Min unsat cost LB: 63360 ... c Min unsat cost LB: 63363 ... c Min unsat cost LB: 63418 ... c Min unsat cost LB: 63455 ... c Min unsat cost LB: 63459 ... c Min unsat cost LB: 63470 ... c Min unsat cost LB: 63502 ... c Min unsat cost LB: 63517 ... c Min unsat cost LB: 63531 ... c Min unsat cost LB: 63541 ... c Min unsat cost LB: 63572 ... c Min unsat cost LB: 63660 ... c Min unsat cost LB: 63715 ... c Min unsat cost LB: 63726 ... c Min unsat cost LB: 63868 ... c Min unsat cost LB: 63891 ... c Min unsat cost LB: 63909 ... c Min unsat cost LB: 64030 ... c Min unsat cost LB: 64322 ... c Min unsat cost LB: 64361 ... c Min unsat cost LB: 64444 ... c Min unsat cost LB: 64446 ... c Min unsat cost LB: 64447 ... c Min unsat cost LB: 64537 ... c Min unsat cost LB: 64544 ... c Min unsat cost LB: 64558 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64626 ... c Min unsat cost LB: 64642 ... c Min unsat cost LB: 64680 ... c Min unsat cost LB: 64708 ... c Min unsat cost LB: 64727 ... c Min unsat cost LB: 64784 ... c Min unsat cost LB: 64917 ... c Min unsat cost LB: 64918 ... c Min unsat cost LB: 64940 ... c Min unsat cost LB: 64985 ... c Min unsat cost LB: 64997 ... c Min unsat cost LB: 65005 ... c Min unsat cost LB: 65029 ... c Min unsat cost LB: 65032 ... c Min unsat cost LB: 65034 ... c Min unsat cost LB: 65039 ... c Min unsat cost LB: 65043 ... c Min unsat cost LB: 65084 ... c Min unsat cost LB: 65188 ... c Min unsat cost LB: 65190 ... c Min unsat cost LB: 65208 ... c Min unsat cost LB: 65213 ... c Min unsat cost LB: 65231 ... c Min unsat cost LB: 65236 ... c Min unsat cost LB: 65421 ... c Min unsat cost LB: 65462 ... c Min unsat cost LB: 65769 ... c Min unsat cost LB: 65799 ... c Min unsat cost LB: 65802 ... c Min unsat cost LB: 65820 ... c Min unsat cost LB: 65825 ... c Min unsat cost LB: 65837 ... c Min unsat cost LB: 65842 ... c Min unsat cost LB: 65910 ... c Min unsat cost LB: 65931 ... c Min unsat cost LB: 65932 ... c Min unsat cost LB: 65933 ... c Min unsat cost LB: 65948 ... c Min unsat cost LB: 65949 ... c Min unsat cost LB: 65978 ... c Min unsat cost LB: 65985 ... c Min unsat cost LB: 66152 ... c Min unsat cost LB: 66153 ... c Min unsat cost LB: 66155 ... c Min unsat cost LB: 66182 ... c Min unsat cost LB: 66186 ... c Min unsat cost LB: 66189 ... c Min unsat cost LB: 66190 ... c Min unsat cost LB: 66191 ... c Min unsat cost LB: 66193 ... c Min unsat cost LB: 66196 ... c Min unsat cost LB: 66197 ... c Min unsat cost LB: 66202 ... c Min unsat cost LB: 66204 ... c Min unsat cost LB: 66207 ... c Min unsat cost LB: 66212 ... c Min unsat cost LB: 66214 ... c Min unsat cost LB: 66233 ... c Min unsat cost LB: 66244 ... c Min unsat cost LB: 66246 ... c Min unsat cost LB: 66279 ... c Min unsat cost LB: 66299 ... c Min unsat cost LB: 66335 ... c Min unsat cost LB: 66340 ... c Min unsat cost LB: 66347 ... c Min unsat cost LB: 66348 ... c Min unsat cost LB: 66366 ... c Min unsat cost LB: 66373 ... c Min unsat cost LB: 66387 ... c Min unsat cost LB: 66418 ... c Min unsat cost LB: 66424 ... c Min unsat cost LB: 66425 ... c Min unsat cost LB: 66431 ... c Min unsat cost LB: 66462 ... c Min unsat cost LB: 66463 ... c Min unsat cost LB: 66519 ... c Min unsat cost LB: 66573 ... c Min unsat cost LB: 66574 ... c Min unsat cost LB: 66603 ... c Min unsat cost LB: 66605 ... c Min unsat cost LB: 66621 ... c Min unsat cost LB: 66633 ... c Min unsat cost LB: 66636 ... c Min unsat cost LB: 66638 ... c Min unsat cost LB: 66648 ... c Min unsat cost LB: 66653 ... c Min unsat cost LB: 66657 ... c Min unsat cost LB: 66658 ... c Min unsat cost LB: 66661 ... c Min unsat cost LB: 66672 ... c Min unsat cost LB: 66681 ... c Min unsat cost LB: 66683 ... c Min unsat cost LB: 66686 ... c Min unsat cost LB: 66689 ... c Min unsat cost LB: 66693 ... c Min unsat cost LB: 66726 ... c Min unsat cost LB: 66734 ... c Min unsat cost LB: 66737 ... c Min unsat cost LB: 66738 ... c Min unsat cost LB: 66740 ... c Min unsat cost LB: 66741 ... c Min unsat cost LB: 66763 ... c Min unsat cost LB: 66764 ... c Min unsat cost LB: 66765 ... c Min unsat cost LB: 66769 ... c Min unsat cost LB: 66783 ... c Min unsat cost LB: 66784 ... c Min unsat cost LB: 66820 ... c Min unsat cost LB: 66833 ... c Min unsat cost LB: 66836 ... c Min unsat cost LB: 66841 ... c Min unsat cost LB: 66857 ... c Min unsat cost LB: 66859 ... c Min unsat cost LB: 66860 ... c Min unsat cost LB: 66880 ... c Min unsat cost LB: 66888 ... c Min unsat cost LB: 66891 ... c Min unsat cost LB: 66896 ... c Min unsat cost LB: 66899 ... c Min unsat cost LB: 66910 ... c Min unsat cost LB: 66916 ... c Min unsat cost LB: 66923 ... c Min unsat cost LB: 66925 ... c Min unsat cost LB: 66926 ... c Min unsat cost LB: 66929 ... c Min unsat cost LB: 66933 ... c Min unsat cost LB: 66934 ... c Min unsat cost LB: 66991 ... c Min unsat cost LB: 66994 ... c Min unsat cost LB: 66995 ... c Min unsat cost LB: 66997 ... c Min unsat cost LB: 66998 ... c Min unsat cost LB: 67003 ... c Min unsat cost LB: 67004 ... c Min unsat cost LB: 67007 ... c Min unsat cost LB: 67011 ... c Min unsat cost LB: 67012 ... c Min unsat cost LB: 67014 ... c Min unsat cost LB: 67025 ... c Min unsat cost LB: 67026 ... c Min unsat cost LB: 67070 ... c Min unsat cost LB: 67079 ... c Min unsat cost LB: 67084 ... c Min unsat cost LB: 67087 ... c Min unsat cost LB: 67088 ... c Min unsat cost LB: 67093 ... c Min unsat cost LB: 67095 ... c Min unsat cost LB: 67096 ... c Min unsat cost LB: 67104 ... c Min unsat cost LB: 67106 ... c Min unsat cost LB: 67109 ... c Min unsat cost LB: 67110 ... c Min unsat cost LB: 67112 ... c Min unsat cost LB: 67127 ... c Min unsat cost LB: 67136 ... c Min unsat cost LB: 67142 ... c Min unsat cost LB: 67153 ... c Min unsat cost LB: 67154 ... c Min unsat cost LB: 67157 ... c Min unsat cost LB: 67169 ... c Min unsat cost LB: 67170 ... c Min unsat cost LB: 67171 ... c Min unsat cost LB: 67180 ... c Min unsat cost LB: 67183 ... c Min unsat cost LB: 67184 ... c Min unsat cost LB: 67187 ... c Min unsat cost LB: 67190 ... c Min unsat cost LB: 67196 ... c Min unsat cost LB: 67200 ... c Min unsat cost LB: 67201 ... c Min unsat cost LB: 67205 ... c Min unsat cost LB: 67213 ... c Min unsat cost LB: 67215 ... c Min unsat cost LB: 67216 ... c Min unsat cost LB: 67222 ... c Min unsat cost LB: 67238 ... c Min unsat cost LB: 67249 ... c Min unsat cost LB: 67253 ... c Min unsat cost LB: 67259 ... c Min unsat cost LB: 67266 ... c Min unsat cost LB: 67280 ... c Min unsat cost LB: 67283 ... c Min unsat cost LB: 67284 ... c Min unsat cost LB: 67290 ... c Min unsat cost LB: 67302 ... c Min unsat cost LB: 67340 ... c Min unsat cost LB: 67341 ... c Min unsat cost LB: 67343 ... c Min unsat cost LB: 67344 ... c Min unsat cost LB: 67346 ... c Min unsat cost LB: 67347 ... c Min unsat cost LB: 67349 ... c Min unsat cost LB: 67350 ... c Min unsat cost LB: 67353 ... c Min unsat cost LB: 67354 ... c Min unsat cost LB: 67357 ... c Min unsat cost LB: 67362 ... c Min unsat cost LB: 67376 ... c Min unsat cost LB: 67377 ... c Min unsat cost LB: 67379 ... c Min unsat cost LB: 67380 ... c Min unsat cost LB: 67381 ... c Min unsat cost LB: 67384 ... c Min unsat cost LB: 67392 ... c Min unsat cost LB: 67394 ... c Min unsat cost LB: 67396 ... c Min unsat cost LB: 67397 ... c Min unsat cost LB: 67399 ... c Min unsat cost LB: 67401 ... c Min unsat cost LB: 67405 ... c Min unsat cost LB: 67406 ... c Min unsat cost LB: 67407 ... c Min unsat cost LB: 67408 ... c Min unsat cost LB: 67409 ... c Min unsat cost LB: 67416 ... c Min unsat cost LB: 67418 ... c Min unsat cost LB: 67423 ... c Min unsat cost LB: 67426 ... c Min unsat cost LB: 67427 ... c Min unsat cost LB: 67449 ... c Min unsat cost LB: 67455 ... c Min unsat cost LB: 67466 ... c Min unsat cost LB: 67467 ... c Min unsat cost LB: 67484 ... c Min unsat cost LB: 67507 ... c Min unsat cost LB: 67515 ... c Min unsat cost LB: 67516 ... c Min unsat cost LB: 67518 ... c Min unsat cost LB: 67523 ... c Min unsat cost LB: 67530 ... c Min unsat cost LB: 67532 ... c Min unsat cost LB: 67536 ... c Min unsat cost LB: 67541 ... c Min unsat cost LB: 67542 ... c Min unsat cost LB: 67562 ... c Min unsat cost LB: 67568 ... c Min unsat cost LB: 67571 ... c Min unsat cost LB: 67572 ... c Min unsat cost LB: 67573 ... c Min unsat cost LB: 67575 ... c Min unsat cost LB: 67586 ... c Min unsat cost LB: 67612 ... c Min unsat cost LB: 67619 ... c Min unsat cost LB: 67621 ... c Min unsat cost LB: 67622 ... c Min unsat cost LB: 67625 ... c Min unsat cost LB: 67626 ... c Min unsat cost LB: 67629 ... c Min unsat cost LB: 67630 ... c Min unsat cost LB: 67650 ... c Min unsat cost LB: 67658 ... c Min unsat cost LB: 67665 ... c Min unsat cost LB: 67668 ... c Min unsat cost LB: 67690 ... c Min unsat cost LB: 67692 ... c Min unsat cost LB: 67698 ... c Min unsat cost LB: 67702 ... c Min unsat cost LB: 67703 ... c Min unsat cost LB: 67705 ... c Min unsat cost LB: 67708 ... c Min unsat cost LB: 67710 ... c Min unsat cost LB: 67711 ... c Min unsat cost LB: 67723 ... c Min unsat cost LB: 67724 ... c Min unsat cost LB: 67728 ... c Min unsat cost LB: 67734 ... c Min unsat cost LB: 67736 ... c Min unsat cost LB: 67738 ... c Min unsat cost LB: 67741 ... c Min unsat cost LB: 67742 ... c Min unsat cost LB: 67744 ... c Min unsat cost LB: 67745 ... c Min unsat cost LB: 67747 ... c Min unsat cost LB: 67748 ... c Min unsat cost LB: 67749 ... c Min unsat cost LB: 67758 ... c Min unsat cost LB: 67761 ... c Min unsat cost LB: 67766 ... c Min unsat cost LB: 67767 ... c Min unsat cost LB: 67768 ... c Min unsat cost LB: 67769 ... c Min unsat cost LB: 67772 ... c Min unsat cost LB: 67782 ... c Min unsat cost LB: 67783 ... c Min unsat cost LB: 67784 ... c Min unsat cost LB: 67812 ... c Min unsat cost LB: 67817 ... c Min unsat cost LB: 67819 ... c Min unsat cost LB: 67823 ... c Min unsat cost LB: 67824 ... c Min unsat cost LB: 67825 ... c Min unsat cost LB: 67826 ... c Min unsat cost LB: 67827 ... c Min unsat cost LB: 67828 ... c Min unsat cost LB: 67829 ... c Min unsat cost LB: 67830 ... c Min unsat cost LB: 67831 ... c Min unsat cost LB: 67832 ... c Min unsat cost LB: 67834 ... c Min unsat cost LB: 67835 ... c Min unsat cost LB: 67836 ... c Min unsat cost LB: 67837 ... c Min unsat cost LB: 67838 ... c Min unsat cost LB: 67839 ... c Min unsat cost LB: 67843 ... c Min unsat cost LB: 67846 ... c Min unsat cost LB: 67848 ... c Min unsat cost LB: 67850 ... c Min unsat cost LB: 67851 ... c Min unsat cost LB: 67853 ... c Min unsat cost LB: 67859 ... c Min unsat cost LB: 67877 ... c Min unsat cost LB: 67887 ... c Min unsat cost LB: 67888 ... c Min unsat cost LB: 67889 ... c Min unsat cost LB: 67890 ... c Min unsat cost LB: 67902 ... c Min unsat cost LB: 67916 ... c Min unsat cost LB: 67917 ... c Min unsat cost LB: 67922 ... c Min unsat cost LB: 67925 ... c Min unsat cost LB: 67926 ... c Min unsat cost LB: 67927 ... c Min unsat cost LB: 67956 ... c Min unsat cost LB: 67957 ... c Min unsat cost LB: 67958 ... c Min unsat cost LB: 67961 ... c Min unsat cost LB: 67989 ... c Min unsat cost LB: 67991 ... c Min unsat cost LB: 67992 ... c Min unsat cost LB: 67994 ... c Min unsat cost LB: 68007 ... c Min unsat cost LB: 68019 ... c Min unsat cost LB: 68021 ... c Min unsat cost LB: 68022 ... c Min unsat cost LB: 68023 ... c Min unsat cost LB: 68036 ... c Min unsat cost LB: 68037 ... c Min unsat cost LB: 68038 ... c Min unsat cost LB: 68039 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68045 ... c Min unsat cost LB: 68046 ... c Min unsat cost LB: 68048 ... c Min unsat cost LB: 68049 ... c Min unsat cost LB: 68050 ... c Min unsat cost LB: 68051 ... c Min unsat cost LB: 68052 ... c Min unsat cost LB: 68054 ... c Min unsat cost LB: 68055 ... c Min unsat cost LB: 68056 ... c Min unsat cost LB: 68057 ... c Min unsat cost LB: 68060 ... c Min unsat cost LB: 68063 ... c Min unsat cost LB: 68064 ... c Min unsat cost LB: 68065 ... c Min unsat cost LB: 68066 ... c Min unsat cost LB: 68068 ... c Min unsat cost LB: 68069 ... c Min unsat cost LB: 68072 ... c Min unsat cost LB: 68073 ... c Min unsat cost LB: 68077 ... c Min unsat cost LB: 68078 ... c Min unsat cost LB: 68082 ... c Min unsat cost LB: 68083 ... c Min unsat cost LB: 68084 ... c Min unsat cost LB: 68085 ... c Min unsat cost LB: 68086 ... c Min unsat cost LB: 68087 ... c Min unsat cost LB: 68088 ... c Min unsat cost LB: 68089 ... c Min unsat cost LB: 68092 ... c Min unsat cost LB: 68094 ... c Min unsat cost LB: 68095 ... c Min unsat cost LB: 68096 ... c Min unsat cost LB: 68097 ... c Min unsat cost LB: 68098 ... c Min unsat cost LB: 68100 ... c Min unsat cost LB: 68101 ... c Min unsat cost LB: 68102 ... c Min unsat cost LB: 68103 ... c Min unsat cost LB: 68106 ... c Min unsat cost LB: 68108 ... c Min unsat cost LB: 68109 ... c Min unsat cost LB: 68110 ... c Min unsat cost LB: 68111 ... c Min unsat cost LB: 68112 ... c Min unsat cost LB: 68115 ... c Min unsat cost LB: 68122 ... c Min unsat cost LB: 68126 ... c Min unsat cost LB: 68127 ... c Min unsat cost LB: 68128 ... c Min unsat cost LB: 68129 ... c Min unsat cost LB: 68134 ... c Min unsat cost LB: 68138 ... c Min unsat cost LB: 68149 ... c Min unsat cost LB: 68160 ... c Min unsat cost LB: 68179 ... c Min unsat cost LB: 68180 ... c Min unsat cost LB: 68181 ... c Min unsat cost LB: 68182 ... c Min unsat cost LB: 68183 ... c Min unsat cost LB: 68184 ... c Min unsat cost LB: 68187 ... c Min unsat cost LB: 68188 ... c Min unsat cost LB: 68194 ... c Min unsat cost LB: 68195 ... c Min unsat cost LB: 68196 ... c Min unsat cost LB: 68197 ... c Min unsat cost LB: 68199 ... c Min unsat cost LB: 68201 ... c Min unsat cost LB: 68202 ... c Min unsat cost LB: 68203 ... c Min unsat cost LB: 68204 ... c Min unsat cost LB: 68206 ... c Min unsat cost LB: 68207 ... c Min unsat cost LB: 68208 ... c Min unsat cost LB: 68209 ... c Min unsat cost LB: 68210 ... c Min unsat cost LB: 68211 ... c Min unsat cost LB: 68212 ... c Min unsat cost LB: 68213 ... c Min unsat cost LB: 68214 ... c Min unsat cost LB: 68215 ... c Min unsat cost LB: 68216 ... c Min unsat cost LB: 68217 ... c Min unsat cost LB: 68218 ... c Min unsat cost LB: 68226 ... c Min unsat cost LB: 68227 ... c Min unsat cost LB: 68228 ... c Min unsat cost LB: 68229 ... c Min unsat cost LB: 68231 ... c Min unsat cost LB: 68233 ... c Min unsat cost LB: 68235 ... c Min unsat cost LB: 68239 ... c Min unsat cost LB: 68240 ... c Min unsat cost LB: 68245 ... c Min unsat cost LB: 68247 ... c Min unsat cost LB: 68259 ... c Min unsat cost LB: 68260 ... c Min unsat cost LB: 68262 ... c Min unsat cost LB: 68263 ... c Min unsat cost LB: 68265 ... c Min unsat cost LB: 68266 ... c Min unsat cost LB: 68268 ... c Min unsat cost LB: 68269 ... c Min unsat cost LB: 68274 ... c Min unsat cost LB: 68275 ... c Min unsat cost LB: 68276 ... c Min unsat cost LB: 68277 ... c Min unsat cost LB: 68278 ... c Min unsat cost LB: 68279 ... c Min unsat cost LB: 68280 ... c Min unsat cost LB: 68281 ... c Min unsat cost LB: 68283 ... c Min unsat cost LB: 68285 ... c Min unsat cost LB: 68298 ... c Min unsat cost LB: 68299 ... c Min unsat cost LB: 68300 ... c Min unsat cost LB: 68301 ... c Min unsat cost LB: 68302 ... c Min unsat cost LB: 68303 ... c Min unsat cost LB: 68305 ... c Min unsat cost LB: 68306 ... c Min unsat cost LB: 68308 ... c Min unsat cost LB: 68309 ... c Min unsat cost LB: 68310 ... c Min unsat cost LB: 68311 ... c Min unsat cost LB: 68312 ... c Min unsat cost LB: 68313 ... c Min unsat cost LB: 68314 ... c Min unsat cost LB: 68315 ... c Min unsat cost LB: 68316 ... c Min unsat cost LB: 68317 ... c Min unsat cost LB: 68321 ... c Min unsat cost LB: 68323 ... c Min unsat cost LB: 68324 ... c Min unsat cost LB: 68327 ... c Min unsat cost LB: 68328 ... c Min unsat cost LB: 68330 ... c Min unsat cost LB: 68332 ... c Min unsat cost LB: 68333 ... c Min unsat cost LB: 68353 ... c Min unsat cost LB: 68358 ... c Min unsat cost LB: 68359 ... c Min unsat cost LB: 68363 ... c Min unsat cost LB: 68370 ... c Min unsat cost LB: 68371 ... c Min unsat cost LB: 68372 ... c Min unsat cost LB: 68386 ... c Min unsat cost LB: 68387 ... c Min unsat cost LB: 68388 ... c Min unsat cost LB: 68402 ... c Min unsat cost LB: 68405 ... c Min unsat cost LB: 68406 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68414 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68417 ... c Min unsat cost LB: 68429 ... c Min unsat cost LB: 68431 ... c Min unsat cost LB: 68432 ... c Min unsat cost LB: 68441 ... c Min unsat cost LB: 68449 ... c Min unsat cost LB: 68451 ... c Min unsat cost LB: 68463 ... c Min unsat cost LB: 68471 ... c Min unsat cost LB: 68474 ... c Min unsat cost LB: 68478 ... c Min unsat cost LB: 68484 ... c Min unsat cost LB: 68485 ... c Min unsat cost LB: 68490 ... c Min unsat cost LB: 68494 ... c Min unsat cost LB: 68495 ... c Min unsat cost LB: 68496 ... c Min unsat cost LB: 68525 ... c Min unsat cost LB: 68548 ... c Min unsat cost LB: 68550 ... c Min unsat cost LB: 68551 ... c Min unsat cost LB: 68554 ... c Min unsat cost LB: 68556 ... c Min unsat cost LB: 68562 ... c Min unsat cost LB: 68566 ... c Min unsat cost LB: 68569 ... c Min unsat cost LB: 68570 ... c Min unsat cost LB: 68571 ... c Min unsat cost LB: 68577 ... c Min unsat cost LB: 68589 ... c Min unsat cost LB: 68590 ... c Min unsat cost LB: 68591 ... c Min unsat cost LB: 68592 ... c Min unsat cost LB: 68593 ... c Min unsat cost LB: 68594 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68596 ... c Min unsat cost LB: 68597 ... c Min unsat cost LB: 68598 ... c Min unsat cost LB: 68599 ... c Min unsat cost LB: 68619 ... c Min unsat cost LB: 68626 ... c Min unsat cost LB: 68629 ... c Min unsat cost LB: 68630 ... c Min unsat cost LB: 68631 ... c Min unsat cost LB: 68633 ... c Min unsat cost LB: 68634 ... c Min unsat cost LB: 68635 ... c Min unsat cost LB: 68636 ... c Min unsat cost LB: 68658 ... c Min unsat cost LB: 68659 ... c Min unsat cost LB: 68660 ... c Min unsat cost LB: 68661 ... c Min unsat cost LB: 68662 ... c Min unsat cost LB: 68663 ... c Min unsat cost LB: 68664 ... c Min unsat cost LB: 68665 ... c Min unsat cost LB: 68667 ... c Min unsat cost LB: 68668 ... c Min unsat cost LB: 68673 ... c Min unsat cost LB: 68675 ... c Min unsat cost LB: 68676 ... c Min unsat cost LB: 68678 ... c Min unsat cost LB: 68679 ... c Min unsat cost LB: 68685 ... c Min unsat cost LB: 68895 ... c Min unsat cost LB: 68897 ... c Min unsat cost LB: 68898 ... c Min unsat cost LB: 68899 ... c Min unsat cost LB: 68900 ... c Min unsat cost LB: 68901 ... c Min unsat cost LB: 68902 ... c Min unsat cost LB: 68903 ... c Min unsat cost LB: 68904 ... c Min unsat cost LB: 68905 ... c Min unsat cost LB: 68906 ... c Min unsat cost LB: 68907 ... c Min unsat cost LB: 68908 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 68910 ... c Min unsat cost LB: 68911 ... c Min unsat cost LB: 68912 ... c Min unsat cost LB: 68915 ... c Min unsat cost LB: 68916 ... c Min unsat cost LB: 68917 ... c Min unsat cost LB: 68918 ... c Min unsat cost LB: 68919 ... c Min unsat cost LB: 68920 ... c Min unsat cost LB: 68921 ... c Min unsat cost LB: 68922 ... c Min unsat cost LB: 68923 ... c Min unsat cost LB: 68924 ... c Min unsat cost LB: 68926 ... c Min unsat cost LB: 68931 ... c Min unsat cost LB: 68932 ... c Min unsat cost LB: 68937 ... c Min unsat cost LB: 68938 ... c Min unsat cost LB: 68939 ... c Min unsat cost LB: 68940 ... c Min unsat cost LB: 68941 ... c Min unsat cost LB: 68942 ... c Min unsat cost LB: 68943 ... c Min unsat cost LB: 68944 ... c Min unsat cost LB: 68946 ... c Min unsat cost LB: 68962 ... c Min unsat cost LB: 68963 ... c Min unsat cost LB: 68979 ... c Min unsat cost LB: 68981 ... c Min unsat cost LB: 68993 ... c Min unsat cost LB: 68998 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69014 ... c Min unsat cost LB: 69018 ... c Min unsat cost LB: 69034 ... c Min unsat cost LB: 69035 ... c Min unsat cost LB: 69036 ... c Min unsat cost LB: 69037 ... c Min unsat cost LB: 69038 ... c Min unsat cost LB: 69048 ... c Min unsat cost LB: 69064 ... c Min unsat cost LB: 69065 ... c Min unsat cost LB: 69066 ... c Min unsat cost LB: 69079 ... c Min unsat cost LB: 69092 ... c Min unsat cost LB: 69093 ... c Min unsat cost LB: 69094 ... c Min unsat cost LB: 69095 ... c Min unsat cost LB: 69096 ... c Min unsat cost LB: 69097 ... c Min unsat cost LB: 69098 ... c Min unsat cost LB: 69099 ... c Min unsat cost LB: 69100 ... c Min unsat cost LB: 69101 ... c Min unsat cost LB: 69102 ... c Min unsat cost LB: 69104 ... c Min unsat cost LB: 69110 ... c Min unsat cost LB: 69111 ... c Min unsat cost LB: 69114 ... c Min unsat cost LB: 69115 ... c Min unsat cost LB: 69119 ... c Min unsat cost LB: 69121 ... c Min unsat cost LB: 69122 ... c Min unsat cost LB: 69124 ... c Min unsat cost LB: 69130 ... c Min unsat cost LB: 69137 ... c Min unsat cost LB: 69138 ... c Min unsat cost LB: 69139 ... c Min unsat cost LB: 69147 ... c Min unsat cost LB: 69148 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69150 ... c Min unsat cost LB: 69151 ... c Min unsat cost LB: 69152 ... c Min unsat cost LB: 69153 ... c Min unsat cost LB: 69154 ... c Min unsat cost LB: 69157 ... c Min unsat cost LB: 69164 ... c Min unsat cost LB: 69166 ... c Min unsat cost LB: 69168 ... c Min unsat cost LB: 69172 ... c Min unsat cost LB: 69175 ... c Min unsat cost LB: 69176 ... c Min unsat cost LB: 69177 ... c Min unsat cost LB: 69178 ... c Min unsat cost LB: 69179 ... c Min unsat cost LB: 69180 ... c Min unsat cost LB: 69182 ... c Min unsat cost LB: 69221 ... c Min unsat cost LB: 69222 ... c Min unsat cost LB: 69223 ... c Min unsat cost LB: 69224 ... c Min unsat cost LB: 69227 ... c Min unsat cost LB: 69233 ... c Min unsat cost LB: 69235 ... c Min unsat cost LB: 69236 ... c Min unsat cost LB: 69237 ... c Min unsat cost LB: 69238 ... c Min unsat cost LB: 69239 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69241 ... c Min unsat cost LB: 69242 ... c Min unsat cost LB: 69243 ... c Min unsat cost LB: 69244 ... c Min unsat cost LB: 69246 ... c Min unsat cost LB: 69247 ... c Min unsat cost LB: 69248 ... c Min unsat cost LB: 69249 ... c Min unsat cost LB: 69250 ... c Min unsat cost LB: 69251 ... c Min unsat cost LB: 69253 ... c Min unsat cost LB: 69254 ... c Min unsat cost LB: 69255 ... c Min unsat cost LB: 69257 ... c Min unsat cost LB: 69259 ... c Min unsat cost LB: 69260 ... c Min unsat cost LB: 69261 ... c Min unsat cost LB: 69262 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69264 ... c Min unsat cost LB: 69266 ... c Min unsat cost LB: 69267 ... c Min unsat cost LB: 69268 ... c Min unsat cost LB: 69269 ... c Min unsat cost LB: 69270 ... c Min unsat cost LB: 69271 ... c Min unsat cost LB: 6927Killed 1815.005u 4.734s 30:21.27 99.9% 0+0k 0+0io 0pf+0w