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-ii32b3.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii32b3.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: 696 vars 6778 clauses
c 419 variables cloned. 24451 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-ii32b3.wcnf.clone_ls_out.465576003.txt
c ===========================
o 1740
c Initial LB: 61
o 344
o 343
o 342
o 341
c 	| 5.56    5.56   | 122/419 | 6082     5  3      139  1      138  406     77 |         2102 | (410/2259)
o 340
o 339
c 	| 26.88   21.32  |  81/419 | 6082     5  7      131  12     114  3190    49 |         4416 | (1807/2484)
o 338
c 	| 30.79   3.91   |  78/419 | 6082     5  23     128  25      99  3199    49 |         9276 | (1845/2484)
o 337
c 	| 38.56   7.77   |  76/419 | 6082     5  48     129  61      90  3216    49 |        19480 | (1923/2484)
o 336
c 	| 54.86   16.30  |  74/419 | 6082     5  78     129  101     87  3235    49 |        40908 | (2012/2484)
o 335
c 	| 88.41   33.55  |  71/419 | 6082     5  117    130  164     86  3245    49 |        85909 | (2124/2484)
o 334
o 333
c 	| 159.65  71.24  |  63/419 | 6082     5  216    127  344     80  3261    49 |       180409 | (2419/2484)
o 332
c 	| 307.24  147.59 |  61/419 | 6082     5  497    143  949     84  3288    49 |       378859 | (2129/2732)
o 331