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_MAXONE_3SAT_cnf3.150.600.372700.cnf.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXONE/3SAT/cnf3.150.600.372700.cnf.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 750 clauses c 97 variables cloned. 1286 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 :cnf3.150.600.372700.cnf.wcnf.clone_ls_out.531158928.txt c =========================== o 60 c Initial LB: 0 c | 0.34 0.34 | 11/97 | 600 3 78 45 5 27 327 15 | 2102 | (217/275) c | 6.86 6.52 | 8/97 | 600 3 172 41 9 24 20451 14 | 4416 | (3410/3560) c | 15.79 8.93 | 7/97 | 600 3 350 43 26 22 45483 14 | 9276 | (4541/8389) c | 18.82 3.03 | 8/97 | 600 3 678 43 69 24 49742 14 | 19480 | (4986/9227) c | 34.77 15.95 | 5/97 | 600 3 1596 43 124 23 80523 14 | 40908 | (8640/14856) s OPTIMUM FOUND c mw=450150 ... b = 450090 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 60 c +=======================================================Clone=============================================================================================+ c c =================== c Stats c =================== c Total weights: 450150 c Total nodes visited: 192739 (0.00000 %) c Total nodes pruned: 876849630920851555193276334080 (276.68496 %) c Vc = 97 , search space size 316912650057057350374175801344 c Total prunnings: 23685 c Total pruned levels: 448276 c Average pruned levels: 18.927 (out of 97) c Total conflicts: 93633 c Total leaves visited: 0 c Average nodes pruned: 37021305928682778369458176 nodes/prunning c Bound computation: 192739 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: 22.1000 s c Average bound computatation time: 1.14663e-04 s c Total leaf pruning analysis time: 0.0000 s c Total unit propagation time: 14.5700 s c Num early pruning: 21817 c Searching time by Clone is 41.910 seconds 45.742u 0.765s 0:46.66 99.6% 0+0k 0+0io 3pf+0w