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_k5_n15.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n15.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1605
o 853
o 752
o 0
c 69 branches 182 propagates
c total generalized unit propagation = 251, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 -2 -3 4 -15 -16 -17 28 -29 40 5 18 30 -41 51 -6 -19 31 -42 52 -61 -7 20 -32 43 53 62 70 -8 -21 33 44 54 63 71 -78 -9 22 -34 45 -55 -64 -72 -79 -85 -10 -23 35 46 56 65 73 -80 -86 91 11 24 36 47 57 -66 74 -81 -87 92 -96 -12 25 37 -48 58 -67 -75 82 -88 93 97 -100 13 -26 38 -49 -59 68 76 83 -89 -94 -98 -101 103 14 27 -39 50 -60 -69 77 -84 90 -95 99 -102 104 -105
0.057u 0.007s 0:00.06 83.3%	0+0k 0+0io 0pf+0w