Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-ms_random-_home_maxsat_benchmarks_ms_random_max2sat_120v_s2v120c1600-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1600-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 247
o 247
c 482628 branches 54870 propagates
c total generalized unit propagation = 1020127, success = 47.31%
s OPTIMUM FOUND
c Optimal Solution = 247
v -61 50 -53 -66 -23 -90 99 64 -73 102 -26 -48 -49 30 39 -25 -88 54 -76 104 -83 -44 116 27 77 -31 69 43 91 65 -2 119 -106 63 45 -56 -16 -87 -72 -19 -22 -52 -36 -75 10 89 -70 -95 -117 115 51 -59 103 5 9 -96 18 -47 -40 114 -92 1 -71 -46 62 -84 -11 60 33 6 101 68 55 -58 -67 110 14 118 93 -80 -105 -12 -94 -79 -97 -15 100 -13 24 82 112 108 -7 57 -98 -111 20 35 -113 81 34 -32 -4 -17 -38 85 -37 -3 78 28 29 107 -8 41 74 42 -120 -86 109 21
698.267u 0.016s 11:40.72 99.6%	0+0k 0+0io 0pf+0w