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_C700_5.wcnf Job file: /home/jplanes/evaluation/benchmarks/weighted_random/wmax2sat/hi/file_rwms_wcnf_L2_V100_C700_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 700 clauses c 50 variables cloned. 756 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_C700_5.wcnf.clone_ls_out.1510913638.txt c =========================== o 421 c Initial LB: 1 o 420 o 414 o 413 o 412 o 411 o 409 o 407 c | 0.49 0.49 | 36/50 | 0 nan 0 nan 0 nan 0 nan | 2102 | (0/233) c | 1.01 0.52 | 34/50 | 0 nan 0 nan 6 38 0 nan | 4416 | (6/233) c | 2.10 1.09 | 31/50 | 0 nan 0 nan 10 37 0 nan | 9276 | (10/233) c | 4.34 2.24 | 29/50 | 0 nan 0 nan 16 36 0 nan | 19480 | (16/233) c | 9.08 4.74 | 27/50 | 0 nan 0 nan 22 35 0 nan | 40908 | (22/233) o 404 c | 18.99 9.91 | 25/50 | 0 nan 0 nan 28 34 0 nan | 85909 | (28/233) o 401 o 399 c | 39.74 20.75 | 24/50 | 0 nan 0 nan 35 34 0 nan | 180409 | (35/233) c | 82.66 42.92 | 22/50 | 0 nan 0 nan 43 33 0 nan | 378859 | (43/233) o 395 c | 173.42 90.76 | 20/50 | 0 nan 0 nan 49 32 0 nan | 795604 | (49/233) o 394 o 389 o 388 o 387 o 382 1803.627u 19.182s 30:26.76 99.7% 0+0k 0+0io 78pf+0w