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-23-10728-2.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-23-10728-2.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 597 clauses c 44 variables cloned. 360 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-23-10728-2.clq.wcnf.clone_ls_out.677733010.txt c =========================== o 103 c Initial LB: 47 o 91 o 90 c | 0.23 0.23 | 30/44 | 447 2 0 nan 0 nan 0 nan | 2102 | (0/199) c | 0.46 0.23 | 28/44 | 447 2 0 nan 4 32 0 nan | 4416 | (4/199) c | 0.96 0.50 | 26/44 | 447 2 0 nan 9 33 0 nan | 9276 | (9/199) c | 2.03 1.07 | 24/44 | 447 2 0 nan 15 31 0 nan | 19480 | (15/199) c | 4.27 2.24 | 21/44 | 447 2 0 nan 22 30 0 nan | 40908 | (22/199) c | 8.80 4.53 | 19/44 | 447 2 0 nan 27 29 0 nan | 85909 | (27/199) c | 18.37 9.57 | 18/44 | 447 2 0 nan 34 29 0 nan | 180409 | (34/199) o 89 c | 38.65 20.28 | 15/44 | 447 2 0 nan 42 28 0 nan | 378859 | (42/199) c | 82.59 43.94 | 11/44 | 447 2 0 nan 49 27 0 nan | 795604 | (49/199) c | 173.81 91.22 | 8/44 | 447 2 0 nan 54 26 0 nan | 1670768 | (54/199) c | 367.62 193.81 | 3/44 | 447 2 0 nan 62 24 0 nan | 3508615 | (62/199) s OPTIMUM FOUND c mw=67200 ... b = 67111 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 89 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 67200 c Total nodes visited: 4476796 (0.00001 %) c Total nodes pruned: 9128350827315682 (25944.33348 %) c Vc = 44 , search space size 35184372088831 c Total prunnings: 2238245 c Total pruned levels: 46323573 c Average pruned levels: 20.696 (out of 44) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 4078351935 nodes/prunning c Bound computation: 4476796 bounds computed c Optimal solution time: 36.7500 s c Optimal solution node: 343788 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 461.2900 s c Average bound computatation time: 1.03040e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 9.4000 s c Num early pruning: 0 c Searching time by Clone is 489.570 seconds 479.350u 12.827s 8:12.37 99.9% 0+0k 0+0io 3pf+0w