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_80_3.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_80_3.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 69 variables cloned. 1309 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_80_3.wcsp.wcnf.clone_ls_out.1251179249.txt
c ===========================
o 120
c Initial LB: 3
c 	| 0.38    0.38   |  51/69  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/436)
c 	| 0.79    0.41   |  50/69  | 364      2  0      nan  5       53  0      nan |         4416 | (5/436)
o 119
o 118
c 	| 1.63    0.84   |  49/69  | 364      2  0      nan  12      52  0      nan |         9276 | (12/436)
o 117
c 	| 3.46    1.83   |  48/69  | 364      2  0      nan  19      52  0      nan |        19480 | (19/436)
o 116
c 	| 7.16    3.70   |  46/69  | 364      2  0      nan  28      51  0      nan |        40908 | (28/436)
c 	| 14.93   7.77   |  45/69  | 364      2  0      nan  35      52  0      nan |        85909 | (35/436)
c 	| 31.16   16.23  |  43/69  | 364      2  0      nan  43      51  0      nan |       180409 | (43/436)
c 	| 65.41   34.25  |  42/69  | 364      2  0      nan  51      50  0      nan |       378859 | (51/436)
c 	| 137.06  71.65  |  41/69  | 364      2  0      nan  63      49  0      nan |       795604 | (63/436)
o 115
c 	| 286.09  149.03 |  39/69  | 364      2  0      nan  74      48  0      nan |      1670768 | (74/436)
c 	| 608.21  322.12 |  38/69  | 364      2  0      nan  80      48  0      nan |      3508615 | (80/436)
o 114
1801.720u 22.578s 30:29.17 99.7%	0+0k 0+0io 3pf+0w