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_1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C600_1.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 49 variables cloned. 1298 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_1.wcnf.clone_ls_out.411024327.txt
c ===========================
o 71
c Initial LB: 0
c 	| 0.38    0.38   |  20/49  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
c 	| 0.80    0.42   |  17/49  | 0      nan  0      nan  4       23  0      nan |         4416 | (4/200)
c 	| 1.68    0.88   |  16/49  | 0      nan  0      nan  8       23  0      nan |         9276 | (8/200)
c 	| 3.50    1.82   |  15/49  | 0      nan  0      nan  14      22  0      nan |        19480 | (14/200)
c 	| 7.33    3.83   |  14/49  | 0      nan  0      nan  22      22  0      nan |        40908 | (23/200)
c 	| 15.34   8.01   |  12/49  | 0      nan  1       20  30      21  0      nan |        85909 | (32/200)
c 	| 32.15   16.81  |  13/49  | 0      nan  1       20  39      21  0      nan |       180409 | (45/200)
c 	| 68.05   35.90  |  11/49  | 0      nan  1       20  47      21  0      nan |       378859 | (57/200)
c 	| 140.39  72.34  |   9/49  | 0      nan  1       20  73      20  0      nan |       795604 | (105/200)
c 	| 297.69  157.30 |   8/49  | 0      nan  1       20  107     20  0      nan |      1670768 | (159/200)
c 	| 620.41  322.72 |   7/49  | 0      nan  3       20  192     20  0      nan |      3508615 | (127/242)
o 70
1799.258u 23.756s 30:27.44 99.7%	0+0k 0+0io 3pf+0w