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_C1500_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_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 1500 clauses
c 111 variables cloned. 2253 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_C1500_H150_0.wcnf.clone_ls_out.575382896.txt
c ===========================
o 1272
c Initial LB: 0
c 	| 0.21    0.21   |  56/111 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/500)
c 	| 0.44    0.23   |  54/111 | 150      2  0      nan  5       62  0      nan |         4416 | (5/500)
c 	| 0.91    0.47   |  53/111 | 150      2  0      nan  9       62  0      nan |         9276 | (9/500)
c 	| 1.90    0.99   |  51/111 | 150      2  0      nan  14      61  0      nan |        19480 | (14/500)
c 	| 3.96    2.06   |  50/111 | 150      2  0      nan  20      59  0      nan |        40908 | (20/500)
c 	| 8.32    4.36   |  48/111 | 150      2  0      nan  25      58  0      nan |        85909 | (25/500)
c 	| 17.52   9.20   |  46/111 | 150      2  0      nan  30      57  0      nan |       180409 | (30/500)
c 	| 36.72   19.20  |  45/111 | 150      2  0      nan  36      57  0      nan |       378859 | (36/500)
c 	| 76.84   40.12  |  44/111 | 150      2  0      nan  45      55  0      nan |       795604 | (45/500)
c 	| 161.33  84.49  |  43/111 | 150      2  0      nan  52      54  0      nan |      1670768 | (52/500)
c 	| 337.94  176.61 |  42/111 | 150      2  0      nan  63      53  0      nan |      3508615 | (63/500)
o 1271
o 1270
c 	| 709.15  371.21 |  41/111 | 150      2  0      nan  73      53  0      nan |      7368092 | (73/500)
o 1268
o 1263
o 1262
1774.109u 50.950s 30:25.15 99.9%	0+0k 0+0io 3pf+0w