Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_industrial-_home_jplanes_evaluation_benchmarks_partial_industrial_bcp-msp_normalized-ii8a2.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii8a2.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: 360 vars 1340 clauses
c 165 variables cloned. 1541 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 :normalized-ii8a2.wcnf.clone_ls_out.194409092.txt
c ===========================
o 156
c Initial LB: 21
o 154
o 153
c 	| 0.19    0.19   |  79/165 | 980      2  0      nan  0      nan  4        6 |         2102 | (4/446)
c 	| 0.42    0.23   |  40/165 | 980      2  0      nan  5       80  39      16 |         4416 | (44/446)
c 	| 0.83    0.41   |  39/165 | 980      2  0      nan  12      60  46      17 |         9276 | (58/446)
c 	| 1.58    0.75   |  59/165 | 980      2  0      nan  21      61  46      17 |        19480 | (67/446)
o 152
c 	| 3.22    1.64   |  51/165 | 980      2  0      nan  27      61  50      19 |        40908 | (77/446)
c 	| 6.81    3.59   |  46/165 | 980      2  0      nan  33      61  71      26 |        85909 | (104/446)
c 	| 14.56   7.75   |  38/165 | 980      2  2       82  45      62  141     34 |       180409 | (188/446)
c 	| 33.03   18.47  |  33/165 | 980      2  4       82  52      61  245     39 |       378859 | (301/446)
c 	| 80.51   47.48  |  31/165 | 980      2  82      80  107     59  1154    44 |       795604 | (463/539)
c 	| 194.13  113.62 |  30/165 | 980      2  577     72  286     55  3245    46 |      1670768 | (649/951)
c 	| 381.02  186.89 |  29/165 | 980      2  1567    78  882     56  10007   47 |      3508615 | (1441/2462)
o 151
c 	| 798.32  417.30 |  28/165 | 980      2  3556    79  2391    51  23014   48 |      7368092 | (3890/5272)
o 150
o 149
o 148
1783.465u 41.841s 30:28.98 99.7%	0+0k 0+0io 3pf+0w