Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_crafted-_home_maxsat_benchmarks_wms_crafted_RAMSEY_ram_k4_n17.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n17.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 0
o 0
c 0 branches 0 propagates
c total generalized unit propagation = 0, success = nan%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 -2 -3 17 18 32 -4 -19 -33 46 5 -20 34 -47 59 6 21 -35 48 60 -71 -7 -22 36 -49 -61 -72 -82 -8 23 37 -50 -62 -73 83 92 9 -24 38 51 -63 74 84 93 -101 10 25 39 -52 64 75 -85 94 -102 -109 -11 -26 40 53 65 76 -86 -95 103 -110 -116 -12 27 -41 54 66 -77 -87 96 -104 -111 117 -122 13 -28 -42 55 -67 -78 -88 97 -105 112 -118 123 127 14 29 -43 -56 -68 79 -89 -98 106 -113 -119 124 128 131 15 -30 -44 -57 69 -80 90 99 107 -114 120 125 -129 132 -134 -16 -31 -45 -58 70 81 91 100 108 115 -121 -126 130 -133 135 -136
0.646u 0.011s 0:00.68 95.5%	0+0k 0+0io 0pf+0w