Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-100-2_network-2.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-100-2_network-2.net.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 253 c lw 1027 c lw 1604 c lw 2261 c lw 3226 c lw 3856 c lw 4713 c lw 4958 c lw 6497 c lw 7334 c lw 8516 c lw 10005 c lw 11379 c lw 12667 c lw 13919 c lw 15350 c lw 16690 c lw 17187 c lw 17257 c lw 17298 c lw 17766 c lw 18977 c lw 19763 c lw 20115 c lw 20391 c lw 20449 c lw 20850 c lw 21171 c lw 22115 c lw 22537 c lw 22538 c lw 23577 c lw 24032 c lw 24356 c lw 24411 c lw 24558 c lw 24616 c lw 24635 c lw 24797 c lw 25015 c lw 25268 c lw 25395 c lw 25692 c lw 26177 c lw 26235 c lw 26664 c lw 26848 c lw 27095 c lw 27371 c lw 27419 c lw 27772 c lw 27791 c lw 28467 c lw 28522 c lw 28609 c lw 28948 c lw 28976 c lw 29045 c lw 29270 c lw 29398 c lw 29413 c lw 29461 c lw 29534 c lw 29667 c lw 29675 c lw 29752 c lw 30313 c lw 30518 c lw 30698 c lw 30704 c lw 30719 c lw 30763 c lw 30918 c lw 30989 c lw 31470 c lw 31606 c lw 31608 c lw 31649 c lw 31792 c lw 31805 c lw 32195 c lw 32381 c lw 32476 c lw 32522 c lw 32550 c lw 32869 c lw 32891 c lw 33021 c lw 33043 c lw 33056 c lw 33065 c lw 33165 c lw 33518 c lw 33566 c lw 33606 c lw 33719 c lw 33732 c lw 33741 c lw 33774 c lw 33789 c lw 33875 c lw 33889 c lw 33947 c lw 33960 c lw 33970 c lw 34025 c lw 34684 c lw 34886 c lw 34901 c lw 34967 c lw 35148 c lw 35160 c lw 35221 c lw 35268 c lw 35600 c lw 35720 c lw 35783 c lw 36022 c lw 36690 c lw 37181 c lw 37220 c lw 37440 c lw 37577 c lw 37802 c lw 37812 c lw 37883 c lw 37978 c lw 38213 c lw 38269 c lw 38397 c lw 38431 c lw 38629 c lw 38710 c lw 39208 c lw 39270 c lw 39310 c lw 39360 c lw 39405 c lw 39427 c lw 39450 c lw 39508 c lw 39523 c lw 39705 c lw 39939 c lw 39954 c lw 40057 c lw 40063 c lw 40136 c lw 40195 c lw 40209 c lw 40215 c lw 40230 c lw 40354 c lw 40359 c lw 40389 c lw 40404 c lw 40516 c lw 40558 c lw 40573 c lw 40589 c lw 40597 c lw 40601 c lw 40603 c lw 40622 c lw 41110 c lw 41151 c lw 41165 c lw 41208 c lw 41210 c lw 41213 c lw 41214 c lw 41217 c lw 41226 c lw 41232 c lw 41240 c lw 41246 c lw 41255 c lw 41265 c lw 41274 c lw 41280 c lw 41291 c lw 41567 c lw 41987 c lw 42147 c lw 42155 c lw 42165 c lw 42170 c lw 42185 c lw 42195 c lw 42200 c lw 42216 c lw 42299 c lw 42306 c lw 42310 c lw 42312 c lw 42321 c lw 42323 c lw 42326 c lw 42327 c lw 42369 c lw 42693 c lw 42722 c lw 42730 c lw 42733 c lw 42756 c lw 42763 c lw 42773 c lw 42788 c lw 42791 c lw 42815 c lw 42868 c lw 43023 c lw 43354 c lw 43552 c lw 43555 c lw 43556 c lw 43558 c lw 43559 c lw 43560 c lw 43561 c lw 43562 c lw 43563 c lw 43564 c lw 43566 c lw 43567 c lw 43569 c lw 43570 c lw 43819 c lw 43821 c lw 43957 c lw 43995 c lw 44162 c lw 44174 c lw 44235 c lw 44448 c lw 44470 c lw 44552 c lw 44578 c lw 44663 c lw 44706 c lw 44725 c lw 44814 c lw 44818 c lw 44833 c lw 44899 c lw 45019 c lw 45035 c lw 45080 c lw 45088 c lw 45092 c lw 45105 c lw 45148 c lw 45152 c lw 45409 c lw 45468 c lw 45986 c lw 46966 c lw 46991 c lw 47070 c lw 47854 c lw 48470 c lw 48519 c lw 48563 c lw 48600 c lw 48605 c lw 48617 c lw 48618 c lw 48670 c lw 48763 c lw 48954 c lw 49151 c lw 49160 c lw 49162 c lw 49168 c lw 49169 c lw 49182 c lw 49211 c lw 49262 c lw 49273 c lw 49314 c lw 49335 c lw 49363 c lw 49368 c lw 49373 c lw 49407 c lw 49457 c lw 49586 c lw 49602 c lw 49844 c lw 49877 c lw 49916 c lw 49945 c lw 50050 c lw 50283 c lw 50285 c lw 50423 c lw 50455 c lw 50636 c lw 50970 c lw 51368 c lw 51372 c lw 51380 c lw 51497 c lw 51507 c lw 51532 c lw 51533 c lw 51534 c lw 51535 c lw 51536 c lw 51537 c lw 51538 c lw 51588 c lw 51589 c lw 51600 c lw 51601 c lw 51604 c lw 51616 c lw 51650 c lw 51696 c lw 51699 c lw 51711 c lw 51733 c lw 51745 c lw 51752 c lw 51763 c lw 51775 c lw 51778 c lw 51781 c lw 51785 c lw 51789 c lw 51791 c lw 51796 c lw 51806 c lw 51808 c lw 51813 c lw 51830 c lw 51836 c lw 51842 c lw 51845 c lw 51863 c lw 51880 c lw 51891 c lw 51903 c lw 51917 c lw 51920 c lw 51925 c lw 51931 c lw 51934 c lw 51943 c lw 51946 c lw 51951 c lw 51980 c lw 51982 c lw 51983 c lw 51987 c lw 51990 c lw 52002 c lw 52040 c lw 52045 c lw 52194 c lw 52217 c lw 52275 c lw 52284 c lw 52307 c lw 52314 c lw 52324 c lw 52339 c lw 52342 c lw 52343 c lw 52344 c lw 52356 c lw 52359 c lw 52362 c lw 52366 c lw 52370 c lw 52372 c lw 52377 c lw 52387 c lw 52389 c lw 52394 c lw 52411 c lw 52417 c lw 52423 c lw 52426 c lw 52444 c lw 52461 c lw 52472 c lw 52484 c lw 52498 c lw 52501 c lw 52506 c lw 52512 c lw 52515 c lw 52516 c lw 52520 c lw 52524 c lw 52527 c lw 52532 c lw 52561 c lw 52563 c lw 52564 c lw 52568 c lw 52571 c lw 52583 c lw 52621 c lw 52775 c lw 52788 c lw 52809 c lw 52856 c lw 52888 c lw 52903 c lw 52937 c lw 53030 c lw 53099 c lw 53125 c lw 53126 c lw 53133 c lw 53134 c lw 53138 c lw 53145 c lw 53304 c lw 53348 c lw 53360 c lw 53365 c lw 53387 c lw 53410 c lw 53432 c lw 53474 c lw 53563 c lw 53783 c lw 53968 c lw 53993 c lw 54010 c lw 54109 c lw 54135 c lw 54136 c lw 54143 c lw 54144 c lw 54148 c lw 54155 c lw 54167 c lw 54172 c lw 54194 c lw 54213 c lw 54216 c lw 54219 c lw 54221 c lw 54225 c lw 54242 c lw 54247 c lw 54258 c lw 54279 c lw 54354 c lw 54497 c lw 54562 c lw 54585 c lw 54666 c lw 54672 c lw 54710 c lw 54753 c lw 54776 c lw 54978 c lw 55016 c lw 55059 c lw 55082 c lw 55991 c lw 56067 c lw 56262 c lw 56338 c lw 56425 c lw 56514 c lw 56538 c lw 56614 c lw 56994 c lw 57013 c lw 57025 c lw 57092 c lw 57158 c lw 57182 c lw 57266 c lw 57302 c lw 57343 c lw 57348 c lw 57362 c lw 57442 c lw 57540 c lw 57588 c lw 57591 c lw 57611 c lw 57760 c lw 57966 c lw 57967 c lw 57975 c lw 57976 c lw 57978 c lw 57982 c lw 58284 c lw 58291 c lw 58294 c lw 58295 c lw 58298 c lw 58299 c lw 58300