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_10tree930p.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_industrial/pbo-mqc/nlogencdr/10tree930p.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: 4680 vars 16934 clauses
c 528 variables cloned. 12591 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 :10tree930p.wcnf.clone_ls_out.1157967170.txt
c ===========================
o 57903
c Initial LB: 0
o 140
o 137
o 136
o 135
o 131
o 130
o 128
o 127
o 126
c 	| 8.24    8.24   |  15/528 | 16724    3  63     137  21      21  532     28 |         2102 | (618/5644)
o 122
o 121
o 119
c 	| 15.31   7.07   |  14/528 | 16724    3  87     135  33      21  835     32 |         4416 | (957/5644)
c 	| 29.21   13.90  |  13/528 | 16724    3  141    132  64      20  1302    29 |         9276 | (1513/5644)
o 115
o 114
o 113
o 112
c 	| 55.91   26.70  |  13/528 | 16724    3  242    128  98      20  2052    29 |        19480 | (2403/5644)
o 111
o 109
o 108
o 104
c 	| 115.25  59.34  |  12/528 | 16724    3  411    123  160     20  3347    27 |        40908 | (3942/5644)
o 101
o 100
o 99
o 98
o 94
c 	| 233.82  118.57 |  12/528 | 16724    3  953    115  317     20  6011    24 |        85909 | (4517/6208)
o 92
o 89
o 88
o 83
o 80
c 	| 473.61  239.79 |  12/528 | 16724    3  1712   109  553     20  8742    24 |       180409 | (5192/6828)
o 78
o 77
o 75
o 72
1872.671u 2.366s 31:19.38 99.7%	0+0k 0+0io 3pf+0w