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_160_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0002.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 109016
o 108995
o 108918
o 108897
o 108852
o 108831
o 108825
o 108780
o 108759
o 108559
o 108538
o 108461
o 108440
o 108395
o 108374
o 108368
o 108323
o 108302
o 108293
o 108253
o 108232
o 108226
o 108181
o 108160
o 108151
o 108148
o 108103
o 108082
o 108076
o 108031
o 108010
o 107810
o 107789
o 107712
o 107691
o 107646
o 107625
o 107619
o 107574
o 107553
o 107544
o 107504
o 107483
o 107477
o 107432
o 107411
o 107402
o 107380
o 107359
o 107353
o 107308
o 107287
o 107278
o 107276
o 107254
o 107233
o 107227
o 107182
o 107161
o 107152
o 107125
o 107104
o 107095
o 107093
o 107071
o 107050
o 107044
o 106999
o 106978
o 106969
o 106948
o 106927
o 106921
o 106876
o 106855
o 106846
o 106819
o 106798
o 106789
o 106787
o 106765
o 106744
o 106738
o 106693
o 106672
o 106663
o 106643
o 106622
o 106616
o 106571
o 106550
o 106541
o 106520
o 106499
o 106493
o 106448
o 106427
o 106418
o 106391
o 106370
o 106361
o 106359
o 106337
o 106316
o 106310
o 106265
o 106244
o 106235
o 106210
o 106189
o 106180
o 106153
o 106132
o 106123
o 106096
o 106075
o 106066
o 106064
o 106042
o 106021
o 105970
o 105949
o 105940
o 105915
o 105894
o 105885
o 105877
o 105856
o 105847
o 105820
o 105799
o 105790
o 105788
o 105766
o 105745
o 105694
o 105673
o 105664
o 105639
o 105618
o 105609
o 105604
o 105602
o 105580
o 105559
o 105508
o 105487
o 105478
o 105453
o 105432
o 105423
o 105411
o 105402
o 105390
o 105313
o 105292
o 105246
o 105225
o 105216
o 105204
o 105127
o 105106
o 105105
o 105096
o 105093
o 105091
o 105045
o 105036
o 104974
o 104965
o 104919
o 104910
o 104865
o 104856
o 104810
o 104801
o 104798
o 104796
o 104750
o 104741
o 104679
o 104670
o 104624
o 104615
o 104603
o 104594
o 104582
o 104484
o 104417
o 104408
o 104396
o 104298
o 104293
o 104284
o 104206
o 104153
o 104086
o 104077
o 104065
o 103967
o 103960
o 103951
o 103934
o 103925
o 103905
o 103896
o 103888
o 103879
o 103862
o 103853
o 103833
o 103824
o 103818
o 103775
o 103746
o 103727
o 103718
o 103698
o 103689
o 103655
o 103646
o 103626
o 103617
o 103608
o 103579
o 103536
o 103507
o 103501
o 103429
o 103420
o 103310
o 103296
o 103268
o 103254
o 103225
o 103224
o 103195
o 103189
o 103160
o 103136
o 103107
o 103099
o 103009
o 102933
o 102823
o 102809
o 102796
o 102700
o 102628
o 102622
o 102618
o 102478
o 102352
c 7837 branches 25627 propagates
c total generalized unit propagation = 40853, success = 18.09%
s OPTIMUM FOUND
c Optimal Solution = 102352
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
61.264u 0.005s 1:01.29 99.9%	0+0k 0+0io 0pf+0w