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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 57669
o 57669
o 57613
o 57583
o 57561
o 57512
o 57482
o 57463
o 57433
o 57348
o 57318
o 57310
o 57280
o 57195
o 57165
o 57016
o 56986
o 56863
o 56833
o 56811
o 56762
o 56732
o 56598
o 56568
o 56445
o 56415
o 56369
o 56339
o 56331
o 56301
o 56216
o 56186
o 56157
o 56072
o 56042
o 55993
o 55963
o 55878
o 55848
o 55769
o 55739
o 55710
o 55625
o 55595
o 55546
o 55516
o 55431
o 55401
o 55322
o 55292
o 55128
o 55098
o 55019
o 54989
o 54875
o 54845
o 54681
o 54651
o 54646
o 54578
o 54548
o 54524
o 54434
o 54404
o 54131
o 54101
o 54077
o 54049
o 53969
o 53939
o 53660
o 53630
c 9654 branches 8538 propagates
c total generalized unit propagation = 27730, success = 34.40%
s OPTIMUM FOUND
c Optimal Solution = 53630
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
248.362u 0.006s 4:10.16 99.2%	0+0k 0+0io 0pf+0w