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