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_n16.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n16.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 16 -17 30 4 -18 -31 43 5 -19 -32 44 -55 -6 -20 33 45 56 -66 -7 21 -34 -46 -57 67 76 8 -22 35 -47 -58 68 77 85 -9 -23 -36 -48 59 -69 78 -86 93 -10 24 -37 49 -60 70 79 87 -94 100 -11 -25 38 -50 -61 71 -80 -88 95 101 -106 -12 26 39 -51 62 -72 81 89 -96 -102 -107 111 13 27 -40 -52 63 -73 -82 90 97 103 -108 -112 -115 -14 -28 -41 53 64 74 -83 91 -98 -104 -109 113 116 118 -15 29 42 54 -65 -75 -84 -92 -99 105 110 114 -117 119 120
0.088u 0.008s 0:00.10 80.0%	0+0k 0+0io 0pf+0w