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_s2v120c1600-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1600-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 269
o 266
o 265
o 264
o 263
o 262
o 261
o 260
o 259
o 258
o 257
o 256
o 255
o 254
o 253
o 252
o 251
o 250
o 249
o 248
o 247
c 557153 branches 64968 propagates
c total generalized unit propagation = 1179226, success = 47.24%
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
791.760u 0.002s 13:17.49 99.2%	0+0k 0+0io 0pf+0w