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_140_0001.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0001.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_140_0001.txt.wcnf *** c c Min unsat cost LB: 804 ... c Min unsat cost LB: 1608 ... c Min unsat cost LB: 2538 ... c Min unsat cost LB: 2782 ... c Min unsat cost LB: 2908 ... c Min unsat cost LB: 3639 ... c Min unsat cost LB: 4528 ... c Min unsat cost LB: 5603 ... c Min unsat cost LB: 6034 ... c Min unsat cost LB: 6472 ... c Min unsat cost LB: 7082 ... c Min unsat cost LB: 8157 ... c Min unsat cost LB: 8286 ... c Min unsat cost LB: 8327 ... c Min unsat cost LB: 8639 ... c Min unsat cost LB: 8829 ... c Min unsat cost LB: 9739 ... c Min unsat cost LB: 10588 ... c Min unsat cost LB: 10717 ... c Min unsat cost LB: 11448 ... c Min unsat cost LB: 11895 ... c Min unsat cost LB: 12784 ... c Min unsat cost LB: 13215 ... c Min unsat cost LB: 13833 ... c Min unsat cost LB: 14836 ... c Min unsat cost LB: 14954 ... c Min unsat cost LB: 15113 ... c Min unsat cost LB: 16108 ... c Min unsat cost LB: 16565 ... c Min unsat cost LB: 16646 ... c Min unsat cost LB: 17256 ... c Min unsat cost LB: 17300 ... c Min unsat cost LB: 17970 ... c Min unsat cost LB: 18701 ... c Min unsat cost LB: 19104 ... c Min unsat cost LB: 19231 ... c Min unsat cost LB: 20141 ... c Min unsat cost LB: 20160 ... c Min unsat cost LB: 20830 ... c Min unsat cost LB: 21063 ... c Min unsat cost LB: 21331 ... c Min unsat cost LB: 22220 ... c Min unsat cost LB: 22321 ... c Min unsat cost LB: 22682 ... c Min unsat cost LB: 23250 ... c Min unsat cost LB: 23611 ... c Min unsat cost LB: 24686 ... c Min unsat cost LB: 25206 ... c Min unsat cost LB: 25438 ... c Min unsat cost LB: 26125 ... c Min unsat cost LB: 26974 ... c Min unsat cost LB: 27762 ... c Min unsat cost LB: 28195 ... c Min unsat cost LB: 28460 ... c Min unsat cost LB: 28646 ... c Min unsat cost LB: 29121 ... c Min unsat cost LB: 29183 ... c Min unsat cost LB: 29287 ... c Min unsat cost LB: 29608 ... c Min unsat cost LB: 29750 ... c Min unsat cost LB: 30009 ... c Min unsat cost LB: 30619 ... c Min unsat cost LB: 31004 ... c Min unsat cost LB: 31315 ... c Min unsat cost LB: 31446 ... c Min unsat cost LB: 31562 ... c Min unsat cost LB: 31783 ... c Min unsat cost LB: 32246 ... c Min unsat cost LB: 32558 ... c Min unsat cost LB: 32919 ... c Min unsat cost LB: 33487 ... c Min unsat cost LB: 34105 ... c Min unsat cost LB: 34812 ... c Min unsat cost LB: 35129 ... c Min unsat cost LB: 35352 ... c Min unsat cost LB: 35612 ... c Min unsat cost LB: 36092 ... c Min unsat cost LB: 36122 ... c Min unsat cost LB: 36829 ... c Min unsat cost LB: 36881 ... c Min unsat cost LB: 37875 ... c Min unsat cost LB: 38142 ... c Min unsat cost LB: 38374 ... c Min unsat cost LB: 38924 ... c Min unsat cost LB: 39046 ... c Min unsat cost LB: 39948 ... c Min unsat cost LB: 39988 ... c Min unsat cost LB: 39994 ... c Min unsat cost LB: 41036 ... c Min unsat cost LB: 41042 ... c Min unsat cost LB: 41694 ... c Min unsat cost LB: 42476 ... c Min unsat cost LB: 42584 ... c Min unsat cost LB: 42697 ... c Min unsat cost LB: 43374 ... c Min unsat cost LB: 43433 ... c Min unsat cost LB: 44552 ... c Min unsat cost LB: 45120 ... c Min unsat cost LB: 45175 ... c Min unsat cost LB: 46223 ... c Min unsat cost LB: 46893 ... c Min unsat cost LB: 47147 ... c Min unsat cost LB: 47801 ... c Min unsat cost LB: 48411 ... c Min unsat cost LB: 48470 ... c Min unsat cost LB: 48772 ... c Min unsat cost LB: 48914 ... c Min unsat cost LB: 49133 ... c Min unsat cost LB: 49316 ... c Min unsat cost LB: 49530 ... c Min unsat cost LB: 49645 ... c Min unsat cost LB: 49712 ... c Min unsat cost LB: 50047 ... c Min unsat cost LB: 50418 ... c Min unsat cost LB: 50608 ... c Min unsat cost LB: 50929 ... c Min unsat cost LB: 51112 ... c Min unsat cost LB: 51611 ... c Min unsat cost LB: 51711 ... c Min unsat cost LB: 52022 ... c Min unsat cost LB: 52054 ... c Min unsat cost LB: 52439 ... c Min unsat cost LB: 52458 ... c Min unsat cost LB: 52664 ... c Min unsat cost LB: 52759 ... c Min unsat cost LB: 52866 ... c Min unsat cost LB: 53157 ... c Min unsat cost LB: 53404 ... c Min unsat cost LB: 53406 ... c Min unsat cost LB: 53725 ... c Min unsat cost LB: 53800 ... c Min unsat cost LB: 53829 ... c Min unsat cost LB: 54122 ... c Min unsat cost LB: 54493 ... c Min unsat cost LB: 55089 ... c Min unsat cost LB: 55161 ... c Min unsat cost LB: 55602 ... c Min unsat cost LB: 56184 ... c Min unsat cost LB: 56280 ... c Min unsat cost LB: 56325 ... c Min unsat cost LB: 56773 ... c Min unsat cost LB: 57080 ... c Min unsat cost LB: 57209 ... c Min unsat cost LB: 57264 ... c Min unsat cost LB: 57325 ... c Min unsat cost LB: 57390 ... c Min unsat cost LB: 57634 ... c Min unsat cost LB: 57640 ... c Min unsat cost LB: 57664 ... c Min unsat cost LB: 57678 ... c Min unsat cost LB: 58064 ... c Min unsat cost LB: 58081 ... c Min unsat cost LB: 58188 ... c Min unsat cost LB: 58403 ... c Min unsat cost LB: 58506 ... c Min unsat cost LB: 58509 ... c Min unsat cost LB: 58512 ... c Min unsat cost LB: 58628 ... c Min unsat cost LB: 58668 ... c Min unsat cost LB: 58790 ... c Min unsat cost LB: 58847 ... c Min unsat cost LB: 58933 ... c Min unsat cost LB: 58939 ... c Min unsat cost LB: 59226 ... c Min unsat cost LB: 59334 ... c Min unsat cost LB: 59349 ... c Min unsat cost LB: 59659 ... c Min unsat cost LB: 59715 ... c Min unsat cost LB: 59805 ... c Min unsat cost LB: 59817 ... c Min unsat cost LB: 60072 ... c Min unsat cost LB: 60189 ... c Min unsat cost LB: 60245 ... c Min unsat cost LB: 60297 ... c Min unsat cost LB: 60412 ... c Min unsat cost LB: 60509 ... c Min unsat cost LB: 60747 ... c Min unsat cost LB: 60860 ... c Min unsat cost LB: 60915 ... c Min unsat cost LB: 60966 ... c Min unsat cost LB: 61093 ... c Min unsat cost LB: 61099 ... c Min unsat cost LB: 61228 ... c Min unsat cost LB: 61270 ... c Min unsat cost LB: 61273 ... c Min unsat cost LB: 61432 ... c Min unsat cost LB: 61451 ... c Min unsat cost LB: 61532 ... c Min unsat cost LB: 61628 ... c Min unsat cost LB: 61651 ... c Min unsat cost LB: 61674 ... c Min unsat cost LB: 61696 ... c Min unsat cost LB: 61721 ... c Min unsat cost LB: 61732 ... c Min unsat cost LB: 61849 ... c Min unsat cost LB: 61850 ... c Min unsat cost LB: 61869 ... c Min unsat cost LB: 61872 ... c Min unsat cost LB: 61891 ... c Min unsat cost LB: 61898 ... c Min unsat cost LB: 61948 ... c Min unsat cost LB: 62004 ... c Min unsat cost LB: 62034 ... c Min unsat cost LB: 62039 ... c Min unsat cost LB: 62041 ... c Min unsat cost LB: 62098 ... c Min unsat cost LB: 62120 ... c Min unsat cost LB: 62129 ... c Min unsat cost LB: 62132 ... c Min unsat cost LB: 62219 ... c Min unsat cost LB: 62250 ... c Min unsat cost LB: 62274 ... c Min unsat cost LB: 62294 ... c Min unsat cost LB: 62312 ... c Min unsat cost LB: 62314 ... c Min unsat cost LB: 62332 ... c Min unsat cost LB: 62437 ... c Min unsat cost LB: 62449 ... c Min unsat cost LB: 62467 ... c Min unsat cost LB: 62539 ... c Min unsat cost LB: 62590 ... c Min unsat cost LB: 62592 ... c Min unsat cost LB: 62699 ... c Min unsat cost LB: 62863 ... c Min unsat cost LB: 62893 ... c Min unsat cost LB: 62905 ... c Min unsat cost LB: 62912 ... c Min unsat cost LB: 62945 ... c Min unsat cost LB: 62989 ... c Min unsat cost LB: 63006 ... c Min unsat cost LB: 63066 ... c Min unsat cost LB: 63077 ... c Min unsat cost LB: 63139 ... c Min unsat cost LB: 63349 ... c Min unsat cost LB: 63410 ... c Min unsat cost LB: 63435 ... c Min unsat cost LB: 63596 ... c Min unsat cost LB: 63727 ... c Min unsat cost LB: 63801 ... c Min unsat cost LB: 63860 ... c Min unsat cost LB: 63915 ... c Min unsat cost LB: 63950 ... c Min unsat cost LB: 63980 ... c Min unsat cost LB: 64105 ... c Min unsat cost LB: 64170 ... c Min unsat cost LB: 64208 ... c Min unsat cost LB: 64376 ... c Min unsat cost LB: 64406 ... c Min unsat cost LB: 64412 ... c Min unsat cost LB: 64599 ... c Min unsat cost LB: 64670 ... c Min unsat cost LB: 64751 ... c Min unsat cost LB: 64897 ... c Min unsat cost LB: 64942 ... c Min unsat cost LB: 64976 ... c Min unsat cost LB: 65000 ... c Min unsat cost LB: 65041 ... c Min unsat cost LB: 65099 ... c Min unsat cost LB: 65199 ... c Min unsat cost LB: 65217 ... c Min unsat cost LB: 65335 ... c Min unsat cost LB: 65359 ... c Min unsat cost LB: 65410 ... c Min unsat cost LB: 65439 ... c Min unsat cost LB: 65660 ... c Min unsat cost LB: 65685 ... c Min unsat cost LB: 65751 ... c Min unsat cost LB: 65845 ... c Min unsat cost LB: 66138 ... c Min unsat cost LB: 66145 ... c Min unsat cost LB: 66530 ... c Min unsat cost LB: 66579 ... c Min unsat cost LB: 66585 ... c Min unsat cost LB: 66685 ... c Min unsat cost LB: 66689 ... c Min unsat cost LB: 66693 ... c Min unsat cost LB: 66763 ... c Min unsat cost LB: 66892 ... c Min unsat cost LB: 66971 ... c Min unsat cost LB: 66980 ... c Min unsat cost LB: 67071 ... c Min unsat cost LB: 67372 ... c Min unsat cost LB: 67610 ... c Min unsat cost LB: 67616 ... c Min unsat cost LB: 67621 ... c Min unsat cost LB: 67635 ... c Min unsat cost LB: 67677 ... c Min unsat cost LB: 67680 ... c Min unsat cost LB: 67697 ... c Min unsat cost LB: 67726 ... c Min unsat cost LB: 67766 ... c Min unsat cost LB: 67787 ... c Min unsat cost LB: 67806 ... c Min unsat cost LB: 67812 ... c Min unsat cost LB: 67875 ... c Min unsat cost LB: 67887 ... c Min unsat cost LB: 67900 ... c Min unsat cost LB: 67901 ... c Min unsat cost LB: 67927 ... c Min unsat cost LB: 67941 ... c Min unsat cost LB: 67956 ... c Min unsat cost LB: 67970 ... c Min unsat cost LB: 67972 ... c Min unsat cost LB: 67991 ... c Min unsat cost LB: 68002 ... c Min unsat cost LB: 68019 ... c Min unsat cost LB: 68026 ... c Min unsat cost LB: 68044 ... c Min unsat cost LB: 68052 ... c Min unsat cost LB: 68053 ... c Min unsat cost LB: 68069 ... c Min unsat cost LB: 68073 ... c Min unsat cost LB: 68075 ... c Min unsat cost LB: 68095 ... c Min unsat cost LB: 68103 ... c Min unsat cost LB: 68107 ... c Min unsat cost LB: 68121 ... c Min unsat cost LB: 68127 ... c Min unsat cost LB: 68136 ... c Min unsat cost LB: 68141 ... c Min unsat cost LB: 68150 ... c Min unsat cost LB: 68159 ... c Min unsat cost LB: 68190 ... c Min unsat cost LB: 68193 ... c Min unsat cost LB: 68197 ... c Min unsat cost LB: 68208 ... c Min unsat cost LB: 68219 ... c Min unsat cost LB: 68226 ... c Min unsat cost LB: 68235 ... c Min unsat cost LB: 68237 ... c Min unsat cost LB: 68238 ... c Min unsat cost LB: 68243 ... c Min unsat cost LB: 68246 ... c Min unsat cost LB: 68249 ... c Min unsat cost LB: 68258 ... c Min unsat cost LB: 68264 ... c Min unsat cost LB: 68267 ... c Min unsat cost LB: 68271 ... c Min unsat cost LB: 68288 ... c Min unsat cost LB: 68310 ... c Min unsat cost LB: 68311 ... c Min unsat cost LB: 68313 ... c Min unsat cost LB: 68315 ... c Min unsat cost LB: 68318 ... c Min unsat cost LB: 68322 ... c Min unsat cost LB: 68324 ... c Min unsat cost LB: 68337 ... c Min unsat cost LB: 68362 ... c Min unsat cost LB: 68371 ... c Min unsat cost LB: 68383 ... c Min unsat cost LB: 68410 ... c Min unsat cost LB: 68411 ... c Min unsat cost LB: 68413 ... c Min unsat cost LB: 68415 ... c Min unsat cost LB: 68418 ... c Min unsat cost LB: 68420 ... c Min unsat cost LB: 68422 ... c Min unsat cost LB: 68423 ... c Min unsat cost LB: 68424 ... c Min unsat cost LB: 68426 ... c Min unsat cost LB: 68427 ... c Min unsat cost LB: 68428 ... c Min unsat cost LB: 68430 ... c Min unsat cost LB: 68434 ... c Min unsat cost LB: 68435 ... c Min unsat cost LB: 68436 ... c Min unsat cost LB: 68443 ... c Min unsat cost LB: 68445 ... c Min unsat cost LB: 68448 ... c Min unsat cost LB: 68449 ... c Min unsat cost LB: 68458 ... c Min unsat cost LB: 68460 ... c Min unsat cost LB: 68461 ... c Min unsat cost LB: 68462 ... c Min unsat cost LB: 68465 ... c Min unsat cost LB: 68468 ... c Min unsat cost LB: 68469 ... c Min unsat cost LB: 68470 ... c Min unsat cost LB: 68471 ... c Min unsat cost LB: 68472 ... c Min unsat cost LB: 68473 ... c Min unsat cost LB: 68499 ... c Min unsat cost LB: 68500 ... c Min unsat cost LB: 68504 ... c Min unsat cost LB: 68511 ... c Min unsat cost LB: 68515 ... c Min unsat cost LB: 68517 ... c Min unsat cost LB: 68520 ... c Min unsat cost LB: 68536 ... c Min unsat cost LB: 68539 ... c Min unsat cost LB: 68542 ... c Min unsat cost LB: 68545 ... c Min unsat cost LB: 68547 ... c Min unsat cost LB: 68558 ... c Min unsat cost LB: 68560 ... c Min unsat cost LB: 68580 ... c Min unsat cost LB: 68591 ... c Min unsat cost LB: 68595 ... c Min unsat cost LB: 68598 ... c Min unsat cost LB: 68649 ... c Min unsat cost LB: 68668 ... c Min unsat cost LB: 68675 ... c Min unsat cost LB: 68679 ... c Min unsat cost LB: 68745 ... c Min unsat cost LB: 68746 ... c Min unsat cost LB: 68747 ... c Min unsat cost LB: 68749 ... c Min unsat cost LB: 68775 ... c Min unsat cost LB: 68800 ... c Min unsat cost LB: 68801 ... c Min unsat cost LB: 68807 ... c Min unsat cost LB: 68855 ... c Min unsat cost LB: 68899 ... c Min unsat cost LB: 68906 ... c Min unsat cost LB: 68907 ... c Min unsat cost LB: 68909 ... c Min unsat cost LB: 68911 ... c Min unsat cost LB: 68917 ... c Min unsat cost LB: 68918 ... c Min unsat cost LB: 68919 ... c Min unsat cost LB: 68925 ... c Min unsat cost LB: 68928 ... c Min unsat cost LB: 68930 ... c Min unsat cost LB: 68931 ... c Min unsat cost LB: 68950 ... c Min unsat cost LB: 68952 ... c Min unsat cost LB: 68955 ... c Min unsat cost LB: 68956 ... c Min unsat cost LB: 68958 ... c Min unsat cost LB: 68959 ... c Min unsat cost LB: 68961 ... c Min unsat cost LB: 68962 ... c Min unsat cost LB: 68963 ... c Min unsat cost LB: 68968 ... c Min unsat cost LB: 68975 ... c Min unsat cost LB: 68976 ... c Min unsat cost LB: 68977 ... c Min unsat cost LB: 68978 ... c Min unsat cost LB: 68981 ... c Min unsat cost LB: 68982 ... c Min unsat cost LB: 68987 ... c Min unsat cost LB: 68992 ... c Min unsat cost LB: 68993 ... c Min unsat cost LB: 68998 ... c Min unsat cost LB: 69001 ... c Min unsat cost LB: 69002 ... c Min unsat cost LB: 69007 ... c Min unsat cost LB: 69008 ... c Min unsat cost LB: 69009 ... c Min unsat cost LB: 69012 ... c Min unsat cost LB: 69073 ... c Min unsat cost LB: 69079 ... c Min unsat cost LB: 69082 ... c Min unsat cost LB: 69088 ... c Min unsat cost LB: 69089 ... c Min unsat cost LB: 69091 ... c Min unsat cost LB: 69095 ... c Min unsat cost LB: 69103 ... c Min unsat cost LB: 69106 ... c Min unsat cost LB: 69149 ... c Min unsat cost LB: 69166 ... c Min unsat cost LB: 69179 ... c Min unsat cost LB: 69185 ... c Min unsat cost LB: 69232 ... c Min unsat cost LB: 69234 ... c Min unsat cost LB: 69235 ... c Min unsat cost LB: 69236 ... c Min unsat cost LB: 69240 ... c Min unsat cost LB: 69249 ... c Min unsat cost LB: 69263 ... c Min unsat cost LB: 69264 ... c Min unsat cost LB: 69265 ... c Min unsat cost LB: 69272 ... c Min unsat cost LB: 69277 ... c Min unsat cost LB: 69279 ... c Min unsat cost LB: 69280 ... c Min unsat cost LB: 69289 ... c Min unsat cost LB: 69291 ... c Min unsat cost LB: 69323 ... c Min unsat cost LB: 69327 ... c Min unsat cost LB: 69328 ... c Min unsat cost LB: 69332 ... c Min unsat cost LB: 69340 ... c Min unsat cost LB: 69341 ... c Min unsat cost LB: 69342 ... c Min unsat cost LB: 69343 ... c Min unsat cost LB: 69345 ... c Min unsat cost LB: 69346 ... c Min unsat cost LB: 69347 ... c Min unsat cost LB: 69370 ... c Min unsat cost LB: 69371 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69386 ... c Min unsat cost LB: 69388 ... c Min unsat cost LB: 69390 ... c Min unsat cost LB: 69391 ... c Min unsat cost LB: 69392 ... c Min unsat cost LB: 69393 ... c Min unsat cost LB: 69394 ... c Min unsat cost LB: 69395 ... c Min unsat cost LB: 69396 ... c Min unsat cost LB: 69397 ... c Min unsat cost LB: 69398 ... c Min unsat cost LB: 69407 ... c Min unsat cost LB: 69421 ... c Min unsat cost LB: 69424 ... c Min unsat cost LB: 69437 ... c Min unsat cost LB: 69441 ... c Min unsat cost LB: 69457 ... c Min unsat cost LB: 69489 ... c Min unsat cost LB: 69490 ... c Min unsat cost LB: 69502 ... c Min unsat cost LB: 69509 ... c Min unsat cost LB: 69512 ... c Min unsat cost LB: 69525 ... c Min unsat cost LB: 69533 ... c Min unsat cost LB: 69550 ... c Min unsat cost LB: 69571 ... c Min unsat cost LB: 69585 ... c Min unsat cost LB: 69586 ... c Min unsat cost LB: 69587 ... c Min unsat cost LB: 69588 ... c Min unsat cost LB: 69589 ... c Min unsat cost LB: 69591 ... c Min unsat cost LB: 69592 ... c Min unsat cost LB: 69593 ... c Min unsat cost LB: 69594 ... c Min unsat cost LB: 69596 ... c Min unsat cost LB: 69608 ... c Min unsat cost LB: 69609 ... c Min unsat cost LB: 69610 ... c Min unsat cost LB: 69611 ... c Min unsat cost LB: 69616 ... c Min unsat cost LB: 69620 ... c Min unsat cost LB: 69621 ... c Min unsat cost LB: 69630 ... c Min unsat cost LB: 69640 ... c Min unsat cost LB: 69641 ... c Min unsat cost LB: 69644 ... c Min unsat cost LB: 69656 ... c Min unsat cost LB: 69738 ... c Min unsat cost LB: 69742 ... c Min unsat cost LB: 69747 ... c Min unsat cost LB: 69748 ... c Min unsat cost LB: 69759 ... c Min unsat cost LB: 69760 ... c Min unsat cost LB: 69764 ... c Min unsat cost LB: 69765 ... c Min unsat cost LB: 69768 ... c Min unsat cost LB: 69774 ... c Min unsat cost LB: 69781 ... c Min unsat cost LB: 69785 ... c Min unsat cost LB: 69798 ... c Min unsat cost LB: 69799 ... c Min unsat cost LB: 69800 ... c Min unsat cost LB: 69801 ... c Min unsat cost LB: 69802 ... c Min unsat cost LB: 69804 ... c Min unsat cost LB: 69806 ... c Min unsat cost LB: 69808 ... c Min unsat cost LB: 69809 ... c Min unsat cost LB: 69811 ... c Min unsat cost LB: 69815 ... c Min unsat cost LB: 69819 ... c Min unsat cost LB: 69820 ... c Min unsat cost LB: 69826 ... c Min unsat cost LB: 69827 ... c Min unsat cost LB: 69830 ... c Min unsat cost LB: 69835 ... c Min unsat cost LB: 69846 ... c Min unsat cost LB: 69848 ... c Min unsat cost LB: 69849 ... c Min unsat cost LB: 69850 ... c Min unsat cost LB: 69851 ... c Min unsat cost LB: 69852 ... c Min unsat cost LB: 69853 ... c Min unsat cost LB: 69882 ... c Min unsat cost LB: 69883 ... c Min unsat cost LB: 69885 ... c Min unsat cost LB: 69889 ... c Min unsat cost LB: 69908 ... c Min unsat cost LB: 69911 ... c Min unsat cost LB: 69912 ... c Min unsat cost LB: 69913 ... c Min unsat cost LB: 69914 ... c Min unsat cost LB: 69915 ... c Min unsat cost LB: 69916 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69918 ... c Min unsat cost LB: 69919 ... c Min unsat cost LB: 69921 ... c Min unsat cost LB: 69927 ... c Min unsat cost LB: 69930 ... c Min unsat cost LB: 69934 ... c Min unsat cost LB: 69935 ... c Min unsat cost LB: 69970 ... c Min unsat cost LB: 69971 ... c Min unsat cost LB: 69972 ... c Min unsat cost LB: 69973 ... c Min unsat cost LB: 69974 ... c Min unsat cost LB: 69975 ... c Min unsat cost LB: 69976 ... c Min unsat cost LB: 69977 ... c Min unsat cost LB: 69981 ... c Min unsat cost LB: 69982 ... c Min unsat cost LB: 69986 ... c Min unsat cost LB: 69996 ... c Min unsat cost LB: 70010 ... c Min unsat cost LB: 70026 ... c Min unsat cost LB: 70032 ... c Min unsat cost LB: 70041 ... c Min unsat cost LB: 70042 ... c Min unsat cost LB: 70043 ... c Min unsat cost LB: 70060 ... c Min unsat cost LB: 70063 ... c Min unsat cost LB: 70066 ... c Min unsat cost LB: 70067 ... c Min unsat cost LB: 70069 ... c Min unsat cost LB: 70070 ... c Min unsat cost LB: 70074 ... c Min unsat cost LB: 70075 ... c Min unsat cost LB: 70076 ... c Min unsat cost LB: 70079 ... c Min unsat cost LB: 70081 ... c Min unsat cost LB: 70087 ... c Min unsat cost LB: 70088 ... c Min unsat cost LB: 70091 ... c Min unsat cost LB: 70094 ... c Min unsat cost LB: 70095 ... c Min unsat cost LB: 70096 ... c Min unsat cost LB: 70097 ... c Min unsat cost LB: 70098 ... c Min unsat cost LB: 70099 ... c Min unsat cost LB: 70100 ... c Min unsat cost LB: 70103 ... c Min unsat cost LB: 70104 ... c Min unsat cost LB: 70107 ... c Min unsat cost LB: 70108 ... c Min unsat cost LB: 70109 ... c Min unsat cost LB: 70110 ... c Min unsat cost LB: 70111 ... c Min unsat cost LB: 70112 ... c Min unsat cost LB: 70113 ... c Min unsat cost LB: 70125 ... c Min unsat cost LB: 70126 ... c Min unsat cost LB: 70127 ... c Min unsat cost LB: 70128 ... c Min unsat cost LB: 70129 ... c Min unsat cost LB: 70130 ... c Min unsat cost LB: 70131 ... c Min unsat cost LB: 70132 ... c Min unsat cost LB: 70133 ... c Min unsat cost LB: 70134 ... c Min unsat cost LB: 70135 ... c Min unsat cost LB: 70136 ... c Min unsat cost LB: 70137 ... c Min unsat cost LB: 70138 ... c Min unsat cost LB: 70139 ... c Min unsat cost LB: 70141 ... c Min unsat cost LB: 70145 ... c Min unsat cost LB: 70146 ... c Min unsat cost LB: 70149 ... c Min unsat cost LB: 70151 ... c Min unsat cost LB: 70152 ... c Min unsat cost LB: 70155 ... c Min unsat cost LB: 70156 ... c Min unsat cost LB: 70157 ... c Min unsat cost LB: 70158 ... c Min unsat cost LB: 70159 ... c Min unsat cost LB: 70166 ... c Min unsat cost LB: 70167 ... c Min unsat cost LB: 70170 ... c Min unsat cost LB: 70175 ... c Min unsat cost LB: 70177 ... c Min unsat cost LB: 70178 ... c Min unsat cost LB: 70183 ... c Min unsat cost LB: 70184 ... c Min unsat cost LB: 70185 ... c Min unsat cost LB: 70194 ... c Min unsat cost LB: 70195 ... c Min unsat cost LB: 70196 ... c Min unsat cost LB: 70202 ... c Min unsat cost LB: 70205 ... c Min unsat cost LB: 70209 ... c Min unsat cost LB: 70214 ... c Min unsat cost LB: 70216 ... c Min unsat cost LB: 70217 ... c Min unsat cost LB: 70218 ... c Min unsat cost LB: 70221 ... c Min unsat cost LB: 70224 ... c Min unsat cost LB: 70225 ... c Min unsat cost LB: 70227 ... c Min unsat cost LB: 70229 ... c Min unsat cost LB: 70230 ... c Min unsat cost LB: 70231 ... c Min unsat cost LB: 70232 ... c Min unsat cost LB: 70233 ... c Min unsat cost LB: 70234 ... c Min unsat cost LB: 70235 ... c Min unsat cost LB: 70239 ... c Min unsat cost LB: 70241 ... c Min unsat cost LB: 70242 ... c Min unsat cost LB: 70243 ... c Min unsat cost LB: 70244 ... c Min unsat cost LB: 70247 ... c Min unsat cost LB: 70254 ... c Min unsat cost LB: 70255 ... c Min unsat cost LB: 70261 ... c Min unsat cost LB: 70273 ... c Min unsat cost LB: 70274 ... c Min unsat cost LB: 70279 ... c Min unsat cost LB: 70287 ... c Min unsat cost LB: 70295 ... c Min unsat cost LB: 70297 ... c Min unsat cost LB: 70298 ... c Min unsat cost LB: 70301 ... c Min unsat cost LB: 70305 ... c Min unsat cost LB: 70306 ... c Min unsat cost LB: 70307 ... c Min unsat cost LB: 70310 ... c Min unsat cost LB: 70311 ... c Min unsat cost LB: 70312 ... c Min unsat cost LB: 70313 ... c Min unsat cost LB: 70317 ... c Min unsat cost LB: 70318 ... c Min unsat cost LB: 70319 ... c Min unsat cost LB: 70320 ... c Min unsat cost LB: 70326 ... c Min unsat cost LB: 70327 ... c Min unsat cost LB: 70328 ... c Min unsat cost LB: 70330 ... c Min unsat cost LB: 70331 ... c Min unsat cost LB: 70332 ... c Min unsat cost LB: 70333 ... c Min unsat cost LB: 70334 ... c Min unsat cost LB: 70335 ... c Min unsat cost LB: 70338 ... c Min unsat cost LB: 70339 ... c Min unsat cost LB: 70340 ... c Min unsat cost LB: 70341 ... c Min unsat cost LB: 70358 ... c Min unsat cost LB: 70361 ... c Min unsat cost LB: 70374 ... c Min unsat cost LB: 70380 ... c Min unsat cost LB: 70417 ... c Min unsat cost LB: 70422 ... c Min unsat cost LB: 70423 ... c Min unsat cost LB: 70424 ... c Min unsat cost LB: 70425 ... c Min unsat cost LB: 70464 ... c Min unsat cost LB: 70465 ... c Min unsat cost LB: 70466 ... c Min unsat cost LB: 70467 ... c Min unsat cost LB: 70468 ... c Min unsat cost LB: 70470 ... c Min unsat cost LB: 70471 ... c Min unsat cost LB: 70473 ... c Min unsat cost LB: 70480 ... c Min unsat cost LB: 70486 ... c Min unsat cost LB: 70487 ... c Min unsat cost LB: 70492 ... c Min unsat cost LB: 70507 ... c Min unsat cost LB: 70510 ... c Min unsat cost LB: 70511 ... c Min unsat cost LB: 70513 ... c Min unsat cost LB: 70516 ... c Min unsat cost LB: 70517 ... c Min unsat cost LB: 70520 ... c Min unsat cost LB: 70521 ... c Min unsat cost LB: 70523 ... c Min unsat cost LB: 70525 ... c Min unsat cost LB: 70529 ... c Min unsat cost LB: 70531 ... c Min unsat cost LB: 70535 ... c Min unsat cost LB: 70536 ... c Min unsat cost LB: 70537 ... c Min unsat cost LB: 70540 ... c Min unsat cost LB: 70541 ... c Min unsat cost LB: 70543 ... c Min unsat cost LB: 70545 ... c Min unsat cost LB: 70549 ... c Min unsat cost LB: 70552 ... c Min unsat cost LB: 70565 ... c Min unsat cost LB: 70588 ... c Min unsat cost LB: 70589 ... c Min unsat cost LB: 70590 ... c Min unsat cost LB: 70592 ... c Min unsat cost LB: 70594 ... c Min unsat cost LB: 70596 ... c Min unsat cost LB: 70597 ... c Min unsat cost LB: 70598 ... c Min unsat cost LB: 70603 ... c Min unsat cost LB: 70604 ... c Min unsat cost LB: 70609 ... c Min unsat cost LB: 70610 ... c Min unsat cost LB: 70612 ... c Min unsat cost LB: 70634 ... c Min unsat cost LB: 70635 ... c Min unsat cost LB: 70637 ... c Min unsat cost LB: 70638 ... c Min unsat cost LB: 70639 ... c Min unsat cost LB: 70644 ... c Min unsat cost LB: 70681 ... c Min unsat cost LB: 70766 ... c Min unsat cost LB: 70767 ... c Min unsat cost LB: 70770 ... c Min unsat cost LB: 70771 ... c Min unsat cost LB: 70773 ... c Min unsat cost LB: 70774 ... c Min unsat cost LB: 70776 ... c Min unsat cost LB: 70777 ... c Min unsat cost LB: 70778 ... c Min unsat cost LB: 70779 ... c Min unsat cost LB: 70784 ... c Min unsat cost LB: 70785 ... c Min unsat cost LB: 70786 ... c Min unsat cost LB: 70787 ... c Min unsat cost LB: 70788 ... c Min unsat cost LB: 70790 ... c Min unsat cost LB: 70795 ... c Min unsat cost LB: 70803 ... c Min unsat cost LB: 70806 ... c Min unsat cost LB: 70820 ... c Min unsat cost LB: 70821 ... c Min unsat cost LB: 70822 ... c Min unsat cost LB: 70840 ... c Min unsat cost LB: 70846 ... c Min unsat cost LB: 70849 ... c Min unsat cost LB: 70851 ... c Min unsat cost LB: 70853 ... c Min unsat cost LB: 70854 ... c Min unsat cost LB: 70855 ... c Min unsat cost LB: 70857 ... c Min unsat cost LB: 70858 ... c Min unsat cost LB: 70875 ... c Min unsat cost LB: 70882 ... c Min unsat cost LB: 70886 ... c Min unsat cost LB: 70890 ... c Min unsat cost LB: 70893 ... c Min unsat cost LB: 70901 ... c Min unsat cost LB: 70904 ... c Min unsat cost LB: 70905 ... c Min unsat cost LB: 70906 ... c Min unsat cost LB: 70910 ... c Min unsat cost LB: 70923 ... c Min unsat cost LB: 70924 ... c Min unsat cost LB: 70925 ... c Min unsat cost LB: 70926 ... c Min unsat cost LB: 70927 ... c Min unsat cost LB: 70928 ... c Min unsat cost LB: 70929 ... c Min unsat cost LB: 70930 ... c Min unsat cost LB: 70931 ... c Min unsat cost LB: 70932 ... c Min unsat cost LB: 70933 ... c Min unsat cost LB: 70934 ... c Min unsat cost LB: 70935 ... c Min unsat cost LB: 70936 ... c Min unsat cost LB: 70942 ... c Min unsat cost LB: 70943 ... c Min unsat cost LB: 70944 ... c Min unsat cost LB: 70945 ... c Min unsat cost LB: 70946 ... c Min unsat cost LB: 70947 ... c Min unsat cost LB: 70953 ... c Min unsat cost LB: 70956 ... c Min unsat cost LB: 70965 ... c Min unsat cost LB: 70966 ... c Min unsat cost LB: 70967 ... c Min unsat cost LB: 70968 ... c Min unsat cost LB: 70969 ... c Min unsat cost LB: 70971 ... c Min unsat cost LB: 70972 ... c Min unsat cost LB: 70973 ... c Min unsat cost LB: 70980 ... c Min unsat cost LB: 70987 ... c Min unsat cost LB: 70988 ... c Min unsat cost LB: 70989 ... c Min unsat cost LB: 70999 ... c Min unsat cost LB: 71007 ... c Min unsat cost LB: 71019 ... c Min unsat cost LB: 71022 ... c Min unsat cost LB: 71023 ... c Min unsat cost LB: 71024 ... c Min unsat cost LB: 71025 ... c Min unsat cost LB: 71028 ... c Min unsat cost LB: 71029 ... c Min unsat cost LB: 71032 ... c Min unsat cost LB: 71033 ... c Min unsat cost LB: 71034 ... c Min unsat cost LB: 71035 ... c Min unsat cost LB: 71036 ... c Min unsat cost LB: 71037 ... c Min unsat cost LB: 71038 ... c Min unsat cost LB: 71039 ... c Min unsat cost LB: 71040 ... c Min unsat cost LB: 71048 ... c Min unsat cost LB: 71070 ... c Min unsat cost LB: 71072 ... c Min unsat cost LB: 71073 ... c Min unsat cost LB: 71074 ... c Min unsat cost LB: 71076 ... c Min unsat cost LB: 71078 ... c Min unsat cost LB: 71079 ... c Min unsat cost LB: 71080 ... c Min unsat cost LB: 71082 ... c Min unsat cost LB: 71083 ... c Min unsat cost LB: 71103 ... c Min unsat cost LB: 71106 ... c Min unsat cost LB: 71107 ... c Min unsat cost LB: 71108 ... c Min unsat cost LB: 71109 ... c Min unsat cost LB: 71110 ... c Min unsat cost LB: 71111 ... c Min unsat cost LB: 71112 ... c Min unsat cost LB: 71113 ... c Min unsat cost LB: 71114 ... c Min unsat cost LB: 71115 ... c Min unsat cost LB: 71116 ... c Min unsat cost LB: 71117 ... c Min unsat cost LB: 71118 ... c Min unsat cost LB: 71119 ... c Min unsat cost LB: 71120 ... c Min unsat cost LB: 71121 ... c Min unsat cost LB: 71122 ... c Min unsat cost LB: 71123 ... c Min unsat cost LB: 71124 ... c Min unsat cost LB: 71125 ... c Min unsat cost LB: 71126 ... c Min unsat cost LB: 71127 ... c Min unsat cost LB: 71128 ... c Min unsat cost LB: 71129 ... c Min unsat cost LB: 71130 ... c Min unsat cost LB: 71131 ... c Min unsat cost LB: 71132 ... c Min unsat cost LB: 71133 ... c Min unsat cost LB: 71134 ... c Min unsat cost LB: 71135 ... c Min unsat cost LB: 71136 ... c Min unsat cost LB: 71137 ... c Min unsat cost LB: 71138 ... c Min unsat cost LB: 71139 ... c Min unsat cost LB: 71140 ... c Min unsat cost LB: 71141 ... c Min unsat cost LB: 71142 ... c Min unsat cost LB: 71143 ... c Min unsat cost LB: 71144 ... c Min unsat cost LB: 71145 ... c Min unsat cost LB: 71146 ... c Min unsat cost LB: 71147 ... c Min unsat cost LB: 71148 ... c Min unsat cost LB: 71149 ... c Min unsat cost LB: 71150 ... c Min unsat cost LB: 71151 ... c Min unsat cost LB: 71152 ... c Min unsat cost LB: 71153 ... c Min unsat cost LB: 71154 ... c Min unsat cost LB: 71155 ... c Min unsat cost LB: 71156 ... c Min unsat cost LB: 71157 ... c Min unsat cost LB: 71172 ... c Min unsat cost LB: 71176 ... c Min unsat cost LB: 71178 ... c Min unsat cost LB: 71183 ... c Min unsat cost LB: 71184 ... c Min unsat cost LB: 71187 ... c Min unsat cost LB: 71193 ... c Min unsat cost LB: 71195 ... c Min unsat cost LB: 71200 ... c Min unsat cost LB: 71212 ... c Min unsat cost LB: 71222 ... c Min unsat cost LB: 71230 ... c Min unsat cost LB: 71234 ... c Min unsat cost LB: 71235 ... c Min unsat cost LB: 71236 ... c Min unsat cost LB: 71239 ... c Min unsat cost LB: 71242 ... c Min unsat cost LB: 71249 ... c Min unsat cost LB: 71260 ... c Min unsat cost LB: 71263 ... c Min unsat cost LB: 71264 ... c Min unsat cost LB: 71265 ... c Min unsat cost LB: 71266 ... c Min unsat cost LB: 71267 ... c Min unsat cost LB: 71268 ... c Min unsat cost LB: 71269 ... c Min unsat cost LB: 71272 ... c Min unsat cost LB: 71277 ... c Min unsat cost LB: 71280 ... c Min unsat cost LB: 71284 ... c Min unsat cost LB: 71286 ... c Min unsat cost LB: 71287 ... c Min unsat cost LB: 71288 ... c Min unsat cost LB: 71289 ... c Min unsat cost LB: 71291 ... c Min unsat cost LB: 71292 ... c Min unsat cost LB: 71293 ... c Min unsat cost LB: 71294 ... c Min unsat cost LB: 71295 ... c Min unsat cost LB: 71297 ... c Min unsat cost LB: 71298 ... c Min unsat cost LB: 71299 ... c Min unsat cost LB: 71300 ... c Min unsat cost LB: 71301 ... c Min unsat cost LB: 71302 ... c Min unsat cost LB: 71303 ... c Min unsat cost LB: 71304 ... c Min unsat cost LB: 71305 ... c Min unsat cost LB: 71306 ... c Min unsat cost LB: 71307 ... c Min unsat cost LB: 71308 ... c Min unsat cost LB: 71309 ... c Min unsat cost LB: 71310 ... c Min unsat cost LB: 71314 ... c Min unsat cost LB: 71315 ... c Min unsat cost LB: 71316 ... c Min unsat cost LB: 71317 ... c Min unsat cost LB: 71318 ... c Min unsat cost LB: 71319 ... c Min unsat cost LB: 71320 ... c Min unsat cost LB: 71321 ... c Min unsat cost LB: 71326 ... c Min unsat cost LB: 71327 ... c Min unsat cost LB: 71332 ... c Min unsat cost LKilled 1814.095u 5.645s 30:23.25 99.8% 0+0k 0+0io 0pf+0w