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_s2v120c1500-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1500-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 176
o 264
o 262
o 261
o 260
o 259
o 258
o 256
o 255
o 254
o 253
o 252
o 251
o 250
o 249
o 248
o 247
o 246
o 245
o 244
o 243
o 242
o 241
o 240
o 239
o 238
o 237
o 236
o 235
o 234
o 233
c 610542 branches 46453 propagates
c total generalized unit propagation = 1265784, success = 48.23%
s OPTIMUM FOUND
c Optimal Solution = 233
v 34 48 -3 -4 -14 -38 -40 -19 108 89 96 -110 -53 -23 -7 50 28 -109 -62 -120 71 21 -32 83 -68 101 90 -79 18 47 -67 -117 70 75 -10 45 -111 -42 31 -86 -92 -41 59 30 15 57 -8 -93 -22 65 100 -11 -69 -84 -37 73 -1 -46 -61 6 60 98 17 20 78 -102 -106 12 114 -26 25 -36 -54 -43 63 -66 118 112 88 95 -87 105 -27 -77 -76 24 51 -81 -33 -91 -29 -74 -58 -85 -80 72 115 -2 -94 -55 -103 56 49 16 35 119 -5 -82 -52 -104 -44 64 97 -116 -13 9 107 99 -113 -39
717.458u 0.033s 12:01.87 99.3%	0+0k 0+0io 0pf+0w