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