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_pbo-mqc_nlogencdr_10tree320p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree320p.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: 4568 vars 16598 clauses
c 474 variables cloned. 12219 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 :10tree320p.wcnf.clone_ls_out.900801329.txt
c ===========================
o 60457
c Initial LB: 0
o 142
o 137
o 134
o 126
o 123
o 122
o 117
o 113
o 106
o 100
o 97
o 95
o 88
c 	| 6.07    6.07   |  13/474 | 16388    3  49     111  7       21  248     23 |         2102 | (308/5532)
o 83
c 	| 13.05   6.98   |  12/474 | 16388    3  112    104  38      19  455     20 |         4416 | (614/5532)
o 76
o 72
o 65
c 	| 25.36   12.31  |  12/474 | 16388    3  185     94  60      20  720     20 |         9276 | (979/5532)
c 	| 52.01   26.65  |  11/474 | 16388    3  289     86  81      19  1117    19 |        19480 | (1507/5532)
c 	| 104.06  52.05  |  11/474 | 16388    3  435     82  116     19  1726    20 |        40908 | (2305/5532)
c 	| 217.76  113.70 |   9/474 | 16388    3  582     80  138     19  2874    17 |        85909 | (3628/5532)
c 	| 446.14  228.38 |   8/474 | 16388    3  1100    76  207     18  4585    17 |       180409 | (3189/6085)
o 63
c 	| 950.46  504.32 |   8/474 | 16388    3  2028    76  363     17  10254   17 |       378859 | (3606/7362)
o 59
o 58
o 57
o 54
o 53
1876.038u 2.891s 31:23.03 99.7%	0+0k 0+0io 3pf+0w