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_me_file_rwpms_wcnf_L2_V150_C3500_H150_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_6.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 3500 clauses
c 122 variables cloned. 5715 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_C3500_H150_6.wcnf.clone_ls_out.156506949.txt
c ===========================
o 3973
c Initial LB: 14
o 3972
c 	| 0.56    0.56   |  59/122 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/1166)
c 	| 1.15    0.59   |  58/122 | 150      2  0      nan  3       61  0      nan |         4416 | (3/1166)
c 	| 2.41    1.26   |  56/122 | 150      2  0      nan  9       61  0      nan |         9276 | (9/1166)
o 3967
o 3963
c 	| 5.07    2.66   |  54/122 | 150      2  0      nan  14      60  0      nan |        19480 | (14/1166)
o 3962
c 	| 10.41   5.34   |  53/122 | 150      2  0      nan  18      60  0      nan |        40908 | (18/1166)
c 	| 21.87   11.46  |  52/122 | 150      2  0      nan  25      60  0      nan |        85909 | (25/1166)
c 	| 45.99   24.12  |  51/122 | 150      2  0      nan  33      58  0      nan |       180409 | (33/1166)
c 	| 96.47   50.48  |  49/122 | 150      2  0      nan  43      57  0      nan |       378859 | (43/1166)
o 3960
o 3956
c 	| 203.10  106.63 |  48/122 | 150      2  0      nan  51      56  0      nan |       795604 | (51/1166)
c 	| 429.79  226.69 |  46/122 | 150      2  0      nan  56      56  0      nan |      1670768 | (56/1166)
c 	| 905.12  475.33 |  45/122 | 150      2  0      nan  65      55  0      nan |      3508615 | (65/1166)
o 3952
1811.838u 16.673s 30:29.30 99.9%	0+0k 0+0io 3pf+0w