Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_RAMSEY_ram_k3_n12.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n12.ra1.wcnf
Job solver: /home/jplanes/evaluation/solvers/KnotPipatsrisawat/clone.sh
c ===========================
c  Clone
c  MAX-SAT solver 
c  Automated Reasoning Group
c  UCLA          
c ===========================
c Instance stats: 66 vars 715 clauses
c 58 variables cloned. 3132 clones generated.
c 	+=======================================================Clone===========================+
c 	| Time (s)      | Pruning  | Hard        Prune       Summary     Conflict   | Next Restart |
c 	| Total  Incmtl | Best lvl | Cls    LPC  Cls    LPC  Cls    LPC  Cls    LPC | Pruning      |
c 	+=======================================================Clone===========================+
c ===========================
c Calling maxwalksat
c ls_out is :ram_k3_n12.ra1.wcnf.clone_ls_out.1003042262.txt
c ===========================
o 1939
c Initial LB: 0
c 	| 0.34    0.34   |  24/58  | 0      nan  4       22  68      35  5       23 |         2102 | (174/238)
c 	| 0.70    0.36   |  29/58  | 0      nan  9       24  140     37  7       25 |         4416 | (239/261)
c 	| 1.45    0.75   |  27/58  | 0      nan  15      23  285     37  13      25 |         9276 | (289/315)
c 	| 2.96    1.51   |  24/58  | 0      nan  38      23  555     37  20      26 |        19480 | (266/459)
o 1937
c 	| 6.29    3.33   |  23/58  | 0      nan  127     22  1085    36  79      26 |        40908 | (612/669)
c 	| 13.05   6.76   |  22/58  | 0      nan  217     22  1819    36  118     27 |        85909 | (880/976)
o 1930
o 1920
c 	| 27.97   14.92  |  21/58  | 0      nan  422     22  3809    35  281     27 |       180409 | (1285/1725)
c 	| 58.39   30.42  |  20/58  | 0      nan  726     21  6804    35  550     27 |       378859 | (2405/2523)
c 	| 123.19  64.80  |  19/58  | 0      nan  1650    21  13321   35  1377    27 |       795604 | (2601/4467)
o 1914
o 1892
o 1869
o 1863
o 1844
c 	| 271.81  148.62 |  20/58  | 0      nan  3166    21  24979   35  2545    27 |      1670768 | (4792/9571)
o 1808
c 	| 623.17  351.36 |  17/58  | 0      nan  7385    20  48345   34  6987    26 |      3508615 | (12300/20512)
o 1775
o 1578
o 1448
o 1378
1804.889u 19.074s 30:27.79 99.7%	0+0k 0+0io 20pf+0w