Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-partial_crafted-_home_jplanes_evaluation_benchmarks_partial_crafted_MAXONE_3SAT_cnf3.150.300.195566.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.300.195566.cnf.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: 150 vars 450 clauses c 65 variables cloned. 528 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 :cnf3.150.300.195566.cnf.wcnf.clone_ls_out.861088047.txt c =========================== o 21 c Initial LB: 2 c | 0.19 0.19 | 8/65 | 300 3 3 18 0 nan 1 13 | 2102 | (4/150) c | 0.41 0.22 | 6/65 | 300 3 5 18 6 12 2 8 | 4416 | (13/150) c | 0.82 0.41 | 5/65 | 300 3 50 20 38 17 6 11 | 9276 | (95/150) c | 1.71 0.89 | 5/65 | 300 3 91 19 50 16 21 9 | 19480 | (88/165) c | 3.57 1.86 | 4/65 | 300 3 251 19 145 17 39 10 | 40908 | (192/199) c | 7.54 3.97 | 2/65 | 300 3 374 18 231 16 66 9 | 85909 | (227/239) c | 15.55 8.01 | 1/65 | 300 3 900 17 474 17 155 9 | 180409 | (213/419) c | 33.01 17.46 | 2/65 | 300 3 2213 17 1103 16 248 10 | 378859 | (540/739) s OPTIMUM FOUND c mw=135150 ... b = 135129 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 71 72 73 74 75 76 77 78 79 80 81 82 83 84 -85 86 87 88 89 90 91 92 93 94 -95 -96 97 98 -99 100 -101 102 103 104 105 106 107 108 -109 110 111 112 113 114 -115 116 117 118 119 120 121 122 123 124 125 126 127 -128 129 130 131 132 133 134 -135 136 137 138 -139 140 -141 142 143 144 145 146 147 -148 149 150 0 c Result is 21 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 135150 c Total nodes visited: 592189 (0.00000 %) c Total nodes pruned: 36385540926773972172800 (49311.60315 %) c Vc = 65 , search space size 73786976294838206464 c Total prunnings: 292783 c Total pruned levels: 3731690 c Average pruned levels: 12.746 (out of 65) c Total conflicts: 393 c Total leaves visited: 0 c Average nodes pruned: 124274773216935312 nodes/prunning c Bound computation: 592189 bounds computed c Optimal solution time: 0.0000 s c Optimal solution node: 0 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 49.1100 s c Average bound computatation time: 8.29296e-05 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 2.3400 s c Num early pruning: 47699 c Searching time by Clone is 54.550 seconds 55.874u 1.631s 0:57.76 99.5% 0+0k 0+0io 3pf+0w