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-22-10281-1.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/partial_crafted/MAXCLIQUE/RANDOM/max_clq_150-22-10281-1.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 1044 clauses c 73 variables cloned. 1012 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-22-10281-1.clq.wcnf.clone_ls_out.2122898048.txt c =========================== o 121 c Initial LB: 40 o 113 o 112 c | 0.41 0.41 | 60/73 | 894 2 0 nan 0 nan 0 nan | 2102 | (0/348) c | 0.88 0.47 | 57/73 | 894 2 0 nan 7 61 0 nan | 4416 | (7/348) c | 1.77 0.89 | 55/73 | 894 2 0 nan 11 61 0 nan | 9276 | (11/348) c | 3.54 1.77 | 54/73 | 894 2 0 nan 15 61 0 nan | 19480 | (15/348) c | 7.36 3.82 | 51/73 | 894 2 0 nan 21 59 0 nan | 40908 | (21/348) c | 15.15 7.79 | 49/73 | 894 2 0 nan 28 58 0 nan | 85909 | (28/348) o 111 o 110 c | 32.17 17.02 | 45/73 | 894 2 0 nan 37 57 0 nan | 180409 | (37/348) o 109 c | 67.66 35.49 | 40/73 | 894 2 0 nan 44 56 0 nan | 378859 | (44/348) o 108 o 107 1796.986u 26.997s 30:28.26 99.7% 0+0k 0+0io 3pf+0w