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-11-5364-4.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-11-5364-4.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 5961 clauses c 128 variables cloned. 10018 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-11-5364-4.clq.wcnf.clone_ls_out.1156841827.txt c =========================== o 143 c Initial LB: 13 o 141 o 140 c | 0.75 0.75 | 91/128 | 5811 2 0 nan 1 121 0 nan | 2102 | (2/1987) c | 1.45 0.70 | 80/128 | 5811 2 0 nan 4 105 0 nan | 4416 | (5/1987) c | 2.84 1.39 | 64/128 | 5811 2 0 nan 7 97 0 nan | 9276 | (8/1987) c | 5.79 2.95 | 42/128 | 5811 2 0 nan 11 86 0 nan | 19480 | (12/1987) c | 11.90 6.11 | 14/128 | 5811 2 1 41 15 76 0 nan | 40908 | (17/1987) s OPTIMUM FOUND c mw=871800 ... b = 871660 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 140 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 871800 c Total nodes visited: 50603 (0.00000 %) c Total nodes pruned: 4844592368660372865049675026573765378048 (711.84887 %) c Vc = 128 , search space size 680564733841876926926749214863536422912 c Total prunnings: 25123 c Total pruned levels: 1323748 c Average pruned levels: 52.691 (out of 128) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 192834946808118973490736495878733824 nodes/prunning c Bound computation: 50603 bounds computed c Optimal solution time: 0.3000 s c Optimal solution node: 676 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 12.5900 s c Average bound computatation time: 2.48799e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 1.2600 s c Num early pruning: 20966 c Searching time by Clone is 15.400 seconds 26.973u 0.379s 0:27.52 99.3% 0+0k 0+0io 3pf+0w