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.500.646986.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.500.646986.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 650 clauses
c 88 variables cloned. 1025 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.500.646986.cnf.wcnf.clone_ls_out.1217203129.txt
c ===========================
o 48
c Initial LB: 1
c 	| 0.36    0.36   |  15/88  | 500      3  38      35  7       27  454     17 |         2102 | (117/260)
c 	| 0.81    0.45   |  14/88  | 500      3  104     35  20      25  1044    17 |         4416 | (312/314)
c 	| 2.42    1.61   |  11/88  | 500      3  333     34  49      23  4391    16 |         9276 | (655/886)
c 	| 5.14    2.72   |   9/88  | 500      3  676     34  101     23  8968    16 |        19480 | (1480/1722)
c 	| 11.19   6.05   |   9/88  | 500      3  1376    34  206     23  19688   16 |        40908 | (3220/3688)
c 	| 23.85   12.66  |   6/88  | 500      3  2658    35  395     22  37954   16 |        85909 | (5510/7181)
c 	| 60.36   36.51  |   7/88  | 500      3  5043    34  856     22  84558   17 |       180409 | (13973/15387)
c 	| 145.15  84.79  |   5/88  | 500      3  9212    35  2121    22  149483   17 |       378859 | (25060/27254)
c 	| 749.00  603.85 |   4/88  | 500      3  16809   33  3673    22  437783   15 |       795604 | (70114/77750)
o 47
1817.420u 6.615s 30:27.04 99.8%	0+0k 0+0io 3pf+0w