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_C500_8.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/lo/file_rwms_wcnf_L2_V100_C500_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 500 clauses
c 37 variables cloned. 450 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_C500_8.wcnf.clone_ls_out.1568947721.txt
c ===========================
o 217
c Initial LB: 5
c 	| 0.43    0.43   |  22/37  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/166)
c 	| 0.90    0.47   |  21/37  | 0      nan  0      nan  4       24  0      nan |         4416 | (4/166)
o 214
c 	| 1.89    0.99   |  19/37  | 0      nan  0      nan  9       23  0      nan |         9276 | (9/166)
c 	| 3.99    2.10   |  18/37  | 0      nan  0      nan  16      23  0      nan |        19480 | (16/166)
c 	| 8.61    4.62   |  15/37  | 0      nan  0      nan  22      22  0      nan |        40908 | (22/166)
o 213
o 212
o 211
o 210
o 209
o 208
o 207
o 204
c 	| 18.31   9.70   |  12/37  | 0      nan  0      nan  27      22  0      nan |        85909 | (27/166)
c 	| 38.64   20.33  |  10/37  | 0      nan  0      nan  33      21  0      nan |       180409 | (33/166)
c 	| 81.90   43.26  |   7/37  | 0      nan  0      nan  42      20  0      nan |       378859 | (42/166)
c 	| 171.82  89.92  |   6/37  | 0      nan  0      nan  49      19  0      nan |       795604 | (49/166)
c 	| 358.86  187.04 |   4/37  | 0      nan  0      nan  60      18  0      nan |      1670768 | (60/166)
o 202
o 201
o 200
1803.436u 18.771s 30:22.78 99.9%	0+0k 0+0io 3pf+0w