Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-msp_normalized-ii32e3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii32e3.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: 660 vars 6010 clauses
c 437 variables cloned. 20986 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 :normalized-ii32e3.wcnf.clone_ls_out.901810748.txt
c ===========================
o 319
c Initial LB: 58
c 	| 5.58    5.58   | 137/437 | 5350     5  0      nan  0      nan  268     84 |         2102 | (268/2003)
c 	| 55.59   50.01  |  29/437 | 5350     5  135     83  5      143  7913    48 |         4416 | (2900/2931)
c 	| 79.58   23.99  |  28/437 | 5350     5  245     82  8      101  8805    49 |         9276 | (2462/3224)
c 	| 130.98  51.40  |  27/437 | 5350     5  528     82  12      78  10886   49 |        19480 | (3262/3546)
o 318
c 	| 222.77  91.79  |  27/437 | 5350     5  1348    81  47      47  12272   49 |        40908 | (3758/3900)
c 	| 388.69  165.92 |  25/437 | 5350     5  2818    79  80      42  14192   48 |        85909 | (3140/4719)
o 317