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_brock200_2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/brock200_2.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 770 clauses
c 22 variables cloned. 882 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 :brock200_2.clq.wcnf.clone_ls_out.1483009391.txt
c ===========================
o 788
c Initial LB: 54
c 	| 0.48    0.48   |  10/22  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/256)
c 	| 1.00    0.52   |   9/22  | 0      nan  0      nan  3       14  0      nan |         4416 | (3/256)
c 	| 2.09    1.09   |   8/22  | 0      nan  0      nan  9       14  0      nan |         9276 | (9/256)
c 	| 4.37    2.28   |   7/22  | 0      nan  0      nan  17      12  0      nan |        19480 | (17/256)
c 	| 9.15    4.78   |   6/22  | 0      nan  0      nan  24      12  0      nan |        40908 | (24/256)
c 	| 19.37   10.22  |   5/22  | 0      nan  0      nan  30      11  0      nan |        85909 | (30/256)
o 782
o 774
o 764
c 	| 40.87   21.50  |   4/22  | 0      nan  0      nan  38      10  0      nan |       180409 | (38/256)
o 756
o 753
c 	| 86.35   45.48  |   2/22  | 0      nan  0      nan  46      10  0      nan |       378859 | (46/256)
c 	| 181.90  95.55  |   1/22  | 0      nan  0      nan  54       9  0      nan |       795604 | (54/256)
s OPTIMUM FOUND
c mw=4370 ... b = 3617
v -1 -2 3 4 -5 -6 -7 -8 9 10 11 -12 -13 -14 15 16 17 -18 19 20 -21 22 23 -24 25 26 -27 -28 -29 30 -31 -32 -33 -34 35 36 37 38 39 -40 0
c Result is 753
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 4370
c Total nodes visited: 956819 (11.40617 %)
c Total nodes pruned: 13821184216 (164761.37476 %)
c Vc = 22 , search space size 8388607
c Total prunnings: 478352
c Total pruned levels: 4881672
c Average pruned levels: 10.205 (out of 22)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 28893 nodes/prunning
c Bound computation: 956819 bounds computed
c Optimal solution time: 44.1100 s
c Optimal solution node: 185275 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 222.2200 s
c 	Average bound computatation time: 2.32249e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 2.2100 s
c Num early pruning: 0
c Searching time by Clone is 229.980 seconds
230.918u 2.448s 3:53.49 99.9%	0+0k 0+0io 3pf+0w