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_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_3.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 109 variables cloned. 2234 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_3.wcnf.clone_ls_out.304753745.txt
c ===========================
o 1426
c Initial LB: 0
c 	| 0.21    0.21   |  46/109 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/500)
c 	| 0.43    0.22   |  45/109 | 150      2  0      nan  3       50  0      nan |         4416 | (3/500)
c 	| 0.89    0.46   |  44/109 | 150      2  0      nan  7       48  0      nan |         9276 | (7/500)
c 	| 1.84    0.95   |  42/109 | 150      2  0      nan  12      47  0      nan |        19480 | (12/500)
c 	| 3.85    2.01   |  40/109 | 150      2  0      nan  20      47  0      nan |        40908 | (20/500)
c 	| 8.07    4.22   |  38/109 | 150      2  0      nan  28      46  0      nan |        85909 | (28/500)
c 	| 17.02   8.95   |  37/109 | 150      2  0      nan  35      45  0      nan |       180409 | (35/500)
c 	| 35.75   18.73  |  34/109 | 150      2  0      nan  43      44  0      nan |       378859 | (43/500)
c 	| 74.88   39.13  |  34/109 | 150      2  0      nan  49      44  0      nan |       795604 | (49/500)
c 	| 157.21  82.33  |  32/109 | 150      2  0      nan  57      43  0      nan |      1670768 | (57/500)
c 	| 329.30  172.09 |  31/109 | 150      2  0      nan  66      43  0      nan |      3508615 | (66/500)
o 1424
o 1417
o 1415
o 1409
c 	| 690.13  360.83 |  29/109 | 150      2  0      nan  72      42  0      nan |      7368092 | (72/500)
o 1405
o 1403
o 1397
o 1396
o 1389
o 1387
c 	| 1449.77 759.64 |  28/109 | 150      2  0      nan  82      42  0      nan |     15472993 | (82/500)
o 1385
1776.281u 48.695s 30:29.14 99.7%	0+0k 0+0io 3pf+0w