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_C1000_H150_0.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_random/pmax2sat/lo/file_rpms_wcnf_L2_V150_C1000_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 1000 clauses
c 79 variables cloned. 1129 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_C1000_H150_0.wcnf.clone_ls_out.1327686122.txt
c ===========================
o 137
c Initial LB: 3
c 	| 0.34    0.34   |  27/79  | 150      2  0      nan  0      nan  0      nan |         2102 | (0/333)
c 	| 0.72    0.38   |  27/79  | 150      2  0      nan  2       32  0      nan |         4416 | (2/333)
c 	| 1.51    0.79   |  26/79  | 150      2  0      nan  7       31  0      nan |         9276 | (7/333)
c 	| 3.13    1.62   |  24/79  | 150      2  0      nan  16      29  0      nan |        19480 | (16/333)
c 	| 6.56    3.43   |  24/79  | 150      2  0      nan  22      29  0      nan |        40908 | (22/333)
c 	| 13.64   7.08   |  22/79  | 150      2  0      nan  26      29  0      nan |        85909 | (26/333)
o 136
c 	| 28.88   15.24  |  21/79  | 150      2  0      nan  34      28  0      nan |       180409 | (34/333)
c 	| 60.27   31.39  |  20/79  | 150      2  0      nan  42      28  0      nan |       378859 | (42/333)
o 135
c 	| 127.20  66.93  |  19/79  | 150      2  0      nan  53      27  0      nan |       795604 | (53/333)
c 	| 265.49  138.29 |  17/79  | 150      2  0      nan  63      27  0      nan |      1670768 | (63/333)
o 134
o 133
o 132
c 	| 550.42  284.93 |  15/79  | 150      2  0      nan  72      26  0      nan |      3508615 | (72/333)
o 131
o 130
1797.123u 26.845s 30:24.56 99.9%	0+0k 0+0io 50pf+0w