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-ex5.pi.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-ex5.pi.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: 2479 vars 1785 clauses
c 887 variables cloned. 17883 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-ex5.pi.wcnf.clone_ls_out.1315202697.txt
c ===========================
o 96
c Initial LB: 29
o 88
c 	| 4.78    4.78   | 274/887 | 689     29  0      nan  1      887  0      nan |         2102 | (364/654)
c 	| 9.56    4.78   | 274/887 | 689     29  0      nan  4      430  0      nan |         4416 | (424/790)
c 	| 19.08   9.52   | 274/887 | 689     29  0      nan  7      364  0      nan |         9276 | (606/1050)
o 87
c 	| 34.02   14.94  | 257/887 | 689     29  0      nan  18     346  0      nan |        19480 | (1246/1397)
c 	| 68.38   34.36  | 248/887 | 689     29  0      nan  25     323  0      nan |        40908 | (1677/2470)
c 	| 140.51  72.13  | 248/887 | 689     29  268    253  32     308  12     253 |        85909 | (2218/4809)
c 	| 267.10  126.59 | 248/887 | 689     29  268    253  36     302  309    253 |       180409 | (6451/7740)
o 86
c 	| 425.51  158.41 | 243/887 | 689     29  268    253  58     284  309    253 |       378859 | (9123/10301)
o 85