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_509.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/509.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: 500 vars 12243 clauses
c 341 variables cloned. 40943 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 :509.wcsp.log.wcnf.clone_ls_out.1824728130.txt
c ===========================
o 41491
c Initial LB: 9117
c 	| 3.54    3.54   | 237/341 | 11895    4  0      nan  0      nan  16       4 |         2102 | (16/4081)
o 41490
o 41489
o 41486
o 41485
o 41484
c 	| 7.72    4.18   | 243/341 | 11895    4  0      nan  3      247  204    114 |         4416 | (207/4081)
o 41483
c 	| 15.88   8.16   | 240/341 | 11895    4  0      nan  5      247  410    127 |         9276 | (415/4081)
c 	| 31.92   16.04  | 238/341 | 11895    4  0      nan  13     254  586    130 |        19480 | (599/4081)
c 	| 64.63   32.71  | 235/341 | 11895    4  0      nan  16     254  870    144 |        40908 | (886/4081)
c 	| 133.07  68.44  | 230/341 | 11895    4  0      nan  18     253  1311   153 |        85909 | (1329/4081)
c 	| 276.41  143.34 | 224/341 | 11895    4  0      nan  22     250  2306   150 |       180409 | (2328/4081)
o 41481
o 41480
o 41479
o 41478
c 	| 575.59  299.18 | 219/341 | 11895    4  0      nan  27     246  4866   157 |       378859 | (2897/4489)
o 41476
o 41475
o 41474
o 41473
1863.783u 3.882s 31:08.61 99.9%	0+0k 0+0io 3pf+0w