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_SCHEDULING_cat_sched_60_130_0005.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0005.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_SCHEDULING/cat_sched_60_130_0005.txt.wcnf *** c c Min unsat cost LB: 606 ... c Min unsat cost LB: 2057 ... c Min unsat cost LB: 2845 ... c Min unsat cost LB: 3633 ... c Min unsat cost LB: 5084 ... c Min unsat cost LB: 5872 ... c Min unsat cost LB: 7323 ... c Min unsat cost LB: 8774 ... c Min unsat cost LB: 10225 ... c Min unsat cost LB: 10831 ... c Min unsat cost LB: 11619 ... c Min unsat cost LB: 12282 ... c Min unsat cost LB: 13070 ... c Min unsat cost LB: 14521 ... c Min unsat cost LB: 14646 ... c Min unsat cost LB: 15434 ... c Min unsat cost LB: 16222 ... c Min unsat cost LB: 17673 ... c Min unsat cost LB: 17855 ... c Min unsat cost LB: 18461 ... c Min unsat cost LB: 19249 ... c Min unsat cost LB: 20700 ... c Min unsat cost LB: 21488 ... c Min unsat cost LB: 22151 ... c Min unsat cost LB: 22689 ... c Min unsat cost LB: 24140 ... c Min unsat cost LB: 24928 ... c Min unsat cost LB: 26379 ... c Min unsat cost LB: 26510 ... c Min unsat cost LB: 27830 ... c Min unsat cost LB: 27955 ... c Min unsat cost LB: 29406 ... c Min unsat cost LB: 29668 ... c Min unsat cost LB: 30012 ... c Min unsat cost LB: 31250 ... c Min unsat cost LB: 32832 ... c Min unsat cost LB: 33438 ... c Min unsat cost LB: 34889 ... c Min unsat cost LB: 36215 ... c Min unsat cost LB: 36346 ... c Min unsat cost LB: 36528 ... c Min unsat cost LB: 36659 ... c Min unsat cost LB: 37003 ... c Min unsat cost LB: 37478 ... c Min unsat cost LB: 38084 ... c Min unsat cost LB: 39666 ... c Min unsat cost LB: 39797 ... c Min unsat cost LB: 40585 ... c Min unsat cost LB: 41191 ... c Min unsat cost LB: 41797 ... c Min unsat cost LB: 43379 ... c Min unsat cost LB: 43985 ... c Min unsat cost LB: 44773 ... c Min unsat cost LB: 45561 ... c Min unsat cost LB: 45686 ... c Min unsat cost LB: 46292 ... c Min unsat cost LB: 47080 ... c Min unsat cost LB: 47868 ... c Min unsat cost LB: 48474 ... c Min unsat cost LB: 49262 ... c Min unsat cost LB: 49868 ... c Min unsat cost LB: 50056 ... c Min unsat cost LB: 50844 ... c Min unsat cost LB: 51214 ... c Min unsat cost LB: 51947 ... c Min unsat cost LB: 52002 ... c Min unsat cost LB: 52608 ... c Min unsat cost LB: 53214 ... c Min unsat cost LB: 53892 ... c Min unsat cost LB: 54002 ... c Min unsat cost LB: 54608 ... c Min unsat cost LB: 54739 ... c Min unsat cost LB: 55345 ... c Min unsat cost LB: 55968 ... c Min unsat cost LB: 56133 ... c Min unsat cost LB: 56739 ... c Min unsat cost LB: 57214 ... c Min unsat cost LB: 57820 ... c Min unsat cost LB: 58065 ... c Min unsat cost LB: 58633 ... c Min unsat cost LB: 58690 ... c Min unsat cost LB: 59410 ... c Min unsat cost LB: 59478 ... c Min unsat cost LB: 60027 ... c Min unsat cost LB: 60747 ... c Min unsat cost LB: 60804 ... c Min unsat cost LB: 61410 ... c Min unsat cost LB: 61541 ... c Min unsat cost LB: 62147 ... c Min unsat cost LB: 62367 ... c Min unsat cost LB: 62916 ... c Min unsat cost LB: 63541 ... c Min unsat cost LB: 64147 ... c Min unsat cost LB: 64753 ... c Min unsat cost LB: 65541 ... c Min unsat cost LB: 66079 ... c Min unsat cost LB: 66685 ... c Min unsat cost LB: 66742 ... c Min unsat cost LB: 67291 ... c Min unsat cost LB: 67954 ... c Min unsat cost LB: 68554 ... c Min unsat cost LB: 68586 ... c Min unsat cost LB: 69374 ... c Min unsat cost LB: 69917 ... c Min unsat cost LB: 69985 ... c Min unsat cost LB: 70141 ... c Min unsat cost LB: 70773 ... c Min unsat cost LB: 70950 ... c Min unsat cost LB: 71106 ... c Min unsat cost LB: 71231 ... c Min unsat cost LB: 71413 ... c Min unsat cost LB: 71470 ... c Min unsat cost LB: 71561 ... c Min unsat cost LB: 71686 ... c Min unsat cost LB: 71936 ... c Min unsat cost LB: 72542 ... c Min unsat cost LB: 72724 ... c Min unsat cost LB: 72912 ... c Min unsat cost LB: 73330 ... c Min unsat cost LB: 73422 ... c Min unsat cost LB: 73512 ... c Min unsat cost LB: 73547 ... c Min unsat cost LB: 73672 ... c Min unsat cost LB: 74267 ... c Min unsat cost LB: 74300 ... c Min unsat cost LB: 74398 ... c Min unsat cost LB: 74489 ... c Min unsat cost LB: 74546 ... c Min unsat cost LB: 74678 ... c Min unsat cost LB: 75084 ... c Min unsat cost LB: 75301 ... c Min unsat cost LB: 75319 ... c Min unsat cost LB: 75334 ... c Min unsat cost LB: 75433 ... c Min unsat cost LB: 75564 ... c Min unsat cost LB: 75761 ... c Min unsat cost LB: 75872 ... c Min unsat cost LB: 75997 ... c Min unsat cost LB: 76546 ... c Min unsat cost LB: 76603 ... c Min unsat cost LB: 76699 ... c Min unsat cost LB: 76733 ... c Min unsat cost LB: 77209 ... c Min unsat cost LB: 77263 ... c Min unsat cost LB: 77305 ... c Min unsat cost LB: 77388 ... c Min unsat cost LB: 77415 ... c Min unsat cost LB: 77491 ... c Min unsat cost LB: 77576 ... c Min unsat cost LB: 77589 ... c Min unsat cost LB: 77638 ... c Min unsat cost LB: 77997 ... c Min unsat cost LB: 78054 ... c Min unsat cost LB: 78322 ... c Min unsat cost LB: 78369 ... c Min unsat cost LB: 78463 ... c Min unsat cost LB: 78500 ... c Min unsat cost LB: 78589 ... c Min unsat cost LB: 78644 ... c Min unsat cost LB: 78660 ... c Min unsat cost LB: 79069 ... c Min unsat cost LB: 79111 ... c Min unsat cost LB: 79146 ... c Min unsat cost LB: 79165 ... c Min unsat cost LB: 79277 ... c Min unsat cost LB: 79588 ... c Min unsat cost LB: 79698 ... c Min unsat cost LB: 79902 ... c Min unsat cost LB: 79923 ... c Min unsat cost LB: 80213 ... c Min unsat cost LB: 80281 ... c Min unsat cost LB: 80311 ... c Min unsat cost LB: 80323 ... c Min unsat cost LB: 80336 ... c Min unsat cost LB: 80469 ... c Min unsat cost LB: 80655 ... c Min unsat cost LB: 80671 ... c Min unsat cost LB: 80769 ... c Min unsat cost LB: 80887 ... c Min unsat cost LB: 81002 ... c Min unsat cost LB: 81012 ... c Min unsat cost LB: 81317 ... c Min unsat cost LB: 81440 ... c Min unsat cost LB: 81448 ... c Min unsat cost LB: 81465 ... c Min unsat cost LB: 81532 ... c Min unsat cost LB: 81546 ... c Min unsat cost LB: 81652 ... c Min unsat cost LB: 81715 ... c Min unsat cost LB: 81953 ... c Min unsat cost LB: 82111 ... c Min unsat cost LB: 82581 ... c Min unsat cost LB: 82755 ... c Min unsat cost LB: 83612 ... c Min unsat cost LB: 83679 ... c Min unsat cost LB: 84149 ... c Min unsat cost LB: 84232 ... c Min unsat cost LB: 85509 ... c Min unsat cost LB: 85731 ... c Min unsat cost LB: 85879 ... c Min unsat cost LB: 85883 ... c Min unsat cost LB: 86184 ... c Min unsat cost LB: 86206 ... c Min unsat cost LB: 86265 ... c Min unsat cost LB: 86847 ... c Min unsat cost LB: 86876 ... c Min unsat cost LB: 87177 ... c Min unsat cost LB: 87275 ... c Min unsat cost LB: 87336 ... c Min unsat cost LB: 87426 ... c Min unsat cost LB: 87528 ... c Min unsat cost LB: 87596 ... c Min unsat cost LB: 87684 ... c Min unsat cost LB: 87710 ... c Min unsat cost LB: 87743 ... c Min unsat cost LB: 87802 ... c Min unsat cost LB: 87891 ... c Min unsat cost LB: 88021 ... c Min unsat cost LB: 88429 ... c Min unsat cost LB: 88439 ... c Min unsat cost LB: 88445 ... c Min unsat cost LB: 88595 ... c Min unsat cost LB: 88773 ... c Min unsat cost LB: 88842 ... c Min unsat cost LB: 88945 ... c Min unsat cost LB: 89013 ... c Min unsat cost LB: 89130 ... c Min unsat cost LB: 89227 ... c Min unsat cost LB: 89258 ... c Min unsat cost LB: 89358 ... c Min unsat cost LB: 89393 ... c Min unsat cost LB: 89450 ... c Min unsat cost LB: 89541 ... c Min unsat cost LB: 89656 ... c Min unsat cost LB: 89664 ... c Min unsat cost LB: 89672 ... c Min unsat cost LB: 89714 ... c Min unsat cost LB: 89749 ... c Min unsat cost LB: 89759 ... c Min unsat cost LB: 89769 ... c Min unsat cost LB: 89789 ... c Min unsat cost LB: 89832 ... c Min unsat cost LB: 89833 ... c Min unsat cost LB: 89863 ... c Min unsat cost LB: 89966 ... c Min unsat cost LB: 89978 ... c Min unsat cost LB: 89979 ... c Min unsat cost LB: 89990 ... c Min unsat cost LB: 89991 ... c Min unsat cost LB: 89994 ... c Min unsat cost LB: 90006 ... c Min unsat cost LB: 90077 ... c Min unsat cost LB: 90092 ... c Min unsat cost LB: 90107 ... c Min unsat cost LB: 90108 ... c Min unsat cost LB: 90152 ... c Min unsat cost LB: 90153 ... c Min unsat cost LB: 90154 ... c Min unsat cost LB: 90169 ... c Min unsat cost LB: 90180 ... c Min unsat cost LB: 90184 ... c Min unsat cost LB: 90195 ... c Min unsat cost LB: 90251 ... c Min unsat cost LB: 90252 ... c Min unsat cost LB: 90285 ... c Min unsat cost LB: 90292 ... c Min unsat cost LB: 90348 ... c Min unsat cost LB: 90358 ... c Min unsat cost LB: 90401 ... c Min unsat cost LB: 90404 ... c Min unsat cost LB: 90414 ... c Min unsat cost LB: 90516 ... c Min unsat cost LB: 90519 ... c Min unsat cost LB: 90520 ... c Min unsat cost LB: 90522 ... c Min unsat cost LB: 90548 ... c Min unsat cost LB: 90561 ... c Min unsat cost LB: 90562 ... c Min unsat cost LB: 90566 ... c Min unsat cost LB: 90567 ... c Min unsat cost LB: 90571 ... c Min unsat cost LB: 90578 ... c Min unsat cost LB: 90584 ... c Min unsat cost LB: 90610 ... c Min unsat cost LB: 90611 ... c Min unsat cost LB: 90667 ... c Min unsat cost LB: 90669 ... c Min unsat cost LB: 90684 ... c Min unsat cost LB: 90726 ... c Min unsat cost LB: 90731 ... c Min unsat cost LB: 90823 ... c Min unsat cost LB: 90880 ... c Min unsat cost LB: 90907 ... c Min unsat cost LB: 90913 ... c Min unsat cost LB: 90914 ... c Min unsat cost LB: 90941 ... c Min unsat cost LB: 90953 ... c Min unsat cost LB: 90967 ... c Min unsat cost LB: 90983 ... c Min unsat cost LB: 91349 ... c Min unsat cost LB: 91350 ... c Min unsat cost LB: 91360 ... c Min unsat cost LB: 91404 ... c Min unsat cost LB: 91405 ... c Min unsat cost LB: 91419 ... c Min unsat cost LB: 91420 ... c Min unsat cost LB: 91421 ... c Min unsat cost LB: 91434 ... c Min unsat cost LB: 91435 ... c Min unsat cost LB: 91450 ... c Min unsat cost LB: 91473 ... c Min unsat cost LB: 91492 ... c Min unsat cost LB: 91518 ... c Min unsat cost LB: 91643 ... c Min unsat cost LB: 91660 ... c Min unsat cost LB: 91661 ... c Min unsat cost LB: 91664 ... c Min unsat cost LB: 91668 ... c Min unsat cost LB: 91672 ... c Min unsat cost LB: 91679 ... c Min unsat cost LB: 91682 ... c Min unsat cost LB: 91689 ... c Min unsat cost LB: 91697 ... c Min unsat cost LB: 91698 ... c Min unsat cost LB: 91699 ... c Min unsat cost LB: 91700 ... c Min unsat cost LB: 91759 ... c Min unsat cost LB: 91763 ... c Min unsat cost LB: 91768 ... c Min unsat cost LB: 91848 ... c Min unsat cost LB: 91852 ... c Min unsat cost LB: 91911 ... c Min unsat cost LB: 91989 ... c Min unsat cost LB: 91990 ... c Min unsat cost LB: 92011 ... c Min unsat cost LB: 92024 ... c Min unsat cost LB: 92042 ... c Min unsat cost LB: 92043 ... c Min unsat cost LB: 92044 ... c Min unsat cost LB: 92045 ... c Min unsat cost LB: 92078 ... c Min unsat cost LB: 92080 ... c Min unsat cost LB: 92082 ... c Min unsat cost LB: 92083 ... c Min unsat cost LB: 92084 ... c Min unsat cost LB: 92086 ... c Min unsat cost LB: 92091 ... c Min unsat cost LB: 92092 ... c Min unsat cost LB: 92093 ... c Min unsat cost LB: 92094 ... c Min unsat cost LB: 92160 ... c Min unsat cost LB: 92161 ... c Min unsat cost LB: 92239 ... c Min unsat cost LB: 92240 ... c Min unsat cost LB: 92305 ... c Min unsat cost LB: 92949 ... c Min unsat cost LB: 93008 ... c Min unsat cost LB: 93123 ... c Min unsat cost LB: 93182 ... c Min unsat cost LB: 93404 ... c Min unsat cost LB: 93419 ... c Min unsat cost LB: 93424 ... c Min unsat cost LB: 93426 ... c Min unsat cost LB: 93431 ... c Min unsat cost LB: 93434 ... c Min unsat cost LB: 93460 ... c Min unsat cost LB: 93487 ... c Min unsat cost LB: 93526 ... c Min unsat cost LB: 93539 ... c Min unsat cost LB: 93542 ... c Min unsat cost LB: 93551 ... c Min unsat cost LB: 93564 ... c Min unsat cost LB: 93577 ... c Min unsat cost LB: 93590 ... c Min unsat cost LB: 93612 ... c Min unsat cost LB: 93613 ... c Min unsat cost LB: 93628 ... c Min unsat cost LB: 93636 ... c Min unsat cost LB: 93654 ... c Min unsat cost LB: 93655 ... c Min unsat cost LB: 93656 ... c Min unsat cost LB: 93747 ... c Min unsat cost LB: 93761 ... c Min unsat cost LB: 93804 ... c Min unsat cost LB: 93805 ... c Min unsat cost LB: 93806 ... c Min unsat cost LB: 93809 ... c Min unsat cost LB: 93812 ... c Min unsat cost LB: 93813 ... c Min unsat cost LB: 93814 ... c Min unsat cost LB: 93819 ... c Min unsat cost LB: 93826 ... c Min unsat cost LB: 93827 ... c Min unsat cost LB: 93843 ... c Min unsat cost LB: 93850 ... c Min unsat cost LB: 93862 ... c Min unsat cost LB: 93968 ... c Min unsat cost LB: 93973 ... c Min unsat cost LB: 93974 ... c Min unsat cost LB: 93975 ... c Min unsat cost LB: 93976 ... c Min unsat cost LB: 93981 ... c Min unsat cost LB: 93983 ... c Min unsat cost LB: 94005 ... c Min unsat cost LB: 94019 ... c Min unsat cost LB: 94020 ... c Min unsat cost LB: 94032 ... c Min unsat cost LB: 94045 ... c Min unsat cost LB: 94046 ... c Min unsat cost LB: 94168 ... c Min unsat cost LB: 94182 ... c Min unsat cost LB: 94215 ... c Min unsat cost LB: 94229 ... c Min unsat cost LB: 94257 ... c Min unsat cost LB: 94358 ... c Min unsat cost LB: 94361 ... c Min unsat cost LB: 94367 ... c Min unsat cost LB: 94389 ... c Min unsat cost LB: 94393 ... c Min unsat cost LB: 94395 ... c Min unsat cost LB: 94396 ... c Min unsat cost LB: 94402 ... c Min unsat cost LB: 94428 ... c Min unsat cost LB: 94429 ... c Min unsat cost LB: 94459 ... c Min unsat cost LB: 94460 ... c Min unsat cost LB: 94461 ... c Min unsat cost LB: 94462 ... c Min unsat cost LB: 94491 ... c Min unsat cost LB: 94513 ... c Min unsat cost LB: 94526 ... c Min unsat cost LB: 94529 ... c Min unsat cost LB: 94561 ... c Min unsat cost LB: 94582 ... c Min unsat cost LB: 94659 ... c Min unsat cost LB: 94720 ... c Min unsat cost LB: 94746 ... c Min unsat cost LB: 94756 ... c Min unsat cost LB: 94806 ... c Min unsat cost LB: 94809 ... c Min unsat cost LB: 94811 ... c Min unsat cost LB: 94830 ... c Min unsat cost LB: 94832 ... c Min unsat cost LB: 94833 ... c Min unsat cost LB: 94838 ... c Min unsat cost LB: 95046 ... c Min unsat cost LB: 95048 ... c Min unsat cost LB: 95076 ... c Min unsat cost LB: 95120 ... c Min unsat cost LB: 95128 ... c Min unsat cost LB: 95139 ... c Min unsat cost LB: 95144 ... c Min unsat cost LB: 95147 ... c Min unsat cost LB: 95166 ... c Min unsat cost LB: 95167 ... c Min unsat cost LB: 95170 ... c Min unsat cost LB: 95171 ... c Min unsat cost LB: 95173 ... c Min unsat cost LB: 95181 ... c Min unsat cost LB: 95186 ... c Min unsat cost LB: 95187 ... c Min unsat cost LB: 95188 ... c Min unsat cost LB: 95189 ... c Min unsat cost LB: 95193 ... c Min unsat cost LB: 95198 ... c Min unsat cost LB: 95206 ... c Min unsat cost LB: 95207 ... c Min unsat cost LB: 95208 ... c Min unsat cost LB: 95209 ... c Min unsat cost LB: 95210 ... c Min unsat cost LB: 95211 ... c Min unsat cost LB: 95212 ... c Min unsat cost LB: 95213 ... c Min unsat cost LB: 95216 ... c Min unsat cost LB: 95217 ... c Min unsat cost LB: 95218 ... c Min unsat cost LB: 95225 ... c Min unsat cost LB: 95226 ... c Min unsat cost LB: 95227 ... c Min unsat cost LB: 95240 ... c Min unsat cost LB: 95248 ... c Min unsat cost LB: 95249 ... c Min unsat cost LB: 95250 ... c Min unsat cost LB: 95251 ... c Min unsat cost LB: 95252 ... c Min unsat cost LB: 95253 ... c Min unsat cost LB: 95254 ... c Min unsat cost LB: 95255 ... c Min unsat cost LB: 95256 ... c Min unsat cost LB: 95257 ... c Min unsat cost LB: 95264 ... c Min unsat cost LB: 95265 ... c Min unsat cost LB: 95266 ... c Min unsat cost LB: 95267 ... c Min unsat cost LB: 95268 ... c Min unsat cost LB: 95269 ... c Min unsat cost LB: 95270 ... c Min unsat cost LB: 95271 ... c Min unsat cost LB: 95272 ... c Min unsat cost LB: 95273 ... c Min unsat cost LB: 95274 ... c Min unsat cost LB: 95275 ... c Min unsat cost LB: 95276 ... c Min unsat cost LB: 95277 ... c Min unsat cost LB: 95278 ... c Min unsat cost LB: 95279 ... c Min unsat cost LB: 95280 ... c Min unsat cost LB: 95282 ... c Min unsat cost LB: 95283 ... c Min unsat cost LB: 95284 ... c Min unsat cost LB: 95285 ... c Min unsat cost LB: 95286 ... c Min unsat cost LB: 95287 ... c Min unsat cost LB: 95288 ... c Min unsat cost LB: 95289 ... c Min unsat cost LB: 95292 ... c Min unsat cost LB: 95296 ... c Min unsat cost LB: 95314 ... c Min unsat cost LB: 95316 ... c Min unsat cost LB: 95318 ... c Min unsat cost LB: 95319 ... c Min unsat cost LB: 95320 ... c Min unsat cost LB: 95323 ... c Min unsat cost LB: 95324 ... c Min unsat cost LB: 95327 ... c Min unsat cost LB: 95328 ... c Min unsat cost LB: 95329 ... c Min unsat cost LB: 95335 ... c Min unsat cost LB: 95339 ... c Min unsat cost LB: 95340 ... c Min unsat cost LB: 95343 ... c Min unsat cost LB: 95344 ... c Min unsat cost LB: 95345 ... c Min unsat cost LB: 95347 ... c Min unsat cost LB: 95348 ... c Min unsat cost LB: 95349 ... c Min unsat cost LB: 95363 ... c Min unsat cost LB: 95377 ... c Min unsat cost LB: 95440 ... c Min unsat cost LB: 95443 ... c Min unsat cost LB: 95507 ... c Min unsat cost LB: 95509 ... c Min unsat cost LB: 95510 ... c Min unsat cost LB: 95511 ... c Min unsat cost LB: 95512 ... c Min unsat cost LB: 95513 ... c Min unsat cost LB: 95514 ... c Min unsat cost LB: 95519 ... c Min unsat cost LB: 95523 ... c Min unsat cost LB: 95524 ... c Min unsat cost LB: 95535 ... c Min unsat cost LB: 95540 ... c Min unsat cost LB: 95541 ... c Min unsat cost LB: 95542 ... c Min unsat cost LB: 95563 ... c Min unsat cost LB: 95564 ... c Min unsat cost LB: 95565 ... c Min unsat cost LB: 95566 ... c Min unsat cost LB: 95567 ... c Min unsat cost LB: 95568 ... c Min unsat cost LB: 95569 ... c Min unsat cost LB: 95570 ... c Min unsat cost LB: 95571 ... c Min unsat cost LB: 95573 ... c Min unsat cost LB: 95574 ... c Min unsat cost LB: 95575 ... c Min unsat cost LB: 95585 ... c Min unsat cost LB: 95591 ... c Min unsat cost LB: 95592 ... c Min unsat cost LB: 95593 ... c Min unsat cost LB: 95594 ... c Min unsat cost LB: 95595 ... c Min unsat cost LB: 95596 ... c Min unsat cost LB: 95597 ... c Min unsat cost LB: 95598 ... c Min unsat cost LB: 95599 ... c Min unsat cost LB: 95600 ... c Min unsat cost LB: 95602 ... c Min unsat cost LB: 95603 ... c Min unsat cost LB: 95604 ... c Min unsat cost LB: 95610 ... c Min unsat cost LB: 95612 ... c Min unsat cost LB: 95615 ... c Min unsat cost LB: 95617 ... c Min unsat cost LB: 95620 ... c Min unsat cost LB: 95621 ... c Min unsat cost LB: 95628 ... c Min unsat cost LB: 95631 ... c Min unsat cost LB: 95632 ... c Min unsat cost LB: 95633 ... c Min unsat cost LB: 95634 ... c Min unsat cost LB: 95640 ... c Min unsat cost LB: 95645 ... c Min unsat cost LB: 95653 ... c Min unsat cost LB: 95666 ... c Min unsat cost LB: 95676 ... c Min unsat cost LB: 95678 ... c Min unsat cost LB: 95683 ... c Min unsat cost LB: 95684 ... c Min unsat cost LB: 95685 ... c Min unsat cost LB: 95686 ... c Min unsat cost LB: 95687 ... c Min unsat cost LB: 95688 ... c Min unsat cost LB: 95689 ... c Min unsat cost LB: 95690 ... c Min unsat cost LB: 95691 ... c Min unsat cost LB: 95693 ... c Min unsat cost LB: 95700 ... c Min unsat cost LB: 95701 ... c Min unsat cost LB: 95702 ... c Min unsat cost LB: 95703 ... c Min unsat cost LB: 95704 ... c Min unsat cost LB: 95705 ... c Min unsat cost LB: 95706 ... c Min unsat cost LB: 95707 ... c Min unsat cost LB: 95708 ... c Min unsat cost LB: 95709 ... c Min unsat cost LB: 95710 ... c Min unsat cost LB: 95711 ... c Min unsat cost LB: 95712 ... c Min unsat cost LB: 95713 ... c Min unsat cost LB: 95714 ... c Min unsat cost LB: 95715 ... c Min unsat cost LB: 95716 ... c Min unsat cost LB: 95718 ... c Min unsat cost LB: 95719 ... c Min unsat cost LB: 95720 ... c Min unsat cost LB: 95722 ... c Min unsat cost LB: 95728 ... c Min unsat cost LB: 95732 ... c Min unsat cost LB: 95756 ... c Min unsat cost LB: 96061 ... c Min unsat cost LB: 96062 ... c Min unsat cost LB: 96063 ... c Min unsat cost LB: 96064 ... c Min unsat cost LB: 96065 ... c Min unsat cost LB: 96066 ... c Min unsat cost LB: 96067 ... c Min unsat cost LB: 96068 ... c Min unsat cost LB: 96069 ... c Min unsat cost LB: 96070 ... c Min unsat cost LB: 96071 ... c Min unsat cost LB: 96072 ... c Min unsat cost LB: 96073 ... c Min unsat cost LB: 96074 ... c Min unsat cost LB: 96075 ... c Min unsat cost LB: 96076 ... c Min unsat cost LB: 96077 ... c Min unsat cost LB: 96078 ... c Min unsat cost LB: 96079 ... c Min unsat cost LB: 96081 ... c Min unsat cost LB: 96082 ... c Min unsat cost LB: 96084 ... c Min unsat cost LB: 96085 ... c Min unsat cost LB: 96086 ... c Min unsat cost LB: 96087 ... c Min unsat cost LB: 96088 ... c Min unsat cost LB: 96089 ... c Min unsat cost LB: 96090 ... c Min unsat cost LB: 96092 ... c Min unsat cost LB: 96093 ... c Min unsat cost LB: 96094 ... c Min unsat cost LB: 96119 ... c Min unsat cost LB: 96120 ... c Min unsat cost LB: 96121 ... c Min unsat cost LB: 96122 ... c Min unsat cost LB: 96123 ... c Min unsat cost LB: 96151 ... c Min unsat cost LB: 96152 ... c Min unsat cost LB: 96153 ... c Min unsat cost LB: 96154 ... c Min unsat cost LB: 96155 ... c Min unsat cost LB: 96156 ... c Min unsat cost LB: 96157 ... c Min unsat cost LB: 96158 ... c Min unsat cost LB: 96159 ... c Min unsat cost LB: 96160 ... c Min unsat cost LB: 96161 ... c Min unsat cost LB: 96162 ... c Min unsat cost LB: 96163 ... c Min unsat cost LB: 96164 ... c Min unsat cost LB: 96165 ... c Min unsat cost LB: 96166 ... c Min unsat cost LB: 96167 ... c Min unsat cost LB: 96168 ... c Min unsat cost LB: 96169 ... c Min unsat cost LB: 96170 ... c Min unsat cost LB: 96173 ... c Min unsat cost LB: 96176 ... c Min unsat cost LB: 96177 ... c Min unsat cost LB: 96178 ... c Min unsat cost LB: 96179 ... c Min unsat cost LB: 96180 ... c Min unsat cost LB: 96181 ... c Min unsat cost LB: 96182 ... c Min unsat cost LB: 96183 ... c Min unsat cost LB: 96184 ... c Min unsat cost LB: 96185 ... c Min unsat cost LB: 96186 ... c Min unsat cost LB: 96187 ... c Min unsat cost LB: 96188 ... c Min unsat cost LB: 96189 ... c Min unsat cost LB: 96190 ... c Min unsat cost LB: 96191 ... c Min unsat cost LB: 96192 ... c Min unsat cost LB: 96193 ... c Min unsat cost LB: 96194 ... c Min unsat cost LB: 96195 ... c Min unsat cost LB: 96196 ... c Min unsat cost LB: 96197 ... c Min unsat cost LB: 96198 ... c Min unsat cost LB: 96199 ... c Min unsat cost LB: 96200 ... c Min unsat cost LB: 96201 ... c Min unsat cost LB: 96202 ... c Min unsat cost LB: 96203 ... c Min unsat cost LB: 96204 ... c Min unsat cost LB: 96205 ... c Min unsat cost LB: 96206 ... c Min unsat cost LB: 96207 ... c Min unsat cost LB: 96208 ... c Min unsat cost LB: 96209 ... c Min unsat cost LB: 96210 ... c Min unsat cost LB: 96212 ... c Min unsat cost LB: 96213 ... c Min unsat cost LB: 96214 ... c Min unsat cost LB: 96215 ... c Min unsat cost LB: 96216 ... c Min unsat cost LB: 96217 ... c Min unsat cost LB: 96218 ... c Min unsat cost LB: 96219 ... c Min unsat cost LB: 96220 ... c Min unsat cost LB: 96221 ... c Min unsat cost LB: 96222 ... c Min unsat cost LB: 96223 ... c Min unsat cost LB: 96224 ... c Min unsat cost LB: 96225 ... c Min unsat cost LB: 96226 ... c Min unsat cost LB: 96227 ... c Min unsat cost LB: 96228 ... c Min unsat cost LB: 96229 ... c Min unsat cost LB: 96230 ... c Min unsat cost LB: 96231 ... c Min unsat cost LB: 96232 ... c Min unsat cost LB: 96233 ... c Min unsat cost LB: 96234 ... c Min unsat cost LB: 96235 ... c Min unsat cost LB: 96236 ... c Min unsat cost LB: 96238 ... c Min unsat cost LB: 96239 ... c Min unsat cost LB: 96244 ... c Min unsat cost LB: 96245 ... c Min unsat cost LB: 96246 ... c Min unsat cost LB: 96247 ... c Min unsat cost LB: 96248 ... c Min unsat cost LB: 96249 ... c Min unsat cost LB: 96250 ... c Min unsat cost LB: 96251 ... c Min unsat cost LB: 96255 ... c Min unsat cost LB: 96257 ... c Min unsat cost LB: 96258 ... c Min unsat cost LB: 96259 ... c Min unsat cost LB: 96260 ... c Min unsat cost LB: 96261 ... c Min unsat cost LB: 96262 ... c Min unsat cost LB: 96263 ... c Min unsat cost LB: 96264 ... c Min unsat cost LB: 96265 ... c Min unsat cost LB: 96266 ... c Min unsat cost LB: 96267 ... c Min unsat cost LB: 96268 ... c Min unsat cost LB: 96269 ... c Min unsat cost LB: 96270 ... c Min unsat cost LB: 96271 ... c Min unsat cost LB: 96272 ... c Min unsat cost LB: 96273 ... c Min unsat cost LB: 96274 ... c Min unsat cost LB: 96275 ... c Min unsat cost LB: 96276 ... c Min unsat cost LB: 96277 ... c Min unsat cost LB: 96278 ... c Min unsat cost LB: 96279 ... c Min unsat cost LB: 96280 ... c Min unsat cost LB: 96281 ... c Min unsat cost LB: 96282 ... c Min unsat cost LB: 96283 ... c Min unsat cost LB: 96284 ... c Min unsat cost LB: 96285 ... c Min unsat cost LB: 96286 ... c Min unsat cost LB: 96287 ... c Min unsat cost LB: 96288 ... c Min unsat cost LB: 96305 ... c Min unsat cost LB: 96306 ... c Min unsat cost LB: 96307 ... c Min unsat cost LB: 96308 ... c Min unsat cost LB: 96309 ... c Min unsat cost LB: 96310 ... c Min unsat cost LB: 96318 ... c Min unsat cost LB: 96319 ... c Min unsat cost LB: 96332 ... c Min unsat cost LB: 96336 ... c Min unsat cost LB: 96338 ... c Min unsat cost LB: 96345 ... c Min unsat cost LB: 96346 ... c Min unsat cost LB: 96347 ... c Min unsat cost LB: 96348 ... c Min unsat cost LB: 96349 ... c Min unsat cost LB: 96351 ... c Min unsat cost LB: 96352 ... c Min unsat cost LB: 96353 ... c Min unsat cost LB: 96354 ... c Min unsat cost LB: 96355 ... c Min unsat cost LB: 96356 ... c Min unsat cost LB: 96357 ... c Min unsat cost LB: 96358 ... c Min unsat cost LB: 96359 ... c Min unsat cost LB: 96360 ... c Min unsat cost LB: 96361 ... c Min unsat cost LB: 96362 ... c Min unsat cost LB: 96363 ... c Min unsat cost LB: 96364 ... c Min unsat cost LB: 96367 ... c Min unsat cost LB: 96371 ... c Min unsat cost LB: 96372 ... c Min unsat cost LB: 96374 ... c Min unsat cost LB: 96377 ... c Min unsat cost LB: 96378 ... c Min unsat cost LB: 96380 ... c Min unsat cost LB: 96382 ... c Min unsat cost LB: 96384 ... c Min unsat cost LB: 96385 ... c Min unsat cost LB: 96387 ... c Min unsat cost LB: 96395 ... c Min unsat cost LB: 96403 ... c Min unsat cost LB: 96406 ... c Min unsat cost LB: 96407 ... c Min unsat cost LB: 96416 ... c Min unsat cost LB: 96417 ... c Min unsat cost LB: 96418 ... c Min unsat cost LB: 96420 ... c Min unsat cost LB: 96423 ... c Min unsat cost LB: 96424 ... c Min unsat cost LB: 96432 ... c Min unsat cost LB: 96434 ... c Min unsat cost LB: 96441 ... c Min unsat cost LB: 96442 ... c Min unsat cost LB: 96443 ... c Min unsat cost LB: 96444 ... c Min unsat cost LB: 96473 ... c Min unsat cost LB: 96475 ... c Min unsat cost LB: 96476 ... c Min unsat cost LB: 96477 ... c Min unsat cost LB: 96478 ... c Min unsat cost LB: 96479 ... c Min unsat cost LB: 96480 ... c Min unsat cost LB: 96481 ... c Min unsat cost LB: 96483 ... c Min unsat cost LB: 96484 ... c Min unsat cost LB: 96485 ... c Min unsat cost LB: 96486 ... c Min unsat cost LB: 96489 ... c Min unsat cost LB: 96491 ... c Min unsat cost LB: 96492 ... c Min unsat cost LB: 96495 ... c Min unsat cost LB: 96496 ... c Min unsat cost LB: 96497 ... c Min unsat cost LB: 96498 ... c Min unsat cost LB: 96499 ... c Min unsat cost LB: 96500 ... c Min unsat cost LB: 96503 ... c Min unsat cost LB: 96504 ... c Min unsat cost LB: 96505 ... c Min unsat cost LB: 96506 ... c Min unsat cost LB: 96507 ... c Min unsat cost LB: 96508 ... c Min unsat cost LB: 96533 ... c Min unsat cost LB: 96534 ... c Min unsat cost LB: 96535 ... c Min unsat cost LB: 96536 ... c Min unsat cost LB: 96537 ... c Min unsat cost LB: 96538 ... c Min unsat cost LB: 96539 ... c Min unsat cost LB: 96540 ... c Min unsat cost LB: 96541 ... c Min unsat cost LB: 96542 ... c Min unsat cost LB: 96543 ... c Min unsat cost LB: 96544 ... c Min unsat cost LB: 96545 ... c Min unsat cost LB: 96546 ... c Min unsat cost LB: 96547 ... c Min unsat cost LB: 96548 ... c Min unsat cost LB: 96549 ... c Min unsat cost LB: 96550 ... c Min unsat cost LB: 96551 ... c Min unsat cost LB: 96552 ... c Min unsat cost LB: 96553 ... c Min unsat cost LB: 96554 ... c Min unsat cost LB: 96555 ... c Min unsat cost LB: 96556 ... c Min unsat cost LB: 96557 ... c Min unsat cost LB: 96558 ... c Min unsat cost LB: 96563 ... c Min unsat cost LB: 96588 ... c Min unsat cost LB: 96589 ... c Min unsat cost LB: 96590 ... c Min unsat cost LB: 96591 ... c Min unsat cost LB: 96592 ... c Min unsat cost LB: 96593 ... c Min unsat cost LB: 96594 ... c Min unsat cost LB: 96595 ... c Min unsat cost LB: 96596 ... c Min unsat cost LB: 96597 ... c Min unsat cost LB: 96598 ... c Min unsat cost LB: 96599 ... c Min unsat cost LB: 96600 ... c Min unsat cost LB: 96601 ... c Min unsat cost LB: 96602 ... c Min unsat cost LB: 96603 ... c Min unsat cost LB: 96604 ... c Min unsat cost LB: 96605 ... c Min unsat cost LB: 96613 ... c Min unsat cost LB: 96614 ... c Min unsat cost LB: 96615 ... c Min unsat cost LB: 96616 ... c Min unsat cost LB: 96617 ... c Min unsat cost LB: 96618 ... c Min unsat cost LB: 96621 ... c Min unsat cost LB: 96622 ... c Min unsat cost LB: 96628 ... c Min unsat cost LB: 96629 ... c Min unsat cost LB: 96632 ... c Min unsat cost LB: 96639 ... c Min unsat cost LB: 96640 ... c Min unsat cost LB: 96641 ... c Min unsat cost LB: 96642 ... c Min unsat cost LB: 96643 ... c Min unsat cost LB: 96644 ... c Min unsat cost LB: 96649 ... c Min unsat cost LB: 96650 ... c Min unsat cost LB: 96651 ... c Min unsat cost LB: 96652 ... c Min unsat cost LB: 96653 ... c Min unsat cost LB: 96654 ... c Min unsat cost LB: 96655 ... c Min unsat cost LB: 96656 ... c Min unsat cost LB: 96657 ... c Min unsat cost LB: 96658 ... c Min unsat cost LB: 96659 ... c Min unsat cost LB: 96660 ... c Min unsat cost LB: 96661 ... c Min unsat cost LB: 96662 ... c Min unsat cost LB: 96663 ... c Min unsat cost LB: 96664 ... c Min unsat cost LB: 96665 ... c Min unsat cost LB: 96666 ... c Min unsat cost LB: 96667 ... c Min unsat cost LB: 96668 ... c Min unsat cost LB: 96669 ... c Min unsat cost LB: 96670 ... c Min unsat cost LB: 96671 ... c Min unsat cost LB: 96672 ... c Min unsat cost LB: 96673 ... c Min unsat cost LB: 96674 ... c Min unsat cost LB: 96675 ... c Min unsat cost LB: 96676 ... c Min unsat cost LB: 96677 ... c Min unsat cost LB: 96678 ... c Min unsat cost LB: 96679 ... c Min unsat cost LB: 96680 ... c Min unsat cost LB: 96681 ... c Min unsat cost LB: 96682 ... c Min unsat cost LB: 96683 ... c Min unsat cost LB: 96684 ... c Min unsat cost LB: 96685 ... c Min unsat cost LB: 96686 ... c Min unsat cost LB: 96687 ... c Min unsat cost LB: 96688 ... c Min unsat cost LB: 96689 ... c Min unsat cost LB: 96690 ... c Min unsat cost LB: 96691 ... c Min unsat cost LB: 96692 ... c Min unsat cost LB: 96693 ... c Min unsat cost LB: 96694 ... c Min unsat cost LB: 96695 ... c Min unsat cost LB: 96696 ... c Min unsat cost LB: 96697 ... c Min unsat cost LB: 96698 ... c Min unsat cost LB: 96699 ... c Min unsat cost LB: 96700 ... c Min unsat cost LB: 96701 ... c Min unsat cost LB: 96702 ... c Min unsat cost LB: 96703 ... c Min unsat cost LB: 96704 ... c Min unsat cost LB: 96705 ... c Min unsat cost LB: 96706 ... c Min unsat cost LB: 96707 ... c Min unsat cost LB: 96708 ... c Min unsat cost LB: 96709 ... c Min unsat cost LB: 96710 ... c Min unsat cost LB: 96711 ... c Min unsat cost LB: 96712 ... c Min unsat cost LB: 96713 ... c Min unsat cost LB: 96714 ... c Min unsat cost LB: 96715 ... c Min unsat cost LB: 96716 ... c Min unsat cost LB: 96723 ... c Min unsat cost LB: 96724 ... c Min unsat cost LB: 96725 ... c Min unsat cost LB: 96726 ... c Min unsat cost LB: 96732 ... c Min unsat cost LB: 96733 ... c Min unsat cost LB: 96734 ... c Min unsat cost LB: 96735 ... c Min unsat cost LB: 96736 ... c Min unsat cost LB: 96737 ... c Min unsat cost LB: 96738 ... c Min unsat cost LB: 96739 ... c Min unsat cost LB: 96740 ... c Min unsat cost LB: 96741 ... c Min unsat cost LB: 96742 ... c Min unsat cost LB: 96743 ... c Min unsat cost LB: 96744 ... c Min unsat cost LB: 96745 ... c Min unsat cost LB: 96746 ... c Min unsKilled 1814.011u 5.726s 30:20.85 99.9% 0+0k 0+0io 0pf+0w