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-ii32d1.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii32d1.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: 664 vars 3699 clauses
c 300 variables cloned. 6229 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-ii32d1.wcnf.clone_ls_out.1208885056.txt
c ===========================
o 319
c Initial LB: 147
o 318
c 	| 1.38    1.38   |  18/300 | 3035     3  120     32  20      65  385     48 |         2102 | (525/1233)
o 295
o 294
c 	| 42.29   40.91  |  80/300 | 3035     3  120     32  26      63  18411   60 |         4416 | (3155/4250)
c 	| 43.61   1.32   |  99/300 | 3035     3  120     32  31      69  18425   60 |         9276 | (3174/4250)
c 	| 60.37   16.76  |  73/300 | 3035     3  120     32  34      73  25157   61 |        19480 | (2956/5656)
o 289
o 288
c 	| 116.13  55.76  |  55/300 | 3035     3  151     36  45      82  44978   61 |        40908 | (5705/9106)
c 	| 188.67  72.54  |  64/300 | 3035     3  1143    48  281     92  58762   61 |        85909 | (5759/12118)
c 	| 265.40  76.73  |  59/300 | 3035     3  5418    37  1943   114  69531   61 |       180409 | (9802/14661)
o 287
o 286
1826.078u 6.204s 30:34.97 99.8%	0+0k 0+0io 3pf+0w