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_KnotPipatsrisawat_random-net-260-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-260-1_network-8.net.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/KnotPipatsrisawat/random-net-260-1_network-8.net.wcnf *** c c Min unsat cost LB: 1555 ... c Min unsat cost LB: 2950 ... c Min unsat cost LB: 3814 ... c Min unsat cost LB: 5016 ... c Min unsat cost LB: 6357 ... c Min unsat cost LB: 8123 ... c Min unsat cost LB: 9694 ... c Min unsat cost LB: 10557 ... c Min unsat cost LB: 12675 ... c Min unsat cost LB: 13934 ... c Min unsat cost LB: 15926 ... c Min unsat cost LB: 17513 ... c Min unsat cost LB: 17861 ... c Min unsat cost LB: 18188 ... c Min unsat cost LB: 18601 ... c Min unsat cost LB: 18719 ... c Min unsat cost LB: 19306 ... c Min unsat cost LB: 20123 ... c Min unsat cost LB: 20270 ... c Min unsat cost LB: 20403 ... c Min unsat cost LB: 20845 ... c Min unsat cost LB: 20889 ... c Min unsat cost LB: 21144 ... c Min unsat cost LB: 22331 ... c Min unsat cost LB: 23744 ... c Min unsat cost LB: 23857 ... c Min unsat cost LB: 24028 ... c Min unsat cost LB: 24977 ... c Min unsat cost LB: 26072 ... c Min unsat cost LB: 27129 ... c Min unsat cost LB: 28069 ... c Min unsat cost LB: 28893 ... c Min unsat cost LB: 29283 ... c Min unsat cost LB: 29714 ... c Min unsat cost LB: 30422 ... c Min unsat cost LB: 32026 ... c Min unsat cost LB: 33017 ... c Min unsat cost LB: 33636 ... c Min unsat cost LB: 34118 ... c Min unsat cost LB: 35282 ... c Min unsat cost LB: 35523 ... c Min unsat cost LB: 35926 ... c Min unsat cost LB: 36568 ... c Min unsat cost LB: 37843 ... c Min unsat cost LB: 37844 ... c Min unsat cost LB: 38789 ... c Min unsat cost LB: 38974 ... c Min unsat cost LB: 39990 ... c Min unsat cost LB: 40297 ... c Min unsat cost LB: 41790 ... c Min unsat cost LB: 42017 ... c Min unsat cost LB: 42260 ... c Min unsat cost LB: 43903 ... c Min unsat cost LB: 44962 ... c Min unsat cost LB: 45085 ... c Min unsat cost LB: 45272 ... c Min unsat cost LB: 46626 ... c Min unsat cost LB: 47271 ... c Min unsat cost LB: 48367 ... c Min unsat cost LB: 49677 ... c Min unsat cost LB: 50332 ... c Min unsat cost LB: 50352 ... c Min unsat cost LB: 50501 ... c Min unsat cost LB: 50546 ... c Min unsat cost LB: 52234 ... c Min unsat cost LB: 53567 ... c Min unsat cost LB: 53631 ... c Min unsat cost LB: 53985 ... c Min unsat cost LB: 54696 ... c Min unsat cost LB: 55421 ... c Min unsat cost LB: 55584 ... c Min unsat cost LB: 56044 ... c Min unsat cost LB: 56050 ... c Min unsat cost LB: 56097 ... c Min unsat cost LB: 56250 ... c Min unsat cost LB: 57075 ... c Min unsat cost LB: 57318 ... c Min unsat cost LB: 57826 ... c Min unsat cost LB: 57929 ... c Min unsat cost LB: 57957 ... c Min unsat cost LB: 59319 ... c Min unsat cost LB: 59340 ... c Min unsat cost LB: 59522 ... c Min unsat cost LB: 59911 ... c Min unsat cost LB: 60813 ... c Min unsat cost LB: 61142 ... c Min unsat cost LB: 61333 ... c Min unsat cost LB: 61500 ... c Min unsat cost LB: 62179 ... c Min unsat cost LB: 62386 ... c Min unsat cost LB: 62666 ... c Min unsat cost LB: 63254 ... c Min unsat cost LB: 63419 ... c Min unsat cost LB: 63482 ... c Min unsat cost LB: 63574 ... c Min unsat cost LB: 63871 ... c Min unsat cost LB: 64988 ... c Min unsat cost LB: 65111 ... c Min unsat cost LB: 66012 ... c Min unsat cost LB: 66614 ... c Min unsat cost LB: 66698 ... c Min unsat cost LB: 67909 ... c Min unsat cost LB: 68879 ... c Min unsat cost LB: 68938 ... c Min unsat cost LB: 69042 ... c Min unsat cost LB: 69431 ... c Min unsat cost LB: 70504 ... c Min unsat cost LB: 70578 ... c Min unsat cost LB: 71099 ... c Min unsat cost LB: 71396 ... c Min unsat cost LB: 71873 ... c Min unsat cost LB: 72622 ... c Min unsat cost LB: 72705 ... c Min unsat cost LB: 72760 ... c Min unsat cost LB: 73192 ... c Min unsat cost LB: 73495 ... c Min unsat cost LB: 73511 ... c Min unsat cost LB: 73715 ... c Min unsat cost LB: 74608 ... c Min unsat cost LB: 74838 ... c Min unsat cost LB: 74839 ... c Min unsat cost LB: 75254 ... c Min unsat cost LB: 75298 ... c Min unsat cost LB: 75366 ... c Min unsat cost LB: 75434 ... c Min unsat cost LB: 75507 ... c Min unsat cost LB: 75684 ... c Min unsat cost LB: 75882 ... c Min unsat cost LB: 75956 ... c Min unsat cost LB: 76171 ... c Min unsat cost LB: 76204 ... c Min unsat cost LB: 76301 ... c Min unsat cost LB: 76519 ... c Min unsat cost LB: 76522 ... c Min unsat cost LB: 76565 ... c Min unsat cost LB: 76598 ... c Min unsat cost LB: 77297 ... c Min unsat cost LB: 77499 ... c Min unsat cost LB: 78113 ... c Min unsat cost LB: 78334 ... c Min unsat cost LB: 79058 ... c Min unsat cost LB: 79861 ... c Min unsat cost LB: 79996 ... c Min unsat cost LB: 80784 ... c Min unsat cost LB: 80963 ... c Min unsat cost LB: 81408 ... c Min unsat cost LB: 81551 ... c Min unsat cost LB: 82782 ... c Min unsat cost LB: 82785 ... c Min unsat cost LB: 82951 ... c Min unsat cost LB: 83718 ... c Min unsat cost LB: 83752 ... c Min unsat cost LB: 83901 ... c Min unsat cost LB: 83980 ... c Min unsat cost LB: 84152 ... c Min unsat cost LB: 84279 ... c Min unsat cost LB: 85035 ... c Min unsat cost LB: 85504 ... c Min unsat cost LB: 85643 ... c Min unsat cost LB: 85899 ... c Min unsat cost LB: 85907 ... c Min unsat cost LB: 86492 ... c Min unsat cost LB: 86895 ... c Min unsat cost LB: 87883 ... c Min unsat cost LB: 88352 ... c Min unsat cost LB: 88994 ... c Min unsat cost LB: 89402 ... c Min unsat cost LB: 89456 ... c Min unsat cost LB: 89869 ... c Min unsat cost LB: 90307 ... c Min unsat cost LB: 90355 ... c Min unsat cost LB: 91039 ... c Min unsat cost LB: 91107 ... c Min unsat cost LB: 92340 ... c Min unsat cost LB: 92457 ... c Min unsat cost LB: 92505 ... c Min unsat cost LB: 92577 ... c Min unsat cost LB: 93300 ... c Min unsat cost LB: 93301 ... c Min unsat cost LB: 93492 ... c Min unsat cost LB: 93575 ... c Min unsat cost LB: 93677 ... c Min unsat cost LB: 94106 ... c Min unsat cost LB: 94278 ... c Min unsat cost LB: 94743 ... c Min unsat cost LB: 94969 ... c Min unsat cost LB: 95361 ... c Min unsat cost LB: 95546 ... c Min unsat cost LB: 95560 ... c Min unsat cost LB: 96204 ... c Min unsat cost LB: 96260 ... c Min unsat cost LB: 97140 ... c Min unsat cost LB: 98159 ... c Min unsat cost LB: 98349 ... c Min unsat cost LB: 99316 ... c Min unsat cost LB: 99469 ... c Min unsat cost LB: 99871 ... c Min unsat cost LB: 99953 ... c Min unsat cost LB: 100125 ... c Min unsat cost LB: 101329 ... c Min unsat cost LB: 101366 ... c Min unsat cost LB: 101523 ... c Min unsat cost LB: 101749 ... c Min unsat cost LB: 102142 ... c Min unsat cost LB: 102157 ... c Min unsat cost LB: 102378 ... c Min unsat cost LB: 103020 ... c Min unsat cost LB: 103426 ... c Min unsat cost LB: 103525 ... c Min unsat cost LB: 103578 ... c Min unsat cost LB: 103738 ... c Min unsat cost LB: 104115 ... c Min unsat cost LB: 104325 ... c Min unsat cost LB: 104475 ... c Min unsat cost LB: 104818 ... c Min unsat cost LB: 104856 ... c Min unsat cost LB: 105047 ... c Min unsat cost LB: 105298 ... c Min unsat cost LB: 105993 ... c Min unsat cost LB: 106033 ... c Min unsat cost LB: 106159 ... c Min unsat cost LB: 106209 ... c Min unsat cost LB: 106254 ... c Min unsat cost LB: 106287 ... c Min unsat cost LB: 106519 ... c Min unsat cost LB: 106958 ... c Min unsat cost LB: 107077 ... c Min unsat cost LB: 108245 ... c Min unsat cost LB: 108253 ... c Min unsat cost LB: 108382 ... c Min unsat cost LB: 108646 ... c Min unsat cost LB: 108727 ... c Min unsat cost LB: 108873 ... c Min unsat cost LB: 109092 ... c Min unsat cost LB: 109178 ... c Min unsat cost LB: 109587 ... c Min unsat cost LB: 109655 ... c Min unsat cost LB: 110397 ... c Min unsat cost LB: 110501 ... c Min unsat cost LB: 110631 ... c Min unsat cost LB: 110665 ... c Min unsat cost LB: 111034 ... c Min unsat cost LB: 112240 ... c Min unsat cost LB: 112366 ... c Min unsat cost LB: 113165 ... c Min unsat cost LB: 113176 ... c Min unsat cost LB: 113635 ... c Min unsat cost LB: 114049 ... c Min unsat cost LB: 114320 ... c Min unsat cost LB: 114443 ... c Min unsat cost LB: 114535 ... c Min unsat cost LB: 114897 ... c Min unsat cost LB: 115003 ... c Min unsat cost LB: 115240 ... c Min unsat cost LB: 115359 ... c Min unsat cost LB: 115543 ... c Min unsat cost LB: 115911 ... c Min unsat cost LB: 116420 ... c Min unsat cost LB: 116578 ... c Min unsat cost LB: 116731 ... c Min unsat cost LB: 117112 ... c Min unsat cost LB: 117308 ... c Min unsat cost LB: 117524 ... c Min unsat cost LB: 117878 ... c Min unsat cost LB: 117977 ... c Min unsat cost LB: 118656 ... c Min unsat cost LB: 118682 ... c Min unsat cost LB: 118971 ... c Min unsat cost LB: 119783 ... c Min unsat cost LB: 120044 ... c Min unsat cost LB: 120053 ... c Min unsat cost LB: 120066 ... c Min unsat cost LB: 120169 ... c Min unsat cost LB: 120170 ... c Min unsat cost LB: 120366 ... c Min unsat cost LB: 120524 ... c Min unsat cost LB: 120682 ... c Min unsat cost LB: 120871 ... c Min unsat cost LB: 120883 ... c Min unsat cost LB: 120957 ... c Min unsat cost LB: 121376 ... c Min unsat cost LB: 121651 ... c Min unsat cost LB: 121760 ... c Min unsat cost LB: 121975 ... c Min unsat cost LB: 122362 ... c Min unsat cost LB: 122843 ... c Min unsat cost LB: 123017 ... c Min unsat cost LB: 123200 ... c Min unsat cost LB: 123487 ... c Min unsat cost LB: 124028 ... c Min unsat cost LB: 124625 ... c Min unsat cost LB: 124633 ... c Min unsat cost LB: 125157 ... c Min unsat cost LB: 125172 ... c Min unsat cost LB: 126385 ... c Min unsat cost LB: 126708 ... c Min unsat cost LB: 126719 ... c Min unsat cost LB: 126897 ... c Min unsat cost LB: 127083 ... c Min unsat cost LB: 127233 ... c Min unsat cost LB: 127347 ... c Min unsat cost LB: 127587 ... c Min unsat cost LB: 127651 ... c Min unsat cost LB: 128170 ... c Min unsat cost LB: 128733 ... c Min unsat cost LB: 128761 ... c Min unsat cost LB: 128862 ... c Min unsat cost LB: 128974 ... c Min unsat cost LB: 128993 ... c Min unsat cost LB: 129245 ... c Min unsat cost LB: 129385 ... c Min unsat cost LB: 129788 ... c Min unsat cost LB: 129858 ... c Min unsat cost LB: 129959 ... c Min unsat cost LB: 130071 ... c Min unsat cost LB: 130351 ... c Min unsat cost LB: 130353 ... c Min unsat cost LB: 130500 ... c Min unsat cost LB: 130771 ... c Min unsat cost LB: 130902 ... c Min unsat cost LB: 131000 ... c Min unsat cost LB: 131013 ... c Min unsat cost LB: 131225 ... c Min unsat cost LB: 131680 ... c Min unsat cost LB: 131757 ... c Min unsat cost LB: 131762 ... c Min unsat cost LB: 132351 ... c Min unsat cost LB: 133274 ... c Min unsat cost LB: 133429 ... c Min unsat cost LB: 134028 ... c Min unsat cost LB: 134285 ... c Min unsat cost LB: 134365 ... c Min unsat cost LB: 134388 ... c Min unsat cost LB: 134396 ... c Min unsat cost LB: 134409 ... c Min unsat cost LB: 134454 ... c Min unsat cost LB: 134515 ... c Min unsat cost LB: 134534 ... c Min unsat cost LB: 134740 ... c Min unsat cost LB: 134767 ... c Min unsat cost LB: 135315 ... c Min unsat cost LB: 135393 ... c Min unsat cost LB: 136055 ... c Min unsat cost LB: 136191 ... c Min unsat cost LB: 136248 ... c Min unsat cost LB: 136834 ... c Min unsat cost LB: 137187 ... c Min unsat cost LB: 137361 ... c Min unsat cost LB: 138001 ... c Min unsat cost LB: 138125 ... c Min unsat cost LB: 138302 ... c Min unsat cost LB: 138341 ... c Min unsat cost LB: 139290 ... c Min unsat cost LB: 139824 ... c Min unsat cost LB: 139968 ... c Min unsat cost LB: 140987 ... c Min unsat cost LB: 141002 ... c Min unsat cost LB: 141026 ... c Min unsat cost LB: 141419 ... c Min unsat cost LB: 142144 ... c Min unsat cost LB: 143028 ... c Min unsat cost LB: 143211 ... c Min unsat cost LB: 143426 ... c Min unsat cost LB: 143558 ... c Min unsat cost LB: 143996 ... c Min unsat cost LB: 144184 ... c Min unsat cost LB: 144380 ... c Min unsat cost LB: 144383 ... c Min unsat cost LB: 144472 ... c Min unsat cost LB: 144513 ... c Min unsat cost LB: 144552 ... c Min unsat cost LB: 145083 ... c Min unsat cost LB: 145152 ... c Min unsat cost LB: 145208 ... c Min unsat cost LB: 145218 ... c Min unsat cost LB: 145265 ... c Min unsat cost LB: 145282 ... c Min unsat cost LB: 145818 ... c Min unsat cost LB: 145848 ... c Min unsat cost LB: 145952 ... c Min unsat cost LB: 145978 ... c Min unsat cost LB: 146185 ... c Min unsat cost LB: 146209 ... c Min unsat cost LB: 146222 ... c Min unsat cost LB: 146290 ... c Min unsat cost LB: 146334 ... c Min unsat cost LB: 146337 ... c Min unsat cost LB: 146363 ... c Min unsat cost LB: 146404 ... c Min unsat cost LB: 146569 ... c Min unsat cost LB: 147008 ... c Min unsat cost LB: 147178 ... c Min unsat cost LB: 147222 ... c Min unsat cost LB: 147224 ... c Min unsat cost LB: 148407 ... c Min unsat cost LB: 148570 ... c Min unsat cost LB: 148688 ... c Min unsat cost LB: 148723 ... c Min unsat cost LB: 148771 ... c Min unsat cost LB: 148793 ... c Min unsat cost LB: 148839 ... c Min unsat cost LB: 148844 ... c Min unsat cost LB: 148868 ... c Min unsat cost LB: 149448 ... c Min unsat cost LB: 149843 ... c Min unsat cost LB: 150376 ... c Min unsat cost LB: 150379 ... c Min unsat cost LB: 150388 ... c Min unsat cost LB: 150429 ... c Min unsat cost LB: 150440 ... c Min unsat cost LB: 150442 ... c Min unsat cost LB: 150443 ... c Min unsat cost LB: 150503 ... c Min unsat cost LB: 150943 ... c Min unsat cost LB: 151285 ... c Min unsat cost LB: 151372 ... c Min unsat cost LB: 151448 ... c Min unsat cost LB: 152033 ... c Min unsat cost LB: 152077 ... c Min unsat cost LB: 152369 ... c Min unsat cost LB: 152724 ... c Min unsat cost LB: 153052 ... c Min unsat cost LB: 153401 ... c Min unsat cost LB: 153632 ... c Min unsat cost LB: 153935 ... c Min unsat cost LB: 154619 ... c Min unsat cost LB: 155186 ... c Min unsat cost LB: 155201 ... c Min unsat cost LB: 155281 ... c Min unsat cost LB: 155343 ... c Min unsat cost LB: 156132 ... c Min unsat cost LB: 156488 ... c Min unsat cost LB: 156516 ... c Min unsat cost LB: 157001 ... c Min unsat cost LB: 157062 ... c Min unsat cost LB: 157146 ... c Min unsat cost LB: 157161 ... c Min unsat cost LB: 157565 ... c Min unsat cost LB: 158032 ... c Min unsat cost LB: 158525 ... c Min unsat cost LB: 158851 ... c Min unsat cost LB: 158852 ... c Min unsat cost LB: 158997 ... c Min unsat cost LB: 159226 ... c Min unsat cost LB: 160034 ... c Min unsat cost LB: 160315 ... c Min unsat cost LB: 160861 ... c Min unsat cost LB: 160927 ... c Min unsat cost LB: 160942 ... c Min unsat cost LB: 161241 ... c Min unsat cost LB: 161711 ... c Min unsat cost LB: 162302 ... c Min unsat cost LB: 162650 ... c Min unsat cost LB: 162742 ... c Min unsat cost LB: 162816 ... c Min unsat cost LB: 163468 ... c Min unsat cost LB: 163550 ... c Min unsat cost LB: 163586 ... c Min unsat cost LB: 163796 ... c Min unsat cost LB: 163931 ... c Min unsat cost LB: 164368 ... c Min unsat cost LB: 164469 ... c Min unsat cost LB: 164964 ... c Min unsat cost LB: 165170 ... c Min unsat cost LB: 165227 ... c Min unsat cost LB: 165521 ... c Min unsat cost LB: 165840 ... c Min unsat cost LB: 166293 ... c Min unsat cost LB: 166891 ... c Min unsat cost LB: 166995 ... c Min unsat cost LB: 167090 ... c Min unsat cost LB: 167095 ... c Min unsat cost LB: 167269 ... c Min unsat cost LB: 168258 ... c Min unsat cost LB: 168409 ... c Min unsat cost LB: 168766 ... c Min unsat cost LB: 168901 ... c Min unsat cost LB: 168905 ... c Min unsat cost LB: 168932 ... c Min unsat cost LB: 169056 ... c Min unsat cost LB: 169107 ... c Min unsat cost LB: 169121 ... c Min unsat cost LB: 169148 ... c Min unsat cost LB: 169171 ... c Min unsat cost LB: 169172 ... c Min unsat cost LB: 169196 ... c Min unsat cost LB: 169210 ... c Min unsat cost LB: 169223 ... c Min unsat cost LB: 169234 ... c Min unsat cost LB: 169257 ... c Min unsat cost LB: 169272 ... c Min unsat cost LB: 169273 ... c Min unsat cost LB: 169296 ... c Min unsat cost LB: 169324 ... c Min unsat cost LB: 169334 ... c Min unsat cost LB: 169338 ... c Min unsat cost LB: 169361 ... c Min unsat cost LB: 169390 ... c Min unsat cost LB: 169409 ... c Min unsat cost LB: 169410 ... c Min unsat cost LB: 169413 ... c Min unsat cost LB: 169546 ... c Min unsat cost LB: 170900 ... c Min unsat cost LB: 171182 ... c Min unsat cost LB: 171500 ... c Min unsat cost LB: 171516 ... c Min unsat cost LB: 171698 ... c Min unsat cost LB: 171911 ... c Min unsat cost LB: 171932 ... c Min unsat cost LB: 172197 ... c Min unsat cost LB: 172340 ... c Min unsat cost LB: 172342 ... c Min unsat cost LB: 172455 ... c Min unsat cost LB: 172518 ... c Min unsat cost LB: 172933 ... c Min unsat cost LB: 173846 ... c Min unsat cost LB: 173868 ... c Min unsat cost LB: 174366 ... c Min unsat cost LB: 174672 ... c Min unsat cost LB: 174749 ... c Min unsat cost LB: 174774 ... c Min unsat cost LB: 174896 ... c Min unsat cost LB: 175982 ... c Min unsat cost LB: 176091 ... c Min unsat cost LB: 176106 ... c Min unsat cost LB: 176268 ... c Min unsat cost LB: 176344 ... c Min unsat cost LB: 176621 ... c Min unsat cost LB: 176879 ... c Min unsat cost LB: 177809 ... c Min unsat cost LB: 178083 ... c Min unsat cost LB: 178224 ... c Min unsat cost LB: 178538 ... c Min unsat cost LB: 178668 ... c Min unsat cost LB: 178711 ... c Min unsat cost LB: 179396 ... c Min unsat cost LB: 179778 ... c Min unsat cost LB: 180427 ... c Min unsat cost LB: 180516 ... c Min unsat cost LB: 180769 ... c Min unsat cost LB: 180771 ... c Min unsat cost LB: 180778 ... c Min unsat cost LB: 180793 ... c Min unsat cost LB: 180798 ... c Min unsat cost LB: 180820 ... c Min unsat cost LB: 180824 ... c Min unsat cost LB: 180839 ... c Min unsat cost LB: 180850 ... c Min unsat cost LB: 180904 ... c Min unsat cost LB: 181009 ... c Min unsat cost LB: 181112 ... c Min unsat cost LB: 181234 ... c Min unsat cost LB: 181594 ... c Min unsat cost LB: 182019 ... c Min unsat cost LB: 182042 ... c Min unsat cost LB: 182517 ... c Min unsat cost LB: 182524 ... c Min unsat cost LB: 182526 ... c Min unsat cost LB: 182537 ... c Min unsat cost LB: 182552 ... c Min unsat cost LB: 182554 ... c Min unsat cost LB: 182560 ... c Min unsat cost LB: 182676 ... c Min unsat cost LB: 182751 ... c Min unsat cost LB: 182835 ... c Min unsat cost LB: 182858 ... c Min unsat cost LB: 182908 ... c Min unsat cost LB: 182913 ... c Min unsat cost LB: 182914 ... c Min unsat cost LB: 182916 ... c Min unsat cost LB: 182944 ... c Min unsat cost LB: 182951 ... c Min unsat cost LB: 182953 ... c Min unsat cost LB: 182955 ... c Min unsat cost LB: 182958 ... c Min unsat cost LB: 182967 ... c Min unsat cost LB: 183012 ... c Min unsat cost LB: 183240 ... c Min unsat cost LB: 183324 ... c Min unsat cost LB: 183828 ... c Min unsat cost LB: 183839 ... c Min unsat cost LB: 183854 ... c Min unsat cost LB: 184106 ... c Min unsat cost LB: 184185 ... c Min unsat cost LB: 184940 ... c Min unsat cost LB: 185722 ... c Min unsat cost LB: 185761 ... c Min unsat cost LB: 185843 ... c Min unsat cost LB: 185884 ... c Min unsat cost LB: 186023 ... c Min unsat cost LB: 186094 ... c Min unsat cost LB: 186102 ... c Min unsat cost LB: 186110 ... c Min unsat cost LB: 186301 ... c Min unsat cost LB: 187261 ... c Min unsat cost LB: 187269 ... c Min unsat cost LB: 187308 ... c Min unsat cost LB: 187367 ... c Min unsat cost LB: 187603 ... c Min unsat cost LB: 188217 ... c Min unsat cost LB: 188223 ... c Min unsat cost LB: 188344 ... c Min unsat cost LB: 188536 ... c Min unsat cost LB: 188907 ... c Min unsat cost LB: 188962 ... c Min unsat cost LB: 188966 ... c Min unsat cost LB: 189061 ... c Min unsat cost LB: 189536 ... c Min unsat cost LB: 189542 ... c Min unsat cost LB: 189663 ... c Min unsat cost LB: 189727 ... c Min unsat cost LB: 189757 ... c Min unsat cost LB: 189789 ... c Min unsat cost LB: 189795 ... c Min unsat cost LB: 189808 ... c Min unsat cost LB: 190201 ... c Min unsat cost LB: 190522 ... c Min unsat cost LB: 190669 ... c Min unsat cost LB: 190940 ... c Min unsat cost LB: 191085 ... c Min unsat cost LB: 191091 ... c Min unsat cost LB: 191118 ... c Min unsat cost LB: 191121 ... c Min unsat cost LB: 191268 ... c Min unsat cost LB: 191303 ... c Min unsat cost LB: 191410 ... c Min unsat cost LB: 191682 ... c Min unsat cost LB: 191906 ... c Min unsat cost LB: 191923 ... c Min unsat cost LB: 191936 ... c Min unsat cost LB: 191997 ... c Min unsat cost LB: 192035 ... c Min unsat cost LB: 192048 ... c Min unsat cost LB: 192070 ... c Min unsat cost LB: 192263 ... c Min unsat cost LB: 192493 ... c Min unsat cost LB: 193035 ... c Min unsat cost LB: 193061 ... c Min unsat cost LB: 193166 ... c Min unsat cost LB: 193219 ... c Min unsat cost LB: 193511 ... c Min unsat cost LB: 193634 ... c Min unsat cost LB: 194063 ... c Min unsat cost LB: 194298 ... c Min unsat cost LB: 194403 ... c Min unsat cost LB: 194614 ... c Min unsat cost LB: 194627 ... c Min unsat cost LB: 194640 ... c Min unsat cost LB: 194661 ... c Min unsat cost LB: 194698 ... c Min unsat cost LB: 194803 ... c Min unsat cost LB: 194855 ... c Min unsat cost LB: 195027 ... c Min unsat cost LB: 195290 ... c Min unsat cost LB: 195693 ... c Min unsat cost LB: 196087 ... c Min unsat cost LB: 196400 ... c Min unsat cost LB: 196502 ... c Min unsat cost LB: 196647 ... c Min unsat cost LB: 196809 ... c Min unsat cost LB: 196811 ... c Min unsat cost LB: 196816 ... c Min unsat cost LB: 196822 ... c Min unsat cost LB: 196829 ... c Min unsat cost LB: 196832 ... c Min unsat cost LB: 196850 ... c Min unsat cost LB: 196856 ... c Min unsat cost LB: 196872 ... c Min unsat cost LB: 196886 ... c Min unsat cost LB: 196887 ... c Min unsat cost LB: 196893 ... c Min unsat cost LB: 197301 ... c Min unsat cost LB: 197451 ... c Min unsat cost LB: 197546 ... c Min unsat cost LB: 198332 ... c Min unsat cost LB: 199149 ... c Min unsat cost LB: 199309 ... c Min unsat cost LB: 199562 ... c Min unsat cost LB: 199598 ... c Min unsat cost LB: 199746 ... c Min unsat cost LB: 199773 ... c Min unsat cost LB: 199787 ... c Min unsat cost LB: 200406 ... c Min unsat cost LB: 200697 ... c Min unsat cost LB: 201310 ... c Min unsat cost LB: 201704 ... c Min unsat cost LB: 201837 ... c Min unsat cost LB: 202652 ... c Min unsat cost LB: 202754 ... c Min unsat cost LB: 202886 ... c Min unsat cost LB: 203022 ... c Min unsat cost LB: 203210 ... c Min unsat cost LB: 203360 ... c Min unsat cost LB: 203368 ... c Min unsat cost LB: 203482 ... c Min unsat cost LB: 204188 ... c Min unsat cost LB: 204297 ... c Min unsat cost LB: 204427 ... c Min unsat cost LB: 204492 ... c Min unsat cost LB: 204755 ... c Min unsat cost LB: 205022 ... c Min unsat cost LB: 205095 ... c Min unsat cost LB: 205209 ... c Min unsat cost LB: 205340 ... c Min unsat cost LB: 205382 ... c Min unsat cost LB: 205401 ... c Min unsat cost LB: 205429 ... c Min unsat cost LB: 206335 ... c Min unsat cost LB: 206464 ... c Min unsat cost LB: 206496 ... c Min unsat cost LB: 206519 ... c Min unsat cost LB: 206532 ... c Min unsat cost LB: 206573 ... c Min unsat cost LB: 206759 ... c Min unsat cost LB: 207044 ... c Min unsat cost LB: 207118 ... c Min unsat cost LB: 207139 ... c Min unsat cost LB: 207167 ... c Min unsat cost LB: 207186 ... c Min unsat cost LB: 207190 ... c Min unsat cost LB: 207209 ... c Min unsat cost LB: 207232 ... c Min unsat cost LB: 207243 ... c Min unsat cost LB: 207540 ... c Min unsat cost LB: 208328 ... c Min unsat cost LB: 208427 ... c Min unsat cost LB: 208442 ... c Min unsat cost LB: 208445 ... c Min unsat cost LB: 208484 ... c Min unsat cost LB: 208503 ... c Min unsat cost LB: 208504 ... c Min unsat cost LB: 208507 ... c Min unsat cost LB: 208767 ... c Min unsat cost LB: 209196 ... c Min unsat cost LB: 209407 ... c Min unsat cost LB: 209411 ... c Min unsat cost LB: 209412 ... c Min unsat cost LB: 209413 ... c Min unsat cost LB: 209431 ... c Min unsat cost LB: 209437 ... c Min unsat cost LB: 209438 ... c Min unsat cost LB: 209442 ... c Min unsat cost LB: 209456 ... c Min unsat cost LB: 209473 ... c Min unsat cost LB: 209495 ... c Min unsat cost LB: 209564 ... c Min unsat cost LB: 209591 ... c Min unsat cost LB: 209602 ... c Min unsat cost LB: 209604 ... c Min unsat cost LB: 209612 ... c Min unsat cost LB: 209636 ... c Min unsat cost LB: 209649 ... c Min unsat cost LB: 209671 ... c Min unsat cost LB: 210017 ... c Min unsat cost LB: 210020 ... c Min unsat cost LB: 210021 ... c Min unsat cost LB: 210028 ... c Min unsat cost LB: 210029 ... c Min unsat cost LB: 210033 ... c Min unsat cost LB: 210034 ... c Min unsat cost LB: 210035 ... c Min unsat cost LB: 210038 ... c Min unsat cost LB: 210039 ... c Min unsat cost LB: 210040 ... c Min unsat cost LB: 210041 ... c Min unsat cost LB: 210043 ... c Min unsat cost LB: 210044 ... c Min unsat cost LB: 210045 ... c Min unsat cost LB: 210047 ... c Min unsat cost LB: 210048 ... c Min unsat cost LB: 210049 ... c Min unsat cost LB: 210280 ... c Min unsat cost LB: 210298 ... c Min unsat cost LB: 210299 ... c Min unsat cost LB: 210425 ... c Min unsat cost LB: 210916 ... c Min unsat cost LB: 210919 ... c Min unsat cost LB: 210920 ... c Min unsat cost LB: 210924 ... c Min unsat cost LB: 210925 ... c Min unsat cost LB: 210926 ... c Min unsat cost LB: 211169 ... c Min unsat cost LB: 211521 ... c Min unsat cost LB: 212033 ... c Min unsat cost LB: 212034 ... c Min unsat cost LB: 212035 ... c Min unsat cost LB: 212036 ... c Min unsat cost LB: 212039 ... c Min unsat cost LB: 212040 ... c Min unsat cost LB: 212044 ... c Min unsat cost LB: 212045 ... c Min unsat cost LB: 212047 ... c Min unsat cost LB: 212567 ... c Min unsat cost LB: 213075 ... c Min unsat cost LB: 213088 ... c Min unsat cost LB: 213178 ... c Min unsat cost LB: 213650 ... c Min unsat cost LB: 213678 ... c Min unsat cost LB: 213814 ... c Min unsat cost LB: 213825 ... c Min unsat cost LB: 213926 ... c Min unsat cost LB: 213937 ... c Min unsat cost LB: 214119 ... c Min unsat cost LB: 214243 ... c Min unsat cost LB: 214281 ... c Min unsat cost LB: 214688 ... c Min unsat cost LB: 215160 ... c Min unsat cost LB: 215662 ... c Min unsat cost LB: 215920 ... c Min unsat cost LB: 216053 ... c Min unsat cost LB: 216054 ... c Min unsat cost LB: 216055 ... c Min unsat cost LB: 216056 ... c Min unsat cost LB: 216059 ... c Min unsat cost LB: 216060 ... c Min unsat cost LB: 216061 ... c Min unsat cost LB: 216310 ... c Min unsat cost LB: 216453 ... c Min unsat cost LB: 216667 ... c Min unsat cost LB: 216720 ... c Min unsat cost LB: 216723 ... c Min unsat cost LB: 216724 ... c Min unsat cost LB: 216725 ... c Min unsat cost LB: 216726 ... c Min unsat cost LB: 216727 ... c Min unsat cost LB: 216728 ... c Min unsat cost LB: 216729 ... c Min unsat cost LB: 216730 ... c Min unsat cost LB: 216731 ... c Min unsat cost LB: 216732 ... c Min unsat cost LB: 216733 ... c Min unsat cost LB: 216734 ... c Min unsat cost LB: 216774 ... c Min unsat cost LB: 216775 ... c Min unsat cost LB: 216777 ... c Min unsat cost LB: 216778 ... c Min unsat cost LB: 216779 ... c Min unsat cost LB: 216789 ... c Min unsat cost LB: 216816 ... c Min unsat cost LB: 216827 ... c Min unsat cost LB: 216829 ... c Min unsat cost LB: 216896 ... c Min unsat cost LB: 216967 ... c Min unsat cost LB: 218163 ... c Min unsat cost LB: 218221 ... c Min unsat cost LB: 218282 ... c Min unsat cost LB: 218315 ... c Min unsat cost LB: 218435 ... c Min unsat cost LB: 218834 ... c Min unsat cost LB: 218867 ... c Min unsat cost LB: 218913 ... c Min unsat cost LB: 218928 ... c Min unsat cost LB: 218938 ... c Min unsat cost LB: 218965 ... c Min unsat cost LB: 218966 ... c Min unsat cost LB: 218968 ... c Min unsat cost LB: 218969 ... c Min unsat cost LB: 218976 ... c Min unsat cost LB: 218977 ... c Min unsat cost LB: 218985 ... c Min unsat cost LB: 219080 ... c Min unsat cost LB: 219180 ... c Min unsat cost LB: 219203 ... c Min unsat cost LB: 219237 ... c Min unsat cost LB: 219249 ... c Min unsat cost LB: 219264 ... c Min unsat cost LB: 219298 ... c Min unsat cost LB: 219308 ... c Min unsat cost LB: 219314 ... c Min unsat cost LB: 219318 ... c Min unsat cost LB: 219371 ... c Min unsat cost LB: 219763 ... c Min unsat cost LB: 219848 ... c Min unsat cost LB: 219921 ... c Min unsat cost LB: 220544 ... c Min unsat cost LB: 221268 ... c Min unsat cost LB: 221513 ... c Min unsat cost LB: 221721 ... c Min unsat cost LB: 221795 ... c Min unsat cost LB: 221825 ... c Min unsat cost LB: 222275 ... c Min unsat cost LB: 222308 ... c Min unsat cost LB: 222318 ... c Min unsat cost LB: 222320 ... c Min unsat cost LB: 222327 ... c Min unsat cost LB: 222328 ... c Min unsat cost LB: 222330 ... c Min unsat cost LB: 222335 ... c Min unsat cost LB: 222350 ... c Min unsat cost LB: 222353 ... c Min unsat cost LB: 222354 ... c Min unsat cost LB: 222355 ... c Min unsat cost LB: 222356 ... c Min unsat cost LB: 222357 ... c Min unsat cost LB: 222358 ... c Min unsat cost LB: 222360 ... c Min unsat cost LB: 222361 ... c Min unsat cost LB: 222363 ... c Min unsat cost LB: 222364 ... c Min unsat cost LB: 222365 ... c Min unsat cost LB: 222368 ... c Min unsat cost LB: 222369 ... c Min unsat cost LB: 222370 ... c Min unsat cost LB: 222376 ... c Min unsat cost LB: 222378 ... c Min unsat cost LB: 222379 ... c Min unsat cost LB: 222380 ... c Min unsat cost LB: 222381 ... c Min unsat cost LB: 222382 ... c Min unsat cost LB: 222383 ... c Min unsat cost LB: 222384 ... c Min unsat cost LB: 222387 ... c Min unsat cost LB: 222390 ... c Min unsat cost LB: 222392 ... c Min unsat cost LB: 222394 ... c Min unsat cost LB: 222396 ... c Min unsat cost LB: 222398 ... c Min unsat cost LB: 222403 ... c Min unsat cost LB: 222404 ... c Min unsat cost LB: 222405 ... c Min unsat cost LB: 222406 ... c Min unsat cost LB: 222408 ... c Min unsat cost LB: 222410 ... c Min unsat cost LB: 222412 ... c Min unsat cost LB: 222413 ... c Min unsat cost LB: 222424 ... c Min unsat cost LB: 222425 ... c Min unsat cost LB: 222427 ... c Min unsat cost LB: 222428 ... c Min unsat cost LB: 222429 ... c Min unsat cost LB: 222430 ... c Min unsat cost LB: 222431 ... c Min unsat cost LB: 222432 ... c Min unsat cost LB: 222433 ... c Min unsat cost LB: 222434 ... c Min unsat cost LB: 222435 ... c Min unsat cost LB: 222436 ... c Min unsat cost LB: 222437 ... c Min unsat cost LB: 222535 ... c Min unsat cost LB: 222634 ... c Min unsat cost LB: 222638 ... c Min unsat cost LB: 222642 ... c Min unsat cost LB: 222644 ... c Min unsat cost LB: 222645 ... c Min unsat cost LB: 223214 ... c Min unsat cost LB: 223376 ... c Min unsat cost LB: 223982 ... c Min unsat cost LB: 224022 ... c Min unsat cost LB: 224023 ... c Min unsat cost LB: 224024 ... c Min unsat cost LB: 224025 ... c Min unsat cost LB: 224026 ... c Min unsat cost LB: 224027 ... c Min unsat cost LB: 224028 ... c Min unsat cost LB: 224029 ... c Min unsat cost LB: 224030 ... c Min unsat cost LB: 224031 ... c Min unsat cost LB: 224032 ... c Min unsat cost LB: 224033 ... c Min unsat cost LB: 224034 ... c Min unsat cost LB: 224035 ... c Min unsat cost LB: 224036 ... c Min unsat cost LB: 224037 ... c Min unsat cost LB: 224038 ... c Min unsat cost LB: 224039 ... c Min unsat cost LB: 224040 ... c Min unsat cost LB: 224041 ... c Min unsat cost LB: 224344 ... c Min unsat cost LB: 224393 ... c Min unsat cost LB: 224394 ... c Min unsat cost LB: 224395 ... c Min unsat cost LB: 224396 ... c Min unsat cost LB: 224397 ... c Min unsat cost LB: 224398 ... c Min unsat cost LB: 224399 ... c Min unsat cost LB: 224400 ... c Min unsat cost LB: 224401 ... c Min unsat cost LB: 225092 ... c Min unsat cost LB: 225149 ... c Min unsat cost LB: 225150 ... c Min unsat cost LB: 225552 ... c Min unsat cost LB: 226050 ... c Min unsat cost LB: 226110 ... c Min unsat cost LB: 226111 ... c Min unsat cost LB: 226112 ... c Min unsat cost LB: 226113 ... c Min unsat cost LB: 226305 ... c Min unsat cost LB: 227317 ... c Min unsat cost LB: 227465 ... c Min unsat cost LB: 227482 ... c Min unsat cost LB: 227671 ... c Min unsat cost LB: 227897 ... c Min unsat cost LB: 227956 ... c Min unsat cost LB: 227995 ... c Min unsat cost LB: 228032 ... c Min unsat cost LB: 228405 ... c Min unsat cost LB: 229397 ... c Min unsat cost LB: 229687 ... c Min unsat cost LB: 230142 ... c Min Killed 1817.614u 2.151s 30:20.58 99.9% 0+0k 0+0io 0pf+0w