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_k4_n15.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/RAMSEY/ram_k4_n15.ra1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4245
o 3984
o 3825
o 3617
o 3356
o 3207
o 3199
o 3043
o 2786
o 2775
o 2703
o 2685
o 2549
o 2525
o 2415
o 2317
o 2258
o 2206
o 1998
o 1962
o 1929
o 1849
o 1846
o 1668
o 1519
o 1460
o 1424
o 1423
o 1395
o 1281
o 1215
o 1132
o 1127
o 1073
o 1068
o 954
o 829
o 805
o 799
o 772
o 770
o 695
o 686
o 631
o 625
o 603
o 597
o 582
o 559
o 531
o 448
o 442
o 375
o 363
o 357
o 270
o 259
o 121
o 98
o 23
o 0
c 403 branches 1901 propagates
c total generalized unit propagation = 2401, success = 4.04%
s OPTIMUM FOUND
c Optimal Solution = 0
v -1 -2 -3 -15 16 -28 4 -17 -29 40 -5 18 30 -41 51 6 -19 -31 -42 52 61 7 20 32 -43 53 -62 -70 8 21 33 44 -54 63 71 -78 -9 -22 34 45 55 -64 72 79 85 10 23 -35 -46 -56 65 73 80 -86 91 -11 -24 36 47 -57 66 -74 -81 -87 92 96 12 25 -37 48 58 -67 -75 -82 -88 -93 97 100 -13 26 38 49 59 68 -76 83 -89 -94 -98 -101 -103 14 27 39 -50 -60 -69 -77 84 90 -95 -99 102 104 -105
0.162u 0.001s 0:00.17 94.1%	0+0k 0+0io 0pf+0w