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-alu4.b.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-alu4.b.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: 823 vars 1157 clauses
c 407 variables cloned. 9617 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-alu4.b.wcnf.clone_ls_out.1326265697.txt
c ===========================
o 56
c Initial LB: 18
c 	| 2.20    2.20   |  98/407 | 615     17  0      nan  0      nan  0      nan |         2102 | (248/465)
c 	| 4.62    2.42   |  98/407 | 615     17  0      nan  3      107  0      nan |         4416 | (500/562)
c 	| 9.52    4.90   |  98/407 | 615     17  1      116  7      107  0      nan |         9276 | (707/820)
c 	| 18.86   9.34   |  92/407 | 615     17  1      116  11     105  0      nan |        19480 | (889/1320)
c 	| 42.50   23.64  |  86/407 | 615     17  1      116  19     103  0      nan |        40908 | (2328/2336)
c 	| 90.22   47.72  |  86/407 | 615     17  1      116  22     102  0      nan |        85909 | (4188/4546)
c 	| 171.95  81.73  |  83/407 | 615     17  1      116  28     101  0      nan |       180409 | (7718/8052)
o 55
1818.505u 15.568s 30:37.91 99.7%	0+0k 0+0io 3pf+0w