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_STRUCTURED_johnson16-2-4.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/johnson16-2-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: 120 vars 1800 clauses c 88 variables cloned. 2464 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 :johnson16-2-4.clq.wcnf.clone_ls_out.1022512136.txt c =========================== o 112 c Initial LB: 24 c | 0.37 0.37 | 74/88 | 1680 2 0 nan 0 nan 0 nan | 2102 | (0/600) c | 0.74 0.37 | 70/88 | 1680 2 0 nan 3 76 0 nan | 4416 | (3/600) c | 1.48 0.74 | 67/88 | 1680 2 0 nan 9 76 0 nan | 9276 | (9/600) c | 3.00 1.52 | 62/88 | 1680 2 0 nan 13 74 0 nan | 19480 | (13/600) c | 6.02 3.02 | 58/88 | 1680 2 0 nan 17 74 0 nan | 40908 | (17/600) c | 12.20 6.18 | 52/88 | 1680 2 0 nan 21 72 0 nan | 85909 | (21/600) c | 24.56 12.36 | 46/88 | 1680 2 0 nan 27 69 0 nan | 180409 | (27/600) c | 49.55 24.99 | 40/88 | 1680 2 0 nan 32 67 0 nan | 378859 | (32/600) c | 100.61 51.06 | 32/88 | 1680 2 0 nan 38 64 0 nan | 795604 | (38/600) c | 203.88 103.27 | 23/88 | 1680 2 0 nan 42 62 0 nan | 1670768 | (42/600) c | 411.63 207.75 | 14/88 | 1680 2 0 nan 47 60 0 nan | 3508615 | (47/600) c | 835.42 423.79 | 3/88 | 1680 2 0 nan 51 58 0 nan | 7368092 | (51/600) s OPTIMUM FOUND c mw=201720 ... b = 201608 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 0 c Result is 112 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 201720 c Total nodes visited: 8560780 (0.00000 %) c Total nodes pruned: 64688626562376021867552047104 (10451.01128 %) c Vc = 88 , search space size 618970019642690137449562112 c Total prunnings: 4280021 c Total pruned levels: 160447353 c Average pruned levels: 37.488 (out of 88) c Total conflicts: 0 c Total leaves visited: 0 c Average nodes pruned: 15114090926744522457088 nodes/prunning c Bound computation: 8560780 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: 917.7500 s c Average bound computatation time: 1.07204e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 32.5100 s c Num early pruning: 2457726 c Searching time by Clone is 1015.350 seconds 999.591u 20.884s 17:03.10 99.7% 0+0k 0+0io 3pf+0w