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_c499_Fid18@0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-mtg/c499_Fid18@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: 1183 vars 6207 clauses
c 362 variables cloned. 7774 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 :c499_Fid18@0.wcnf.clone_ls_out.1840350796.txt
c ===========================
o 25
c Initial LB: 1
c 	| 1.68    1.68   |  52/362 | 6050     3  0      nan  0      nan  462     59 |         2102 | (462/2069)
c 	| 6.95    5.27   |  41/362 | 6050     3  40      29  132     50  601     52 |         4416 | (834/2069)
c 	| 15.01   8.06   |  40/362 | 6050     3  210     28  428     48  816     48 |         9276 | (1636/2069)
o 24
c 	| 26.72   11.71  |  36/362 | 6050     3  932     30  719     46  1405    43 |        19480 | (1366/2275)
c 	| 49.98   23.26  |  34/362 | 6050     3  1709    30  1052    45  2759    40 |        40908 | (1837/2502)
c 	| 93.72   43.74  |  33/362 | 6050     3  2459    31  1351    44  5037    38 |        85909 | (2709/3027)
c 	| 180.67  86.95  |  31/362 | 6050     3  4908    31  2520    42  9774    37 |       180409 | (2299/4871)
o 23
c 	| 341.10  160.43 |  29/362 | 6050     3  10219   30  4155    40  18846   36 |       378859 | (4314/7843)
c 	| 659.61  318.51 |  27/362 | 6050     3  21894   28  7149    38  39478   34 |       795604 | (10470/13890)
o 22
o 21
1827.943u 5.652s 30:34.15 99.9%	0+0k 0+0io 3pf+0w