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_80_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_80_0001.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 49183
o 49177
o 49171
o 49162
o 49156
o 49150
o 49146
o 49140
o 49134
o 49125
o 49119
o 49113
o 48991
o 48985
o 48979
o 48970
o 48964
o 48958
o 48954
o 48948
o 48942
o 48933
o 48927
o 48921
o 48905
o 48416
o 48410
o 48404
o 48395
o 48389
o 48383
o 48379
o 48373
o 48367
o 48358
o 48352
o 48346
o 48224
o 48218
o 48212
o 48203
o 48197
o 48191
o 48187
o 48181
o 48175
o 48166
o 48160
o 48154
o 48138
o 48037
o 48016
o 48000
o 47979
o 47922
o 47916
o 47910
o 47901
o 47895
o 47889
o 47873
o 47735
o 47714
o 47452
o 47446
o 47440
o 47431
o 47425
o 47419
o 47415
o 47409
o 47403
o 47394
o 47388
o 47382
o 47260
o 47254
o 47248
o 47239
o 47233
o 47227
o 47223
o 47217
o 47211
o 47202
o 47196
o 47190
o 47174
o 47073
o 47052
o 47036
o 47015
o 46958
o 46952
o 46946
o 46937
o 46931
o 46925
o 46909
o 46771
o 46750
o 46714
o 46693
o 46692
o 46635
o 46629
o 46623
o 46614
o 46608
o 46602
o 46586
o 46575
o 46554
o 46448
o 46427
o 46393
o 46387
o 46381
o 46372
o 46366
o 46360
o 46292
o 46286
o 46280
o 46271
o 46265
o 46259
o 46255
o 46249
o 46243
o 46234
o 46228
o 46222
o 46201
o 46195
o 46189
o 46180
o 46174
o 46168
o 46100
o 46094
o 46088
o 46079
o 46073
o 46067
o 46063
o 46057
o 46051
o 46042
o 46036
o 46030
o 46014
o 45973
o 45967
o 45961
o 45952
o 45946
o 45940
o 45936
o 45930
o 45924
o 45915
o 45909
o 45903
o 45887
o 45876
o 45855
o 45786
o 45765
o 45749
o 45728
o 45671
o 45665
o 45659
o 45650
o 45644
o 45638
o 45622
o 45611
o 45590
o 45484
o 45463
o 45452
o 45351
o 45330
o 45314
o 45293
o 45289
o 45283
o 45277
o 45268
o 45262
o 45256
o 45252
o 45246
o 45240
o 45231
o 45225
o 45219
o 45169
o 45163
o 45157
o 45148
o 45142
o 45136
o 45132
o 45126
o 45120
o 45111
o 45105
o 45099
o 45083
o 45042
o 45036
o 45030
o 45021
o 45015
o 45009
o 45005
o 44999
o 44993
o 44984
o 44978
o 44972
o 44956
o 44945
o 44924
o 44917
o 44855
o 44834
o 44818
o 44797
o 44740
o 44734
o 44728
o 44719
o 44713
o 44707
o 44691
o 44680
o 44659
o 44652
o 44553
o 44532
o 44481
o 44460
o 44420
o 44399
o 44383
o 44362
o 44348
o 44327
o 44311
o 44290
o 44269
o 44263
o 44257
o 44248
o 44242
o 44236
o 44220
o 44209
o 44188
o 44082
o 44061
o 44050
o 43949
o 43928
o 43912
o 43891
c 415 branches 1083 propagates
c total generalized unit propagation = 1587, success = 5.61%
s OPTIMUM FOUND
c Optimal Solution = 43891
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
0.119u 0.000s 0:00.12 91.6%	0+0k 0+0io 0pf+0w