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_1.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_90_1.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 54 variables cloned. 867 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_1.wcsp.wcnf.clone_ls_out.181032088.txt
c ===========================
o 142
c Initial LB: 26
o 141
c 	| 0.40    0.40   |  39/54  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/436)
o 140
c 	| 0.83    0.43   |  38/54  | 364      2  0      nan  4       42  0      nan |         4416 | (4/436)
o 139
o 138
o 137
c 	| 1.73    0.90   |  37/54  | 364      2  0      nan  11      42  0      nan |         9276 | (11/436)
c 	| 3.65    1.92   |  36/54  | 364      2  0      nan  19      41  0      nan |        19480 | (19/436)
o 136
c 	| 7.63    3.98   |  34/54  | 364      2  0      nan  27      40  0      nan |        40908 | (27/436)
c 	| 16.09   8.46   |  33/54  | 364      2  0      nan  36      39  0      nan |        85909 | (36/436)
c 	| 33.44   17.35  |  31/54  | 364      2  0      nan  47      38  0      nan |       180409 | (47/436)
c 	| 68.88   35.44  |  30/54  | 364      2  0      nan  52      38  0      nan |       378859 | (52/436)
o 135
c 	| 144.39  75.51  |  29/54  | 364      2  0      nan  60      38  0      nan |       795604 | (60/436)
c 	| 303.12  158.73 |  26/54  | 364      2  0      nan  72      36  0      nan |      1670768 | (72/436)
o 134
c 	| 628.94  325.82 |  25/54  | 364      2  0      nan  78      36  0      nan |      3508615 | (78/436)
o 133
1802.830u 21.134s 30:26.02 99.8%	0+0k 0+0io 3pf+0w