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_pbo-mqc_nlogencdr_10tree630p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree630p.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: 4600 vars 16694 clauses
c 468 variables cloned. 12111 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 :10tree630p.wcnf.clone_ls_out.822001114.txt
c ===========================
o 67006
c Initial LB: 0
o 101
o 96
o 91
o 84
o 78
o 73
c 	| 10.61   10.61  |  13/468 | 16484    3  71      91  16      18  426     22 |         2102 | (518/5564)
c 	| 21.20   10.59  |  11/468 | 16484    3  95      91  27      17  628     19 |         4416 | (756/5564)
c 	| 37.54   16.34  |  11/468 | 16484    3  198     87  65      17  929     19 |         9276 | (1209/5564)
c 	| 75.89   38.35  |  10/468 | 16484    3  271     88  97      17  1259    19 |        19480 | (1644/5564)
c 	| 150.53  74.64  |   9/468 | 16484    3  410     88  162     17  2159    17 |        40908 | (2760/5564)
o 71
c 	| 288.90  138.37 |   9/468 | 16484    3  996     85  265     17  3420    18 |        85909 | (4741/5564)
c 	| 618.40  329.50 |   7/468 | 16484    3  1731    84  399     16  5544    17 |       180409 | (4998/6120)
o 68
o 66
o 63