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-50-2_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 52222
o 52222
o 52218
o 52214
o 52140
o 52136
o 52120
o 52116
o 52103
o 52099
o 52083
o 52079
o 52041
o 52037
o 52021
o 52017
o 51943
o 51939
o 51923
o 51919
o 51912
o 51908
o 51844
o 51824
o 51784
o 51764
o 51746
o 51742
o 51731
o 51727
o 51640
o 51636
o 51620
o 51616
o 51542
o 51538
o 51522
o 51518
o 51507
o 51503
o 51500
o 51496
o 51480
o 51476
o 51449
o 51445
o 51429
o 51425
o 51422
o 51418
o 51402
o 51398
o 51393
o 51389
o 51373
o 51369
o 51353
o 51349
o 51345
o 51341
o 51267
o 51263
o 51247
o 51243
o 51189
o 51185
o 51169
o 51165
o 51135
o 51128
o 51124
o 51117
o 51078
o 51067
o 51009
o 50989
o 50982
o 50931
o 50911
o 50904
o 50900
o 50893
o 50874
o 50854
o 50843
o 50814
o 50794
o 50783
o 50776
o 50772
o 50765
o 50761
o 50748
o 50744
o 50728
o 50724
o 50650
o 50646
o 50630
o 50626
o 50572
o 50568
o 50552
o 50548
o 50541
o 50537
o 50530
o 50510
o 50503
o 50473
o 50453
o 50413
o 50393
o 50375
o 50371
o 50347
o 50343
o 50327
o 50323
o 50249
o 50245
o 50229
o 50225
o 50171
o 50167
o 50151
o 50147
o 50135
o 50095
o 50075
o 50057
o 50053
o 49931
o 49927
o 49911
o 49907
o 49853
o 49849
o 49833
o 49829
o 49768
o 49761
o 49690
o 49683
o 49615
o 49608
o 49558
o 49489
o 49469
o 49462
o 49411
o 49391
o 49384
o 49354
o 49334
o 49294
o 49274
o 49256
o 49252
o 49248
o 49241
o 49237
o 49221
o 49217
o 49130
o 49126
o 49110
o 49106
o 49052
o 49048
o 49032
o 49028
o 48950
o 48930
o 48872
o 48852
o 48848
o 48757
o 48737
o 48679
o 48659
o 48656
o 48636
c 6893 branches 4178 propagates
c total generalized unit propagation = 17400, success = 36.37%
s OPTIMUM FOUND
c Optimal Solution = 48636
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
27.037u 0.012s 0:27.08 99.8%	0+0k 0+0io 0pf+0w