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_10tree825p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree825p.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: 4632 vars 16790 clauses
c 529 variables cloned. 12634 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 :10tree825p.wcnf.clone_ls_out.146714733.txt
c ===========================
o 64263
c Initial LB: 0
o 157
o 147
o 143
o 133
o 129
o 128
c 	| 10.15   10.15  |  14/529 | 16580    3  34     141  5       21  715     22 |         2102 | (760/5596)
o 125
o 118
o 116
o 115
o 112
c 	| 19.26   9.11   |  14/529 | 16580    3  60     137  15      19  1027    20 |         4416 | (1114/5596)
o 110
c 	| 34.81   15.55  |  13/529 | 16580    3  126    130  45      19  1454    19 |         9276 | (1642/5596)
o 106
o 104
c 	| 62.33   27.52  |  11/529 | 16580    3  229    125  79      19  1903    18 |        19480 | (2239/5596)
o 101
o 100
o 99
o 95
o 93
o 92
o 91
o 90
c 	| 115.60  53.27  |  12/529 | 16580    3  468    116  143     19  2644    19 |        40908 | (3308/5596)
o 88
o 83
o 80
c 	| 249.17  133.57 |   9/529 | 16580    3  822    109  293     18  4644    17 |        85909 | (3060/6155)
o 78
o 73
o 64
o 59
o 57
1873.671u 2.561s 31:17.84 99.9%	0+0k 0+0io 3pf+0w