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_MAXONE_3SAT_cnf3.150.250.832715.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.250.832715.cnf.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: 150 vars 400 clauses
c 58 variables cloned. 396 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 :cnf3.150.250.832715.cnf.wcnf.clone_ls_out.148874159.txt
c ===========================
o 25
c Initial LB: 5
c 	| 0.25    0.25   |  21/58  | 250      3  0      nan  0      nan  1        3 |         2102 | (1/133)
c 	| 0.53    0.28   |  20/58  | 250      3  0      nan  4       26  1        3 |         4416 | (5/133)
c 	| 1.11    0.58   |  18/58  | 250      3  1       24  11      26  1        3 |         9276 | (13/133)
c 	| 2.27    1.16   |  17/58  | 250      3  1       24  19      24  2       14 |        19480 | (22/133)
c 	| 4.88    2.61   |  16/58  | 250      3  4       24  27      23  3       16 |        40908 | (34/133)
c 	| 10.59   5.71   |  16/58  | 250      3  21      24  38      23  3       16 |        85909 | (62/133)
c 	| 22.72   12.13  |  15/58  | 250      3  81      24  93      26  12      17 |       180409 | (118/146)
o 24
1789.030u 33.481s 30:22.54 99.9%	0+0k 0+0io 3pf+0w