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.350.558422.cnf.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.350.558422.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 500 clauses
c 74 variables cloned. 637 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.350.558422.cnf.wcnf.clone_ls_out.1142356024.txt
c ===========================
o 31
c Initial LB: 0
c 	| 0.26    0.26   |  29/74  | 350      3  33      27  57      41  2       20 |         2102 | (92/166)
c 	| 0.59    0.33   |  27/74  | 350      3  77      27  90      40  2       20 |         4416 | (88/182)
c 	| 1.19    0.60   |  24/74  | 350      3  132     27  171     39  2       20 |         9276 | (133/200)
c 	| 2.54    1.35   |  23/74  | 350      3  217     27  251     38  4       26 |        19480 | (203/220)
c 	| 5.37    2.83   |  22/74  | 350      3  404     27  403     37  19      25 |        40908 | (197/292)
c 	| 10.87   5.50   |  21/74  | 350      3  873     27  926     38  37      25 |        85909 | (317/468)
c 	| 22.70   11.83  |  19/74  | 350      3  1970    27  1835    37  114     24 |       180409 | (461/826)
o 30
1794.288u 28.519s 30:26.86 99.7%	0+0k 0+0io 3pf+0w