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_60_5.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_60_5.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 1297 clauses
c 81 variables cloned. 2111 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_60_5.wcsp.wcnf.clone_ls_out.1553012607.txt
c ===========================
o 77
c Initial LB: 0
c 	| 0.78    0.78   |  59/81  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/432)
c 	| 1.57    0.79   |  58/81  | 364      2  0      nan  4       64  0      nan |         4416 | (4/432)
c 	| 3.27    1.70   |  57/81  | 364      2  0      nan  8       63  0      nan |         9276 | (8/432)
c 	| 6.64    3.37   |  56/81  | 364      2  0      nan  14      62  0      nan |        19480 | (14/432)
c 	| 13.83   7.19   |  55/81  | 364      2  0      nan  20      61  0      nan |        40908 | (20/432)
c 	| 29.15   15.32  |  52/81  | 364      2  0      nan  29      60  0      nan |        85909 | (29/432)
o 76
c 	| 60.26   31.11  |  51/81  | 364      2  0      nan  36      60  0      nan |       180409 | (36/432)
c 	| 127.70  67.44  |  50/81  | 364      2  0      nan  42      60  0      nan |       378859 | (42/432)
c 	| 268.63  140.93 |  49/81  | 364      2  0      nan  48      59  0      nan |       795604 | (48/432)
o 75
c 	| 559.75  291.12 |  47/81  | 364      2  0      nan  56      58  0      nan |      1670768 | (56/432)
o 74
1811.832u 13.298s 30:29.57 99.7%	0+0k 0+0io 3pf+0w