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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 98324
o 98240
o 98159
o 98086
o 98002
o 97921
o 97861
o 97815
o 97734
o 97674
o 97633
o 97626
o 97585
o 97576
o 97516
o 97475
o 97468
o 97427
o 97358
o 97274
o 97193
o 97120
o 97036
o 96955
o 96895
o 96849
o 96768
o 96708
o 96667
o 96660
o 96619
o 96610
o 96550
o 96509
o 96502
o 96461
o 96451
o 96370
o 96310
o 96269
o 96262
o 96221
o 96212
o 96152
o 96111
o 96104
o 96063
o 96053
o 96012
o 96005
o 95964
o 95963
o 95956
o 95915
o 95911
o 95872
o 95831
o 95824
o 95783
o 95774
o 95714
o 95673
o 95666
o 95625
o 95615
o 95574
o 95567
o 95526
o 95525
o 95518
o 95477
o 95473
o 95444
o 95384
o 95343
o 95336
o 95295
o 95291
o 95288
o 95274
o 95233
o 95226
o 95185
o 95182
o 95153
o 95147
o 95138
o 95098
o 95066
o 95049
o 95032
o 95028
o 95012
o 94971
o 94915
o 94855
o 94814
o 94813
o 94757
o 94697
o 94656
o 94627
o 94586
o 94578
o 94537
o 94534
o 94505
o 94471
o 94470
o 94463
o 94422
o 94414
o 94373
o 94347
o 94318
o 94277
o 94256
o 94248
o 94213
o 94206
o 94165
c 6687 branches 21456 propagates
c total generalized unit propagation = 34504, success = 18.44%
s OPTIMUM FOUND
c Optimal Solution = 94165
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
53.938u 0.008s 0:54.00 99.8%	0+0k 0+0io 0pf+0w