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_414.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/414.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: 528 vars 14539 clauses
c 380 variables cloned. 51114 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 :414.wcsp.log.wcnf.clone_ls_out.231233678.txt
c ===========================
o 46508
c Initial LB: 8099
c 	| 4.15    4.15   | 274/380 | 14175    4  0      nan  0      nan  7        3 |         2102 | (7/4846)
c 	| 9.52    5.37   | 276/380 | 14175    4  0      nan  2      275  180     68 |         4416 | (182/4846)
c 	| 19.61   10.09  | 259/380 | 14175    4  0      nan  3      276  469    112 |         9276 | (472/4846)
o 45521
o 45520
o 45515
o 45514
o 45513
o 45512
c 	| 40.05   20.44  | 254/380 | 14175    4  0      nan  5      273  1254   143 |        19480 | (1259/4846)
c 	| 78.47   38.42  | 249/380 | 14175    4  0      nan  6      272  1799   163 |        40908 | (1805/4846)
c 	| 158.35  79.88  | 247/380 | 14175    4  0      nan  9      269  2402   167 |        85909 | (2411/4846)
c 	| 323.51  165.16 | 241/380 | 14175    4  0      nan  14     264  3927   173 |       180409 | (3941/4846)
o 45510
o 45509
o 45508
c 	| 685.35  361.84 | 235/380 | 14175    4  0      nan  18     260  11041  183 |       378859 | (3260/6449)
o 45507
o 45505
o 45504
o 45503
o 45502