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-syn_normalized-mlp4.r.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-mlp4.r.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: 607 vars 712 clauses
c 116 variables cloned. 654 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-mlp4.r.wcnf.clone_ls_out.1855164861.txt
c ===========================
o 133
c Initial LB: 59
o 128
o 127
o 126
o 125
o 124
c 	| 0.17    0.17   |  61/116 | 329      4  0      nan  0      nan  0      nan |         2102 | (0/237)
c 	| 0.37    0.20   |  60/116 | 329      4  0      nan  7       62  0      nan |         4416 | (7/237)
c 	| 0.76    0.39   |  59/116 | 329      4  0      nan  22      61  0      nan |         9276 | (22/237)
c 	| 1.60    0.84   |  58/116 | 329      4  0      nan  35      61  0      nan |        19480 | (35/237)
c 	| 3.35    1.75   |  57/116 | 329      4  0      nan  49      61  0      nan |        40908 | (49/237)
c 	| 7.02    3.67   |  57/116 | 329      4  0      nan  61      61  0      nan |        85909 | (61/237)
c 	| 14.71   7.69   |  56/116 | 329      4  0      nan  78      60  0      nan |       180409 | (78/237)
c 	| 30.84   16.13  |  55/116 | 329      4  0      nan  94      60  0      nan |       378859 | (94/237)
c 	| 64.64   33.80  |  54/116 | 329      4  0      nan  112     60  0      nan |       795604 | (112/237)
c 	| 135.65  71.01  |  54/116 | 329      4  0      nan  125     60  0      nan |      1670768 | (125/237)
c 	| 284.80  149.15 |  53/116 | 329      4  0      nan  143     60  0      nan |      3508615 | (143/237)
c 	| 597.83  313.03 |  52/116 | 329      4  0      nan  163     59  0      nan |      7368092 | (163/237)
c 	| 1254.83 657.00 |  52/116 | 329      4  0      nan  179     59  0      nan |     15472993 | (179/237)
o 123
1776.069u 47.595s 30:26.98 99.8%	0+0k 0+0io 3pf+0w