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_C2000_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/lo/file_rpms_wcnf_L2_V150_C2000_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 2000 clauses
c 112 variables cloned. 2999 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_C2000_H150_0.wcnf.clone_ls_out.1167071817.txt
c ===========================
o 375
c Initial LB: 1
o 373
c 	| 0.32    0.32   |  56/112 | 150      2  0      nan  0      nan  1        1 |         2102 | (0/666)
c 	| 0.67    0.35   |  54/112 | 150      2  0      nan  4       58  1        1 |         4416 | (4/666)
o 372
c 	| 1.38    0.71   |  53/112 | 150      2  0      nan  10      58  1        1 |         9276 | (10/666)
c 	| 2.89    1.51   |  52/112 | 150      2  0      nan  15      57  1        1 |        19480 | (15/666)
o 369
o 368
c 	| 6.03    3.14   |  50/112 | 150      2  0      nan  19      56  1        1 |        40908 | (19/666)
o 366
o 364
c 	| 12.73   6.70   |  47/112 | 150      2  0      nan  24      55  1        1 |        85909 | (24/666)
o 363
1791.828u 34.748s 30:27.06 99.9%	0+0k 0+0io 3pf+0w