Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_hi_file_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/hi/file_rwpms_wcnf_L2_V150_C4000_H150_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: 150 vars 4000 clauses
c 125 variables cloned. 6697 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_rwpms_wcnf_L2_V150_C4000_H150_0.wcnf.clone_ls_out.22966883.txt
c ===========================
o 4514
c Initial LB: 10
o 4451
o 4450
o 4442
c 	| 0.66    0.66   |  51/125 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/1333)
c 	| 1.33    0.67   |  50/125 | 150      2  0      nan  4       57  0      nan |         4416 | (4/1333)
c 	| 2.74    1.41   |  49/125 | 150      2  0      nan  9       55  0      nan |         9276 | (9/1333)
o 4435
c 	| 5.65    2.91   |  48/125 | 150      2  0      nan  15      54  0      nan |        19480 | (15/1333)
c 	| 11.86   6.21   |  46/125 | 150      2  0      nan  22      52  0      nan |        40908 | (22/1333)
c 	| 24.78   12.92  |  45/125 | 150      2  0      nan  29      52  0      nan |        85909 | (29/1333)
c 	| 52.31   27.53  |  44/125 | 150      2  0      nan  37      51  0      nan |       180409 | (37/1333)
c 	| 109.58  57.27  |  43/125 | 150      2  0      nan  46      50  0      nan |       378859 | (46/1333)
c 	| 230.66  121.08 |  42/125 | 150      2  0      nan  56      50  0      nan |       795604 | (56/1333)
c 	| 483.02  252.36 |  40/125 | 150      2  0      nan  68      49  0      nan |      1670768 | (68/1333)
o 4434
1814.381u 14.535s 30:33.45 99.7%	0+0k 0+0io 3pf+0w