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_150_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0006.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 90991
o 90990
o 90853
o 90852
o 90794
o 90793
o 90656
o 90655
o 90568
o 90567
o 90530
o 90529
o 90392
o 90391
o 90304
o 90303
o 90251
o 90250
o 90113
o 90112
o 90054
o 90053
o 89916
o 89915
o 89828
o 89827
o 89790
o 89789
o 89652
o 89651
o 89564
o 89563
o 89562
o 89561
o 89526
o 89525
o 89524
o 89523
o 89431
o 89430
o 89429
o 89428
o 89393
o 89392
o 89391
o 89390
o 89283
o 89282
o 89195
o 89194
o 89157
o 89156
o 89062
o 89061
o 89024
o 89023
o 89007
o 89006
o 88971
o 88970
o 88953
o 88952
o 88915
o 88914
o 88893
o 88892
o 88805
o 88804
o 88767
o 88766
o 88629
o 88628
o 88541
o 88540
o 88539
o 88538
o 88503
o 88502
o 88501
o 88500
o 88436
o 88435
o 88398
o 88397
o 88260
o 88259
o 88172
o 88171
o 88134
o 88133
o 88116
o 88115
o 88078
o 88077
o 88051
o 88050
o 88049
o 88048
o 88013
o 88012
o 88011
o 88010
o 87978
o 87977
o 87976
o 87975
o 87953
o 87952
o 87951
o 87950
o 87949
o 87922
o 87921
o 87920
o 87919
o 87900
o 87899
o 87898
o 87897
o 87862
o 87861
o 87860
o 87859
o 87847
o 87846
o 87819
o 87818
o 87817
o 87816
o 87794
o 87788
o 87732
o 87730
o 87694
o 87692
o 87669
o 87631
o 87603
o 87601
o 87588
o 87560
o 87558
o 87526
o 87470
o 87468
o 87432
o 87430
o 87427
o 87425
o 87389
o 87387
o 87385
o 87384
o 87383
o 87382
o 87347
o 87346
o 87345
o 87344
o 87260
o 87169
o 87167
o 87131
o 87129
o 87126
o 87124
o 87088
o 87086
o 87033
o 87032
o 87031
o 87030
o 86961
o 86960
o 86959
o 86958
o 86920
o 86918
o 86853
o 86851
o 86850
o 86849
o 86848
c 3585 branches 12805 propagates
c total generalized unit propagation = 19667, success = 16.66%
s OPTIMUM FOUND
c Optimal Solution = 86848
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
28.914u 0.001s 0:28.95 99.8%	0+0k 0+0io 0pf+0w