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_pbo-mqc_nlogencdr_10tree325p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree325p.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: 4580 vars 16634 clauses
c 482 variables cloned. 12212 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 :10tree325p.wcnf.clone_ls_out.1227208981.txt
c ===========================
o 62145
c Initial LB: 0
o 127
o 121
o 120
o 119
o 114
o 113
o 108
o 106
o 105
o 100
o 97
o 95
o 93
o 90
o 89
o 88
c 	| 11.23   11.23  |  16/482 | 16424    3  113    113  23      21  440     25 |         2102 | (582/5544)
o 85
c 	| 20.52   9.29   |  13/482 | 16424    3  228    110  55      20  663     25 |         4416 | (953/5544)
o 84
o 79
o 74
o 73
o 70
o 65
o 57
c 	| 37.36   16.84  |  13/482 | 16424    3  381    106  105     20  1081    24 |         9276 | (1576/5544)
o 52
1876.166u 2.311s 31:20.17 99.9%	0+0k 0+0io 3pf+0w