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_k4_n18.ra1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k4_n18.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: 153 vars 6120 clauses
c 145 variables cloned. 34655 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_k4_n18.ra1.wcnf.clone_ls_out.751275412.txt
c ===========================
o 3931
c Initial LB: 0
c 	| 2.96    2.96   | 106/145 | 0      nan  0      nan  7      115  0      nan |         2102 | (13/2040)
c 	| 5.98    3.02   | 104/145 | 0      nan  0      nan  37     115  0      nan |         4416 | (63/2040)
c 	| 12.14   6.16   | 101/145 | 0      nan  1       42  158    115  0      nan |         9276 | (287/2040)
c 	| 25.10   12.96  | 101/145 | 0      nan  25      55  396    115  7      108 |        19480 | (781/2040)
c 	| 52.29   27.19  |  99/145 | 0      nan  64      55  854    114  14      93 |        40908 | (1735/2040)
c 	| 108.83  56.54  |  96/145 | 0      nan  159     55  1895   112  37      88 |        85909 | (1722/2468)
c 	| 227.46  118.63 |  97/145 | 0      nan  296     57  3534   112  54      87 |       180409 | (2628/2985)
c 	| 477.42  249.96 |  94/145 | 0      nan  629     57  7123   112  105     88 |       378859 | (3263/4369)
o 3894
o 3884