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_k3_n10.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n10.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2868
o 2667
o 2471
o 2290
o 2219
o 2180
o 2143
o 1931
o 1880
o 1850
o 1792
o 1791
o 1748
o 1597
o 1497
o 1354
o 1324
o 1297
o 1277
o 1267
o 1141
o 1068
o 733
o 687
o 671
o 578
o 570
o 549
o 521
o 520
o 454
o 360
o 335
o 276
o 254
o 246
o 238
o 232
c 19516 branches 17197 propagates
c total generalized unit propagation = 56154, success = 34.62%
s OPTIMUM FOUND
c Optimal Solution = 232
v 1 2 10 3 -11 18 4 12 -19 -25 -5 13 20 26 -31 6 14 -21 27 32 36 -7 -15 -22 28 33 37 40 -8 -16 23 29 34 -38 -41 43 -9 17 24 -30 35 39 -42 44 45
10.519u 0.001s 0:10.54 99.7%	0+0k 0+0io 0pf+0w