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_10tree425p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree425p.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: 4640 vars 16814 clauses
c 535 variables cloned. 12678 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 :10tree425p.wcnf.clone_ls_out.1689196201.txt
c ===========================
o 56020
c Initial LB: 0
o 139
o 130
o 125
o 123
o 117
o 112
o 106
o 101
o 100
o 98
o 95
o 91
o 86
o 82
c 	| 6.76    6.76   |  16/535 | 16604    3  49     104  30      23  339     25 |         2102 | (424/5604)
c 	| 15.20   8.44   |  12/535 | 16604    3  96      98  50      20  643     22 |         4416 | (803/5604)
c 	| 27.59   12.39  |  12/535 | 16604    3  151     95  64      20  955     21 |         9276 | (1189/5604)
o 76
c 	| 54.38   26.79  |  11/535 | 16604    3  241     93  121     19  1393    19 |        19480 | (1782/5604)
c 	| 107.85  53.47  |  11/535 | 16604    3  436     90  180     19  2517    19 |        40908 | (3175/5604)
o 72
o 68
c 	| 216.77  108.92 |   9/535 | 16604    3  734     87  264     18  4017    18 |        85909 | (5081/5604)
c 	| 451.82  235.05 |   8/535 | 16604    3  1368    81  427     18  7635    17 |       180409 | (3692/6780)
o 63
o 58
c 	| 982.12  530.30 |   9/535 | 16604    3  2792    76  698     17  13414   17 |       378859 | (4116/8203)
o 52
1875.999u 3.012s 31:20.42 99.9%	0+0k 0+0io 3pf+0w