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_min-enc_warehouses_cap82.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap82.wcsp.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: 2600 vars 6273 clauses
c 925 variables cloned. 4899 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 :cap82.wcsp.wcnf.clone_ls_out.1344796151.txt
c ===========================
o -2147483648
c Initial LB: 0
o 12587267
o 12585020
o 12584512
o 12582265
o 12581765
o 12579518
c 	| 2.83    2.83   | 883/925 | 5000     2  0      nan  0      nan  0      nan |         2102 | (0/2091)
c 	| 5.06    2.23   | 880/925 | 5000     2  0      nan  4      897  0      nan |         4416 | (4/2091)
o 12578507
c 	| 9.16    4.10   | 852/925 | 5000     2  0      nan  8      898  0      nan |         9276 | (8/2091)
c 	| 16.95   7.79   | 851/925 | 5000     2  0      nan  13     895  0      nan |        19480 | (13/2091)
c 	| 32.84   15.89  | 845/925 | 5000     2  0      nan  16     890  0      nan |        40908 | (16/2091)
o 12577909
c 	| 65.40   32.56  | 838/925 | 5000     2  0      nan  19     884  0      nan |        85909 | (19/2091)
c 	| 134.10  68.70  | 834/925 | 5000     2  0      nan  23     879  0      nan |       180409 | (23/2091)
c 	| 279.40  145.30 | 820/925 | 5000     2  0      nan  27     874  0      nan |       378859 | (27/2091)
o 12565404
o 12563157
o 12562649
o 12560402
o 12559902
o 12557655
o 12556644
o 12556046
1830.367u 5.996s 30:36.84 99.9%	0+0k 0+0io 3pf+0w