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_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C900_5.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 55 variables cloned. 1068 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_5.wcnf.clone_ls_out.1560276755.txt c =========================== o 663 c Initial LB: 4 o 600 o 593 o 589 o 587 c | 0.45 0.45 | 39/55 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/300) c | 1.01 0.56 | 36/55 | 0 nan 0 nan 2 42 0 nan | 4416 | (2/300) c | 2.14 1.13 | 35/55 | 0 nan 0 nan 6 42 0 nan | 9276 | (6/300) c | 4.65 2.51 | 33/55 | 0 nan 0 nan 10 40 0 nan | 19480 | (10/300) o 586 o 585 c | 9.77 5.12 | 31/55 | 0 nan 0 nan 15 38 0 nan | 40908 | (15/300) o 584 o 582 o 578 c | 20.42 10.65 | 30/55 | 0 nan 0 nan 20 38 0 nan | 85909 | (20/300) c | 43.41 22.99 | 28/55 | 0 nan 0 nan 29 37 0 nan | 180409 | (29/300) c | 91.95 48.54 | 28/55 | 0 nan 0 nan 37 37 0 nan | 378859 | (37/300) c | 196.40 104.45 | 26/55 | 0 nan 0 nan 44 36 0 nan | 795604 | (44/300) o 577 o 575 o 574 o 572 o 571 1807.688u 16.243s 30:24.55 99.9% 0+0k 0+0io 98pf+0w