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_p_hat500-2.clq.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/p_hat500-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: 42 vars 910 clauses
c 22 variables cloned. 1118 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 :p_hat500-2.clq.wcnf.clone_ls_out.552304946.txt
c ===========================
o 945
c Initial LB: 50
o 943
c 	| 0.43    0.43   |  11/22  | 0      nan  0      nan  0      nan  0      nan |         2102 | (0/303)
c 	| 0.93    0.50   |   9/22  | 0      nan  0      nan  4       13  0      nan |         4416 | (4/303)
c 	| 1.93    1.00   |   8/22  | 0      nan  0      nan  8       14  0      nan |         9276 | (8/303)
o 940
o 933
o 932
c 	| 4.05    2.12   |   7/22  | 0      nan  0      nan  14      13  0      nan |        19480 | (14/303)
c 	| 8.46    4.41   |   6/22  | 0      nan  0      nan  20      12  0      nan |        40908 | (20/303)
o 931
c 	| 17.79   9.33   |   5/22  | 0      nan  0      nan  27      12  0      nan |        85909 | (27/303)
c 	| 37.80   20.01  |   4/22  | 0      nan  0      nan  33      11  0      nan |       180409 | (33/303)
c 	| 79.61   41.81  |   3/22  | 0      nan  0      nan  41      10  0      nan |       378859 | (41/303)
c 	| 167.96  88.35  |   2/22  | 0      nan  0      nan  50      10  0      nan |       795604 | (50/303)
c 	| 352.71  184.75 |   1/22  | 0      nan  0      nan  62       9  0      nan |      1670768 | (62/303)
s OPTIMUM FOUND
c mw=5058 ... b = 4127
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 41 42 0
c Result is 931
c 	+=======================================================Clone=============================================================================================+
c 
c ===================
c        Stats       
c ===================
c Total weights: 5058
c Total nodes visited: 1669419 (19.90103 %)
c Total nodes pruned: 21627084026 (257814.96291 %)
c Vc = 22 , search space size 8388607
c Total prunnings: 834646
c Total pruned levels: 8556324
c Average pruned levels: 10.251 (out of 22)
c Total conflicts: 0
c Total leaves visited: 0
c Average nodes pruned: 25912 nodes/prunning
c Bound computation: 1669419 bounds computed
c Optimal solution time: 10.7900 s
c Optimal solution node: 49762 nodes
c Num large bound drops: 0
c 
c #########################
c      Runtime Stats         
c #########################
c Total bound computation time: 356.3400 s
c 	Average bound computatation time: 2.13452e-04 s
c Total leaf pruning analysis time: 0.0000 s
c Total unit propagation time: 3.5400 s
c Num early pruning: 0
c Searching time by Clone is 370.130 seconds
369.861u 3.920s 6:13.87 99.9%	0+0k 0+0io 3pf+0w