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_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0005.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 128213
o 128095
o 127591
o 127473
o 127369
o 127114
o 126996
o 126892
o 126882
o 126657
o 126553
o 126180
o 126076
o 126066
o 126042
o 125938
o 125928
o 125808
o 125704
o 125694
o 125670
o 125566
o 125556
o 125548
o 125538
o 125474
o 125464
o 125440
o 125336
o 125326
o 125206
o 125102
o 125092
o 125068
o 124964
o 124954
o 124946
o 124936
o 124837
o 124827
o 124819
o 124809
o 124706
o 124696
o 124576
o 124472
o 124462
o 124438
o 124334
o 124324
o 124316
o 124306
o 124207
o 124197
o 124189
o 124179
o 124173
o 124163
o 124155
o 124145
o 124135
o 124125
o 124117
o 124107
o 124101
o 124091
o 124083
o 124073
o 124064
o 124058
o 124048
o 124040
o 124030
o 124024
o 124014
o 123894
o 123790
o 123780
o 123756
o 123652
o 123642
o 123634
o 123624
o 123525
o 123515
o 123507
o 123497
o 123491
o 123481
o 123473
o 123463
o 123453
o 123443
o 123435
o 123425
o 123419
o 123409
o 123401
o 123391
o 123382
o 123376
o 123366
o 123358
o 123348
o 123344
o 123334
o 123275
o 123257
o 123217
o 123199
o 123183
o 123165
o 123149
o 123135
o 123121
o 123120
o 123102
o 123088
o 123086
o 123072
o 123058
o 123046
o 123032
o 123023
o 123013
o 123003
o 122999
o 122989
o 122983
o 122979
o 122969
o 122959
o 122949
o 122945
o 122935
o 122926
o 122916
o 122906
o 122902
o 122892
o 122882
o 122868
o 122824
o 122810
o 122790
o 122776
o 122771
o 122727
o 122713
o 122693
o 122679
o 122674
o 122630
o 122616
o 122602
o 122601
o 122579
o 122569
o 122561
o 122551
o 122326
o 122316
o 122268
o 122258
o 122210
o 122200
o 122168
o 122158
o 122131
o 122121
o 122113
o 122103
o 122089
o 122079
o 122071
o 122061
o 122051
o 122041
o 122033
o 122023
o 122009
o 121999
o 121991
o 121981
o 121977
o 121967
c 23879 branches 63757 propagates
c total generalized unit propagation = 111171, success = 21.17%
s OPTIMUM FOUND
c Optimal Solution = 121967
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
134.412u 0.003s 2:15.25 99.3%	0+0k 0+0io 0pf+0w