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_n17.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k5_n17.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4481
o 3692
o 3622
o 2774
o 2406
o 2139
o 2069
o 1616
o 1280
o 1109
o 773
o 470
o 0
c 339 branches 665 propagates
c total generalized unit propagation = 1004, success = 0.00%
s OPTIMUM FOUND
c Optimal Solution = 0
v 1 -2 3 -4 17 -18 -19 32 -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.216u 0.006s 0:00.22 95.4%	0+0k 0+0io 0pf+0w