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_150_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 72524
o 89623
o 89622
o 89485
o 89484
o 89426
o 89425
o 89288
o 89287
o 89197
o 89196
o 89162
o 89161
o 89024
o 89023
o 88933
o 88932
o 88919
o 88918
o 88863
o 88862
o 88861
o 88860
o 88830
o 88829
o 88828
o 88827
o 88813
o 88812
o 88811
o 88810
o 88792
o 88791
o 88790
o 88789
o 88775
o 88774
o 88773
o 88772
o 88734
o 88733
o 88732
o 88731
o 88701
o 88700
o 88699
o 88698
o 88684
o 88683
o 88682
o 88681
o 88663
o 88662
o 88661
o 88660
o 88646
o 88645
o 88644
o 88643
o 88564
o 88563
o 88550
o 88549
o 88494
o 88493
o 88461
o 88460
o 88444
o 88443
o 88423
o 88422
o 88406
o 88405
o 88365
o 88364
o 88332
o 88331
o 88315
o 88314
o 88294
o 88293
o 88277
o 88276
o 88221
o 88220
o 88130
o 88129
o 88116
o 88115
o 88060
o 88059
o 88022
o 88021
o 88016
o 88015
o 87960
o 87959
o 87958
o 87957
o 87922
o 87921
o 87920
o 87919
o 87816
o 87815
o 87725
o 87724
o 87723
o 87722
o 87701
o 87700
o 87667
o 87666
o 87629
o 87628
o 87601
o 87600
o 87599
o 87598
o 87495
o 87494
o 87404
o 87403
o 87402
o 87401
o 87363
o 87361
o 87338
o 87337
o 87335
o 87334
o 87333
o 87332
o 87318
o 87317
o 87316
o 87315
o 87280
o 87279
o 87278
o 87277
o 87222
o 87221
o 87220
o 87219
o 87179
o 87178
o 87177
o 87176
o 87152
o 87151
o 87150
o 87149
o 87102
o 87101
o 87100
o 87099
o 87083
o 87082
o 87081
o 87080
o 87011
o 87010
o 87009
o 87008
o 86961
o 86960
o 86959
o 86958
o 86920
o 86918
o 86853
o 86851
o 86850
o 86849
o 86848
c 3449 branches 47336 propagates
c total generalized unit propagation = 6977, success = 42.88%
s OPTIMUM FOUND
c Optimal Solution = 86848
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 -121 -122 123 -124 -125 -126 -127 -128 -129 -130 131 -132 -133 -134 -135 -136 -137 -138 -139 140 -141 142 -143 -144 -145 -146 147 -148 -149 150 -151 -152 -153 -154
5.076u 0.005s 0:05.11 99.2%	0+0k 0+0io 0pf+0w