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-syn_normalized-m100_300_10_14.r.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-m100_300_10_14.r.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: 294 vars 357 clauses
c 180 variables cloned. 909 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 :normalized-m100_300_10_14.r.wcnf.clone_ls_out.1155606051.txt
c ===========================
o 28
c Initial LB: 0
o 25
c 	| 0.14    0.14   |  41/180 | 100     11  0      nan  0      nan  0      nan |         2102 | (99/143)
c 	| 0.27    0.13   |  41/180 | 100     11  0      nan  3       45  0      nan |         4416 | (120/189)
c 	| 0.56    0.29   |  41/180 | 100     11  0      nan  8       45  0      nan |         9276 | (181/273)
o 24
c 	| 1.16    0.60   |  36/180 | 100     11  0      nan  18      47  0      nan |        19480 | (311/438)
o 23
o 22
c 	| 2.48    1.32   |  29/180 | 100     11  0      nan  32      49  0      nan |        40908 | (712/772)
c 	| 5.25    2.77   |  27/180 | 100     11  0      nan  40      46  0      nan |        85909 | (1334/1815)
c 	| 10.27   5.02   |  26/180 | 100     11  0      nan  49      43  0      nan |       180409 | (2585/3533)
c 	| 21.24   10.97  |  25/180 | 100     11  0      nan  62      40  0      nan |       378859 | (3944/6881)
o 21
1771.368u 51.800s 30:26.86 99.7%	0+0k 0+0io 3pf+0w