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_0000.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0000.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 109193
o 109111
o 109092
o 108969
o 108887
o 108868
o 108537
o 108455
o 108436
o 108313
o 108231
o 108212
o 107916
o 107834
o 107815
o 107692
o 107610
o 107591
o 107530
o 107511
o 107496
o 107477
o 107449
o 107430
o 107369
o 107350
o 107335
o 107316
o 107303
o 107288
o 107269
o 107264
o 107251
o 107236
o 107217
o 107207
o 107188
o 107158
o 107139
o 107133
o 107114
o 107111
o 107092
o 107086
o 107067
o 107062
o 107059
o 107040
o 107034
o 107015
o 107011
o 107005
o 106986
o 106984
o 106965
o 106959
o 106940
o 106936
o 106930
o 106911
o 106804
o 106785
o 106779
o 106760
o 106546
o 106527
o 106521
o 106502
o 106466
o 106447
o 106441
o 106422
o 106385
o 106366
o 106360
o 106341
o 106305
o 106286
o 106280
o 106261
o 106258
o 106239
o 106233
o 106214
o 106209
o 106206
o 106187
o 106181
o 106162
o 106158
o 106152
o 106133
o 106131
o 106112
o 106106
o 106087
o 106083
o 106077
o 106058
o 106041
o 106036
o 106014
o 105989
o 105985
o 105960
o 105939
o 105914
o 105910
o 105885
o 105879
o 105873
o 105854
o 105836
o 105817
o 105811
o 105792
o 105789
o 105770
o 105764
o 105745
o 105740
o 105737
o 105718
o 105712
o 105693
o 105689
o 105683
o 105664
o 105662
o 105643
o 105637
o 105618
o 105614
o 105608
o 105589
o 105572
o 105567
o 105545
o 105520
o 105516
o 105491
o 105470
o 105445
o 105441
o 105416
o 105412
o 105399
o 105390
o 105365
o 105360
o 105347
o 105338
o 105313
o 105309
o 105284
o 105270
o 105252
o 105243
o 105218
o 105214
o 105189
o 105171
o 105147
o 105080
o 105055
o 105000
o 104975
o 104966
o 104941
o 104914
o 104889
o 104880
o 104855
o 104837
o 104828
o 104803
o 104779
o 104754
o 104748
o 104693
o 104668
o 104641
o 104616
o 104592
o 104525
o 104500
o 104445
o 104420
o 104411
o 104386
o 104368
o 104359
o 104334
o 104310
o 104285
o 104276
o 104251
o 104233
o 104224
o 104199
c 3443 branches 9895 propagates
c total generalized unit propagation = 16247, success = 17.90%
s OPTIMUM FOUND
c Optimal Solution = 104199
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
20.596u 0.005s 0:20.74 99.2%	0+0k 0+0io 0pf+0w