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_brock400_3.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/brock400_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: 40 vars 1136 clauses
c 25 variables cloned. 1457 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 :brock400_3.clq.wcnf.clone_ls_out.1344729791.txt
c ===========================
o 1273
c Initial LB: 78
c 	| 0.66    0.66   |  14/25  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/378)
c 	| 1.36    0.70   |  13/25  | 0      nan  0      nan  4       18  0      nan |         4416 | (4/378)
c 	| 2.85    1.49   |  12/25  | 0      nan  0      nan  9       16  0      nan |         9276 | (9/378)
c 	| 5.97    3.12   |  11/25  | 0      nan  0      nan  17      15  0      nan |        19480 | (17/378)
c 	| 12.56   6.59   |   9/25  | 0      nan  0      nan  25      15  0      nan |        40908 | (25/378)
c 	| 26.44   13.88  |   8/25  | 0      nan  0      nan  30      14  0      nan |        85909 | (30/378)
c 	| 55.39   28.95  |   7/25  | 0      nan  0      nan  37      14  0      nan |       180409 | (37/378)
c 	| 116.37  60.98  |   6/25  | 0      nan  0      nan  48      13  0      nan |       378859 | (48/378)
c 	| 244.91  128.54 |   5/25  | 0      nan  0      nan  57      13  0      nan |       795604 | (57/378)
c 	| 513.94  269.03 |   4/25  | 0      nan  0      nan  63      13  0      nan |      1670768 | (63/378)
o 1267