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_3.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C900_3.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 56 variables cloned. 1080 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_3.wcnf.clone_ls_out.137785964.txt c =========================== o 644 c Initial LB: 10 c | 0.43 0.43 | 43/56 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/300) c | 0.87 0.44 | 41/56 | 0 nan 0 nan 7 45 0 nan | 4416 | (7/300) c | 1.84 0.97 | 39/56 | 0 nan 0 nan 13 43 0 nan | 9276 | (13/300) c | 3.86 2.02 | 38/56 | 0 nan 0 nan 19 43 0 nan | 19480 | (19/300) o 642 c | 8.19 4.33 | 35/56 | 0 nan 0 nan 25 42 0 nan | 40908 | (25/300) o 639 o 638 o 635 o 633 o 632 c | 17.14 8.95 | 34/56 | 0 nan 0 nan 31 43 0 nan | 85909 | (31/300) o 627 o 626 c | 35.86 18.72 | 33/56 | 0 nan 0 nan 37 42 0 nan | 180409 | (37/300) c | 75.31 39.45 | 31/56 | 0 nan 0 nan 44 41 0 nan | 378859 | (44/300) o 625 o 623 o 617 o 613 c | 157.14 81.83 | 30/56 | 0 nan 0 nan 50 41 0 nan | 795604 | (50/300) o 612 o 611 o 610 o 609 o 608 c | 331.92 174.78 | 28/56 | 0 nan 0 nan 60 40 0 nan | 1670768 | (60/300) o 603 o 602 o 599 o 598 o 595 o 594 1802.208u 21.505s 30:28.40 99.7% 0+0k 0+0io 5pf+0w