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_20.r.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-syn/normalized-m100_300_10_20.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: 296 vars 370 clauses
c 202 variables cloned. 1195 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_20.r.wcnf.clone_ls_out.1927553827.txt
c ===========================
o 24
c Initial LB: 0
c 	| 0.14    0.14   |  52/202 | 100     14  0      nan  0      nan  0      nan |         2102 | (111/162)
c 	| 0.30    0.16   |  48/202 | 100     14  0      nan  7       52  0      nan |         4416 | (161/214)
c 	| 0.62    0.32   |  48/202 | 100     14  0      nan  17      53  0      nan |         9276 | (165/342)
c 	| 1.31    0.69   |  48/202 | 100     14  0      nan  30      53  0      nan |        19480 | (428/499)
o 23
c 	| 2.65    1.34   |  43/202 | 100     14  0      nan  38      53  0      nan |        40908 | (493/880)
c 	| 5.51    2.86   |  41/202 | 100     14  0      nan  52      52  0      nan |        85909 | (1550/1556)
c 	| 11.55   6.04   |  41/202 | 100     14  0      nan  71      51  0      nan |       180409 | (2798/3029)
o 22
c 	| 24.86   13.31  |  37/202 | 100     14  0      nan  82      50  0      nan |       378859 | (3547/6488)
c 	| 53.41   28.55  |  34/202 | 100     14  0      nan  92      49  0      nan |       795604 | (10297/12637)
c 	| 111.71  58.30  |  34/202 | 100     14  0      nan  101     49  0      nan |      1670768 | (19018/22385)
c 	| 245.76  134.05 |  31/202 | 100     14  0      nan  112     47  0      nan |      3508615 | (43012/47979)
c 	| 560.00  314.24 |  31/202 | 100     14  0      nan  130     46  0      nan |      7368092 | (59532/113125)
c 	| 1300.54 740.54 |  31/202 | 100     14  17      23  154     46  30      22 |     15472993 | (120732/220444)
o 21
1777.323u 47.628s 30:25.53 99.9%	0+0k 0+0io 3pf+0w