Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_min-enc_kbtree_kbtree9_7_3_5_90_2.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_90_2.wcsp.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: 280 vars 1309 clauses
c 50 variables cloned. 794 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 :kbtree9_7_3_5_90_2.wcsp.wcnf.clone_ls_out.980169675.txt
c ===========================
o 141
c Initial LB: 22
o 140
o 138
o 137
o 135
o 133
o 132
c 	| 0.60    0.60   |  35/50  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/436)
c 	| 1.27    0.67   |  33/50  | 364      2  0      nan  6       36  0      nan |         4416 | (6/436)
c 	| 2.63    1.36   |  32/50  | 364      2  0      nan  10      37  0      nan |         9276 | (10/436)
c 	| 5.51    2.88   |  31/50  | 364      2  0      nan  17      36  0      nan |        19480 | (17/436)
c 	| 11.44   5.93   |  30/50  | 364      2  0      nan  25      35  0      nan |        40908 | (25/436)
c 	| 23.94   12.50  |  29/50  | 364      2  0      nan  29      35  0      nan |        85909 | (29/436)
c 	| 49.96   26.02  |  27/50  | 364      2  0      nan  35      35  0      nan |       180409 | (35/436)
c 	| 106.11  56.15  |  25/50  | 364      2  0      nan  46      33  0      nan |       378859 | (46/436)
o 130
c 	| 217.92  111.81 |  22/50  | 364      2  0      nan  56      32  0      nan |       795604 | (56/436)
c 	| 457.57  239.65 |  21/50  | 364      2  0      nan  63      32  0      nan |      1670768 | (63/436)
o 129
1806.176u 17.730s 30:27.69 99.7%	0+0k 0+0io 3pf+0w