Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXCLIQUE_STRUCTURED_MANN_a81.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/MANN_a81.clq.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: 3321 vars 9801 clauses
c 73 variables cloned. 2920 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 :MANN_a81.clq.wcnf.clone_ls_out.718465853.txt
c ===========================
o 2247
c Initial LB: 2160
o 2233
o 2232
o 2231
o 2230
o 2229
c 	| 0.99    0.99   |  62/73  | 6480     2  0      nan  0      nan  0      nan |         2102 | (0/3267)
c 	| 1.99    1.00   |  61/73  | 6480     2  0      nan  8       63  0      nan |         4416 | (8/3267)
c 	| 4.06    2.07   |  60/73  | 6480     2  0      nan  14      64  0      nan |         9276 | (14/3267)
c 	| 8.39    4.33   |  58/73  | 6480     2  0      nan  24      63  0      nan |        19480 | (24/3267)
c 	| 17.49   9.10   |  57/73  | 6480     2  0      nan  28      63  0      nan |        40908 | (28/3267)
c 	| 36.45   18.96  |  56/73  | 6480     2  0      nan  37      62  0      nan |        85909 | (37/3267)
c 	| 76.22   39.77  |  55/73  | 6480     2  0      nan  46      62  0      nan |       180409 | (46/3267)
c 	| 159.91  83.69  |  54/73  | 6480     2  0      nan  55      62  0      nan |       378859 | (55/3267)
c 	| 336.11  176.20 |  52/73  | 6480     2  0      nan  66      61  0      nan |       795604 | (66/3267)
c 	| 706.15  370.04 |  51/73  | 6480     2  0      nan  73      61  0      nan |      1670768 | (73/3267)
o 2228
1822.888u 10.824s 30:34.35 99.9%	0+0k 0+0io 3pf+0w