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
c first lower bound: 182
o 270
o 268
o 267
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 507096 branches 55486 propagates
c total generalized unit propagation = 1068089, success = 47.47%
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
662.762u 0.011s 11:05.95 99.5%	0+0k 0+0io 0pf+0w