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_170_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0006.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 83899
o 107202
o 107195
o 106824
o 106817
o 106706
o 106699
o 106328
o 106321
o 106021
o 106014
o 105942
o 105935
o 105891
o 105884
o 105584
o 105577
o 105505
o 105498
o 105397
o 105390
o 105195
o 105188
o 105116
o 105109
o 105008
o 105001
o 104986
o 104979
o 104972
o 104965
o 104950
o 104943
o 104940
o 104933
o 104832
o 104825
o 104810
o 104803
o 104796
o 104789
o 104774
o 104767
o 104763
o 104756
o 104749
o 104742
o 104727
o 104720
o 104609
o 104602
o 104587
o 104580
o 104573
o 104566
o 104551
o 104544
o 104496
o 104489
o 104474
o 104467
o 104460
o 104453
o 104438
o 104431
o 104427
o 104326
o 104319
o 104304
o 104297
o 104290
o 104283
o 104268
o 104261
o 104257
o 104250
o 104243
o 104236
o 104221
o 104214
o 104103
o 104096
o 104081
o 104074
o 104067
o 104060
o 104045
o 104038
o 104031
o 104016
o 104009
o 104002
o 103995
o 103980
o 103973
o 103862
o 103855
o 103840
o 103833
o 103826
o 103819
o 103804
o 103797
o 103784
o 103777
o 103765
o 103758
o 103735
o 103728
o 103702
o 103647
o 103640
o 103625
o 103618
o 103611
o 103604
o 103589
o 103582
o 103579
o 103572
o 103565
o 103558
o 103543
o 103536
o 103524
o 103517
o 103494
o 103487
o 103461
o 103406
o 103399
o 103384
o 103377
o 103370
o 103363
o 103348
o 103341
o 103338
o 103331
o 103220
o 103213
o 103198
o 103191
o 103184
o 103177
o 103162
o 103155
o 103148
o 103133
o 103126
o 103119
o 103112
o 103097
o 103090
o 102979
o 102972
o 102957
o 102950
o 102943
o 102936
o 102921
o 102914
o 102906
o 102899
o 102892
o 102885
o 102870
o 102863
o 102846
o 102839
o 102706
o 102699
o 102670
o 102663
o 102657
o 102650
o 102621
o 102614
o 102537
o 102501
o 102463
o 102456
o 102441
o 102434
o 102413
o 102406
o 102387
o 102380
o 102374
o 102367
o 102338
o 102331
o 102310
o 102303
o 102282
o 102275
o 102187
o 102177
o 102128
o 102112
o 101936
o 101894
o 101887
o 101781
o 101774
c 14638 branches 206077 propagates
c total generalized unit propagation = 28108, success = 39.42%
s OPTIMUM FOUND
c Optimal Solution = 101774
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 -155 156 -157 -158 -159 -160 -161 -162 -163 164 -165 -166 -167 -168 -169 -170 -171
18.387u 0.005s 0:18.53 99.1%	0+0k 0+0io 0pf+0w