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_F71gat@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F71gat@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 678 variables cloned. 12981 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_F71gat@1.wcnf.clone_ls_out.125885048.txt
c ===========================
o 115
c Initial LB: 1
o 39
o 38
o 37
o 36
o 35
o 34
o 33
o 32
o 31
o 30
o 29
c 	| 7.80    7.80   |  23/678 | 11738    3  27      30  110     29  35       8 |         2102 | (550/3965)
o 28
o 27
o 26
c 	| 17.99   10.19  |  22/678 | 11738    3  38      29  129     29  155     20 |         4416 | (1094/3965)
o 25
o 24
c 	| 35.22   17.23  |  20/678 | 11738    3  81      27  202     28  328     23 |         9276 | (2283/3965)
o 23
o 22
o 21
c 	| 65.75   30.53  |  17/678 | 11738    3  224     26  352     27  442     24 |        19480 | (1230/4361)
c 	| 122.34  56.59  |  15/678 | 11738    3  455     24  566     26  701     24 |        40908 | (289/4797)
o 20
o 19
c 	| 212.44  90.10  |  13/678 | 11738    3  763     23  1059    24  970     23 |        85909 | (607/5276)
o 18
o 17
o 16
c 	| 406.34  193.90 |  10/678 | 11738    3  2464    19  3748    21  1738    22 |       180409 | (822/7021)
o 15
o 14
1847.263u 3.184s 30:50.90 99.9%	0+0k 0+0io 3pf+0w