Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-WMaxSatz-2.5-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-20-2_network-5.net.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-20-2_network-5.net.wcnf Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-2.5 c ---------------------------- c - Weighted Partial MaxSATZ - c ---------------------------- c Instance info: p wcnf 57 416 801499 WARNING: Ubcsat not found. o 801499 o 65934 o 65409 o 64230 o 63598 o 62290 o 61203 o 60571 o 59954 o 59939 o 59442 o 58881 o 58852 o 58810 o 58249 o 58220 o 58193 o 57632 o 57603 o 57430 o 57415 o 56918 o 56357 o 56328 o 56286 o 55725 o 55696 o 55669 o 55108 o 55079 o 54961 o 54397 o 54355 o 53794 o 53765 o 53738 o 53177 o 53148 o 53030 o 52610 o 52437 o 52422 o 51925 o 51364 o 51335 o 51293 o 50732 o 50703 o 50676 o 50115 o 50086 o 49968 o 49471 o 49300 o 48928 o 48367 o 48338 o 48296 o 47735 o 47706 o 47679 o 47118 o 47089 o 46947 o 46776 o 46404 o 45843 o 45814 o 45772 o 45211 o 45182 o 45155 o 44594 o 44565 o 44447 o 43883 o 43841 o 43280 o 43251 o 43224 o 42663 o 42634 o 42516 o 42096 o 41954 o 41783 o 41411 o 40850 o 40821 o 40779 o 40218 o 40189 o 40162 o 39601 o 39572 o 39454 o 39083 o 38499 o 38457 o 37896 o 37867 o 37749 o 37466 o 37437 o 37348 o 37319 o 37136 o 37049 o 36519 o 36432 o 36030 o 35943 o 35446 o 34814 o 34727 o 34384 o 34297 o 34290 o 33860 o 33739 o 33652 o 33155 o 32523 o 32436 o 32093 o 32006 o 31517 o 31087 o 30963 o 30331 o 29901 o 29334 o 29247 o 28904 o 28817 o 28745 o 28658 o 28328 o 27898 o 27739 o 27142 o 26712 o 26553 o 26478 o 26048 o 26029 o 25906 o 25476 o 25133 o 25110 o 25034 o 24660 o 24332 o 24173 o 24014 o 23848 o 23724 o 23092 o 22662 o 22432 o 22152 o 22028 o 21396 o 20966 o 20908 o 20608 o 20503 o 20069 c Learned clauses = 0 c NB_MONO= 23469, NB_BRANCHE= 148950, NB_BACK= 74821 s OPTIMUM FOUND c Optimal Solution = 20069 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 0 7.365u 0.009s 0:07.39 99.5% 0+0k 0+0io 0pf+0w