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_C800_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C800_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 800 clauses c 54 variables cloned. 947 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_C800_5.wcnf.clone_ls_out.1510913638.txt c =========================== o 559 c Initial LB: 3 o 558 o 557 o 556 o 553 o 552 o 548 c | 0.45 0.45 | 40/54 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/266) o 545 o 544 o 543 o 542 c | 0.95 0.50 | 39/54 | 0 nan 0 nan 3 46 0 nan | 4416 | (3/266) o 540 o 538 o 536 o 534 c | 1.99 1.04 | 38/54 | 0 nan 0 nan 7 44 0 nan | 9276 | (7/266) o 533 o 532 c | 4.24 2.25 | 37/54 | 0 nan 0 nan 11 44 0 nan | 19480 | (11/266) o 530 o 528 o 527 c | 8.89 4.65 | 35/54 | 0 nan 0 nan 18 42 0 nan | 40908 | (18/266) c | 18.81 9.92 | 33/54 | 0 nan 0 nan 24 41 0 nan | 85909 | (24/266) c | 39.93 21.12 | 31/54 | 0 nan 0 nan 32 40 0 nan | 180409 | (32/266) c | 84.39 44.46 | 29/54 | 0 nan 0 nan 42 39 0 nan | 378859 | (42/266) o 524 c | 180.36 95.97 | 27/54 | 0 nan 0 nan 48 38 0 nan | 795604 | (48/266) o 522 o 520 o 518 o 513 o 511 1805.101u 17.902s 30:27.41 99.7% 0+0k 0+0io 3pf+0w