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-4.cnf
Job file: /home/maxsat/benchmarks/ms_random/max2sat/120v/s2v120c1500-4.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 221
o 219
o 218
o 217
o 216
o 215
o 214
o 213
o 212
c 156623 branches 27571 propagates
c total generalized unit propagation = 340796, success = 45.95%
s OPTIMUM FOUND
c Optimal Solution = 212
v 116 111 85 -12 -64 16 -62 34 114 -119 -46 24 32 27 -3 37 50 -21 29 54 17 -59 -48 83 -75 -4 -97 -57 -84 87 -104 -86 -42 89 100 -115 76 -77 95 -39 -117 -65 -8 -5 -20 96 -44 40 101 -80 -78 -43 -68 -1 -66 -47 -28 71 -88 69 103 -9 -81 -108 53 90 30 99 -67 -25 -49 -113 74 -110 51 22 -38 -31 -6 -18 118 13 -60 -72 -10 -56 -102 -15 19 -93 70 -11 2 -58 35 -91 -7 -73 109 -14 -94 -41 63 -33 -79 82 -36 55 -23 -105 -92 -107 26 112 61 98 106 -120 -45 52
220.732u 0.011s 3:42.17 99.3%	0+0k 0+0io 0pf+0w