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_40_5.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/min-enc/kbtree/kbtree9_7_3_5_40_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 1231 clauses
c 81 variables cloned. 2490 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_40_5.wcsp.wcnf.clone_ls_out.1406918482.txt
c ===========================
o 36
c Initial LB: 0
c 	| 0.86    0.86   |  58/81  | 364      2  0      nan  0      nan  0      nan |         2102 | (0/410)
c 	| 1.80    0.94   |  56/81  | 364      2  0      nan  7       60  0      nan |         4416 | (7/410)
c 	| 3.64    1.84   |  55/81  | 364      2  0      nan  9       60  0      nan |         9276 | (9/410)
c 	| 7.65    4.01   |  53/81  | 364      2  0      nan  13      59  0      nan |        19480 | (13/410)
c 	| 15.89   8.24   |  52/81  | 364      2  0      nan  18      58  0      nan |        40908 | (18/410)
c 	| 33.71   17.82  |  50/81  | 364      2  0      nan  23      57  0      nan |        85909 | (23/410)
c 	| 68.62   34.91  |  49/81  | 364      2  0      nan  31      57  0      nan |       180409 | (31/410)
c 	| 144.90  76.28  |  48/81  | 364      2  0      nan  39      56  0      nan |       378859 | (39/410)
c 	| 304.94  160.04 |  46/81  | 364      2  0      nan  45      55  0      nan |       795604 | (45/410)
o 35
1813.737u 11.126s 30:25.25 99.9%	0+0k 0+0io 3pf+0w