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-ii32b1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii32b1.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: 456 vars 2058 clauses
c 201 variables cloned. 4528 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-ii32b1.wcnf.clone_ls_out.1781382071.txt
c ===========================
o 203
c Initial LB: 108
c 	| 2.74    2.74   |   8/201 | 1602     4  82      17  19      30  1288    49 |         2102 | (129/829)
o 199
o 198
o 197
o 194
c 	| 5.02    2.28   |  51/201 | 1602     4  128     38  44      53  1960    50 |         4416 | (412/911)
c 	| 10.15   5.13   |  47/201 | 1602     4  292     52  110     60  3261    51 |         9276 | (1021/1102)
c 	| 15.59   5.44   |  46/201 | 1602     4  751     54  249     65  4638    53 |        19480 | (1210/1466)
c 	| 34.28   18.69  |  43/201 | 1602     4  1234    47  419     65  8535    54 |        40908 | (1380/2359)
o 193
c 	| 87.40   53.12  |  41/201 | 1602     4  2101    39  753     66  16953   52 |        85909 | (1967/4175)
o 192
1818.889u 12.430s 30:34.06 99.8%	0+0k 0+0io 3pf+0w