Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-1.6-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_110_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/ChuMinLi/WMaxSatz-1.6
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 110 1154 85328
WARNING: Ubcsat not found.
o 85328
o 71740
o 71684
o 71647
o 71591
o 71347
o 71291
o 71254
o 71198
o 71169
o 71113
o 70869
o 70813
o 70776
o 70720
o 70683
o 70675
o 70638
o 70622
o 70614
o 70577
o 70570
o 70514
o 70477
o 70469
o 70432
o 70416
o 70408
o 70371
o 70361
o 70305
o 70268
o 70260
o 70223
o 70198
o 70161
o 70105
o 70068
o 70060
o 70023
o 70007
o 69999
o 69962
o 69952
o 69896
o 69859
o 69851
o 69814
o 69787
o 69731
o 69694
o 69687
o 69679
o 69642
o 69632
o 69576
o 69539
o 69531
o 69494
o 69467
o 69411
o 69374
o 69357
o 69320
o 69312
o 69275
o 69269
o 69248
o 69192
o 69155
o 69148
o 69140
o 69103
o 69069
o 69037
o 69000
o 68992
o 68955
o 68949
o 68928
o 68872
o 68835
o 68828
o 68772
o 68765
o 68720
o 68686
o 68673
o 68617
o 68572
o 68566
o 68545
o 68508
o 68452
o 68429
o 68414
o 68369
o 68353
o 68308
o 68300
o 68255
o 68239
o 68194
o 68160
o 68147
o 68091
o 68046
o 68040
o 67982
o 67926
o 67886
o 67830
o 67797
c Learned clauses = 0
c NB_MONO= 4807588, NB_BRANCHE= 4257771, NB_BACK= 2400102 
s OPTIMUM FOUND
c Optimal Solution = 67797
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 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 69 -70 -71 -72 73 74 -75 -76 77 -78 -79 -80 -81 -82 83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 94 -95 -96 -97 -98 -99 -100 101 -102 103 104 105 -106 107 -108 -109 -110 0
44.838u 0.014s 0:44.87 99.9%	0+0k 0+0io 0pf+0w