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_n15.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n15.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: 105 vars 1820 clauses
c 97 variables cloned. 8730 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_n15.ra1.wcnf.clone_ls_out.857375323.txt
c ===========================
o 11247
c Initial LB: 0
c 	| 0.81    0.81   |  72/97  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/606)
c 	| 1.65    0.84   |  71/97  | 0      nan  0      nan  7       75  0      nan |         4416 | (7/606)
c 	| 3.39    1.74   |  70/97  | 0      nan  0      nan  13      74  0      nan |         9276 | (13/606)
c 	| 6.98    3.59   |  69/97  | 0      nan  0      nan  20      74  0      nan |        19480 | (20/606)
c 	| 14.42   7.44   |  68/97  | 0      nan  0      nan  27      74  0      nan |        40908 | (27/606)
c 	| 30.16   15.74  |  66/97  | 0      nan  0      nan  32      74  0      nan |        85909 | (32/606)
c 	| 63.35   33.19  |  66/97  | 0      nan  0      nan  53      74  0      nan |       180409 | (65/606)
c 	| 132.87  69.52  |  63/97  | 0      nan  0      nan  67      74  0      nan |       378859 | (87/606)
o 11156
c 	| 279.09  146.22 |  61/97  | 0      nan  0      nan  207     73  0      nan |       795604 | (357/606)
o 11119
o 11107
o 10984
o 10907
o 10888
o 10877
o 10854
o 10713
o 10539
1814.020u 14.362s 30:29.17 99.9%	0+0k 0+0io 20pf+0w