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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0007.txt.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 116291
o 116129
o 115940
o 115778
o 115638
o 115476
o 115406
o 115389
o 115227
o 115157
o 115008
o 114938
o 114759
o 114689
o 114674
o 114495
o 114425
o 114417
o 114347
o 114344
o 114336
o 114266
o 114203
o 114190
o 114153
o 114112
o 114075
o 114072
o 114031
o 113994
o 113940
o 113903
o 113862
o 113825
o 113822
o 113781
o 113744
o 113718
o 113681
o 113653
o 113650
o 113609
o 113572
o 113550
o 113513
o 113455
o 113418
o 113377
o 113340
o 113337
o 113296
o 113259
o 113195
o 113180
o 113165
o 113095
o 113001
o 112931
o 112923
o 112853
o 112829
o 112759
o 112722
o 112681
o 112644
o 112622
o 112585
o 112516
o 112446
o 112409
o 112368
o 112331
o 112315
o 112245
o 112208
o 112205
o 112197
o 112127
o 112111
o 112041
o 112004
o 111946
o 111852
o 111782
o 111745
o 111704
o 111667
o 111611
o 111541
o 111533
o 111463
o 111430
o 111360
o 111323
o 111229
o 111159
o 111122
o 111049
o 110979
o 110942
o 110918
o 110864
o 110770
o 110700
o 110670
c 7269 branches 24045 propagates
c total generalized unit propagation = 38122, success = 17.86%
s OPTIMUM FOUND
c Optimal Solution = 110670
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
42.135u 0.002s 0:42.21 99.8%	0+0k 0+0io 0pf+0w