Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_RAMSEY_ram_k4_n14.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n14.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1379
o 1310
o 1249
o 1037
o 1023
o 1008
o 893
o 262
o 0
c 96 branches 232 propagates
c total generalized unit propagation = 333, success = 1.50%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 -2 3 -14 15 26 -4 16 27 -37 -5 17 28 -38 -47 6 18 29 -39 -48 56 -7 -19 -30 -40 -49 57 64 -8 20 -31 41 -50 58 -65 71 -9 -21 32 42 51 59 -66 -72 77 10 -22 -33 43 -52 -60 67 73 -78 82 -11 -23 34 -44 53 61 -68 74 -79 -83 -86 -12 -24 -35 45 54 -62 -69 75 80 -84 87 89 13 25 -36 -46 55 63 -70 -76 -81 85 88 90 -91
0.030u 0.002s 0:00.03 100.0%	0+0k 0+0io 0pf+0w