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_F1051gat@1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F1051gat@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: 783 vars 2564 clauses
c 242 variables cloned. 1984 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_F1051gat@1.wcnf.clone_ls_out.313219750.txt
c ===========================
o 14
c Initial LB: 0
c 	| 0.66    0.66   |  18/242 | 2445     2  67      14  60      28  60       7 |         2102 | (535/854)
c 	| 1.45    0.79   |  13/242 | 2445     2  147     15  129     26  148     12 |         4416 | (609/939)
c 	| 2.89    1.44   |  12/242 | 2445     2  292     14  253     25  248     14 |         9276 | (402/1135)
c 	| 5.14    2.25   |  14/242 | 2445     2  640     14  567     24  313     14 |        19480 | (454/1509)
c 	| 10.71   5.57   |  11/242 | 2445     2  1151    14  987     24  689     17 |        40908 | (1484/2006)
c 	| 18.80   8.09   |  13/242 | 2445     2  2121    15  1904    23  874     18 |        85909 | (1757/2934)
c 	| 46.62   27.82  |  10/242 | 2445     2  5062    19  4452    23  2143    20 |       180409 | (5197/5713)
c 	| 96.19   49.57  |   9/242 | 2445     2  9790    20  8439    23  2906    20 |       378859 | (5847/12241)
o 13
1817.240u 9.347s 30:31.48 99.7%	0+0k 0+0io 3pf+0w