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_n12.ra1.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/ramsey/ram_k3_n12.ra1.wcnf
Job solver: /home/maxsat/solvers/IncWMaxSatz/IncWMaxSatz
c -----------------------------
c Incremental Weighted MaxSATZ
c -----------------------------
o 361622
o 9037
o 8891
o 8882
o 8736
o 8715
o 8554
o 8351
o 8184
o 8009
o 7993
o 7896
o 7874
o 7839
o 7388
o 7337
o 7319
o 7226
o 7004
o 6903
o 6895
o 6894
o 6726
o 6696
o 6384
o 6345
o 6243
o 6237
o 5972
o 5963
o 5960
o 5890
o 5773
o 5685
o 5355
o 5224
o 5173
o 5125
o 5116
o 4896
o 4836
o 4789
o 4726
o 4596
o 4591
o 4532
o 4464
o 4405
o 4261
o 4226
o 4199
o 4176
o 4152
o 3791
o 3649
o 3640
o 3618
o 3584
o 3557
o 3396
o 3329
o 3229
o 3136
o 2900
o 2825
o 2812
o 2688
o 2687
o 2566
o 2542
o 2459
o 2419
o 2319
o 2281
o 2277
o 2187
o 2099
o 1905
o 1795
o 1711
o 1678
o 1655
o 1472
o 1358
o 1355
o 1327
o 1213
o 1163
o 1143
o 1115
o 1100
o 974
o 940
o 928
o 803
o 791
o 524
s OPTIMUM FOUND
c Optimal Solution = 524
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 -46 47 -48 -49 50 51 52 53 54 -55 56 57 -58 59 -60 61 62 -63 -64 -65 -66
c Program terminated in 221.850 seconds.
221.824u 0.003s 3:42.43 99.7%	0+0k 0+0io 0pf+0w