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_F155gat@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F155gat@1.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 682 variables cloned. 13081 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_F155gat@1.wcnf.clone_ls_out.968605555.txt
c ===========================
o 37
c Initial LB: 1
o 36
o 35
o 34
o 33
o 32
o 31
o 30
c 	| 5.18    5.18   |  32/682 | 11738    3  0      nan  0      nan  43      11 |         2102 | (160/3965)
o 29
c 	| 10.96   5.78   |  24/682 | 11738    3  18      37  12      33  195     24 |         4416 | (506/3965)
o 28
o 27
c 	| 23.41   12.45  |  22/682 | 11738    3  39      32  37      29  367     24 |         9276 | (1297/3965)
o 26
c 	| 45.10   21.69  |  20/682 | 11738    3  126     30  185     27  496     24 |        19480 | (2764/3965)
c 	| 92.03   46.93  |  19/682 | 11738    3  218     31  287     27  977     24 |        40908 | (1647/4361)
o 25
c 	| 186.66  94.63  |  18/682 | 11738    3  445     31  527     27  2469    25 |        85909 | (4146/4797)
c 	| 360.79  174.13 |  17/682 | 11738    3  1058    33  1150    26  4762    25 |       180409 | (3538/7021)
o 24
c 	| 732.57  371.78 |  16/682 | 11738    3  1873    33  1948    26  8895    25 |       378859 | (8679/10278)
o 23
c 	| 1409.66 677.09 |  14/682 | 11738    3  3406    29  3268    25  18048   24 |       795604 | (10570/16549)
o 22
1847.572u 4.029s 30:55.59 99.7%	0+0k 0+0io 3pf+0w