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_c1355_F1gat@0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F1gat@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: 2354 vars 11895 clauses
c 685 variables cloned. 13078 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 :c1355_F1gat@0.wcnf.clone_ls_out.125885048.txt
c ===========================
o 28
c Initial LB: 1
c 	| 2.57    2.57   |  31/685 | 11738    3  0      nan  0      nan  65      24 |         2102 | (65/3965)
o 27
o 26
c 	| 10.94   8.37   |  22/685 | 11738    3  29      28  35      28  182     23 |         4416 | (649/3965)
o 25
o 24
o 23
c 	| 24.76   13.82  |  19/685 | 11738    3  156     28  196     27  312     24 |         9276 | (1743/3965)
o 22
c 	| 46.23   21.47  |  17/685 | 11738    3  337     27  410     27  405     24 |        19480 | (3393/3965)
o 21
c 	| 87.13   40.90  |  15/685 | 11738    3  566     27  687     26  595     26 |        40908 | (2790/4361)
c 	| 179.58  92.45  |  13/685 | 11738    3  1608    24  2034    25  1627    24 |        85909 | (3795/5276)
c 	| 324.62  145.04 |  12/685 | 11738    3  3777    26  4129    23  2126    23 |       180409 | (3928/7723)
o 20
c 	| 697.62  373.00 |  11/685 | 11738    3  10553   26  11360   23  4642    22 |       378859 | (9886/15045)
o 19