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_lo_file_rwpms_wcnf_L2_V150_C2000_H150_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C2000_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 2000 clauses
c 121 variables cloned. 3255 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_C2000_H150_6.wcnf.clone_ls_out.1404706646.txt
c ===========================
o 1999
c Initial LB: 0
c 	| 0.25    0.25   |  57/121 | 150      2  0      nan  0      nan  2        1 |         2102 | (0/666)
c 	| 0.50    0.25   |  55/121 | 150      2  0      nan  5       57  2        1 |         4416 | (5/666)
c 	| 1.02    0.52   |  54/121 | 150      2  0      nan  10      59  2        1 |         9276 | (10/666)
c 	| 2.11    1.09   |  52/121 | 150      2  0      nan  17      58  2        1 |        19480 | (17/666)
c 	| 4.38    2.27   |  51/121 | 150      2  0      nan  22      58  2        1 |        40908 | (22/666)
c 	| 9.09    4.71   |  50/121 | 150      2  0      nan  27      58  2        1 |        85909 | (27/666)
c 	| 18.97   9.88   |  49/121 | 150      2  0      nan  34      57  2        1 |       180409 | (34/666)
c 	| 39.79   20.82  |  48/121 | 150      2  0      nan  40      57  2        1 |       378859 | (40/666)
c 	| 83.39   43.60  |  47/121 | 150      2  0      nan  49      57  2        1 |       795604 | (49/666)
c 	| 175.09  91.70  |  46/121 | 150      2  0      nan  56      56  2        1 |      1670768 | (56/666)
c 	| 370.35  195.26 |  44/121 | 150      2  0      nan  65      55  2        1 |      3508615 | (65/666)
c 	| 783.87  413.52 |  43/121 | 150      2  0      nan  76      54  2        1 |      7368092 | (76/666)
o 1996
1790.999u 35.443s 30:29.10 99.8%	0+0k 0+0io 3pf+0w