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_10tree925p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree925p.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: 4664 vars 16886 clauses
c 497 variables cloned. 12348 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 :10tree925p.wcnf.clone_ls_out.983930263.txt
c ===========================
o 72271
c Initial LB: 0
o 133
o 130
o 129
o 127
o 124
o 123
o 122
o 109
o 108
o 105
o 104
o 93
o 89
o 88
c 	| 9.64    9.64   |  17/497 | 16676    3  103    121  13      23  439     21 |         2102 | (558/5628)
c 	| 18.82   9.18   |  12/497 | 16676    3  155    114  47      19  697     18 |         4416 | (902/5628)
o 85
c 	| 34.37   15.55  |  11/497 | 16676    3  265    110  102     18  1193    17 |         9276 | (1565/5628)
c 	| 64.66   30.29  |  10/497 | 16676    3  432    104  146     18  1779    17 |        19480 | (2368/5628)
c 	| 128.99  64.33  |  10/497 | 16676    3  714    101  215     17  2701    18 |        40908 | (3646/5628)
o 82
o 76
o 73
c 	| 246.99  118.00 |   9/497 | 16676    3  1215    99  407     17  3685    21 |        85909 | (5331/5628)
o 71
o 68
o 67
o 65
o 62
1877.815u 2.208s 31:22.80 99.8%	0+0k 0+0io 3pf+0w