Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 63285
o 63285
o 63276
o 63265
o 63166
o 63050
o 63039
o 62968
o 62852
o 62841
o 62728
o 62717
o 62709
o 62638
o 62563
o 62552
o 62514
o 62439
o 62428
o 62405
o 62394
o 62323
o 62207
o 62196
o 62083
o 62072
o 62031
o 61915
o 61904
o 61791
o 61780
o 61699
o 61688
o 61575
o 61564
o 61506
o 61495
o 61382
o 61371
o 61297
o 61286
o 61246
o 61235
o 61220
o 61209
o 61122
o 61111
o 61096
o 61085
o 61053
o 61042
o 61027
o 61016
o 60929
o 60918
o 60903
o 60892
o 60880
o 60869
o 60801
o 60790
o 60767
o 60756
o 60648
o 60637
o 60569
o 60558
o 60524
o 60513
o 60445
o 60434
o 60356
o 60345
o 60277
o 60266
o 60232
o 60221
o 60153
o 60142
o 60084
o 60073
o 60039
o 60028
o 59960
o 59949
o 59903
o 59892
o 59862
o 59851
o 59793
o 59782
o 59669
o 59658
o 59562
o 59551
o 59493
o 59482
o 59369
o 59358
o 59339
o 59328
o 59270
o 59259
o 59225
o 59214
o 59146
o 59135
o 59087
o 59076
o 59055
o 59044
o 58976
o 58965
o 58957
o 58889
o 58878
o 58852
o 58841
o 58833
o 58765
o 58754
o 58721
o 58710
o 58676
o 58665
o 58597
o 58586
o 58563
o 58552
o 58444
o 58433
o 58365
o 58354
o 58320
o 58309
o 58241
o 58230
o 58152
o 58141
o 58073
o 58062
o 58028
o 58017
o 57949
o 57938
o 57880
o 57869
o 57835
o 57824
o 57756
o 57745
o 57734
o 57723
o 57712
o 57656
o 57645
o 57577
o 57566
o 57532
o 57521
o 57453
o 57442
o 57427
o 57416
o 57338
o 57327
o 57259
o 57248
o 57214
o 57203
o 57135
o 57124
o 57066
o 57055
o 57021
o 57010
o 56942
o 56931
c 40650 branches 33362 propagates
c total generalized unit propagation = 113691, success = 34.90%
s OPTIMUM FOUND
c Optimal Solution = 56931
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 -164 165 -166 167 -168 -169 170 -171 -172 173 -174 -175 176
1248.208u 0.009s 20:49.46 99.8%	0+0k 0+0io 0pf+0w