Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_crafted-_home_jplanes_evaluation_benchmarks_weighted_crafted_WMAXCUT_DIMACS_MOD_sanr400_0.7.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/sanr400_0.7.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: 40 vars 1096 clauses c 25 variables cloned. 1419 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 :sanr400_0.7.clq.wcnf.clone_ls_out.114488212.txt c =========================== o 1218 c Initial LB: 75 c | 0.55 0.55 | 14/25 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/365) c | 1.17 0.62 | 13/25 | 0 nan 0 nan 5 16 0 nan | 4416 | (5/365) c | 2.48 1.31 | 12/25 | 0 nan 0 nan 8 15 0 nan | 9276 | (8/365) c | 5.21 2.73 | 10/25 | 0 nan 0 nan 16 14 0 nan | 19480 | (16/365) c | 10.94 5.73 | 9/25 | 0 nan 0 nan 23 14 0 nan | 40908 | (23/365) c | 23.07 12.13 | 8/25 | 0 nan 0 nan 32 14 0 nan | 85909 | (32/365) c | 48.54 25.47 | 7/25 | 0 nan 0 nan 43 13 0 nan | 180409 | (43/365) c | 102.25 53.71 | 6/25 | 0 nan 0 nan 48 13 0 nan | 378859 | (48/365) c | 214.17 111.92 | 5/25 | 0 nan 0 nan 57 12 0 nan | 795604 | (57/365) o 1212 o 1198 1804.970u 18.678s 30:24.47 99.9% 0+0k 0+0io 3pf+0w