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_MAXCLIQUE_RANDOM_max_clq_150-17-8046-3.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-17-8046-3.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: 150 vars 3279 clauses c 115 variables cloned. 4981 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 :max_clq_150-17-8046-3.clq.wcnf.clone_ls_out.2111223143.txt c =========================== o 139 c Initial LB: 20 o 135 o 134 c | 0.63 0.63 | 96/115 | 3129 2 0 nan 0 nan 0 nan | 2102 | (0/1093) c | 1.26 0.63 | 91/115 | 3129 2 0 nan 3 98 0 nan | 4416 | (3/1093) c | 2.58 1.32 | 85/115 | 3129 2 0 nan 8 97 0 nan | 9276 | (8/1093) c | 5.24 2.66 | 80/115 | 3129 2 0 nan 11 96 0 nan | 19480 | (11/1093) o 133 c | 10.71 5.47 | 72/115 | 3129 2 0 nan 16 93 0 nan | 40908 | (17/1093) c | 22.13 11.42 | 63/115 | 3129 2 0 nan 20 91 0 nan | 85909 | (21/1093) c | 44.62 22.49 | 52/115 | 3129 2 0 nan 24 87 0 nan | 180409 | (25/1093) o 132 c | 91.04 46.42 | 38/115 | 3129 2 0 nan 28 84 0 nan | 378859 | (29/1093) c | 182.22 91.18 | 22/115 | 3129 2 0 nan 33 79 0 nan | 795604 | (34/1093) c | 364.97 182.75 | 4/115 | 3129 2 0 nan 37 76 0 nan | 1670768 | (38/1093) s OPTIMUM FOUND c mw=469500 ... b = 469368 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 132 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 469500 c Total nodes visited: 1764264 (0.00000 %) c Total nodes pruned: 2370233245216352112063087514176454656 (2853.06449 %) c Vc = 115 , search space size 83076749736557242056487941267521536 c Total prunnings: 881734 c Total pruned levels: 41790120 c Average pruned levels: 47.395 (out of 115) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 2688149992193056046494651514880 nodes/prunning c Bound computation: 1764264 bounds computed c Optimal solution time: 58.1100 s c Optimal solution node: 226471 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 365.7000 s c Average bound computatation time: 2.07282e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 15.2700 s c Num early pruning: 410557 c Searching time by Clone is 402.200 seconds 405.879u 4.200s 6:50.94 99.7% 0+0k 0+0io 3pf+0w