Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_frb_frb25-13-3.partial.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/frb/frb25-13-3.partial.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: 325 vars 11005 clauses
c 277 variables cloned. 18960 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 :frb25-13-3.partial.wcnf.clone_ls_out.1769682443.txt
c ===========================
o 311
c Initial LB: 37
c 	| 1.41    1.41   | 262/277 | 10680    2  0      nan  0      nan  0      nan |         2102 | (0/3668)
o 310
c 	| 2.83    1.42   | 260/277 | 10680    2  0      nan  8      265  0      nan |         4416 | (8/3668)
c 	| 5.66    2.83   | 258/277 | 10680    2  0      nan  13     264  0      nan |         9276 | (13/3668)
c 	| 11.40   5.74   | 255/277 | 10680    2  0      nan  19     263  0      nan |        19480 | (19/3668)
c 	| 23.23   11.83  | 253/277 | 10680    2  0      nan  25     262  0      nan |        40908 | (25/3668)
o 309
1835.981u 10.134s 57:58.63 53.0%	0+0k 0+0io 3pf+0w