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_C600_2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C600_2.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 600 clauses
c 50 variables cloned. 1319 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_C600_2.wcnf.clone_ls_out.645774943.txt
c ===========================
o 77
c Initial LB: 0
o 76
o 75
c 	| 0.42    0.42   |  30/50  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
c 	| 0.85    0.43   |  27/50  | 0      nan  0      nan  5       32  0      nan |         4416 | (5/200)
c 	| 1.72    0.87   |  25/50  | 0      nan  0      nan  8       32  0      nan |         9276 | (8/200)
o 74
o 73
c 	| 3.59    1.87   |  23/50  | 0      nan  0      nan  14      30  0      nan |        19480 | (14/200)
c 	| 7.39    3.80   |  22/50  | 0      nan  0      nan  20      30  0      nan |        40908 | (20/200)
o 72
c 	| 15.24   7.85   |  20/50  | 0      nan  0      nan  29      28  0      nan |        85909 | (29/200)
c 	| 31.58   16.34  |  17/50  | 0      nan  0      nan  38      27  0      nan |       180409 | (38/200)
c 	| 65.82   34.24  |  16/50  | 0      nan  0      nan  43      27  0      nan |       378859 | (43/200)
c 	| 138.08  72.26  |  14/50  | 0      nan  0      nan  70      25  0      nan |       795604 | (91/200)
o 66
1794.643u 28.340s 30:23.12 99.9%	0+0k 0+0io 3pf+0w