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.9_3.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/san200_0.9_3.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 2190 clauses
c 116 variables cloned. 2436 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.9_3.clq.wcnf.clone_ls_out.151743300.txt
c ===========================
o 176
c Initial LB: 52
o 168
o 167
c 	| 0.26    0.26   | 100/116 | 1990     2  0      nan  0      nan  0      nan |         2102 | (0/730)
c 	| 0.52    0.26   |  98/116 | 1990     2  0      nan  6      104  0      nan |         4416 | (6/730)
c 	| 1.05    0.53   |  96/116 | 1990     2  0      nan  10     103  0      nan |         9276 | (10/730)
c 	| 2.16    1.11   |  94/116 | 1990     2  0      nan  16     102  0      nan |        19480 | (16/730)
c 	| 4.46    2.30   |  92/116 | 1990     2  0      nan  22     101  0      nan |        40908 | (22/730)
c 	| 9.36    4.90   |  89/116 | 1990     2  0      nan  28     100  0      nan |        85909 | (28/730)
o 166
c 	| 19.68   10.32  |  86/116 | 1990     2  0      nan  33      99  0      nan |       180409 | (33/730)
o 165
c 	| 41.51   21.83  |  82/116 | 1990     2  0      nan  39      99  0      nan |       378859 | (39/730)
o 164
1782.389u 43.063s 30:25.19 100.0%	0+0k 0+0io 3pf+0w