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_lo_file_rwms_wcnf_L2_V100_C600_5.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C600_5.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 600 clauses
c 48 variables cloned. 631 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_C600_5.wcnf.clone_ls_out.1179712422.txt
c ===========================
o 306
c Initial LB: 6
o 299
o 295
o 291
o 290
c 	| 0.33    0.33   |  32/48  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
o 289
c 	| 0.70    0.37   |  30/48  | 0      nan  0      nan  5       33  0      nan |         4416 | (5/200)
c 	| 1.47    0.77   |  27/48  | 0      nan  0      nan  11      32  0      nan |         9276 | (11/200)
c 	| 3.06    1.59   |  25/48  | 0      nan  0      nan  15      32  0      nan |        19480 | (15/200)
c 	| 6.45    3.39   |  22/48  | 0      nan  0      nan  22      31  0      nan |        40908 | (22/200)
c 	| 13.65   7.20   |  20/48  | 0      nan  0      nan  28      30  0      nan |        85909 | (28/200)
c 	| 29.09   15.44  |  19/48  | 0      nan  0      nan  31      30  0      nan |       180409 | (31/200)
o 288
o 287
c 	| 61.31   32.22  |  18/48  | 0      nan  0      nan  36      30  0      nan |       378859 | (36/200)
c 	| 128.35  67.04  |  16/48  | 0      nan  0      nan  44      28  0      nan |       795604 | (44/200)
o 286
1792.277u 30.224s 30:24.05 99.9%	0+0k 0+0io 3pf+0w