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_70_4.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_70_4.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 1307 clauses
c 72 variables cloned. 1738 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_70_4.wcsp.wcnf.clone_ls_out.2047476247.txt
c ===========================
o 89
c Initial LB: 0
o 87
o 84
o 83
o 82
o 81
o 80
o 79
c 	| 0.74    0.74   |  50/72  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/435)
c 	| 1.56    0.82   |  49/72  | 364      2  0      nan  2       55  0      nan |         4416 | (2/435)
o 78
o 77
c 	| 3.27    1.71   |  47/72  | 364      2  0      nan  5       53  0      nan |         9276 | (5/435)
c 	| 6.81    3.54   |  46/72  | 364      2  0      nan  10      52  0      nan |        19480 | (10/435)
c 	| 14.36   7.55   |  44/72  | 364      2  0      nan  16      51  0      nan |        40908 | (16/435)
c 	| 30.57   16.21  |  43/72  | 364      2  0      nan  20      50  0      nan |        85909 | (20/435)
o 76
c 	| 63.79   33.22  |  42/72  | 364      2  0      nan  28      49  0      nan |       180409 | (28/435)
c 	| 136.29  72.50  |  40/72  | 364      2  0      nan  38      48  0      nan |       378859 | (38/435)
c 	| 284.66  148.37 |  39/72  | 364      2  0      nan  47      47  0      nan |       795604 | (47/435)
o 75
1810.484u 13.857s 1:00:51.37 49.9%	0+0k 0+0io 3pf+0w