Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_random-_home_jplanes_evaluation_benchmarks_partial_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_5.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 4500 clauses
c 128 variables cloned. 7695 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_rpms_wcnf_L2_V150_C4500_H150_5.wcnf.clone_ls_out.2057057743.txt
c ===========================
o 941
c Initial LB: 2
o 925
c 	| 0.63    0.63   |  72/128 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/1500)
o 924
c 	| 1.28    0.65   |  70/128 | 150      2  0      nan  5       75  0      nan |         4416 | (5/1500)
o 923
c 	| 2.60    1.32   |  69/128 | 150      2  0      nan  10      75  0      nan |         9276 | (10/1500)
c 	| 5.33    2.73   |  68/128 | 150      2  0      nan  14      74  0      nan |        19480 | (14/1500)
c 	| 11.02   5.69   |  66/128 | 150      2  0      nan  19      73  0      nan |        40908 | (19/1500)
o 922
c 	| 22.84   11.82  |  65/128 | 150      2  0      nan  24      73  0      nan |        85909 | (24/1500)
c 	| 47.78   24.94  |  64/128 | 150      2  0      nan  30      72  0      nan |       180409 | (30/1500)
c 	| 99.89   52.11  |  62/128 | 150      2  0      nan  41      71  0      nan |       378859 | (41/1500)
c 	| 209.28  109.39 |  61/128 | 150      2  0      nan  47      71  0      nan |       795604 | (47/1500)
c 	| 437.86  228.58 |  60/128 | 150      2  0      nan  54      71  0      nan |      1670768 | (54/1500)
c 	| 917.14  479.28 |  59/128 | 150      2  0      nan  63      70  0      nan |      3508615 | (63/1500)
o 921
1812.707u 16.714s 30:34.07 99.7%	0+0k 0+0io 101pf+0w