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_brock400_1.clq.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_crafted/WMAXCUT/DIMACS_MOD/brock400_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: 40 vars 1192 clauses c 27 variables cloned. 1635 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 :brock400_1.clq.wcnf.clone_ls_out.69710211.txt c =========================== o 1381 c Initial LB: 68 c | 0.54 0.54 | 16/27 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/397) c | 1.11 0.57 | 15/27 | 0 nan 0 nan 6 20 0 nan | 4416 | (6/397) c | 2.33 1.22 | 14/27 | 0 nan 0 nan 11 19 0 nan | 9276 | (11/397) c | 4.88 2.55 | 13/27 | 0 nan 0 nan 14 19 0 nan | 19480 | (14/397) c | 10.21 5.33 | 12/27 | 0 nan 0 nan 24 17 0 nan | 40908 | (24/397) o 1378 o 1368 c | 21.49 11.28 | 11/27 | 0 nan 0 nan 30 17 0 nan | 85909 | (30/397) c | 45.14 23.65 | 10/27 | 0 nan 0 nan 37 17 0 nan | 180409 | (37/397) o 1366 o 1361 1804.124u 19.900s 30:24.70 99.9% 0+0k 0+0io 50pf+0w