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_RAMSEY_ram_k3_n10.ra1.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/RAMSEY/ram_k3_n10.ra1.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: 45 vars 330 clauses c 37 variables cloned. 1295 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 :ram_k3_n10.ra1.wcnf.clone_ls_out.514348291.txt c =========================== o 236 c Initial LB: 0 c | 0.32 0.32 | 11/37 | 264 5 34 14 9 18 790 14 | 2102 | (166/193) c | 0.66 0.34 | 8/37 | 264 5 77 14 21 17 1703 13 | 4416 | (141/309) c | 1.65 0.99 | 6/37 | 264 5 147 14 40 16 4943 13 | 9276 | (754/871) c | 3.99 2.34 | 4/37 | 264 5 322 13 77 15 12596 12 | 19480 | (1890/2253) o 232 c | 10.49 6.50 | 1/37 | 264 5 677 13 140 14 33885 12 | 40908 | (3109/6418) s OPTIMUM FOUND c mw=169851 ... b = 169619 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 43 44 45 0 c Result is 232 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 169851 c Total nodes visited: 101494 (0.00004 %) c Total nodes pruned: 11577609538232 (4211.90981 %) c Vc = 37 , search space size 274877906943 c Total prunnings: 23204 c Total pruned levels: 288602 c Average pruned levels: 12.438 (out of 37) c Total conflicts: 47375 c Total leaves visited: 0 c Average nodes pruned: 498948868 nodes/prunning c Bound computation: 101494 bounds computed c Optimal solution time: 8.1900 s c Optimal solution node: 64727 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 8.7400 s c Average bound computatation time: 8.61135e-05 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 3.9800 s c Num early pruning: 21122 c Searching time by Clone is 14.530 seconds 17.083u 0.404s 0:17.59 99.3% 0+0k 0+0io 3pf+0w