Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1300_7.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 877
o 877
c first lower bound: 714
c 495 branches 21 propagates
c total generalized unit propagation = 1012, success = 49.01%
s OPTIMUM FOUND
c Optimal Solution = 877
v -3 1 -6 9 10 -11 12 18 -29 33 38 39 -40 42 -48 50 52 58 -61 -63 -64 67 73 -78 -83 89 92 -96 2 13 15 30 31 34 35 37 45 -51 60 -65 -72 77 79 -81 -84 94 -95 -97 -98 100 16 23 -32 -36 -41 54 -55 57 4 14 -19 24 -28 -44 -66 -71 75 87 -90 93 5 22 26 49 -53 82 -85 -99 47 59 -76 -91 7 -21 88 8 20 43 -70 80 17 68 69 -86 46 74 25 62 -56 -27
4.360u 0.006s 0:04.44 98.1%	0+0k 0+0io 0pf+0w