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_brock200_4.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/STRUCTURED/brock200_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: 200 vars 7011 clauses c 171 variables cloned. 11789 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 :brock200_4.clq.wcnf.clone_ls_out.457091413.txt c =========================== o 191 c Initial LB: 15 o 186 c | 0.91 0.91 | 149/171 | 6811 2 0 nan 0 nan 0 nan | 2102 | (0/2337) c | 1.81 0.90 | 145/171 | 6811 2 0 nan 4 152 0 nan | 4416 | (4/2337) c | 3.52 1.71 | 140/171 | 6811 2 0 nan 9 149 0 nan | 9276 | (9/2337) c | 6.85 3.33 | 134/171 | 6811 2 0 nan 13 147 0 nan | 19480 | (13/2337) c | 13.78 6.93 | 127/171 | 6811 2 0 nan 17 145 0 nan | 40908 | (17/2337) o 185 c | 27.89 14.11 | 118/171 | 6811 2 0 nan 23 142 0 nan | 85909 | (24/2337) c | 55.80 27.91 | 106/171 | 6811 2 0 nan 26 140 0 nan | 180409 | (27/2337) c | 115.73 59.93 | 91/171 | 6811 2 0 nan 30 137 0 nan | 378859 | (31/2337) c | 233.96 118.23 | 76/171 | 6811 2 0 nan 35 132 0 nan | 795604 | (36/2337) o 184 c | 487.36 253.40 | 56/171 | 6811 2 0 nan 40 128 0 nan | 1670768 | (42/2337) o 183 1821.720u 12.912s 30:34.62 100.0% 0+0k 0+0io 3pf+0w