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_wmax3sat_lo_file_rwms_wcnf_L3_V70_C500_4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C500_4.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: 70 vars 500 clauses
c 47 variables cloned. 1074 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_L3_V70_C500_4.wcnf.clone_ls_out.2028904776.txt
c ===========================
o 40
c Initial LB: 0
c 	| 0.33    0.33   |  15/47  | 0      nan  0      nan  1       24  0      nan |         2102 | (2/166)
c 	| 0.71    0.38   |  14/47  | 0      nan  0      nan  6       20  0      nan |         4416 | (8/166)
c 	| 1.52    0.81   |  14/47  | 0      nan  0      nan  16      21  0      nan |         9276 | (25/166)
c 	| 3.18    1.66   |  12/47  | 0      nan  1       24  43      21  0      nan |        19480 | (77/166)
c 	| 6.69    3.51   |  10/47  | 0      nan  2       20  117     20  0      nan |        40908 | (129/182)
c 	| 13.50   6.81   |   8/47  | 0      nan  36      15  426     19  3       14 |        85909 | (271/292)
c 	| 27.62   14.12  |   7/47  | 0      nan  140     15  1037    19  31      15 |       180409 | (367/565)
c 	| 59.38   31.76  |   6/47  | 0      nan  293     15  2098    19  78      14 |       378859 | (684/998)
c 	| 125.28  65.90  |   5/47  | 0      nan  483     15  3548    18  127     14 |       795604 | (805/1603)
c 	| 269.66  144.38 |   4/47  | 0      nan  966     15  7649    18  263     14 |      1670768 | (1604/3119)
c 	| 574.62  304.96 |   3/47  | 0      nan  1828    14  14220   17  539     13 |      3508615 | (2814/5021)
c 	| 1230.14 655.52 |   1/47  | 0      nan  3956    14  27035   17  1141    13 |      7368092 | (2442/8893)
o 39
1798.582u 24.133s 30:22.93 99.9%	0+0k 0+0io 3pf+0w