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_san200_0.7_1.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/san200_0.7_1.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: 200 vars 6170 clauses
c 94 variables cloned. 5866 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 :san200_0.7_1.clq.wcnf.clone_ls_out.229608597.txt
c ===========================
o 185
c Initial LB: 90
o 184
o 183
o 182
c 	| 0.68    0.68   |  76/94  | 5970     2  0      nan  0      nan  0      nan |         2102 | (0/2056)
c 	| 1.24    0.56   |  73/94  | 5970     2  0      nan  3       80  0      nan |         4416 | (3/2056)
o 181
o 180
c 	| 2.36    1.12   |  69/94  | 5970     2  0      nan  7       78  0      nan |         9276 | (7/2056)
o 179
c 	| 4.53    2.17   |  64/94  | 5970     2  0      nan  10      76  0      nan |        19480 | (10/2056)
c 	| 8.81    4.28   |  60/94  | 5970     2  0      nan  13      76  0      nan |        40908 | (13/2056)
c 	| 17.15   8.34   |  56/94  | 5970     2  0      nan  17      73  0      nan |        85909 | (17/2056)
c 	| 33.14   15.99  |  53/94  | 5970     2  0      nan  23      69  0      nan |       180409 | (23/2056)
o 178
c 	| 66.71   33.57  |  50/94  | 5970     2  0      nan  29      68  0      nan |       378859 | (29/2056)
c 	| 136.23  69.52  |  47/94  | 5970     2  0      nan  33      66  0      nan |       795604 | (33/2056)
c 	| 281.44  145.21 |  44/94  | 5970     2  0      nan  42      63  0      nan |      1670768 | (42/2056)
c 	| 578.99  297.55 |  42/94  | 5970     2  0      nan  50      61  0      nan |      3508615 | (50/2056)
o 177
1809.802u 20.865s 30:31.20 99.9%	0+0k 0+0io 3pf+0w