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_1504.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/1504.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: 929 vars 6593 clauses
c 411 variables cloned. 14776 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 :1504.wcsp.log.wcnf.clone_ls_out.1545507519.txt
c ===========================
o 187347
c Initial LB: 96114
o 183322
c 	| 2.04    2.04   | 383/411 | 5988     4  0      nan  0      nan  300    311 |         2102 | (300/2197)
o 177320
c 	| 3.88    1.84   | 380/411 | 5988     4  0      nan  2      388  598    344 |         4416 | (600/2197)
c 	| 7.32    3.44   | 377/411 | 5988     4  0      nan  5      387  880    356 |         9276 | (885/2197)
c 	| 14.36   7.04   | 376/411 | 5988     4  0      nan  7      385  1592   368 |        19480 | (1599/2197)
c 	| 28.55   14.19  | 374/411 | 5988     4  0      nan  9      384  2409   369 |        40908 | (670/2416)
o 177319
c 	| 58.28   29.73  | 372/411 | 5988     4  0      nan  11     384  5106   372 |        85909 | (2174/2657)
c 	| 120.42  62.14  | 370/411 | 5988     4  0      nan  15     383  9353   373 |       180409 | (2055/3535)
o 177318
c 	| 251.01  130.59 | 369/411 | 5988     4  0      nan  16     383  16501  375 |       378859 | (3368/4703)
c 	| 523.49  272.48 | 366/411 | 5988     4  0      nan  20     380  22207  376 |       795604 | (4149/5690)
o 177317
1831.035u 6.740s 30:39.83 99.8%	0+0k 0+0io 3pf+0w