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-mtg_c2670_F8@0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c2670_F8@0.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: 2770 vars 9812 clauses
c 1018 variables cloned. 11664 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 :c2670_F8@0.wcnf.clone_ls_out.2081060524.txt
c ===========================
o 541
c Initial LB: 1
o 30
o 29
o 28
o 27
o 26
o 25
o 24
o 23
o 22
o 21
o 20
c 	| 4.14    4.14   |  43/1018 | 8953     3  34      22  215     69  409     25 |         2102 | (902/3270)
c 	| 6.86    2.72   |  35/1018 | 8953     3  86      21  320     67  579     30 |         4416 | (1470/3270)
c 	| 12.64   5.78   |  33/1018 | 8953     3  236     21  564     65  905     34 |         9276 | (2668/3270)
c 	| 25.21   12.57  |  31/1018 | 8953     3  594     20  1136    63  1540    36 |        19480 | (2182/3597)
o 19
o 18
o 17
c 	| 45.54   20.33  |  27/1018 | 8953     3  1652    20  1897    62  3081    38 |        40908 | (3508/3956)
o 16
o 15
c 	| 77.95   32.41  |  18/1018 | 8953     3  2283    20  1926    62  5834    34 |        85909 | (2888/4786)
o 14
o 13