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_F141gat@0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F141gat@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 680 variables cloned. 13054 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_F141gat@0.wcnf.clone_ls_out.1844023470.txt
c ===========================
o 36
c Initial LB: 1
o 35
o 34
o 33
o 32
o 31
c 	| 7.54    7.54   |  26/680 | 11738    3  26      38  12      38  210     26 |         2102 | (430/3965)
o 30
o 29
o 28
o 27
c 	| 15.51   7.97   |  22/680 | 11738    3  34      36  21      34  317     25 |         4416 | (813/3965)
c 	| 30.08   14.57  |  21/680 | 11738    3  67      31  57      29  480     26 |         9276 | (1532/3965)
o 26
c 	| 55.97   25.89  |  20/680 | 11738    3  118     30  102     28  750     27 |        19480 | (2860/3965)
o 25
c 	| 105.90  49.93  |  18/680 | 11738    3  165     30  126     27  1525    27 |        40908 | (1753/4361)
c 	| 208.07  102.17 |  17/680 | 11738    3  283     30  224     27  2811    26 |        85909 | (4615/4797)
c 	| 382.12  174.05 |  17/680 | 11738    3  597     30  529     26  5411    26 |       180409 | (4186/7021)
c 	| 772.33  390.21 |  16/680 | 11738    3  923     30  860     26  11365   25 |       378859 | (6865/11305)
o 24
o 23
1847.746u 3.395s 30:55.70 99.7%	0+0k 0+0io 3pf+0w