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_warehouse1.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/warehouse1.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: 836 vars 1955 clauses
c 259 variables cloned. 1378 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 :warehouse1.wcsp.wcnf.clone_ls_out.865794875.txt
c ===========================
o 1002366
c Initial LB: 0
c 	| 1.62    1.62   |  15/259 | 1556     2  0      nan  121     37  0      nan |         2102 | (371/716)
c 	| 2.88    1.26   |  14/259 | 1556     2  0      nan  271     36  0      nan |         4416 | (711/787)
c 	| 5.10    2.22   |  13/259 | 1556     2  0      nan  544     36  0      nan |         9276 | (690/1046)
c 	| 9.42    4.32   |  13/259 | 1556     2  0      nan  1082    36  0      nan |        19480 | (814/1530)
c 	| 17.87   8.45   |  12/259 | 1556     2  0      nan  2115    34  0      nan |        40908 | (1901/2239)
c 	| 33.91   16.04  |  12/259 | 1556     2  0      nan  3467    34  0      nan |        85909 | (2909/3275)
c 	| 67.49   33.58  |  11/259 | 1556     2  0      nan  6376    33  0      nan |       180409 | (3555/5799)
c 	| 131.71  64.22  |  11/259 | 1556     2  0      nan  9475    32  0      nan |       378859 | (4647/8487)
c 	| 262.48  130.77 |  10/259 | 1556     2  0      nan  14355   33  0      nan |       795604 | (5755/12423)
c 	| 530.46  267.98 |  10/259 | 1556     2  0      nan  19926   32  0      nan |      1670768 | (8374/16534)
c 	| 1085.47 555.01 |  10/259 | 1556     2  6       33  25327   32  0      nan |      3508615 | (12157/20005)
o 1002313
o 1002018
o 1001385
o 1001090
o 1000718
o 1000423
1812.761u 13.703s 30:27.54 99.9%	0+0k 0+0io 3pf+0w