Warning: no access to tty (Bad file descriptor). Thus no job control in this shell. Job name: run-job-clone.sh-weightedpartial_random-_home_jplanes_evaluation_benchmarks_weightedpartial_random_wpmax2sat_lo_file_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_random/wpmax2sat/lo/file_rwpms_wcnf_L2_V150_C1500_H150_4.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: 150 vars 1500 clauses c 104 variables cloned. 2109 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_rwpms_wcnf_L2_V150_C1500_H150_4.wcnf.clone_ls_out.304753745.txt c =========================== o 1381 c Initial LB: 2 c | 0.22 0.22 | 48/104 | 150 2 0 nan 0 nan 0 nan | 2102 | (0/500) c | 0.45 0.23 | 47/104 | 150 2 0 nan 3 52 0 nan | 4416 | (3/500) c | 0.92 0.47 | 46/104 | 150 2 0 nan 8 51 0 nan | 9276 | (8/500) c | 1.92 1.00 | 46/104 | 150 2 0 nan 15 50 0 nan | 19480 | (15/500) c | 4.03 2.11 | 43/104 | 150 2 0 nan 23 49 0 nan | 40908 | (23/500) c | 8.55 4.52 | 41/104 | 150 2 0 nan 31 48 0 nan | 85909 | (31/500) c | 17.99 9.44 | 40/104 | 150 2 0 nan 39 48 0 nan | 180409 | (39/500) c | 38.20 20.21 | 37/104 | 150 2 0 nan 49 47 0 nan | 378859 | (49/500) c | 80.08 41.88 | 35/104 | 150 2 0 nan 57 46 0 nan | 795604 | (57/500) c | 167.20 87.12 | 33/104 | 150 2 0 nan 66 46 0 nan | 1670768 | (66/500) c | 351.88 184.68 | 32/104 | 150 2 0 nan 71 46 0 nan | 3508615 | (71/500) c | 739.87 387.99 | 30/104 | 150 2 0 nan 79 45 0 nan | 7368092 | (79/500) o 1380 o 1377 1784.969u 39.855s 30:28.74 99.7% 0+0k 0+0io 3pf+0w