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.300.195569.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195569.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 450 clauses
c 64 variables cloned. 508 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.300.195569.cnf.wcnf.clone_ls_out.861088047.txt
c ===========================
o 29
c Initial LB: 3
c 	| 0.28    0.28   |  19/64  | 300      3  13      27  8       29  6       22 |         2102 | (27/150)
c 	| 0.56    0.28   |  18/64  | 300      3  21      26  19      26  13      19 |         4416 | (53/150)
c 	| 1.20    0.64   |  16/64  | 300      3  32      26  37      24  13      19 |         9276 | (82/150)
c 	| 2.48    1.28   |  14/64  | 300      3  89      25  81      26  14      19 |        19480 | (109/165)
c 	| 4.84    2.36   |  15/64  | 300      3  323     25  262     28  21      20 |        40908 | (170/239)
c 	| 9.88    5.04   |  13/64  | 300      3  883     25  530     28  50      20 |        85909 | (335/381)
c 	| 20.70   10.82  |  12/64  | 300      3  1926    26  1181    28  94      20 |       180409 | (651/672)
c 	| 43.73   23.03  |  11/64  | 300      3  3979    26  2185    28  238     22 |       378859 | (83/1306)
c 	| 92.98   49.25  |  10/64  | 300      3  6071    26  3295    27  400     20 |       795604 | (871/1736)
o 28
1790.233u 32.536s 30:27.13 99.7%	0+0k 0+0io 3pf+0w