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_lo_file_rpms_wcnf_L2_V150_C1500_H150_3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/lo/file_rpms_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 100 variables cloned. 2081 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_C1500_H150_3.wcnf.clone_ls_out.529752533.txt
c ===========================
o 258
c Initial LB: 0
c 	| 0.29    0.29   |  47/100 | 150      2  0      nan  0      nan  0      nan |         2102 | (0/500)
c 	| 0.62    0.33   |  45/100 | 150      2  0      nan  5       51  0      nan |         4416 | (5/500)
c 	| 1.28    0.66   |  44/100 | 150      2  0      nan  8       50  0      nan |         9276 | (8/500)
c 	| 2.66    1.38   |  42/100 | 150      2  0      nan  14      49  0      nan |        19480 | (14/500)
c 	| 5.57    2.91   |  40/100 | 150      2  0      nan  20      48  0      nan |        40908 | (20/500)
c 	| 11.70   6.13   |  38/100 | 150      2  0      nan  27      48  0      nan |        85909 | (27/500)
o 257
c 	| 24.39   12.69  |  37/100 | 150      2  0      nan  33      48  0      nan |       180409 | (33/500)
c 	| 51.33   26.94  |  36/100 | 150      2  0      nan  42      47  0      nan |       378859 | (42/500)
c 	| 107.84  56.51  |  34/100 | 150      2  0      nan  50      46  0      nan |       795604 | (50/500)
c 	| 227.67  119.83 |  32/100 | 150      2  0      nan  61      45  0      nan |      1670768 | (61/500)
o 256
o 255
c 	| 479.56  251.89 |  31/100 | 150      2  0      nan  69      44  0      nan |      3508615 | (69/500)
o 254
o 253
o 252
o 250
o 249
1796.719u 28.469s 30:26.61 99.9%	0+0k 0+0io 130pf+0w