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
o 105990
o 105983
o 105612
o 105605
o 105508
o 105501
o 105494
o 105487
o 105116
o 105109
o 105012
o 105005
o 104809
o 104802
o 104705
o 104698
o 104679
o 104672
o 104575
o 104568
o 104372
o 104365
o 104268
o 104261
o 104232
o 104225
o 104196
o 104189
o 104092
o 104085
o 104056
o 104049
o 104034
o 104027
o 104018
o 104011
o 103982
o 103975
o 103946
o 103939
o 103842
o 103835
o 103806
o 103799
o 103784
o 103777
o 103759
o 103752
o 103647
o 103640
o 103611
o 103604
o 103589
o 103582
o 103565
o 103558
o 103543
o 103536
o 103518
o 103511
o 103406
o 103399
o 103370
o 103363
o 103348
o 103341
o 103220
o 103213
o 103184
o 103177
o 103162
o 103155
o 103148
o 103119
o 103112
o 102979
o 102972
o 102943
o 102936
o 102921
o 102914
o 102892
o 102885
o 102870
o 102863
o 102862
o 102855
o 102848
o 102819
o 102812
o 102758
o 102751
o 102679
o 102672
o 102643
o 102636
o 102621
o 102614
o 102612
o 102605
o 102576
o 102569
o 102554
o 102547
o 102544
o 102538
o 102531
o 102362
o 102355
o 102313
o 102306
o 102295
o 102288
o 102246
o 102239
o 102236
o 102229
o 102157
o 102150
o 102135
o 102128
o 102092
o 102085
o 101995
o 101988
o 101916
o 101909
o 101894
o 101887
o 101817
o 101810
o 101781
o 101774
c 14811 branches 50430 propagates
c total generalized unit propagation = 79495, success = 17.93%
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
101.682u 0.003s 1:42.33 99.3%	0+0k 0+0io 0pf+0w