Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_hi_file_rwms_wcnf_L2_V100_C700_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C700_3.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: 100 vars 700 clauses
c 51 variables cloned. 777 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 :file_rwms_wcnf_L2_V100_C700_3.wcnf.clone_ls_out.714071104.txt
c ===========================
o 425
c Initial LB: 4
o 419
c 	| 0.45    0.45   |  36/51  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/233)
c 	| 0.94    0.49   |  34/51  | 0      nan  0      nan  7       37  0      nan |         4416 | (7/233)
c 	| 1.97    1.03   |  32/51  | 0      nan  0      nan  13      37  0      nan |         9276 | (13/233)
c 	| 4.00    2.03   |  31/51  | 0      nan  0      nan  20      36  0      nan |        19480 | (20/233)
o 414
1800.607u 22.461s 30:28.21 99.7%	0+0k 0+0io 117pf+0w