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-240-1_network-8.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-240-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-240-1_network-8.net.wcnf *** c c Min unsat cost LB: 1194 ... c Min unsat cost LB: 2649 ... c Min unsat cost LB: 3059 ... c Min unsat cost LB: 3255 ... c Min unsat cost LB: 5267 ... c Min unsat cost LB: 6435 ... c Min unsat cost LB: 7484 ... c Min unsat cost LB: 8666 ... c Min unsat cost LB: 9787 ... c Min unsat cost LB: 10671 ... c Min unsat cost LB: 11319 ... c Min unsat cost LB: 11330 ... c Min unsat cost LB: 12964 ... c Min unsat cost LB: 13851 ... c Min unsat cost LB: 15313 ... c Min unsat cost LB: 16961 ... c Min unsat cost LB: 17318 ... c Min unsat cost LB: 17952 ... c Min unsat cost LB: 18707 ... c Min unsat cost LB: 22484 ... c Min unsat cost LB: 22656 ... c Min unsat cost LB: 23472 ... c Min unsat cost LB: 23541 ... c Min unsat cost LB: 23581 ... c Min unsat cost LB: 23896 ... c Min unsat cost LB: 25345 ... c Min unsat cost LB: 25621 ... c Min unsat cost LB: 26218 ... c Min unsat cost LB: 26528 ... c Min unsat cost LB: 28315 ... c Min unsat cost LB: 28455 ... c Min unsat cost LB: 30132 ... c Min unsat cost LB: 31671 ... c Min unsat cost LB: 32388 ... c Min unsat cost LB: 33821 ... c Min unsat cost LB: 34394 ... c Min unsat cost LB: 36245 ... c Min unsat cost LB: 36751 ... c Min unsat cost LB: 36989 ... c Min unsat cost LB: 37774 ... c Min unsat cost LB: 38104 ... c Min unsat cost LB: 39877 ... c Min unsat cost LB: 40500 ... c Min unsat cost LB: 40776 ... c Min unsat cost LB: 42306 ... c Min unsat cost LB: 42443 ... c Min unsat cost LB: 42794 ... c Min unsat cost LB: 43462 ... c Min unsat cost LB: 43657 ... c Min unsat cost LB: 43995 ... c Min unsat cost LB: 44719 ... c Min unsat cost LB: 44972 ... c Min unsat cost LB: 44987 ... c Min unsat cost LB: 46991 ... c Min unsat cost LB: 47058 ... c Min unsat cost LB: 48187 ... c Min unsat cost LB: 48612 ... c Min unsat cost LB: 48714 ... c Min unsat cost LB: 49688 ... c Min unsat cost LB: 50034 ... c Min unsat cost LB: 50484 ... c Min unsat cost LB: 50865 ... c Min unsat cost LB: 51380 ... c Min unsat cost LB: 51630 ... c Min unsat cost LB: 52162 ... c Min unsat cost LB: 52429 ... c Min unsat cost LB: 52441 ... c Min unsat cost LB: 52472 ... c Min unsat cost LB: 52968 ... c Min unsat cost LB: 53787 ... c Min unsat cost LB: 54074 ... c Min unsat cost LB: 54132 ... c Min unsat cost LB: 54179 ... c Min unsat cost LB: 54531 ... c Min unsat cost LB: 55407 ... c Min unsat cost LB: 55460 ... c Min unsat cost LB: 56030 ... c Min unsat cost LB: 56493 ... c Min unsat cost LB: 56829 ... c Min unsat cost LB: 56960 ... c Min unsat cost LB: 57697 ... c Min unsat cost LB: 57712 ... c Min unsat cost LB: 57751 ... c Min unsat cost LB: 57806 ... c Min unsat cost LB: 58464 ... c Min unsat cost LB: 58536 ... c Min unsat cost LB: 58608 ... c Min unsat cost LB: 59585 ... c Min unsat cost LB: 60089 ... c Min unsat cost LB: 60132 ... c Min unsat cost LB: 60721 ... c Min unsat cost LB: 60964 ... c Min unsat cost LB: 61005 ... c Min unsat cost LB: 61492 ... c Min unsat cost LB: 61539 ... c Min unsat cost LB: 61597 ... c Min unsat cost LB: 62080 ... c Min unsat cost LB: 62997 ... c Min unsat cost LB: 63017 ... c Min unsat cost LB: 63035 ... c Min unsat cost LB: 63275 ... c Min unsat cost LB: 63432 ... c Min unsat cost LB: 64018 ... c Min unsat cost LB: 64679 ... c Min unsat cost LB: 64830 ... c Min unsat cost LB: 64887 ... c Min unsat cost LB: 65012 ... c Min unsat cost LB: 65518 ... c Min unsat cost LB: 66327 ... c Min unsat cost LB: 66332 ... c Min unsat cost LB: 67389 ... c Min unsat cost LB: 67420 ... c Min unsat cost LB: 68011 ... c Min unsat cost LB: 68300 ... c Min unsat cost LB: 68642 ... c Min unsat cost LB: 68648 ... c Min unsat cost LB: 69328 ... c Min unsat cost LB: 69330 ... c Min unsat cost LB: 69871 ... c Min unsat cost LB: 70422 ... c Min unsat cost LB: 70596 ... c Min unsat cost LB: 70927 ... c Min unsat cost LB: 71167 ... c Min unsat cost LB: 71387 ... c Min unsat cost LB: 71508 ... c Min unsat cost LB: 71799 ... c Min unsat cost LB: 71803 ... c Min unsat cost LB: 72082 ... c Min unsat cost LB: 72369 ... c Min unsat cost LB: 72444 ... c Min unsat cost LB: 72684 ... c Min unsat cost LB: 73179 ... c Min unsat cost LB: 73268 ... c Min unsat cost LB: 74185 ... c Min unsat cost LB: 74351 ... c Min unsat cost LB: 74428 ... c Min unsat cost LB: 74629 ... c Min unsat cost LB: 75080 ... c Min unsat cost LB: 75405 ... c Min unsat cost LB: 75807 ... c Min unsat cost LB: 75928 ... c Min unsat cost LB: 76252 ... c Min unsat cost LB: 76401 ... c Min unsat cost LB: 76429 ... c Min unsat cost LB: 76760 ... c Min unsat cost LB: 77102 ... c Min unsat cost LB: 77236 ... c Min unsat cost LB: 77238 ... c Min unsat cost LB: 77291 ... c Min unsat cost LB: 77488 ... c Min unsat cost LB: 77545 ... c Min unsat cost LB: 77736 ... c Min unsat cost LB: 77811 ... c Min unsat cost LB: 78687 ... c Min unsat cost LB: 78715 ... c Min unsat cost LB: 78985 ... c Min unsat cost LB: 79280 ... c Min unsat cost LB: 79481 ... c Min unsat cost LB: 79503 ... c Min unsat cost LB: 79756 ... c Min unsat cost LB: 80253 ... c Min unsat cost LB: 80708 ... c Min unsat cost LB: 81364 ... c Min unsat cost LB: 81531 ... c Min unsat cost LB: 81977 ... c Min unsat cost LB: 82545 ... c Min unsat cost LB: 82823 ... c Min unsat cost LB: 82845 ... c Min unsat cost LB: 82893 ... c Min unsat cost LB: 83016 ... c Min unsat cost LB: 83171 ... c Min unsat cost LB: 83853 ... c Min unsat cost LB: 84318 ... c Min unsat cost LB: 84356 ... c Min unsat cost LB: 84489 ... c Min unsat cost LB: 84768 ... c Min unsat cost LB: 85020 ... c Min unsat cost LB: 85245 ... c Min unsat cost LB: 85427 ... c Min unsat cost LB: 86037 ... c Min unsat cost LB: 86090 ... c Min unsat cost LB: 86208 ... c Min unsat cost LB: 86307 ... c Min unsat cost LB: 86546 ... c Min unsat cost LB: 87398 ... c Min unsat cost LB: 87660 ... c Min unsat cost LB: 87733 ... c Min unsat cost LB: 87939 ... c Min unsat cost LB: 87993 ... c Min unsat cost LB: 88058 ... c Min unsat cost LB: 88297 ... c Min unsat cost LB: 88329 ... c Min unsat cost LB: 88333 ... c Min unsat cost LB: 89208 ... c Min unsat cost LB: 89449 ... c Min unsat cost LB: 89896 ... c Min unsat cost LB: 90547 ... c Min unsat cost LB: 90587 ... c Min unsat cost LB: 91290 ... c Min unsat cost LB: 91533 ... c Min unsat cost LB: 91781 ... c Min unsat cost LB: 92455 ... c Min unsat cost LB: 92535 ... c Min unsat cost LB: 92725 ... c Min unsat cost LB: 92821 ... c Min unsat cost LB: 92867 ... c Min unsat cost LB: 93538 ... c Min unsat cost LB: 93900 ... c Min unsat cost LB: 94499 ... c Min unsat cost LB: 95089 ... c Min unsat cost LB: 95345 ... c Min unsat cost LB: 96813 ... c Min unsat cost LB: 97563 ... c Min unsat cost LB: 97598 ... c Min unsat cost LB: 97661 ... c Min unsat cost LB: 97737 ... c Min unsat cost LB: 97941 ... c Min unsat cost LB: 97962 ... c Min unsat cost LB: 98058 ... c Min unsat cost LB: 98492 ... c Min unsat cost LB: 98815 ... c Min unsat cost LB: 99119 ... c Min unsat cost LB: 99287 ... c Min unsat cost LB: 100566 ... c Min unsat cost LB: 100925 ... c Min unsat cost LB: 101085 ... c Min unsat cost LB: 101123 ... c Min unsat cost LB: 101176 ... c Min unsat cost LB: 101214 ... c Min unsat cost LB: 101327 ... c Min unsat cost LB: 101365 ... c Min unsat cost LB: 101563 ... c Min unsat cost LB: 102010 ... c Min unsat cost LB: 102074 ... c Min unsat cost LB: 102168 ... c Min unsat cost LB: 102206 ... c Min unsat cost LB: 102225 ... c Min unsat cost LB: 102226 ... c Min unsat cost LB: 102357 ... c Min unsat cost LB: 102451 ... c Min unsat cost LB: 102466 ... c Min unsat cost LB: 102472 ... c Min unsat cost LB: 102474 ... c Min unsat cost LB: 102510 ... c Min unsat cost LB: 102674 ... c Min unsat cost LB: 102693 ... c Min unsat cost LB: 102695 ... c Min unsat cost LB: 102872 ... c Min unsat cost LB: 102949 ... c Min unsat cost LB: 103306 ... c Min unsat cost LB: 103561 ... c Min unsat cost LB: 103842 ... c Min unsat cost LB: 104249 ... c Min unsat cost LB: 104534 ... c Min unsat cost LB: 104829 ... c Min unsat cost LB: 105084 ... c Min unsat cost LB: 105172 ... c Min unsat cost LB: 106214 ... c Min unsat cost LB: 106374 ... c Min unsat cost LB: 107031 ... c Min unsat cost LB: 107314 ... c Min unsat cost LB: 107389 ... c Min unsat cost LB: 107526 ... c Min unsat cost LB: 107734 ... c Min unsat cost LB: 108235 ... c Min unsat cost LB: 108603 ... c Min unsat cost LB: 108626 ... c Min unsat cost LB: 108661 ... c Min unsat cost LB: 108736 ... c Min unsat cost LB: 108854 ... c Min unsat cost LB: 109149 ... c Min unsat cost LB: 109210 ... c Min unsat cost LB: 109226 ... c Min unsat cost LB: 109358 ... c Min unsat cost LB: 109371 ... c Min unsat cost LB: 109383 ... c Min unsat cost LB: 109887 ... c Min unsat cost LB: 110070 ... c Min unsat cost LB: 110081 ... c Min unsat cost LB: 110104 ... c Min unsat cost LB: 110332 ... c Min unsat cost LB: 110370 ... c Min unsat cost LB: 110752 ... c Min unsat cost LB: 110757 ... c Min unsat cost LB: 111501 ... c Min unsat cost LB: 111514 ... c Min unsat cost LB: 111588 ... c Min unsat cost LB: 112564 ... c Min unsat cost LB: 112690 ... c Min unsat cost LB: 112781 ... c Min unsat cost LB: 112829 ... c Min unsat cost LB: 112853 ... c Min unsat cost LB: 112968 ... c Min unsat cost LB: 113530 ... c Min unsat cost LB: 113865 ... c Min unsat cost LB: 113944 ... c Min unsat cost LB: 114421 ... c Min unsat cost LB: 114560 ... c Min unsat cost LB: 114673 ... c Min unsat cost LB: 114894 ... c Min unsat cost LB: 114926 ... c Min unsat cost LB: 115282 ... c Min unsat cost LB: 115389 ... c Min unsat cost LB: 115444 ... c Min unsat cost LB: 115590 ... c Min unsat cost LB: 115753 ... c Min unsat cost LB: 115793 ... c Min unsat cost LB: 117042 ... c Min unsat cost LB: 117066 ... c Min unsat cost LB: 117094 ... c Min unsat cost LB: 117099 ... c Min unsat cost LB: 117400 ... c Min unsat cost LB: 117522 ... c Min unsat cost LB: 117548 ... c Min unsat cost LB: 118182 ... c Min unsat cost LB: 118610 ... c Min unsat cost LB: 118716 ... c Min unsat cost LB: 119062 ... c Min unsat cost LB: 120027 ... c Min unsat cost LB: 120635 ... c Min unsat cost LB: 120827 ... c Min unsat cost LB: 120867 ... c Min unsat cost LB: 121198 ... c Min unsat cost LB: 121259 ... c Min unsat cost LB: 121692 ... c Min unsat cost LB: 121962 ... c Min unsat cost LB: 122433 ... c Min unsat cost LB: 122470 ... c Min unsat cost LB: 122637 ... c Min unsat cost LB: 122706 ... c Min unsat cost LB: 123377 ... c Min unsat cost LB: 124158 ... c Min unsat cost LB: 124177 ... c Min unsat cost LB: 124197 ... c Min unsat cost LB: 124337 ... c Min unsat cost LB: 124369 ... c Min unsat cost LB: 124402 ... c Min unsat cost LB: 125103 ... c Min unsat cost LB: 125451 ... c Min unsat cost LB: 125499 ... c Min unsat cost LB: 125512 ... c Min unsat cost LB: 125567 ... c Min unsat cost LB: 126227 ... c Min unsat cost LB: 126476 ... c Min unsat cost LB: 126592 ... c Min unsat cost LB: 126653 ... c Min unsat cost LB: 126719 ... c Min unsat cost LB: 126900 ... c Min unsat cost LB: 126980 ... c Min unsat cost LB: 127741 ... c Min unsat cost LB: 127861 ... c Min unsat cost LB: 127923 ... c Min unsat cost LB: 129165 ... c Min unsat cost LB: 129203 ... c Min unsat cost LB: 129518 ... c Min unsat cost LB: 129611 ... c Min unsat cost LB: 129975 ... c Min unsat cost LB: 130201 ... c Min unsat cost LB: 130279 ... c Min unsat cost LB: 130350 ... c Min unsat cost LB: 130503 ... c Min unsat cost LB: 130723 ... c Min unsat cost LB: 131800 ... c Min unsat cost LB: 132245 ... c Min unsat cost LB: 132497 ... c Min unsat cost LB: 133725 ... c Min unsat cost LB: 133871 ... c Min unsat cost LB: 133923 ... c Min unsat cost LB: 134116 ... c Min unsat cost LB: 135393 ... c Min unsat cost LB: 135420 ... c Min unsat cost LB: 135490 ... c Min unsat cost LB: 135520 ... c Min unsat cost LB: 136322 ... c Min unsat cost LB: 136338 ... c Min unsat cost LB: 136849 ... c Min unsat cost LB: 137273 ... c Min unsat cost LB: 137280 ... c Min unsat cost LB: 138810 ... c Min unsat cost LB: 138813 ... c Min unsat cost LB: 139099 ... c Min unsat cost LB: 139603 ... c Min unsat cost LB: 139659 ... c Min unsat cost LB: 140745 ... c Min unsat cost LB: 141052 ... c Min unsat cost LB: 141533 ... c Min unsat cost LB: 141685 ... c Min unsat cost LB: 142887 ... c Min unsat cost LB: 142963 ... c Min unsat cost LB: 143207 ... c Min unsat cost LB: 143604 ... c Min unsat cost LB: 143873 ... c Min unsat cost LB: 143915 ... c Min unsat cost LB: 143984 ... c Min unsat cost LB: 144240 ... c Min unsat cost LB: 144480 ... c Min unsat cost LB: 144613 ... c Min unsat cost LB: 144722 ... c Min unsat cost LB: 145354 ... c Min unsat cost LB: 145834 ... c Min unsat cost LB: 146125 ... c Min unsat cost LB: 146136 ... c Min unsat cost LB: 146240 ... c Min unsat cost LB: 146259 ... c Min unsat cost LB: 146263 ... c Min unsat cost LB: 146298 ... c Min unsat cost LB: 146303 ... c Min unsat cost LB: 146319 ... c Min unsat cost LB: 146342 ... c Min unsat cost LB: 146955 ... c Min unsat cost LB: 147459 ... c Min unsat cost LB: 147687 ... c Min unsat cost LB: 147820 ... c Min unsat cost LB: 147849 ... c Min unsat cost LB: 147985 ... c Min unsat cost LB: 148510 ... c Min unsat cost LB: 148842 ... c Min unsat cost LB: 149118 ... c Min unsat cost LB: 149124 ... c Min unsat cost LB: 149300 ... c Min unsat cost LB: 149323 ... c Min unsat cost LB: 149347 ... c Min unsat cost LB: 149361 ... c Min unsat cost LB: 149383 ... c Min unsat cost LB: 149432 ... c Min unsat cost LB: 150245 ... c Min unsat cost LB: 150266 ... c Min unsat cost LB: 150303 ... c Min unsat cost LB: 150314 ... c Min unsat cost LB: 150337 ... c Min unsat cost LB: 150341 ... c Min unsat cost LB: 150347 ... c Min unsat cost LB: 150368 ... c Min unsat cost LB: 150398 ... c Min unsat cost LB: 150483 ... c Min unsat cost LB: 150647 ... c Min unsat cost LB: 151824 ... c Min unsat cost LB: 151941 ... c Min unsat cost LB: 151973 ... c Min unsat cost LB: 152023 ... c Min unsat cost LB: 152042 ... c Min unsat cost LB: 152044 ... c Min unsat cost LB: 152047 ... c Min unsat cost LB: 152048 ... c Min unsat cost LB: 152049 ... c Min unsat cost LB: 152058 ... c Min unsat cost LB: 152440 ... c Min unsat cost LB: 152441 ... c Min unsat cost LB: 152447 ... c Min unsat cost LB: 152449 ... c Min unsat cost LB: 152450 ... c Min unsat cost LB: 152550 ... c Min unsat cost LB: 152881 ... c Min unsat cost LB: 153295 ... c Min unsat cost LB: 153323 ... c Min unsat cost LB: 153380 ... c Min unsat cost LB: 153381 ... c Min unsat cost LB: 153383 ... c Min unsat cost LB: 153390 ... c Min unsat cost LB: 153394 ... c Min unsat cost LB: 153399 ... c Min unsat cost LB: 153401 ... c Min unsat cost LB: 153406 ... c Min unsat cost LB: 153413 ... c Min unsat cost LB: 153417 ... c Min unsat cost LB: 153418 ... c Min unsat cost LB: 153421 ... c Min unsat cost LB: 153424 ... c Min unsat cost LB: 153427 ... c Min unsat cost LB: 153667 ... c Min unsat cost LB: 154239 ... c Min unsat cost LB: 155191 ... c Min unsat cost LB: 155413 ... c Min unsat cost LB: 155492 ... c Min unsat cost LB: 156069 ... c Min unsat cost LB: 156205 ... c Min unsat cost LB: 156394 ... c Min unsat cost LB: 156494 ... c Min unsat cost LB: 156855 ... c Min unsat cost LB: 157039 ... c Min unsat cost LB: 158072 ... c Min unsat cost LB: 158270 ... c Min unsat cost LB: 158433 ... c Min unsat cost LB: 158656 ... c Min unsat cost LB: 159717 ... c Min unsat cost LB: 159885 ... c Min unsat cost LB: 160017 ... c Min unsat cost LB: 160227 ... c Min unsat cost LB: 160330 ... c Min unsat cost LB: 160472 ... c Min unsat cost LB: 160473 ... c Min unsat cost LB: 160474 ... c Min unsat cost LB: 160480 ... c Min unsat cost LB: 160482 ... c Min unsat cost LB: 160496 ... c Min unsat cost LB: 160497 ... c Min unsat cost LB: 160499 ... c Min unsat cost LB: 160506 ... c Min unsat cost LB: 160508 ... c Min unsat cost LB: 160513 ... c Min unsat cost LB: 160514 ... c Min unsat cost LB: 160516 ... c Min unsat cost LB: 160517 ... c Min unsat cost LB: 160518 ... c Min unsat cost LB: 160882 ... c Min unsat cost LB: 161104 ... c Min unsat cost LB: 161935 ... c Min unsat cost LB: 161969 ... c Min unsat cost LB: 162616 ... c Min unsat cost LB: 163271 ... c Min unsat cost LB: 163272 ... c Min unsat cost LB: 163274 ... c Min unsat cost LB: 163280 ... c Min unsat cost LB: 163281 ... c Min unsat cost LB: 163324 ... c Min unsat cost LB: 163361 ... c Min unsat cost LB: 163389 ... c Min unsat cost LB: 163571 ... c Min unsat cost LB: 163806 ... c Min unsat cost LB: 164414 ... c Min unsat cost LB: 164442 ... c Min unsat cost LB: 164451 ... c Min unsat cost LB: 164475 ... c Min unsat cost LB: 164781 ... c Min unsat cost LB: 164813 ... c Min unsat cost LB: 164901 ... c Min unsat cost LB: 164959 ... c Min unsat cost LB: 165941 ... c Min unsat cost LB: 166227 ... c Min unsat cost LB: 166304 ... c Min unsat cost LB: 166366 ... c Min unsat cost LB: 166604 ... c Min unsat cost LB: 166613 ... c Min unsat cost LB: 166666 ... c Min unsat cost LB: 167106 ... c Min unsat cost LB: 167188 ... c Min unsat cost LB: 167760 ... c Min unsat cost LB: 167788 ... c Min unsat cost LB: 168067 ... c Min unsat cost LB: 168462 ... c Min unsat cost LB: 169099 ... c Min unsat cost LB: 170131 ... c Min unsat cost LB: 170715 ... c Min unsat cost LB: 170864 ... c Min unsat cost LB: 170976 ... c Min unsat cost LB: 170996 ... c Min unsat cost LB: 171544 ... c Min unsat cost LB: 172456 ... c Min unsat cost LB: 173280 ... c Min unsat cost LB: 173313 ... c Min unsat cost LB: 173397 ... c Min unsat cost LB: 173469 ... c Min unsat cost LB: 174541 ... c Min unsat cost LB: 174542 ... c Min unsat cost LB: 174579 ... c Min unsat cost LB: 174664 ... c Min unsat cost LB: 174684 ... c Min unsat cost LB: 174762 ... c Min unsat cost LB: 174840 ... c Min unsat cost LB: 174886 ... c Min unsat cost LB: 174970 ... c Min unsat cost LB: 174983 ... c Min unsat cost LB: 174987 ... c Min unsat cost LB: 175015 ... c Min unsat cost LB: 175047 ... c Min unsat cost LB: 175372 ... c Min unsat cost LB: 175474 ... c Min unsat cost LB: 175564 ... c Min unsat cost LB: 176127 ... c Min unsat cost LB: 176504 ... c Min unsat cost LB: 176557 ... c Min unsat cost LB: 176560 ... c Min unsat cost LB: 176580 ... c Min unsat cost LB: 176654 ... c Min unsat cost LB: 177056 ... c Min unsat cost LB: 177714 ... c Min unsat cost LB: 177782 ... c Min unsat cost LB: 178135 ... c Min unsat cost LB: 178159 ... c Min unsat cost LB: 178594 ... c Min unsat cost LB: 178667 ... c Min unsat cost LB: 178931 ... c Min unsat cost LB: 179097 ... c Min unsat cost LB: 179890 ... c Min unsat cost LB: 180097 ... c Min unsat cost LB: 180395 ... c Min unsat cost LB: 180419 ... c Min unsat cost LB: 180425 ... c Min unsat cost LB: 180704 ... c Min unsat cost LB: 180814 ... c Min unsat cost LB: 180937 ... c Min unsat cost LB: 181061 ... c Min unsat cost LB: 181096 ... c Min unsat cost LB: 181161 ... c Min unsat cost LB: 181227 ... c Min unsat cost LB: 181266 ... c Min unsat cost LB: 181557 ... c Min unsat cost LB: 181966 ... c Min unsat cost LB: 182928 ... c Min unsat cost LB: 183353 ... c Min unsat cost LB: 183553 ... c Min unsat cost LB: 183733 ... c Min unsat cost LB: 183810 ... c Min unsat cost LB: 184546 ... c Min unsat cost LB: 184808 ... c Min unsat cost LB: 185048 ... c Min unsat cost LB: 185075 ... c Min unsat cost LB: 185098 ... c Min unsat cost LB: 185114 ... c Min unsat cost LB: 185122 ... c Min unsat cost LB: 185124 ... c Min unsat cost LB: 185317 ... c Min unsat cost LB: 185377 ... c Min unsat cost LB: 185387 ... c Min unsat cost LB: 185419 ... c Min unsat cost LB: 186106 ... c Min unsat cost LB: 186160 ... c Min unsat cost LB: 186529 ... c Min unsat cost LB: 186785 ... c Min unsat cost LB: 186804 ... c Min unsat cost LB: 186870 ... c Min unsat cost LB: 187222 ... c Min unsat cost LB: 187535 ... c Min unsat cost LB: 188254 ... c Min unsat cost LB: 188307 ... c Min unsat cost LB: 188369 ... c Min unsat cost LB: 188389 ... c Min unsat cost LB: 188474 ... c Min unsat cost LB: 188823 ... c Min unsat cost LB: 189745 ... c Min unsat cost LB: 189816 ... c Min unsat cost LB: 189889 ... c Min unsat cost LB: 190149 ... c Min unsat cost LB: 190178 ... c Min unsat cost LB: 190748 ... c Min unsat cost LB: 191480 ... c Min unsat cost LB: 191755 ... c Min unsat cost LB: 192260 ... c Min unsat cost LB: 192511 ... c Min unsat cost LB: 192943 ... c Min unsat cost LB: 193025 ... c Min unsat cost LB: 193980 ... c Min unsat cost LB: 193983 ... c Min unsat cost LB: 193986 ... c Min unsat cost LB: 193988 ... c Min unsat cost LB: 195377 ... c Min unsat cost LB: 195586 ... c Min unsat cost LB: 195618 ... c Min unsat cost LB: 195899 ... c Min unsat cost LB: 196073 ... c Min unsat cost LB: 196076 ... c Min unsat cost LB: 196078 ... c Min unsat cost LB: 196298 ... c Min unsat cost LB: 196300 ... c Min unsat cost LB: 196382 ... c Min unsat cost LB: 196833 ... c Min unsat cost LB: 197010 ... c Min unsat cost LB: 197235 ... c Min unsat cost LB: 197330 ... c Min unsat cost LB: 197332 ... c Min unsat cost LB: 197523 ... c Min unsat cost LB: 197862 ... c Min unsat cost LB: 198238 ... c Min unsat cost LB: 198728 ... c Min unsat cost LB: 198766 ... c Min unsat cost LB: 198804 ... c Min unsat cost LB: 198956 ... c Min unsat cost LB: 198962 ... c Min unsat cost LB: 198990 ... c Min unsat cost LB: 199029 ... c Min unsat cost LB: 199053 ... c Min unsat cost LB: 199101 ... c Min unsat cost LB: 199594 ... c Min unsat cost LB: 199893 ... c Min unsat cost LB: 200017 ... c Min unsat cost LB: 200316 ... c Min unsat cost LB: 200972 ... c Min unsat cost LB: 201133 ... c Min unsat cost LB: 201271 ... c Min unsat cost LB: 201476 ... c Min unsat cost LB: 201922 ... c Min unsat cost LB: 202248 ... c Min unsat cost LB: 202304 ... c Min unsat cost LB: 202386 ... c Min unsat cost LB: 203405 ... c Min unsat cost LB: 203706 ... c Min unsat cost LB: 203826 ... c Min unsat cost LB: 204015 ... c Min unsat cost LB: 204123 ... c Min unsat cost LB: 204348 ... c Min unsat cost LB: 204633 ... c Min unsat cost LB: 204714 ... c Min unsat cost LB: 204767 ... c Min unsat cost LB: 205479 ... c Min unsat cost LB: 205663 ... c Min unsat cost LB: 205721 ... c Min unsat cost LB: 206127 ... c Min unsat cost LB: 206188 ... c Min unsat cost LB: 206388 ... c Min unsat cost LB: 206519 ... c Min unsat cost LB: 207280 ... c Min unsat cost LB: 207854 ... c Min unsat cost LB: 207933 ... c Min unsat cost LB: 208294 ... c Min unsat cost LB: 208427 ... c Min unsat cost LB: 208495 ... c Min unsat cost LB: 209197 ... c Min unsat cost LB: 209237 ... c Min unsat cost LB: 209362 ... c Min unsat cost LB: 209431 ... c Min unsat cost LB: 210758 ... c Min unsat cost LB: 210804 ... c Min unsat cost LB: 210814 ... c Min unsat cost LB: 210901 ... c Min unsat cost LB: 210904 ... c Min unsat cost LB: 211998 ... c Min unsat cost LB: 212158 ... c Min unsat cost LB: 212205 ... c Min unsat cost LB: 213169 ... c Min unsat cost LB: 213243 ... c Min unsat cost LB: 213469 ... c Min unsat cost LB: 213529 ... c Min unsat cost LB: 213551 ... c Min unsat cost LB: 213967 ... c Min unsat cost LB: 214013 ... c Min unsat cost LB: 214132 ... c Min unsat cost LB: 214368 ... c Min unsat cost LB: 214695 ... c Min unsat cost LB: 214802 ... c Min unsat cost LB: 214976 ... c Min unsat cost LB: 215038 ... c Min unsat cost LB: 215251 ... c Min unsat cost LB: 215305 ... c Min unsat cost LB: 215368 ... c Min unsat cost LB: 215412 ... c Min unsat cost LB: 215787 ... c Min unsat cost LB: 215822 ... c Min unsat cost LB: 215859 ... c Min unsat cost LB: 215906 ... c Min unsat cost LB: 215913 ... c Min unsat cost LB: 215915 ... c Min unsat cost LB: 216308 ... c Min unsat cost LB: 216310 ... c Min unsat cost LB: 216388 ... c Min unsat cost LB: 216466 ... c Min unsat cost LB: 216483 ... c Min unsat cost LB: 217160 ... c Min unsat cost LB: 217500 ... c Min unsat cost LB: 217622 ... c Min unsat cost LB: 217948 ... c Min unsat cost LB: 218152 ... c Min unsat cost LB: 218236 ... c Min unsat cost LB: 218485 ... c Min unsat cost LB: 219083 ... c Min unsat cost LB: 219091 ... c Min unsat cost LB: 219100 ... c Min unsat cost LB: 219431 ... c Min unsat cost LB: 219520 ... c Min unsat cost LB: 220202 ... c Min unsat cost LB: 220612 ... c Min unsat cost LB: 220844 ... c Min unsat cost LB: 221113 ... c Min unsat cost LB: 221335 ... c Min unsat cost LB: 221562 ... c Min unsat cost LB: 221920 ... c Min unsat cost LB: 221948 ... c Min unsat cost LB: 222108 ... c Min unsat cost LB: 222166 ... c Min unsat cost LB: 222192 ... c Min unsat cost LB: 222301 ... c Min unsat cost LB: 223117 ... c Min unsat cost LB: 223161 ... c Min unsat cost LB: 223450 ... c Min unsat cost LB: 223765 ... c Min unsat cost LB: 224136 ... c Min unsat cost LB: 224377 ... c Min unsat cost LB: 224540 ... c Min unsat cost LB: 225578 ... c Min unsat cost LB: 225717 ... c Min unsat cost LB: 225737 ... c Min unsat cost LB: 225776 ... c Min unsat cost LB: 226079 ... c Min unsat cost LB: 226506 ... c Min unsat cost LB: 226558 ... c Min unsat cost LB: 226571 ... c Min unsat cost LB: 226578 ... c Min unsat cost LB: 227129 ... c Min unsat cost LB: 227237 ... c Min unsat cost LB: 227308 ... c Min unsat cost LB: 227345 ... c Min unsat cost LB: 227453 ... c Min unsat cost LB: 227554 ... c Min unsat cost LB: 228004 ... c Min unsat cost LB: 228093 ... c Min unsat cost LB: 228109 ... c Min unsat cost LB: 228153 ... c Min unsat cost LB: 228171 ... c Min unsat cost LB: 228256 ... c Min unsat cost LB: 228359 ... c Min unsat cost LB: 228586 ... c Min unsat cost LB: 228606 ... c Min unsat cost LB: 228802 ... c Min unsat cost LB: 228850 ... c Min unsat cost LB: 228886 ... c Min unsat cost LB: 229398 ... c Min unsat cost LB: 229442 ... c Min unsat cost LB: 229448 ... c Min unsat cost LB: 229460 ... c Min unsat cost LB: 229461 ... c Min unsat cost LB: 229479 ... c Min unsat cost LB: 229495 ... c Min unsat cost LB: 229504 ... c Min unsat cost LB: 229505 ... c Min unsat cost LB: 229576 ... c Min unsat cost LB: 229751 ... c Min unsat cost LB: 229833 ... c Min unsat cost LB: 229869 ... c Min unsat cost LB: 229914 ... c Min unsat cost LB: 230463 ... c Min unsat cost LB: 230471 ... c Min unsat cost LB: 230875 ... c Min unsat cost LB: 230990 ... c Min unsat cost LB: 230992 ... c Min unsat cost LB: 230998 ... c Min unsat cost LB: 231068 ... c Min unsat cost LB: 231070 ... o 231070 s OPTIMUM FOUND v -1 -2 3 4 -5 6 -7 -8 -9 10 -11 12 13 -14 -15 16 -17 -18 -19 20 21 -22 -23 24 -25 -26 -27 -28 29 -30 31 -32 -33 -34 35 -36 -37 -38 39 -40 -41 -42 43 44 -45 46 -47 -48 -49 -50 -51 52 53 -54 -55 56 -57 58 -59 -60 -61 -62 63 -64 -65 -66 67 -68 69 -70 -71 72 -73 74 -75 -76 77 -78 -79 -80 81 -82 -83 -84 -85 86 -87 88 89 -90 -91 -92 93 -94 -95 -96 -97 98 99 -100 101 -102 -103 -104 105 -106 -107 -108 -109 -110 111 -112 -113 114 -115 116 -117 -118 -119 -120 121 -122 123 -124 -125 -126 127 -128 -129 130 -131 132 133 -134 135 -136 -137 -138 -139 -140 141 -142 143 -144 -145 146 -147 148 -149 -150 -151 152 -153 -154 155 -156 157 -158 -159 -160 -161 162 163 -164 165 -166 167 -168 169 -170 171 -172 173 -174 -175 -176 -177 178 -179 -180 181 -182 183 -184 -185 186 -187 188 -189 -190 -191 192 -193 -194 195 -196 197 -198 -199 -200 -201 202 -203 204 -205 -206 207 -208 -209 -210 -211 212 -213 214 -215 -216 -217 -218 219 -220 -221 222 223 -224 -225 -226 227 -228 -229 230 -231 232 -233 -234 235 236 -237 -238 -239 -240 -241 242 -243 244 -245 246 -247 248 -249 250 -251 -252 253 -254 -255 -256 -257 258 259 -260 -261 262 -263 -264 -265 -266 267 -268 269 -270 -271 -272 273 274 -275 -276 -277 278 -279 -280 281 -282 283 -284 -285 -286 -287 288 289 -290 -291 -292 -293 -294 295 -296 -297 298 -299 -300 301 302 -303 -304 -305 306 -307 -308 -309 310 -311 -312 313 -314 -315 -316 317 -318 -319 320 -321 322 323 -324 -325 -326 327 -328 329 330 -331 -332 -333 334 335 -336 -337 -338 339 -340 -341 342 -343 344 -345 -346 347 -348 -349 -350 351 -352 -353 354 -355 356 -357 358 -359 -360 361 -362 363 364 -365 366 -367 -368 -369 370 -371 372 -373 -374 -375 376 -377 -378 379 -380 -381 -382 383 -384 -385 386 -387 -388 -389 390 -391 -392 393 -394 -395 -396 397 -398 -399 400 -401 -402 403 -404 -405 -406 407 -408 -409 410 -411 -412 -413 414 -415 -416 417 -418 -419 420 -421 -422 423 -424 -425 -426 -427 -428 429 -430 -431 -432 433 434 -435 -436 -437 438 -439 -440 441 -442 -443 -444 -445 446 -447 -448 449 -450 -451 -452 453 -454 -455 456 -457 458 -459 -460 -461 -462 463 -464 465 466 -467 -468 -469 470 -471 -472 -473 474 -475 476 -477 -478 -479 -480 481 482 -483 -484 -485 -486 487 -488 489 -490 -491 -492 -493 494 -495 -496 -497 498 -499 500 -501 -502 -503 504 -505 -506 -507 -508 509 -510 -511 -512 513 -514 515 -516 517 -518 -519 -520 521 -522 523 -524 -525 -526 -527 528 529 -530 -531 -532 533 -534 -535 -536 -537 538 -539 540 -541 -542 -543 -544 545 -546 -547 -548 -549 550 551 -552 -553 -554 555 -556 -557 558 -559 560 -561 562 -563 564 -565 -566 567 -568 569 -570 -571 572 573 -574 -575 -576 577 -578 579 580 -581 -582 -583 -584 585 586 -587 -588 -589 590 -591 -592 593 -594 595 -596 -597 -598 -599 600 -601 602 -603 -604 -605 -606 607 -608 -609 610 -611 612 -613 -614 -615 616 -617 618 c CPU Time: 63.7443 63.804u 0.285s 1:04.10 99.9% 0+0k 0+0io 0pf+0w