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-ii8a4.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/bcp-msp/normalized-ii8a4.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: 792 vars 3986 clauses
c 133 variables cloned. 3695 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-ii8a4.wcnf.clone_ls_out.340199204.txt
c ===========================
o 327
c Initial LB: 50
c 	| 0.81    0.81   |  50/133 | 3194     3  134     60  16      56  74      30 |         2102 | (224/1328)
c 	| 1.92    1.11   |  25/133 | 3194     3  244     51  21      56  377     26 |         4416 | (642/1328)
c 	| 3.63    1.71   |  33/133 | 3194     3  511     48  34      49  416     26 |         9276 | (961/1328)
c 	| 7.14    3.51   |  32/133 | 3194     3  1104    46  74      44  499     26 |        19480 | (558/1460)
c 	| 16.13   8.99   |  24/133 | 3194     3  2187    42  152     41  1878    31 |        40908 | (754/1766)
c 	| 32.40   16.27  |  24/133 | 3194     3  4241    42  302     40  2471    31 |        85909 | (1712/2136)
c 	| 75.16   42.76  |  21/133 | 3194     3  8012    53  541     39  6348    32 |       180409 | (3129/3437)
c 	| 178.62  103.46 |  20/133 | 3194     3  8171    53  667     39  15938   30 |       378859 | (2561/5533)
c 	| 368.28  189.66 |  18/133 | 3194     3  17037   83  1524    39  19614   31 |       795604 | (6819/7363)
c 	| 823.63  455.35 |  17/133 | 3194     3  25886   71  2559    39  24942   30 |      1670768 | (4976/10777)
o 310
1819.356u 8.353s 30:31.46 99.7%	0+0k 0+0io 3pf+0w