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_F1150gat@0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c1355_F1150gat@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: 783 vars 2540 clauses
c 242 variables cloned. 1896 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_F1150gat@0.wcnf.clone_ls_out.220959321.txt
c ===========================
o 16
c Initial LB: 0
c 	| 0.40    0.40   |  19/242 | 2420     2  0      nan  0      nan  62      10 |         2102 | (180/846)
c 	| 1.19    0.79   |  14/242 | 2420     2  110     18  75      26  162     15 |         4416 | (306/930)
c 	| 2.55    1.36   |  13/242 | 2420     2  294     19  160     24  381     18 |         9276 | (747/1023)
c 	| 5.23    2.68   |  12/242 | 2420     2  539     19  274     24  741     20 |        19480 | (1021/1237)
c 	| 10.88   5.65   |  11/242 | 2420     2  911     19  485     25  1578    21 |        40908 | (908/1809)
c 	| 23.77   12.89  |  11/242 | 2420     2  1678    19  1068    24  3364    22 |        85909 | (3291/3518)
c 	| 45.67   21.90  |  10/242 | 2420     2  5428    22  2293    24  3870    22 |       180409 | (4684/6850)
c 	| 103.45  57.78  |  10/242 | 2420     2  12701   24  4943    24  5096    22 |       378859 | (10431/13344)
o 15
o 14
o 13
1816.661u 10.471s 30:32.16 99.7%	0+0k 0+0io 3pf+0w