Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-clone.sh-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_WCSP_SPOT5_LOG_28.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/28.wcsp.log.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: 288 vars 7122 clauses
c 179 variables cloned. 19331 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 :28.wcsp.log.wcnf.clone_ls_out.1545507519.txt
c ===========================
o 286120
c Initial LB: 70095
o 284105
o 282105
o 280105
c 	| 1.86    1.86   | 121/179 | 6892     3  0      nan  0      nan  73      38 |         2102 | (73/2374)
o 279105
c 	| 3.61    1.75   | 119/179 | 6892     3  0      nan  5      122  92      46 |         4416 | (97/2374)
o 278105
c 	| 7.13    3.52   | 115/179 | 6892     3  0      nan  10     122  121     37 |         9276 | (131/2374)
c 	| 14.21   7.08   | 114/179 | 6892     3  0      nan  14     122  139     33 |        19480 | (153/2374)
c 	| 29.10   14.89  | 111/179 | 6892     3  0      nan  18     122  191     25 |        40908 | (209/2374)
c 	| 60.02   30.92  | 105/179 | 6892     3  0      nan  24     120  194     25 |        85909 | (218/2374)
c 	| 126.00  65.98  |  94/179 | 6892     3  0      nan  32     117  206     23 |       180409 | (238/2374)
c 	| 264.93  138.93 |  96/179 | 6892     3  0      nan  37     117  284     18 |       378859 | (321/2374)
c 	| 558.64  293.71 |  93/179 | 6892     3  0      nan  43     115  384     15 |       795604 | (427/2374)
c 	| 1187.63 628.99 |  87/179 | 6892     3  0      nan  52     115  551     11 |      1670768 | (603/2374)
o 277105
1831.265u 6.418s 30:41.68 99.7%	0+0k 0+0io 3pf+0w