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_k5_n18.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n18.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 -4 -18 -19 20 -34 35 -49 5 -21 36 -50 -63 6 22 -37 -51 -64 76 -7 23 38 52 65 77 -88 -8 -24 39 53 -66 -78 89 -99 9 -25 -40 54 -67 79 -90 -100 -109 10 -26 -41 55 -68 -80 91 101 -110 -118 11 27 -42 -56 -69 -81 92 -102 111 119 -126 -12 28 -43 57 -70 82 93 -103 112 -120 -127 -133 -13 29 44 58 71 -83 -94 -104 -113 121 128 -134 -139 14 -30 45 -59 72 -84 -95 -105 -114 122 129 -135 140 -144 -15 31 46 -60 -73 85 -96 -106 -115 123 130 136 141 145 -148 -16 -32 -47 61 74 86 -97 107 -116 124 -131 -137 142 -146 149 -151 -17 -33 -48 -62 -75 87 98 -108 117 125 132 -138 -143 147 150 -152 -153
0.115u 0.016s 0:00.14 85.7%	0+0k 0+0io 0pf+0w