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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 54698
o 54698
o 54696
o 54624
o 54535
o 54516
o 54463
o 54275
o 54095
o 54076
o 54027
o 54008
o 53878
o 53859
o 53810
o 53791
o 53528
o 53509
o 53460
o 53441
o 53311
o 53292
o 53243
o 53224
o 53072
o 53053
o 53035
o 53016
o 52855
o 52836
o 52685
o 52666
o 52505
o 52486
o 52468
o 52449
o 52288
o 52269
o 52238
o 52201
o 52021
o 52012
o 51994
o 51975
o 51814
o 51795
o 51791
o 51630
o 51611
o 51593
o 51574
o 51413
o 51394
o 51363
o 51326
o 51146
o 51063
o 50990
o 50971
o 50953
o 50934
o 50846
o 50773
o 50754
o 50676
o 50603
o 50584
o 50496
o 50423
o 50404
o 50386
o 50367
o 50279
o 50206
o 50187
o 50156
o 50119
o 50012
o 49939
o 49930
o 49912
o 49893
o 49805
o 49732
o 49713
o 49709
o 49621
o 49548
o 49529
o 49511
o 49492
o 49404
o 49331
o 49312
o 49281
o 49244
o 49137
o 49064
o 49061
o 48988
o 48969
o 48951
o 48932
o 48844
o 48771
o 48752
o 48721
o 48684
o 48577
o 48504
c 8751 branches 5883 propagates
c total generalized unit propagation = 22907, success = 36.12%
s OPTIMUM FOUND
c Optimal Solution = 48504
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
60.249u 0.013s 1:00.68 99.2%	0+0k 0+0io 0pf+0w