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_505.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/505.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: 344 vars 3432 clauses
c 161 variables cloned. 7210 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 :505.wcsp.log.wcnf.clone_ls_out.1559218972.txt
c ===========================
o 22279
c Initial LB: 12100
c 	| 0.82    0.82   | 121/161 | 3192     3  0      nan  0      nan  38     121 |         2102 | (38/1144)
c 	| 1.67    0.85   | 126/161 | 3192     3  0      nan  4      126  82      67 |         4416 | (86/1144)
c 	| 3.54    1.87   | 121/161 | 3192     3  0      nan  7      127  230     35 |         9276 | (237/1144)
c 	| 7.11    3.57   | 117/161 | 3192     3  0      nan  10     127  315     42 |        19480 | (325/1144)
c 	| 14.38   7.27   | 115/161 | 3192     3  0      nan  14     128  405     59 |        40908 | (419/1144)
c 	| 29.82   15.44  | 108/161 | 3192     3  0      nan  18     127  557     74 |        85909 | (575/1144)
c 	| 62.20   32.38  | 104/161 | 3192     3  0      nan  22     126  851     88 |       180409 | (873/1144)
o 22267
o 22266
o 22265
o 22264
o 22263
c 	| 129.09  66.89  | 104/161 | 3192     3  0      nan  26     124  1851    91 |       378859 | (767/1258)
c 	| 271.82  142.73 | 102/161 | 3192     3  0      nan  30     124  3364    90 |       795604 | (956/1521)
o 21267
o 21266
o 21265
o 21264
c 	| 568.78  296.96 | 101/161 | 3192     3  0      nan  32     124  7570   104 |      1670768 | (1682/2226)
o 21263
1817.244u 12.293s 30:29.54 99.9%	0+0k 0+0io 3pf+0w