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_2.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_70_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 1308 clauses
c 79 variables cloned. 1833 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_2.wcsp.wcnf.clone_ls_out.207876561.txt
c ===========================
o 94
c Initial LB: 0
c 	| 0.82    0.82   |  59/79  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/436)
c 	| 1.67    0.85   |  58/79  | 364      2  0      nan  5       61  0      nan |         4416 | (5/436)
c 	| 3.41    1.74   |  57/79  | 364      2  0      nan  11      60  0      nan |         9276 | (11/436)
c 	| 7.04    3.63   |  55/79  | 364      2  0      nan  20      59  0      nan |        19480 | (20/436)
c 	| 14.51   7.47   |  54/79  | 364      2  0      nan  28      59  0      nan |        40908 | (28/436)
c 	| 30.53   16.02  |  53/79  | 364      2  0      nan  34      59  0      nan |        85909 | (34/436)
c 	| 64.03   33.50  |  51/79  | 364      2  0      nan  41      58  0      nan |       180409 | (41/436)
o 93
o 92
c 	| 136.33  72.30  |  50/79  | 364      2  0      nan  48      58  0      nan |       378859 | (48/436)
c 	| 291.69  155.36 |  48/79  | 364      2  0      nan  56      58  0      nan |       795604 | (56/436)
c 	| 611.43  319.74 |  47/79  | 364      2  0      nan  66      57  0      nan |      1670768 | (66/436)
o 91
1811.107u 13.678s 30:28.36 99.8%	0+0k 0+0io 3pf+0w