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_70_0002.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_0002.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_70_0002.txt.wcnf *** c c Min unsat cost LB: 1033 ... c Min unsat cost LB: 1187 ... c Min unsat cost LB: 2220 ... c Min unsat cost LB: 3253 ... c Min unsat cost LB: 4286 ... c Min unsat cost LB: 5319 ... c Min unsat cost LB: 6352 ... c Min unsat cost LB: 6498 ... c Min unsat cost LB: 6506 ... c Min unsat cost LB: 6644 ... c Min unsat cost LB: 6790 ... c Min unsat cost LB: 7823 ... c Min unsat cost LB: 8182 ... c Min unsat cost LB: 8257 ... c Min unsat cost LB: 8616 ... c Min unsat cost LB: 8975 ... c Min unsat cost LB: 9215 ... c Min unsat cost LB: 9574 ... c Min unsat cost LB: 9693 ... c Min unsat cost LB: 9744 ... c Min unsat cost LB: 10103 ... c Min unsat cost LB: 10424 ... c Min unsat cost LB: 10783 ... c Min unsat cost LB: 11142 ... c Min unsat cost LB: 11501 ... c Min unsat cost LB: 11860 ... c Min unsat cost LB: 12181 ... c Min unsat cost LB: 12502 ... c Min unsat cost LB: 12572 ... c Min unsat cost LB: 12768 ... c Min unsat cost LB: 12819 ... c Min unsat cost LB: 12973 ... c Min unsat cost LB: 13332 ... c Min unsat cost LB: 13691 ... c Min unsat cost LB: 13742 ... c Min unsat cost LB: 13896 ... c Min unsat cost LB: 14255 ... c Min unsat cost LB: 14306 ... c Min unsat cost LB: 14460 ... c Min unsat cost LB: 14775 ... c Min unsat cost LB: 15134 ... c Min unsat cost LB: 15185 ... c Min unsat cost LB: 15339 ... c Min unsat cost LB: 15558 ... c Min unsat cost LB: 15873 ... c Min unsat cost LB: 15924 ... c Min unsat cost LB: 15956 ... c Min unsat cost LB: 16007 ... c Min unsat cost LB: 16051 ... c Min unsat cost LB: 17084 ... c Min unsat cost LB: 17238 ... c Min unsat cost LB: 17289 ... c Min unsat cost LB: 17340 ... c Min unsat cost LB: 17391 ... c Min unsat cost LB: 17545 ... c Min unsat cost LB: 17699 ... c Min unsat cost LB: 17853 ... c Min unsat cost LB: 17904 ... c Min unsat cost LB: 17911 ... c Min unsat cost LB: 18270 ... c Min unsat cost LB: 18321 ... c Min unsat cost LB: 18372 ... c Min unsat cost LB: 18423 ... c Min unsat cost LB: 18474 ... c Min unsat cost LB: 18525 ... c Min unsat cost LB: 18576 ... c Min unsat cost LB: 18730 ... c Min unsat cost LB: 18884 ... c Min unsat cost LB: 18929 ... c Min unsat cost LB: 19038 ... c Min unsat cost LB: 19083 ... c Min unsat cost LB: 19192 ... c Min unsat cost LB: 19243 ... c Min unsat cost LB: 19288 ... c Min unsat cost LB: 19294 ... c Min unsat cost LB: 19345 ... c Min unsat cost LB: 19415 ... c Min unsat cost LB: 19466 ... c Min unsat cost LB: 19517 ... c Min unsat cost LB: 19568 ... c Min unsat cost LB: 19619 ... c Min unsat cost LB: 19670 ... c Min unsat cost LB: 19704 ... c Min unsat cost LB: 19755 ... c Min unsat cost LB: 19833 ... c Min unsat cost LB: 19987 ... c Min unsat cost LB: 20038 ... c Min unsat cost LB: 20165 ... c Min unsat cost LB: 20216 ... c Min unsat cost LB: 20267 ... c Min unsat cost LB: 20318 ... c Min unsat cost LB: 20345 ... c Min unsat cost LB: 20499 ... c Min unsat cost LB: 20653 ... c Min unsat cost LB: 20677 ... c Min unsat cost LB: 20807 ... c Min unsat cost LB: 20831 ... c Min unsat cost LB: 20961 ... c Min unsat cost LB: 21115 ... c Min unsat cost LB: 21190 ... c Min unsat cost LB: 21269 ... c Min unsat cost LB: 21320 ... c Min unsat cost LB: 21395 ... c Min unsat cost LB: 21474 ... c Min unsat cost LB: 21525 ... c Min unsat cost LB: 21679 ... c Min unsat cost LB: 21698 ... c Min unsat cost LB: 21730 ... c Min unsat cost LB: 21749 ... c Min unsat cost LB: 21781 ... c Min unsat cost LB: 21788 ... c Min unsat cost LB: 21907 ... c Min unsat cost LB: 21935 ... c Min unsat cost LB: 21967 ... c Min unsat cost LB: 21986 ... c Min unsat cost LB: 22018 ... c Min unsat cost LB: 22037 ... c Min unsat cost LB: 22063 ... c Min unsat cost LB: 22069 ... c Min unsat cost LB: 22075 ... c Min unsat cost LB: 22229 ... c Min unsat cost LB: 22256 ... c Min unsat cost LB: 22401 ... c Min unsat cost LB: 22410 ... c Min unsat cost LB: 22564 ... c Min unsat cost LB: 22571 ... c Min unsat cost LB: 22615 ... c Min unsat cost LB: 22698 ... c Min unsat cost LB: 22711 ... c Min unsat cost LB: 22846 ... c Min unsat cost LB: 22972 ... c Min unsat cost LB: 22974 ... c Min unsat cost LB: 22992 ... c Min unsat cost LB: 22993 ... c Min unsat cost LB: 23000 ... c Min unsat cost LB: 23010 ... c Min unsat cost LB: 23044 ... c Min unsat cost LB: 23095 ... c Min unsat cost LB: 23100 ... c Min unsat cost LB: 23146 ... c Min unsat cost LB: 23247 ... c Min unsat cost LB: 23401 ... c Min unsat cost LB: 23505 ... c Min unsat cost LB: 23558 ... c Min unsat cost LB: 23604 ... c Min unsat cost LB: 23650 ... c Min unsat cost LB: 23760 ... c Min unsat cost LB: 23775 ... c Min unsat cost LB: 23795 ... c Min unsat cost LB: 23998 ... c Min unsat cost LB: 23999 ... c Min unsat cost LB: 24033 ... c Min unsat cost LB: 24333 ... c Min unsat cost LB: 24429 ... c Min unsat cost LB: 24506 ... c Min unsat cost LB: 24540 ... c Min unsat cost LB: 24677 ... c Min unsat cost LB: 24694 ... c Min unsat cost LB: 24728 ... c Min unsat cost LB: 24745 ... c Min unsat cost LB: 24764 ... c Min unsat cost LB: 24779 ... c Min unsat cost LB: 24901 ... c Min unsat cost LB: 25230 ... c Min unsat cost LB: 25436 ... c Min unsat cost LB: 25861 ... c Min unsat cost LB: 25916 ... c Min unsat cost LB: 25933 ... c Min unsat cost LB: 25978 ... c Min unsat cost LB: 25994 ... c Min unsat cost LB: 26013 ... c Min unsat cost LB: 26026 ... c Min unsat cost LB: 26028 ... c Min unsat cost LB: 26040 ... c Min unsat cost LB: 26043 ... c Min unsat cost LB: 26079 ... c Min unsat cost LB: 26107 ... c Min unsat cost LB: 26112 ... c Min unsat cost LB: 26122 ... c Min unsat cost LB: 26129 ... c Min unsat cost LB: 26157 ... c Min unsat cost LB: 26180 ... c Min unsat cost LB: 26188 ... c Min unsat cost LB: 26199 ... c Min unsat cost LB: 26212 ... c Min unsat cost LB: 26226 ... c Min unsat cost LB: 26264 ... c Min unsat cost LB: 26342 ... c Min unsat cost LB: 26343 ... c Min unsat cost LB: 26349 ... c Min unsat cost LB: 26366 ... c Min unsat cost LB: 26384 ... c Min unsat cost LB: 26391 ... c Min unsat cost LB: 26397 ... c Min unsat cost LB: 26418 ... c Min unsat cost LB: 26442 ... c Min unsat cost LB: 26496 ... c Min unsat cost LB: 26520 ... c Min unsat cost LB: 26521 ... c Min unsat cost LB: 26547 ... c Min unsat cost LB: 26553 ... c Min unsat cost LB: 26558 ... c Min unsat cost LB: 26571 ... c Min unsat cost LB: 26572 ... c Min unsat cost LB: 26578 ... c Min unsat cost LB: 26584 ... c Min unsat cost LB: 26598 ... c Min unsat cost LB: 26604 ... c Min unsat cost LB: 26615 ... c Min unsat cost LB: 26624 ... c Min unsat cost LB: 26627 ... c Min unsat cost LB: 26630 ... c Min unsat cost LB: 26633 ... c Min unsat cost LB: 26636 ... c Min unsat cost LB: 26637 ... c Min unsat cost LB: 26641 ... c Min unsat cost LB: 26653 ... c Min unsat cost LB: 26656 ... c Min unsat cost LB: 26657 ... c Min unsat cost LB: 26659 ... c Min unsat cost LB: 26660 ... c Min unsat cost LB: 26662 ... c Min unsat cost LB: 26663 ... c Min unsat cost LB: 26667 ... c Min unsat cost LB: 26674 ... c Min unsat cost LB: 26676 ... c Min unsat cost LB: 26679 ... c Min unsat cost LB: 26680 ... c Min unsat cost LB: 26689 ... c Min unsat cost LB: 26698 ... c Min unsat cost LB: 26708 ... c Min unsat cost LB: 26713 ... c Min unsat cost LB: 26714 ... c Min unsat cost LB: 26722 ... c Min unsat cost LB: 26752 ... c Min unsat cost LB: 26760 ... c Min unsat cost LB: 26763 ... c Min unsat cost LB: 26764 ... c Min unsat cost LB: 26768 ... c Min unsat cost LB: 26769 ... c Min unsat cost LB: 26770 ... c Min unsat cost LB: 26772 ... c Min unsat cost LB: 26773 ... c Min unsat cost LB: 26775 ... c Min unsat cost LB: 26776 ... c Min unsat cost LB: 26818 ... c Min unsat cost LB: 26820 ... c Min unsat cost LB: 26821 ... c Min unsat cost LB: 26822 ... c Min unsat cost LB: 26823 ... c Min unsat cost LB: 26824 ... c Min unsat cost LB: 26830 ... c Min unsat cost LB: 26832 ... c Min unsat cost LB: 26833 ... c Min unsat cost LB: 26834 ... c Min unsat cost LB: 26835 ... c Min unsat cost LB: 26836 ... c Min unsat cost LB: 26837 ... c Min unsat cost LB: 26839 ... c Min unsat cost LB: 26843 ... c Min unsat cost LB: 26862 ... c Min unsat cost LB: 26868 ... c Min unsat cost LB: 26874 ... c Min unsat cost LB: 26881 ... c Min unsat cost LB: 26882 ... c Min unsat cost LB: 26883 ... c Min unsat cost LB: 26888 ... c Min unsat cost LB: 26900 ... c Min unsat cost LB: 26901 ... c Min unsat cost LB: 26902 ... c Min unsat cost LB: 26908 ... c Min unsat cost LB: 26910 ... c Min unsat cost LB: 26922 ... c Min unsat cost LB: 26924 ... c Min unsat cost LB: 26925 ... c Min unsat cost LB: 26927 ... c Min unsat cost LB: 26957 ... c Min unsat cost LB: 26970 ... c Min unsat cost LB: 26976 ... c Min unsat cost LB: 27028 ... c Min unsat cost LB: 27029 ... c Min unsat cost LB: 27030 ... c Min unsat cost LB: 27032 ... c Min unsat cost LB: 27047 ... c Min unsat cost LB: 27049 ... c Min unsat cost LB: 27064 ... c Min unsat cost LB: 27065 ... c Min unsat cost LB: 27077 ... c Min unsat cost LB: 27078 ... c Min unsat cost LB: 27096 ... c Min unsat cost LB: 27100 ... c Min unsat cost LB: 27133 ... c Min unsat cost LB: 27299 ... c Min unsat cost LB: 27415 ... c Min unsat cost LB: 27455 ... c Min unsat cost LB: 27456 ... c Min unsat cost LB: 27460 ... c Min unsat cost LB: 27461 ... c Min unsat cost LB: 27464 ... c Min unsat cost LB: 27468 ... c Min unsat cost LB: 27469 ... c Min unsat cost LB: 27478 ... c Min unsat cost LB: 27484 ... c Min unsat cost LB: 27488 ... c Min unsat cost LB: 27538 ... c Min unsat cost LB: 27679 ... c Min unsat cost LB: 27683 ... c Min unsat cost LB: 27688 ... c Min unsat cost LB: 27729 ... c Min unsat cost LB: 27752 ... c Min unsat cost LB: 27780 ... c Min unsat cost LB: 27804 ... c Min unsat cost LB: 27806 ... c Min unsat cost LB: 27808 ... c Min unsat cost LB: 27809 ... c Min unsat cost LB: 27810 ... c Min unsat cost LB: 27813 ... c Min unsat cost LB: 27815 ... c Min unsat cost LB: 27816 ... c Min unsat cost LB: 27817 ... c Min unsat cost LB: 27818 ... c Min unsat cost LB: 27819 ... c Min unsat cost LB: 27820 ... c Min unsat cost LB: 27844 ... c Min unsat cost LB: 27845 ... c Min unsat cost LB: 27850 ... c Min unsat cost LB: 27852 ... c Min unsat cost LB: 27857 ... c Min unsat cost LB: 27858 ... c Min unsat cost LB: 27859 ... c Min unsat cost LB: 27860 ... c Min unsat cost LB: 27861 ... c Min unsat cost LB: 27862 ... c Min unsat cost LB: 27863 ... c Min unsat cost LB: 27864 ... c Min unsat cost LB: 27865 ... c Min unsat cost LB: 27867 ... c Min unsat cost LB: 27870 ... c Min unsat cost LB: 27872 ... c Min unsat cost LB: 27879 ... c Min unsat cost LB: 27880 ... c Min unsat cost LB: 27881 ... c Min unsat cost LB: 27883 ... c Min unsat cost LB: 27884 ... c Min unsat cost LB: 27885 ... c Min unsat cost LB: 27888 ... c Min unsat cost LB: 27898 ... c Min unsat cost LB: 27900 ... c Min unsat cost LB: 27901 ... c Min unsat cost LB: 27902 ... c Min unsat cost LB: 27903 ... c Min unsat cost LB: 27906 ... c Min unsat cost LB: 27909 ... c Min unsat cost LB: 27913 ... c Min unsat cost LB: 27921 ... c Min unsat cost LB: 27925 ... c Min unsat cost LB: 27926 ... c Min unsat cost LB: 27927 ... c Min unsat cost LB: 27928 ... c Min unsat cost LB: 27929 ... c Min unsat cost LB: 27930 ... c Min unsat cost LB: 27931 ... c Min unsat cost LB: 27932 ... c Min unsat cost LB: 27933 ... c Min unsat cost LB: 27934 ... c Min unsat cost LB: 27935 ... c Min unsat cost LB: 27936 ... c Min unsat cost LB: 27937 ... c Min unsat cost LB: 27938 ... c Min unsat cost LB: 27940 ... c Min unsat cost LB: 27943 ... c Min unsat cost LB: 28026 ... c Min unsat cost LB: 28027 ... c Min unsat cost LB: 28030 ... c Min unsat cost LB: 28031 ... c Min unsat cost LB: 28050 ... c Min unsat cost LB: 28052 ... c Min unsat cost LB: 28053 ... c Min unsat cost LB: 28058 ... c Min unsat cost LB: 28095 ... c Min unsat cost LB: 28101 ... c Min unsat cost LB: 28105 ... c Min unsat cost LB: 28109 ... c Min unsat cost LB: 28112 ... c Min unsat cost LB: 28114 ... c Min unsat cost LB: 28117 ... c Min unsat cost LB: 28119 ... c Min unsat cost LB: 28120 ... c Min unsat cost LB: 28122 ... c Min unsat cost LB: 28132 ... c Min unsat cost LB: 28137 ... c Min unsat cost LB: 28138 ... c Min unsat cost LB: 28142 ... c Min unsat cost LB: 28143 ... c Min unsat cost LB: 28144 ... c Min unsat cost LB: 28145 ... c Min unsat cost LB: 28149 ... c Min unsat cost LB: 28150 ... c Min unsat cost LB: 28152 ... c Min unsat cost LB: 28153 ... c Min unsat cost LB: 28154 ... c Min unsat cost LB: 28159 ... c Min unsat cost LB: 28160 ... c Min unsat cost LB: 28161 ... c Min unsat cost LB: 28162 ... c Min unsat cost LB: 28163 ... c Min unsat cost LB: 28164 ... c Min unsat cost LB: 28165 ... c Min unsat cost LB: 28167 ... c Min unsat cost LB: 28168 ... c Min unsat cost LB: 28169 ... c Min unsat cost LB: 28172 ... c Min unsat cost LB: 28173 ... c Min unsat cost LB: 28174 ... c Min unsat cost LB: 28175 ... c Min unsat cost LB: 28176 ... c Min unsat cost LB: 28177 ... c Min unsat cost LB: 28178 ... c Min unsat cost LB: 28179 ... c Min unsat cost LB: 28180 ... c Min unsat cost LB: 28182 ... c Min unsat cost LB: 28189 ... c Min unsat cost LB: 28190 ... c Min unsat cost LB: 28191 ... c Min unsat cost LB: 28192 ... c Min unsat cost LB: 28193 ... c Min unsat cost LB: 28194 ... c Min unsat cost LB: 28195 ... c Min unsat cost LB: 28196 ... c Min unsat cost LB: 28197 ... c Min unsat cost LB: 28198 ... c Min unsat cost LB: 28203 ... c Min unsat cost LB: 28204 ... c Min unsat cost LB: 28205 ... c Min unsat cost LB: 28206 ... c Min unsat cost LB: 28207 ... c Min unsat cost LB: 28209 ... c Min unsat cost LB: 28211 ... c Min unsat cost LB: 28213 ... c Min unsat cost LB: 28215 ... c Min unsat cost LB: 28216 ... c Min unsat cost LB: 28247 ... c Min unsat cost LB: 28248 ... c Min unsat cost LB: 28250 ... c Min unsat cost LB: 28292 ... c Min unsat cost LB: 28294 ... c Min unsat cost LB: 28297 ... c Min unsat cost LB: 28301 ... c Min unsat cost LB: 28302 ... c Min unsat cost LB: 28310 ... c Min unsat cost LB: 28311 ... c Min unsat cost LB: 28313 ... c Min unsat cost LB: 28315 ... c Min unsat cost LB: 28316 ... c Min unsat cost LB: 28317 ... c Min unsat cost LB: 28318 ... c Min unsat cost LB: 28319 ... c Min unsat cost LB: 28320 ... c Min unsat cost LB: 28321 ... c Min unsat cost LB: 28324 ... c Min unsat cost LB: 28327 ... c Min unsat cost LB: 28328 ... c Min unsat cost LB: 28331 ... c Min unsat cost LB: 28332 ... c Min unsat cost LB: 28333 ... c Min unsat cost LB: 28334 ... c Min unsat cost LB: 28335 ... c Min unsat cost LB: 28336 ... c Min unsat cost LB: 28338 ... c Min unsat cost LB: 28340 ... c Min unsat cost LB: 28343 ... c Min unsat cost LB: 28344 ... c Min unsat cost LB: 28346 ... c Min unsat cost LB: 28348 ... c Min unsat cost LB: 28349 ... c Min unsat cost LB: 28350 ... c Min unsat cost LB: 28351 ... c Min unsat cost LB: 28352 ... c Min unsat cost LB: 28353 ... c Min unsat cost LB: 28354 ... c Min unsat cost LB: 28355 ... c Min unsat cost LB: 28356 ... c Min unsat cost LB: 28357 ... c Min unsat cost LB: 28358 ... c Min unsat cost LB: 28359 ... c Min unsat cost LB: 28360 ... c Min unsat cost LB: 28361 ... c Min unsat cost LB: 28362 ... c Min unsat cost LB: 28363 ... c Min unsat cost LB: 28364 ... c Min unsat cost LB: 28365 ... c Min unsat cost LB: 28366 ... c Min unsat cost LB: 28367 ... c Min unsat cost LB: 28368 ... c Min unsat cost LB: 28370 ... c Min unsat cost LB: 28372 ... c Min unsat cost LB: 28375 ... c Min unsat cost LB: 28379 ... c Min unsat cost LB: 28380 ... c Min unsat cost LB: 28381 ... c Min unsat cost LB: 28382 ... c Min unsat cost LB: 28383 ... c Min unsat cost LB: 28384 ... c Min unsat cost LB: 28385 ... c Min unsat cost LB: 28386 ... c Min unsat cost LB: 28388 ... c Min unsat cost LB: 28389 ... c Min unsat cost LB: 28390 ... c Min unsat cost LB: 28394 ... c Min unsat cost LB: 28395 ... c Min unsat cost LB: 28401 ... c Min unsat cost LB: 28402 ... c Min unsat cost LB: 28404 ... c Min unsat cost LB: 28405 ... c Min unsat cost LB: 28406 ... c Min unsat cost LB: 28408 ... c Min unsat cost LB: 28427 ... c Min unsat cost LB: 28429 ... c Min unsat cost LB: 28433 ... c Min unsat cost LB: 28434 ... c Min unsat cost LB: 28435 ... c Min unsat cost LB: 28436 ... c Min unsat cost LB: 28437 ... c Min unsat cost LB: 28438 ... c Min unsat cost LB: 28439 ... c Min unsat cost LB: 28440 ... c Min unsat cost LB: 28441 ... c Min unsat cost LB: 28442 ... c Min unsat cost LB: 28443 ... c Min unsat cost LB: 28444 ... c Min unsat cost LB: 28445 ... c Min unsat cost LB: 28446 ... c Min unsat cost LB: 28452 ... c Min unsat cost LB: 28453 ... c Min unsat cost LB: 28454 ... c Min unsat cost LB: 28455 ... c Min unsat cost LB: 28456 ... c Min unsat cost LB: 28457 ... c Min unsat cost LB: 28458 ... c Min unsat cost LB: 28481 ... c Min unsat cost LB: 28482 ... c Min unsat cost LB: 28485 ... c Min unsat cost LB: 28486 ... c Min unsat cost LB: 28487 ... c Min unsat cost LB: 28489 ... c Min unsat cost LB: 28490 ... c Min unsat cost LB: 28491 ... c Min unsat cost LB: 28492 ... c Min unsat cost LB: 28493 ... c Min unsat cost LB: 28494 ... c Min unsat cost LB: 28495 ... c Min unsat cost LB: 28496 ... c Min unsat cost LB: 28497 ... c Min unsat cost LB: 28498 ... c Min unsat cost LB: 28499 ... c Min unsat cost LB: 28500 ... c Min unsat cost LB: 28505 ... c Min unsat cost LB: 28511 ... c Min unsat cost LB: 28523 ... c Min unsat cost LB: 28524 ... c Min unsat cost LB: 28525 ... c Min unsat cost LB: 28526 ... c Min unsat cost LB: 28527 ... c Min unsat cost LB: 28528 ... c Min unsat cost LB: 28529 ... c Min unsat cost LB: 28530 ... c Min unsat cost LB: 28531 ... c Min unsat cost LB: 28532 ... c Min unsat cost LB: 28533 ... c Min unsat cost LB: 28534 ... c Min unsat cost LB: 28535 ... c Min unsat cost LB: 28536 ... c Min unsat cost LB: 28537 ... c Min unsat cost LB: 28538 ... c Min unsat cost LB: 28560 ... c Min unsat cost LB: 28561 ... c Min unsat cost LB: 28566 ... c Min unsat cost LB: 28568 ... c Min unsat cost LB: 28570 ... c Min unsat cost LB: 28571 ... c Min unsat cost LB: 28574 ... c Min unsat cost LB: 28580 ... c Min unsat cost LB: 28581 ... c Min unsat cost LB: 28593 ... c Min unsat cost LB: 28594 ... c Min unsat cost LB: 28595 ... c Min unsat cost LB: 28596 ... c Min unsat cost LB: 28597 ... c Min unsat cost LB: 28598 ... c Min unsat cost LB: 28599 ... c Min unsat cost LB: 28600 ... c Min unsat cost LB: 28601 ... c Min unsat cost LB: 28602 ... c Min unsat cost LB: 28603 ... c Min unsat cost LB: 28604 ... c Min unsat cost LB: 28605 ... c Min unsat cost LB: 28606 ... c Min unsat cost LB: 28607 ... c Min unsat cost LB: 28608 ... c Min unsat cost LB: 28609 ... c Min unsat cost LB: 28610 ... c Min unsat cost LB: 28611 ... c Min unsat cost LB: 28612 ... c Min unsat cost LB: 28613 ... c Min unsat cost LB: 28614 ... c Min unsat cost LB: 28615 ... c Min unsat cost LB: 28616 ... c Min unsat cost LB: 28617 ... c Min unsat cost LB: 28618 ... c Min unsat cost LB: 28619 ... c Min unsat cost LB: 28620 ... c Min unsat cost LB: 28621 ... c Min unsat cost LB: 28622 ... c Min unsat cost LB: 28623 ... c Min unsat cost LB: 28624 ... c Min unsat cost LB: 28636 ... c Min unsat cost LB: 28637 ... c Min unsat cost LB: 28638 ... c Min unsat cost LB: 28639 ... c Min unsat cost LB: 28642 ... c Min unsat cost LB: 28643 ... c Min unsat cost LB: 28644 ... c Min unsat cost LB: 28645 ... c Min unsat cost LB: 28646 ... c Min unsat cost LB: 28647 ... c Min unsat cost LB: 28651 ... c Min unsat cost LB: 28655 ... c Min unsat cost LB: 28656 ... c Min unsat cost LB: 28657 ... c Min unsat cost LB: 28658 ... c Min unsat cost LB: 28659 ... c Min unsat cost LB: 28660 ... c Min unsat cost LB: 28661 ... c Min unsat cost LB: 28662 ... c Min unsat cost LB: 28663 ... c Min unsat cost LB: 28669 ... c Min unsat cost LB: 28675 ... c Min unsat cost LB: 28678 ... c Min unsat cost LB: 28681 ... c Min unsat cost LB: 28700 ... c Min unsat cost LB: 28713 ... c Min unsat cost LB: 28714 ... c Min unsat cost LB: 28716 ... c Min unsat cost LB: 28717 ... c Min unsat cost LB: 28720 ... c Min unsat cost LB: 28758 ... c Min unsat cost LB: 28759 ... c Min unsat cost LB: 28760 ... c Min unsat cost LB: 28761 ... c Min unsat cost LB: 28763 ... c Min unsat cost LB: 28764 ... c Min unsat cost LB: 28765 ... c Min unsat cost LB: 28766 ... c Min unsat cost LB: 28767 ... c Min unsat cost LB: 28768 ... c Min unsat cost LB: 28769 ... c Min unsat cost LB: 28770 ... c Min unsat cost LB: 28771 ... c Min unsat cost LB: 28772 ... c Min unsat cost LB: 28773 ... c Min unsat cost LB: 28774 ... c Min unsat cost LB: 28775 ... c Min unsat cost LB: 28776 ... c Min unsat cost LB: 28777 ... c Min unsat cost LB: 28778 ... c Min unsat cost LB: 28779 ... c Min unsat cost LB: 28780 ... c Min unsat cost LB: 28781 ... c Min unsat cost LB: 28782 ... c Min unsat cost LB: 28783 ... c Min unsat cost LB: 28784 ... c Min unsat cost LB: 28785 ... c Min unsat cost LB: 28786 ... c Min unsat cost LB: 28787 ... c Min unsat cost LB: 28788 ... c Min unsat cost LB: 28792 ... c Min unsat cost LB: 28794 ... c Min unsat cost LB: 28795 ... c Min unsat cost LB: 28799 ... c Min unsat cost LB: 28800 ... c Min unsat cost LB: 28801 ... c Min unsat cost LB: 28802 ... c Min unsat cost LB: 28803 ... c Min unsat cost LB: 28804 ... c Min unsat cost LB: 28807 ... c Min unsat cost LB: 28808 ... c Min unsat cost LB: 28809 ... c Min unsat cost LB: 28810 ... c Min unsat cost LB: 28811 ... c Min unsat cost LB: 28856 ... c Min unsat cost LB: 28861 ... c Min unsat cost LB: 28893 ... c Min unsat cost LB: 28947 ... c Min unsat cost LB: 28948 ... c Min unsat cost LB: 28949 ... c Min unsat cost LB: 28950 ... c Min unsat cost LB: 28951 ... c Min unsat cost LB: 28952 ... c Min unsat cost LB: 28953 ... c Min unsat cost LB: 28954 ... c Min unsat cost LB: 28955 ... c Min unsat cost LB: 28956 ... c Min unsat cost LB: 28957 ... c Min unsat cost LB: 28958 ... c Min unsat cost LB: 28959 ... c Min unsat cost LB: 28960 ... c Min unsat cost LB: 28961 ... c Min unsat cost LB: 28962 ... c Min unsat cost LB: 28964 ... c Min unsat cost LB: 28965 ... c Min unsat cost LB: 28966 ... c Min unsat cost LB: 28967 ... c Min unsat cost LB: 28968 ... c Min unsat cost LB: 28969 ... c Min unsat cost LB: 28970 ... c Min unsat cost LB: 28971 ... c Min unsat cost LB: 28972 ... c Min unsat cost LB: 28973 ... c Min unsat cost LB: 28974 ... c Min unsat cost LB: 28975 ... c Min unsat cost LB: 28976 ... c Min unsat cost LB: 28977 ... c Min unsat cost LB: 28978 ... c Min unsat cost LB: 28979 ... c Min unsat cost LB: 28980 ... c Min unsat cost LB: 28981 ... c Min unsat cost LB: 28982 ... c Min unsat cost LB: 28983 ... c Min unsat cost LB: 28984 ... c Min unsat cost LB: 28985 ... c Min unsat cost LB: 28986 ... c Min unsat cost LB: 28987 ... c Min unsat cost LB: 28988 ... c Min unsat cost LB: 28989 ... c Min unsat cost LB: 28990 ... c Min unsat cost LB: 28991 ... c Min unsat cost LB: 28992 ... c Min unsat cost LB: 28993 ... c Min unsat cost LB: 28994 ... c Min unsat cost LB: 28996 ... c Min unsat cost LB: 28997 ... c Min unsat cost LB: 28998 ... c Min unsat cost LB: 28999 ... c Min unsat cost LB: 29000 ... c Min unsat cost LB: 29003 ... c Min unsat cost LB: 29004 ... c Min unsat cost LB: 29005 ... c Min unsat cost LB: 29006 ... c Min unsat cost LB: 29007 ... c Min unsat cost LB: 29008 ... c Min unsat cost LB: 29009 ... c Min unsat cost LB: 29010 ... c Min unsat cost LB: 29011 ... c Min unsat cost LB: 29012 ... c Min unsat cost LB: 29013 ... c Min unsat cost LB: 29014 ... c Min unsat cost LB: 29015 ... c Min unsat cost LB: 29016 ... c Min unsat cost LB: 29017 ... c Min unsat cost LB: 29018 ... c Min unsat cost LB: 29019 ... c Min unsat cost LB: 29020 ... c Min unsat cost LB: 29021 ... c Min unsat cost LB: 29022 ... c Min unsat cost LB: 29023 ... c Min unsat cost LB: 29024 ... c Min unsat cost LB: 29025 ... c Min unsat cost LB: 29026 ... c Min unsat cost LB: 29027 ... c Min unsat cost LB: 29028 ... c Min unsat cost LB: 29029 ... c Min unsat cost LB: 29030 ... c Min unsat cost LB: 29031 ... c Min unsat cost LB: 29032 ... c Min unsat cost LB: 29033 ... c Min unsat cost LB: 29035 ... c Min unsat cost LB: 29036 ... c Min unsat cost LB: 29062 ... c Min unsat cost LB: 29063 ... c Min unsat cost LB: 29064 ... c Min unsat cost LB: 29065 ... c Min unsat cost LB: 29066 ... c Min unsat cost LB: 29067 ... c Min unsat cost LB: 29068 ... c Min unsat cost LB: 29069 ... c Min unsat cost LB: 29070 ... c Min unsat cost LB: 29077 ... c Min unsat cost LB: 29079 ... c Min unsat cost LB: 29080 ... c Min unsat cost LB: 29081 ... c Min unsat cost LB: 29082 ... c Min unsat cost LB: 29083 ... c Min unsat cost LB: 29084 ... c Min unsat cost LB: 29085 ... c Min unsat cost LB: 29086 ... c Min unsat cost LB: 29087 ... c Min unsat cost LB: 29091 ... c Min unsat cost LB: 29092 ... c Min unsat cost LB: 29093 ... c Min unsat cost LB: 29094 ... c Min unsat cost LB: 29095 ... c Min unsat cost LB: 29137 ... c Min unsat cost LB: 29139 ... c Min unsat cost LB: 29140 ... c Min unsat cost LB: 29142 ... c Min unsat cost LB: 29143 ... c Min unsat cost LB: 29144 ... c Min unsat cost LB: 29145 ... c Min unsat cost LB: 29146 ... c Min unsat cost LB: 29147 ... c Min unsat cost LB: 29148 ... c Min unsat cost LB: 29149 ... c Min unsat cost LB: 29150 ... c Min unsat cost LB: 29151 ... c Min unsat cost LB: 29152 ... c Min unsat cost LB: 29153 ... c Min unsat cost LB: 29154 ... c Min unsat cost LB: 29155 ... c Min unsat cost LB: 29157 ... c Min unsat cost LB: 29158 ... c Min unsat cost LB: 29159 ... c Min unsat cost LB: 29160 ... c Min unsat cost LB: 29161 ... c Min unsat cost LB: 29162 ... c Min unsat cost LB: 29163 ... c Min unsat cost LB: 29164 ... c Min unsat cost LB: 29165 ... c Min unsat cost LB: 29166 ... c Min unsat cost LB: 29175 ... c Min unsat cost LB: 29176 ... c Min unsat cost LB: 29177 ... c Min unsat cost LB: 29178 ... c Min unsat cost LB: 29179 ... c Min unsat cost LB: 29180 ... c Min unsat cost LB: 29181 ... c Min unsat cost LB: 29182 ... c Min unsat cost LB: 29183 ... c Min unsat cost LB: 29184 ... c Min unsat cost LB: 29185 ... c Min unsat cost LB: 29186 ... c Min unsat cost LB: 29187 ... c Min unsat cost LB: 29188 ... c Min unsat cost LB: 29189 ... c Min unsat cost LB: 29191 ... c Min unsat cost LB: 29192 ... c Min unsat cost LB: 29193 ... c Min unsat cost LB: 29195 ... c Min unsat cost LB: 29234 ... c Min unsat cost LB: 29235 ... c Min unsat cost LB: 29236 ... c Min unsat cost LB: 29237 ... c Min unsat cost LB: 29238 ... c Min unsat cost LB: 29239 ... c Min unsat cost LB: 29240 ... c Min unsat cost LB: 29241 ... c Min unsat cost LB: 29242 ... c Min unsat cost LB: 29243 ... c Min unsat cost LB: 29244 ... c Min unsat cost LB: 29245 ... c Min unsat cost LB: 29246 ... c Min unsat cost LB: 29247 ... c Min unsat cost LB: 29248 ... c Min unsat cost LB: 29249 ... c Min unsat cost LB: 29250 ... c Min unsat cost LB: 29251 ... c Min unsat cost LB: 29252 ... c Min unsat cost LB: 29253 ... c Min unsat cost LB: 29254 ... c Min unsat cost LB: 29255 ... c Min unsat cost LB: 29256 ... c Min unsat cost LB: 29257 ... c Min unsat cost LB: 29258 ... c Min unsat cost LB: 29259 ... c Min unsat cost LB: 29260 ... c Min unsat cost LB: 29261 ... c Min unsat cost LB: 29262 ... c Min unsat cost LB: 29263 ... c Min unsat cost LB: 29264 ... c Min unsat cost LB: 29265 ... c Min unsat cost LB: 29266 ... c Min unsat cost LB: 29267 ... c Min unsat cost LB: 29268 ... c Min unsat cost LB: 29269 ... c Min unsat cost LB: 29270 ... c Min unsat cost LB: 29271 ... c Min unsat cost LB: 29272 ... c Min unsat cost LB: 29275 ... c Min unsat cost LB: 29276 ... c Min unsat cost LB: 29277 ... c Min unsat cost LB: 29278 ... c Min unsat cost LB: 29287 ... c Min unsat cost LB: 29288 ... c Min unsat cost LB: 29289 ... c Min unsat cost LB: 29290 ... c Min unsat cost LB: 29291 ... c Min unsat cost LB: 29292 ... c Min unsat cost LB: 29293 ... c Min unsat cost LB: 29294 ... c Min unsat cost LB: 29295 ... c Min unsat cost LB: 29296 ... c Min unsat cost LB: 29297 ... c Min unsat cost LB: 29298 ... c Min unsat cost LB: 29299 ... c Min unsat cost LB: 29300 ... c Min unsat cost LB: 29301 ... c Min unsat cost LB: 29302 ... c Min unsat cost LB: 29303 ... c Min unsat cost LB: 29304 ... c Min unsat cost LB: 29305 ... c Min unsat cost LB: 29306 ... c Min unsat cost LB: 29307 ... c Min unsat cost LB: 29308 ... c Min unsat cost LB: 29309 ... c Min unsat cost LB: 29310 ... c Min unsat cost LB: 29311 ... c Min unsat cost LB: 29312 ... c Min unsat cost LB: 29313 ... c Min unsat cost LB: 29314 ... c Min unsat cost LB: 29315 ... c Min unsat cost LB: 29316 ... c Min unsat cost LB: 29317 ... c Min unsat cost LB: 29318 ... c Min unsat cost LB: 29319 ... c Min unsat cost LB: 29320 ... c Min unsat cost LB: 29321 ... c Min unsat cost LB: 29322 ... c Min unsat cost LB: 29323 ... c Min unsat cost LB: 29331 ... c Min unsat cost LB: 29333 ... c Min unsat cost LB: 29334 ... c Min unsat cost LB: 29335 ... c Min unsat cost LB: 29336 ... c Min unsat cost LB: 29337 ... c Min unsat cost LB: 29338 ... c Min unsat cost LB: 29339 ... c Min unsat cost LB: 29340 ... c Min unsat cost LB: 29341 ... c Min unsat cost LB: 29342 ... c Min unsat cost LB: 29343 ... c Min unsat cost LB: 29344 ... c Min unsat cost LB: 29345 ... c Min unsat cost LB: 29346 ... c Min unsat cost LB: 29347 ... c Min unsat cost LB: 29348 ... c Min unsat cost LB: 29349 ... c Min unsat cost LB: 29350 ... c Min unsat cost LB: 29351 ... c Min unsat cost LB: 29352 ... c Min unsat cost LB: 29353 ... c Min unsat cost LB: 29354 ... c Min unsat cost LB: 29355 ... c Min unsat cost LB: 29356 ... c Min unsat cost LB: 29357 ... c Min unsat cost LB: 29359 ... c Min unsat cost LB: 29360 ... c Min unsat cost LB: 29363 ... c Min unsat cost LB: 29364 ... c Min unsat cost LB: 29365 ... c Min unsat cost LB: 29366 ... c Min unsat cost LB: 29367 ... c Min unsat cost LB: 29368 ... c Min unsat cost LB: 29369 ... c Min unsat cost LB: 29370 ... c Min unsat cost LB: 29371 ... c Min unsat cost LB: 29372 ... c Min unsat cost LB: 29373 ... c Min unsat cost LB: 29374 ... c Min unsat cost LB: 29375 ... c Min unsat cost LB: 29376 ... c Min unsat cost LB: 29377 ... c Min unsat cost LB: 29378 ... c Min unsat cost LB: 29379 ... c Min unsat cost LB: 29380 ... c Min unsat cost LB: 29381 ... c Min unsat cost LB: 29382 ... c Min unsat cost LB: 29383 ... c Min unsat cost LB: 29384 ... c Min unsat cost LB: 29385 ... c Min unsat cost LB: 29386 ... c Min unsat cost LB: 29387 ... c Min unsat cost LB: 29388 ... c Min unsat cost LB: 29389 ... c Min unsat cost LB: 29390 ... c Min unsat cost LB: 29391 ... c Min unsat cost LB: 29392 ... c Min unsat cost LB: 29393 ... c Min unsat cost LB: 29394 ... c Min unsat cost LB: 29395 ... c Min unsat cost LB: 29396 ... c Min unsat cost LB: 29397 ... c Min unsat cost LB: 29398 ... c Min unsat cost LB: 29399 ... c Min unsat cost LB: 29400 ... c Min unsat cost LB: 29401 ... c Min unsat cost LB: 29402 ... c Min unsat cost LB: 29403 ... c Min unsat cost LB: 29404 ... c Min unsat cost LB: 29405 ... c Min unsat cost LB: 29406 ... c Min unsat cost LB: 29407 ... c Min unsat cost LB: 29408 ... c Min unsat cost LB: 29409 ... c Min unsat cost LB: 29410 ... c Min unsat cost LB: 29411 ... c Min unsat cost LB: 29412 ... c Min unsat cost LB: 29413 ... c Min unsat cost LB: 29414 ... c Min unsat cost LB: 29415 ... c Min unsat cost LB: 29416 ... c Min unsat cost LB: 29417 ... c Min unsat cost LB: 29418 ... c Min unsat cost LB: 29419 ... c Min unsat cost LB: 29420 ... c Min unsat cost LB: 29421 ... c Min unsat cost LB: 29422 ... c Min unsat cost LB: 29423 ... c Min unsat cost LB: 29424 ... c Min unsat cost LB: 29425 ... c Min unsat cost LB: 29440 ... c Min unsat cost LB: 29441 ... c Min unsat cost LB: 29442 ... c Min unsat cost LB: 29443 ... c Min unsat cost LB: 29444 ... c Min unsat cost LB: 29445 ... c Min unsat cost LB:Killed 1814.539u 5.210s 30:21.90 99.8% 0+0k 0+0io 0pf+0w