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_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C700_8.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 47 variables cloned. 752 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_8.wcnf.clone_ls_out.1510913638.txt
c ===========================
o 427
c Initial LB: 1
c 	| 0.67    0.67   |  29/47  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/233)
c 	| 1.39    0.72   |  27/47  | 0      nan  0      nan  7       32  0      nan |         4416 | (7/233)
c 	| 2.85    1.46   |  25/47  | 0      nan  0      nan  11      33  0      nan |         9276 | (11/233)
c 	| 5.99    3.14   |  25/47  | 0      nan  0      nan  17      33  0      nan |        19480 | (17/233)
c 	| 12.72   6.73   |  23/47  | 0      nan  0      nan  23      32  0      nan |        40908 | (23/233)
c 	| 26.59   13.87  |  21/47  | 0      nan  0      nan  31      30  0      nan |        85909 | (31/233)
c 	| 55.99   29.40  |  19/47  | 0      nan  0      nan  39      30  0      nan |       180409 | (39/233)
c 	| 118.71  62.72  |  19/47  | 0      nan  0      nan  45      30  0      nan |       378859 | (45/233)
c 	| 251.21  132.50 |  17/47  | 0      nan  0      nan  53      29  0      nan |       795604 | (53/233)
o 424
c 	| 529.58  278.37 |  16/47  | 0      nan  0      nan  63      28  0      nan |      1670768 | (63/233)
o 423
o 420
o 417
1807.640u 15.182s 30:26.68 99.7%	0+0k 0+0io 95pf+0w