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_san400_0.5_1.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/san400_0.5_1.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 790 clauses c 19 variables cloned. 797 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 :san400_0.5_1.clq.wcnf.clone_ls_out.953209140.txt c =========================== o 728 c Initial LB: 86 c | 0.42 0.42 | 6/19 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/263) c | 0.90 0.48 | 4/19 | 0 nan 0 nan 8 7 0 nan | 4416 | (8/263) o 726 o 718 c | 1.87 0.97 | 4/19 | 0 nan 0 nan 11 8 0 nan | 9276 | (11/263) c | 3.92 2.05 | 2/19 | 0 nan 0 nan 18 7 0 nan | 19480 | (18/263) c | 8.27 4.35 | 1/19 | 0 nan 0 nan 24 6 0 nan | 40908 | (24/263) s OPTIMUM FOUND c mw=4456 ... b = 3738 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 718 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 4456 c Total nodes visited: 63183 (6.02561 %) c Total nodes pruned: 394134382 (37587.61958 %) c Vc = 19 , search space size 1048575 c Total prunnings: 31569 c Total pruned levels: 252109 c Average pruned levels: 7.986 (out of 19) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 12485 nodes/prunning c Bound computation: 63183 bounds computed c Optimal solution time: 1.2000 s c Optimal solution node: 5736 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 12.9300 s c Average bound computatation time: 2.04644e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 0.1400 s c Num early pruning: 0 c Searching time by Clone is 13.470 seconds 16.699u 0.347s 0:17.03 100.0% 0+0k 0+0io 3pf+0w