Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax3sat_lo_file_rwms_wcnf_L3_V70_C500_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax3sat/lo/file_rwms_wcnf_L3_V70_C500_5.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: 70 vars 500 clauses c 49 variables cloned. 1088 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 :file_rwms_wcnf_L3_V70_C500_5.wcnf.clone_ls_out.1925565140.txt c =========================== o 36 c Initial LB: 0 c | 0.33 0.33 | 21/49 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/166) c | 0.69 0.36 | 20/49 | 0 nan 0 nan 9 23 0 nan | 4416 | (12/166) c | 1.41 0.72 | 18/49 | 0 nan 0 nan 21 23 0 nan | 9276 | (27/166) c | 2.84 1.43 | 15/49 | 0 nan 1 16 57 24 1 13 | 19480 | (91/166) o 34 c | 5.99 3.15 | 14/49 | 0 nan 4 18 134 25 1 13 | 40908 | (169/182) c | 12.35 6.36 | 12/49 | 0 nan 12 16 278 24 7 21 | 85909 | (200/242) c | 25.95 13.60 | 11/49 | 0 nan 32 15 499 24 10 19 | 180409 | (165/353) o 30 c | 53.39 27.44 | 8/49 | 0 nan 153 15 1421 23 43 17 | 378859 | (622/683) c | 111.54 58.15 | 5/49 | 0 nan 633 14 4528 20 236 15 | 795604 | (1707/1763) c | 233.15 121.61 | 4/49 | 0 nan 1830 14 11020 20 664 15 | 1670768 | (1759/3773) c | 488.46 255.31 | 1/49 | 0 nan 5447 13 29633 18 2001 13 | 3508615 | (5211/8893) s OPTIMUM FOUND c mw=2754 ... b = 2724 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 46 47 -48 49 50 -51 -52 -53 54 -55 -56 57 58 59 -60 -61 62 63 64 -65 -66 -67 68 -69 70 0 c Result is 30 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 2754 c Total nodes visited: 4976511 (0.00000 %) c Total nodes pruned: 750348643943436928 (66644.34728 %) c Vc = 49 , search space size 1125899906842623 c Total prunnings: 2426552 c Total pruned levels: 43006688 c Average pruned levels: 17.723 (out of 49) c Total conflicts: 3402 c Total leaves visited: 0 c Average nodes pruned: 309224217714 nodes/prunning c Bound computation: 4976511 bounds computed c Optimal solution time: 49.8600 s c Optimal solution node: 340241 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 649.0200 s c Average bound computatation time: 1.30417e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 48.5200 s c Num early pruning: 367842 c Searching time by Clone is 726.310 seconds 717.565u 11.522s 12:09.60 99.9% 0+0k 0+0io 53pf+0w