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_AUCTIONS_AUC_SCHEDULING_cat_sched_60_80_0000.txt.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0000.txt.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 366 c lw 441 c lw 732 c lw 882 c lw 1111 c lw 1323 c lw 1490 c lw 1764 c lw 1869 c lw 2205 c lw 2248 c lw 2627 c lw 2646 c lw 3006 c lw 3087 c lw 3385 c lw 3528 c lw 3817 c lw 3969 c lw 4258 c lw 4410 c lw 4699 c lw 4851 c lw 5140 c lw 5292 c lw 5581 c lw 5733 c lw 6022 c lw 6174 c lw 6463 c lw 6615 c lw 6904 c lw 7056 c lw 7345 c lw 7497 c lw 7786 c lw 7938 c lw 8227 c lw 8379 c lw 8668 c lw 8820 c lw 9109 c lw 9261 c lw 9550 c lw 9702 c lw 9991 c lw 10143 c lw 10432 c lw 10584 c lw 10873 c lw 11025 c lw 11314 c lw 11466 c lw 11615 c lw 11904 c lw 11907 c lw 12056 c lw 12202 c lw 12348 c lw 12497 c lw 12643 c lw 12792 c lw 12941 c lw 13090 c lw 13239 c lw 13307 c lw 13388 c lw 13537 c lw 13686 c lw 13835 c lw 13971 c lw 13984 c lw 14133 c lw 14282 c lw 14431 c lw 14580 c lw 14635 c lw 14729 c lw 14878 c lw 15027 c lw 15176 c lw 15299 c lw 15325 c lw 15474 c lw 15623 c lw 15772 c lw 15921 c lw 15963 c lw 16070 c lw 16219 c lw 16222 c lw 16371 c lw 16520 c lw 16627 c lw 16669 c lw 16818 c lw 16967 c lw 17116 c lw 17265 c lw 17291 c lw 17414 c lw 17563 c lw 17712 c lw 17861 c lw 17955 c lw 18010 c lw 18159 c lw 18308 c lw 18457 c lw 18606 c lw 18619 c lw 19270 c lw 19283 c lw 19432 c lw 19581 c lw 19636 c lw 19678 c lw 19785 c lw 19827 c lw 19934 c lw 19960 c lw 19976 c lw 20028 c lw 20083 c lw 20125 c lw 20128 c lw 20177 c lw 20232 c lw 20277 c lw 20326 c lw 20339 c lw 20365 c lw 20462 c lw 20475 c lw 20514 c lw 20598 c lw 20624 c lw 20663 c lw 20705 c lw 20747 c lw 20773 c lw 20828 c lw 20896 c lw 20922 c lw 20977 c lw 20990 c lw 21126 c lw 21139 c lw 21152 c lw 21275 c lw 21343 c lw 21424 c lw 21492 c lw 21505 c lw 21641 c lw 21654 c lw 21790 c lw 21800 c lw 21803 c lw 21806 c lw 21946 c lw 21949 c lw 22098 c lw 22250 c lw 22402 c lw 22483 c lw 22502 c lw 22539 c lw 22545 c lw 22688 c lw 22691 c lw 22793 c lw 22945 c lw 22980 c lw 23112 c lw 23132 c lw 23264 c lw 23416 c lw 23421 c lw 23573 c lw 23733 c lw 23840 c lw 23862 c lw 24014 c lw 24052 c lw 24069 c lw 24219 c lw 24303 c lw 24450 c lw 24455 c lw 24592 c lw 24729 c lw 24739 c lw 24876 c lw 24891 c lw 25018 c lw 25165 c lw 25170 c lw 25307 c lw 25317 c lw 25459 c lw 25606 c lw 25611 c lw 25743 c lw 25748 c lw 25880 c lw 25885 c lw 26017 c lw 26040 c lw 26181 c lw 26256 c lw 26296 c lw 26309 c lw 26432 c lw 26568 c lw 26578 c lw 26581 c lw 26584 c lw 26622 c lw 26662 c lw 26685 c lw 26722 c lw 26741 c lw 26766 c lw 26818 c lw 26902 c lw 26916 c lw 26954 c lw 26959 c lw 26981 c lw 26984 c lw 27019 c lw 27128 c lw 27148 c lw 27154 c lw 27159 c lw 27213 c lw 27216 c lw 27218 c lw 27264 c lw 27357 c lw 27406 c lw 27432 c lw 27451 c lw 27462 c lw 27554 c lw 27557 c lw 27563 c lw 27674 c lw 27770 c lw 27773 c lw 27783 c lw 27786 c lw 27802 c lw 27805 c lw 27808 c lw 27834 c lw 27836 c lw 27876 c lw 27947 c lw 27950 c lw 27972 c lw 27977 c lw 27988 c lw 28023 c lw 28069 c lw 28071 c lw 28079 c lw 28083 c lw 28094 c lw 28098 c lw 28106 c lw 28108 c lw 28119 c lw 28129 c lw 28149 c lw 28270 c lw 28277 c lw 28282 c lw 28301 c lw 28325 c lw 28409 c lw 28413 c lw 28416 c lw 28419 c lw 28513 c lw 28523 c lw 28533 c lw 28581 c lw 28586 c lw 28591 c lw 28639 c lw 28665 c lw 28670 c lw 28675 c lw 28680 c lw 28701 c lw 28718 c lw 28723 c lw 28812 c lw 28817 c lw 28819 c lw 28822 c lw 28825 c lw 28830 c lw 28867 c lw 28870 c lw 28872 c lw 28915 c lw 28917 c lw 28920 c lw 28923 c lw 28925 c lw 28941 c lw 28942 c lw 28943 c lw 28953 c lw 28954 c lw 28956 c lw 28962 c lw 28972 c lw 28974 c lw 28976 c lw 28977 c lw 28980 c lw 29003 c lw 29006 c lw 29011 c lw 29014 c lw 29017 c lw 29033 c lw 29036 c lw 29043 c lw 29046 c lw 29054 c lw 29057 c lw 29060 c lw 29063 c lw 29073 c lw 29074 c lw 29076 c lw 29080 c lw 29084 c lw 29090 c lw 29093 c lw 29096 c lw 29099 c lw 29102 c lw 29103 c lw 29176 c lw 29178 c lw 29179 c lw 29180 c lw 29183 c lw 29184 c lw 29188 c lw 29190 c lw 29191 c lw 29192 c lw 29199 c lw 29205 c lw 29210 c lw 29272 c lw 29320 c lw 29321 c lw 29322 c lw 29323 c lw 29324 c lw 29325 c lw 29326 c lw 29327 c lw 29328 c lw 29329 c lw 29330 c lw 29331 c lw 29332 c lw 29334 c lw 29345 c lw 29353 c lw 29354 c lw 29355 c lw 29356 c lw 29357 c lw 29358 c lw 29359 c lw 29360 c lw 29361 c lw 29362 c lw 29363 c lw 29364 c lw 29365 c lw 29366 c lw 29367 c lw 29368 c lw 29369 c lw 29370 c lw 29371 c lw 29372 c lw 29373 c lw 29374 c lw 29375 c lw 29376 c lw 29377 c lw 29378 c lw 29379 c lw 29380 c lw 29396 c lw 29398 c lw 29400 c lw 29413 c lw 29414 c lw 29415 c lw 29416 c lw 29426 c lw 29428 c lw 29454 c lw 29516 c lw 29519 c lw 29525 c lw 29551 c lw 29552 c lw 29553 c lw 29554 c lw 29555 c lw 29556 c lw 29557 c lw 29558 c lw 29559 c lw 29560 c lw 29561 c lw 29562 c lw 29563 c lw 29564 c lw 29570 c lw 29571 c lw 29591 c lw 29611 c lw 29617 c lw 29618 c lw 29619 c lw 29620 c lw 29621 c lw 29622 c lw 29623 c lw 29624 c lw 29625 c lw 29626 c lw 29627 c lw 29628 c lw 29629 c lw 29631 c lw 29632 c lw 29633 c lw 29634 c lw 29643 c lw 29644 c lw 29645 c lw 29646 c lw 29647 c lw 29648 c lw 29649 c lw 29675 c lw 29676 c lw 29709 c lw 29710 c lw 29711 c lw 29714 c lw 29720 c lw 29727 c lw 29731 c lw 29740 c lw 29752 c lw 29755 c lw 29782 c lw 29843 c lw 29854 c lw 29909 c lw 29940 c lw 29982 c lw 30034 c lw 30047 c lw 30051 c lw 30057 c lw 30063 c lw 30070 c lw 30071 c lw 30077 c lw 30078 c lw 30079 c lw 30083 c lw 30086 c lw 30104 c lw 30128 c lw 30130 c lw 30146 c lw 30165 c lw 30166 c lw 30167 c lw 30169 c lw 30173 c lw 30174 c lw 30175 c lw 30176 c lw 30178 c lw 30181 c lw 30182 c lw 30184 c lw 30185 c lw 30186 c lw 30187 c lw 30188 c lw 30189 c lw 30190 c lw 30191 c lw 30192 c lw 30198 c lw 30229 c lw 30249 c lw 30275 c lw 30276 c lw 30277 c lw 30278 c lw 30279 c lw 30280 c lw 30281 c lw 30282 c lw 30283 c lw 30287 c lw 30288 c lw 30299 c lw 30309 c lw 30310 c lw 30311 c lw 30312 c lw 30319 c lw 30320 c lw 30321 c lw 30322 c lw 30323 c lw 30324 c lw 30325 c lw 30326 c lw 30327 c lw 30328 c lw 30329 c lw 30330 c lw 30332 c lw 30333 c lw 30334 c lw 30335 c lw 30336 c lw 30337 c lw 30338 c lw 30339 c lw 30340 c lw 30341 c lw 30342 c lw 30343 c lw 30344 c lw 30345 c lw 30346 c lw 30349 c lw 30350 c lw 30351 c lw 30352 c lw 30353 c lw 30361 c lw 30420 c lw 30422 c lw 30427 c lw 30438 c lw 30449 c lw 30458 c lw 30510 c lw 30527 c lw 30529 c lw 30534 c lw 30539 c lw 30542 c lw 30545 c lw 30546 c lw 30547 c lw 30551 c lw 30552 c lw 30554 c lw 30558 c lw 30586 c lw 30590 c lw 30593 c lw 30596 c lw 30603 c lw 30605 c lw 30616 c lw 30617 c lw 30620 c lw 30621 c lw 30624 c lw 30625 c lw 30626 c lw 30629 c lw 30638 c lw 30639 c lw 30640 c lw 30641 c lw 30642 c lw 30643 c lw 30644 c lw 30645 c lw 30646 c lw 30647 c lw 30648 c lw 30649 c lw 30650 c lw 30651 c lw 30652 c lw 30653 c lw 30654 c lw 30655 c lw 30656 c lw 30657 c lw 30660 c lw 30661 c lw 30662 c lw 30664 c lw 30667 c lw 30668 c lw 30669 c lw 30670 c lw 30671 c lw 30672 c lw 30673 c lw 30674 c lw 30675 c lw 30676 c lw 30677 c lw 30678 c lw 30679 c lw 30680 c lw 30682 c lw 30683 c lw 30684 c lw 30685 c lw 30686 c lw 30687 c lw 30688 c lw 30689 c lw 30690 c lw 30691 c lw 30692 c lw 30693 c lw 30694 c lw 30695 c lw 30696 c lw 30697 c lw 30698 c lw 30699 c lw 30700 c lw 30701 c lw 30702 c lw 30703 c lw 30704 c lw 30705 c lw 30706 c lw 30707 c lw 30708 c lw 30709 c lw 30710 c lw 30711 c lw 30712 c lw 30713 c lw 30714 c lw 30715 c lw 30720 c lw 30721 c lw 30722 c lw 30723 c lw 30724 c lw 30725