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_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C600_0.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 51 variables cloned. 1345 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_0.wcnf.clone_ls_out.2053632080.txt
c ===========================
o 81
c Initial LB: 0
c 	| 0.32    0.32   |  26/51  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/200)
c 	| 0.69    0.37   |  25/51  | 0      nan  0      nan  4       32  0      nan |         4416 | (4/200)
c 	| 1.44    0.75   |  24/51  | 0      nan  0      nan  9       31  0      nan |         9276 | (9/200)
c 	| 2.99    1.55   |  23/51  | 0      nan  0      nan  14      30  0      nan |        19480 | (14/200)
c 	| 6.18    3.19   |  21/51  | 0      nan  0      nan  19      30  0      nan |        40908 | (19/200)
c 	| 13.06   6.88   |  20/51  | 0      nan  0      nan  26      28  0      nan |        85909 | (26/200)
o 80
o 77
c 	| 27.34   14.28  |  19/51  | 0      nan  0      nan  30      28  0      nan |       180409 | (30/200)
o 76
o 74
o 73
c 	| 57.49   30.15  |  16/51  | 0      nan  0      nan  40      26  0      nan |       378859 | (40/200)
c 	| 120.33  62.84  |  13/51  | 0      nan  0      nan  62      25  0      nan |       795604 | (79/200)
c 	| 254.32  133.99 |  12/51  | 0      nan  1       21  84      24  0      nan |      1670768 | (124/200)
o 71
c 	| 531.02  276.70 |  10/51  | 0      nan  6       20  349     22  1       18 |      3508615 | (247/292)
o 70
1790.175u 32.815s 30:23.33 99.9%	0+0k 0+0io 3pf+0w