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-18-8493-3.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-18-8493-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 2832 clauses c 112 variables cloned. 4142 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-18-8493-3.clq.wcnf.clone_ls_out.1849783317.txt c =========================== o 137 c Initial LB: 20 o 132 c | 0.54 0.54 | 95/112 | 2682 2 0 nan 0 nan 0 nan | 2102 | (0/944) o 131 c | 1.10 0.56 | 91/112 | 2682 2 0 nan 4 97 0 nan | 4416 | (4/944) c | 2.28 1.18 | 86/112 | 2682 2 0 nan 7 96 0 nan | 9276 | (7/944) c | 4.62 2.34 | 82/112 | 2682 2 0 nan 10 94 0 nan | 19480 | (10/944) o 130 c | 9.27 4.65 | 76/112 | 2682 2 0 nan 16 92 0 nan | 40908 | (17/944) c | 19.08 9.81 | 67/112 | 2682 2 0 nan 19 91 0 nan | 85909 | (20/944) o 129 c | 39.77 20.69 | 59/112 | 2682 2 0 nan 23 89 0 nan | 180409 | (25/944) c | 80.83 41.06 | 47/112 | 2682 2 0 nan 29 83 0 nan | 378859 | (31/944) c | 167.46 86.63 | 35/112 | 2682 2 0 nan 33 80 0 nan | 795604 | (35/944) c | 333.03 165.57 | 25/112 | 2682 2 0 nan 38 77 0 nan | 1670768 | (40/944) c | 673.93 340.90 | 10/112 | 2682 2 0 nan 44 71 0 nan | 3508615 | (46/944) s OPTIMUM FOUND c mw=402450 ... b = 402321 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 129 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 402450 c Total nodes visited: 4341079 (0.00000 %) c Total nodes pruned: 334329313252079812285645007559327744 (3219.47418 %) c Vc = 112 , search space size 10384593717069655257060992658440192 c Total prunnings: 2170125 c Total pruned levels: 102746624 c Average pruned levels: 47.346 (out of 112) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 154059933530132977699719741440 nodes/prunning c Bound computation: 4341079 bounds computed c Optimal solution time: 33.1900 s c Optimal solution node: 143930 nodes c Num large bound drops: 0 c c ######################### c Runtime Stats c ######################### c Total bound computation time: 796.8700 s c Average bound computatation time: 1.83565e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 32.4700 s c Num early pruning: 958097 c Searching time by Clone is 874.650 seconds 871.789u 9.800s 14:41.70 99.9% 0+0k 0+0io 3pf+0w