Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-IncWMaxSatz-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/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 169851
o 1985
o 1840
o 1763
o 1648
o 1549
o 1464
o 1430
o 1233
o 1141
o 1113
o 1036
o 921
o 836
o 750
o 674
o 655
o 382
o 304
o 248
o 246
o 232
s OPTIMUM FOUND
c Optimal Solution = 232
v 1 2 3 4 -5 6 -7 -8 -9 10 -11 12 13 14 -15 -16 17 18 -19 20 -21 -22 23 24 -25 26 27 28 29 -30 -31 32 33 34 35 36 37 -38 39 40 -41 -42 43 44 45
c Program terminated in 2.710 seconds.
2.714u 0.000s 0:02.81 96.4%	0+0k 0+0io 0pf+0w