Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_120_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 85858
o 85475
o 85374
o 85190
o 85089
o 84863
o 84480
o 84379
o 84195
o 84094
o 84006
o 83905
o 83820
o 83719
o 83631
o 83530
o 83513
o 83464
o 83376
o 83275
o 83258
o 83187
o 83170
o 83146
o 83058
o 82957
o 82872
o 82771
o 82683
o 82582
o 82565
o 82516
o 82428
o 82327
o 82310
o 82239
o 82222
o 82216
o 82115
o 82098
o 81961
o 81860
o 81843
o 81772
o 81755
o 81739
o 81722
o 81651
o 81634
o 81618
o 81601
o 81530
o 81513
o 81508
o 81437
o 81420
o 81404
o 81387
o 81316
o 81299
o 81219
o 81118
o 81101
o 81098
o 80997
o 80980
o 80904
o 80887
o 80884
o 80783
o 80766
o 80738
o 80721
o 80650
o 80633
o 80621
o 80520
o 80432
o 80331
o 80314
o 80306
o 80218
o 80117
o 80100
o 80096
o 80079
o 79974
o 79941
o 79840
o 79819
o 79560
o 79538
o 79324
o 79291
o 79190
o 79148
o 79115
o 79014
c 1135 branches 3293 propagates
c total generalized unit propagation = 5190, success = 14.68%
s OPTIMUM FOUND
c Optimal Solution = 79014
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 -111 -112 -113 114 -115 -116 -117 -118 -119 -120
3.985u 0.002s 0:04.01 99.2%	0+0k 0+0io 0pf+0w