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_6.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_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 1500 clauses
c 101 variables cloned. 2089 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_6.wcnf.clone_ls_out.1577639702.txt
c ===========================
o 1289
c Initial LB: 1
c 	| 0.22    0.22   |  39/101 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/500)
c 	| 0.46    0.24   |  37/101 | 150      2  0      nan  5       41  0      nan |         4416 | (5/500)
c 	| 0.95    0.49   |  34/101 | 150      2  0      nan  10      41  0      nan |         9276 | (10/500)
c 	| 1.99    1.04   |  32/101 | 150      2  0      nan  12      41  0      nan |        19480 | (12/500)
c 	| 4.14    2.15   |  31/101 | 150      2  0      nan  19      41  0      nan |        40908 | (19/500)
c 	| 8.65    4.51   |  30/101 | 150      2  0      nan  26      40  0      nan |        85909 | (26/500)
c 	| 18.18   9.53   |  30/101 | 150      2  0      nan  31      39  0      nan |       180409 | (31/500)
c 	| 38.24   20.06  |  29/101 | 150      2  0      nan  40      39  0      nan |       378859 | (40/500)
c 	| 80.24   42.00  |  28/101 | 150      2  0      nan  49      38  0      nan |       795604 | (49/500)
o 1288
o 1284
o 1281
c 	| 168.29  88.05  |  27/101 | 150      2  0      nan  58      37  0      nan |      1670768 | (58/500)
o 1280
o 1272
o 1269
c 	| 351.98  183.69 |  25/101 | 150      2  0      nan  70      36  0      nan |      3508615 | (70/500)
o 1264
o 1261
o 1260
o 1259
o 1253
o 1250
c 	| 733.58  381.60 |  23/101 | 150      2  0      nan  76      36  0      nan |      7368092 | (76/500)
o 1248
o 1245
1784.995u 39.966s 30:27.75 99.8%	0+0k 0+0io 3pf+0w