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_n11.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k3_n11.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 5004
o 4793
o 4741
o 4608
o 4581
o 4557
o 4379
o 4346
o 4156
o 4150
o 4082
o 4010
o 3871
o 3799
o 3794
o 3791
o 3538
o 3472
o 3365
o 3224
o 3127
o 2795
o 2748
o 2663
o 2656
o 2603
o 2541
o 2412
o 2358
o 2351
o 2144
o 2045
o 1905
o 1793
o 1732
o 1641
o 1572
o 1503
o 1411
o 1388
o 1126
o 1082
o 1002
o 921
o 867
o 843
o 813
o 792
o 753
o 748
o 688
o 657
o 548
o 529
o 498
o 459
o 413
o 402
o 388
o 334
o 318
c 79382 branches 54711 propagates
c total generalized unit propagation = 213303, success = 37.13%
s OPTIMUM FOUND
c Optimal Solution = 318
v -1 -2 11 3 12 20 -4 -13 21 28 5 -14 22 -29 35 6 -15 -23 -30 36 41 7 16 -24 31 37 -42 46 8 17 -25 -32 -38 -43 47 50 9 18 26 33 -39 44 -48 -51 53 -10 19 27 -34 40 -45 49 -52 54 -55
107.856u 0.007s 1:47.97 99.8%	0+0k 0+0io 0pf+0w