Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weighted_random-_home_jplanes_evaluation_benchmarks_weighted_random_wmax2sat_hi_file_rwms_wcnf_L2_V100_C900_6.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C900_6.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: 100 vars 900 clauses c 57 variables cloned. 1053 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 :file_rwms_wcnf_L2_V100_C900_6.wcnf.clone_ls_out.801035526.txt c =========================== o 676 c Initial LB: 18 o 638 o 637 o 617 c | 0.54 0.54 | 43/57 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/300) o 613 o 608 c | 1.14 0.60 | 41/57 | 0 nan 0 nan 5 45 0 nan | 4416 | (5/300) c | 2.41 1.27 | 40/57 | 0 nan 0 nan 8 45 0 nan | 9276 | (8/300) c | 5.07 2.66 | 37/57 | 0 nan 0 nan 15 43 0 nan | 19480 | (15/300) c | 10.57 5.50 | 36/57 | 0 nan 0 nan 21 43 0 nan | 40908 | (21/300) c | 22.08 11.51 | 35/57 | 0 nan 0 nan 28 42 0 nan | 85909 | (28/300) o 602 o 597 1803.564u 20.010s 30:24.66 99.9% 0+0k 0+0io 67pf+0w