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.500.646988.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.500.646988.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 650 clauses c 88 variables cloned. 1026 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.500.646988.cnf.wcnf.clone_ls_out.591304237.txt c =========================== o 41 c Initial LB: 0 c | 0.48 0.48 | 11/88 | 500 3 97 29 12 19 730 18 | 2102 | (257/286) c | 1.70 1.22 | 12/88 | 500 3 152 28 23 18 3773 16 | 4416 | (604/733) c | 3.88 2.18 | 9/88 | 500 3 255 27 31 17 8825 16 | 9276 | (839/1722) c | 9.65 5.77 | 7/88 | 500 3 417 27 51 17 22597 16 | 19480 | (3159/4056) c | 17.23 7.58 | 5/88 | 500 3 853 28 106 18 35683 16 | 40908 | (4421/6529) c | 29.35 12.12 | 7/88 | 500 3 1590 29 179 19 47483 16 | 85909 | (6256/8688) c | 66.62 37.27 | 5/88 | 500 3 3028 29 299 19 84532 17 | 180409 | (11476/15387) c | 194.75 128.13 | 4/88 | 500 3 5402 29 475 19 168199 17 | 378859 | (24835/29979) c | 561.90 367.15 | 2/88 | 500 3 10244 29 742 19 298024 16 | 795604 | (44317/53106) s OPTIMUM FOUND c mw=325150 ... b = 325109 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 41 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 325150 c Total nodes visited: 2270584 (0.00000 %) c Total nodes pruned: 167250641902420909282683781120 (27020.79852 %) c Vc = 88 , search space size 618970019642690137449562112 c Total prunnings: 779619 c Total pruned levels: 12847754 c Average pruned levels: 16.480 (out of 88) c Total conflicts: 553566 c Total leaves visited: 0 c Average nodes pruned: 214528688888317122445312 nodes/prunning c Bound computation: 2270584 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: 355.6800 s c Average bound computatation time: 1.56647e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 1335.6500 s c Num early pruning: 675711 c Searching time by Clone is 1756.840 seconds 1753.752u 6.651s 29:21.77 99.9% 0+0k 0+0io 3pf+0w