Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_hamming8-4.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/hamming8-4.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: 43 vars 994 clauses
c 28 variables cloned. 1354 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 :hamming8-4.clq.wcnf.clone_ls_out.1988851790.txt
c ===========================
o 983
c Initial LB: 42
c 	| 0.44    0.44   |  16/28  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/331)
c 	| 0.93    0.49   |  15/28  | 0      nan  0      nan  6       19  0      nan |         4416 | (6/331)
c 	| 1.98    1.05   |  14/28  | 0      nan  0      nan  10      18  0      nan |         9276 | (10/331)
c 	| 4.13    2.15   |  12/28  | 0      nan  0      nan  17      17  0      nan |        19480 | (17/331)
o 974
c 	| 8.70    4.57   |  12/28  | 0      nan  0      nan  20      18  0      nan |        40908 | (20/331)
o 961
c 	| 18.18   9.48   |  10/28  | 0      nan  0      nan  29      16  0      nan |        85909 | (29/331)
c 	| 38.10   19.92  |   9/28  | 0      nan  0      nan  34      16  0      nan |       180409 | (34/331)
c 	| 79.61   41.51  |   8/28  | 0      nan  0      nan  43      15  0      nan |       378859 | (43/331)
c 	| 166.87  87.26  |   7/28  | 0      nan  0      nan  52      15  0      nan |       795604 | (52/331)
c 	| 348.76  181.89 |   5/28  | 0      nan  0      nan  63      14  0      nan |      1670768 | (63/331)
o 958
c 	| 731.30  382.54 |   4/28  | 0      nan  0      nan  72      13  0      nan |      3508615 | (72/331)
o 949
o 917
1800.411u 23.045s 30:25.10 99.9%	0+0k 0+0io 129pf+0w