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_cap102.wcsp.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/warehouses/cap102.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 :cap102.wcsp.wcnf.clone_ls_out.341836491.txt
c ===========================
o -2147483648
c Initial LB: 0
o 12589786
o 12581182
o 12579301
o 12577767
o 12576703
c 	| 2.90    2.90   | 881/925 | 5000     2  0      nan  0      nan  0      nan |         2102 | (0/2091)
c 	| 5.16    2.26   | 879/925 | 5000     2  0      nan  4      897  0      nan |         4416 | (4/2091)
c 	| 9.21    4.05   | 851/925 | 5000     2  0      nan  8      896  0      nan |         9276 | (8/2091)
c 	| 17.02   7.81   | 850/925 | 5000     2  0      nan  11     893  0      nan |        19480 | (11/2091)
c 	| 32.89   15.87  | 843/925 | 5000     2  0      nan  14     887  0      nan |        40908 | (14/2091)
o 12575005
o 12573124
o 12571590
o 12570526
c 	| 65.60   32.71  | 837/925 | 5000     2  0      nan  17     884  0      nan |        85909 | (17/2091)
c 	| 134.13  68.53  | 834/925 | 5000     2  0      nan  21     877  0      nan |       180409 | (21/2091)
c 	| 279.91  145.78 | 819/925 | 5000     2  0      nan  25     872  0      nan |       378859 | (25/2091)
c 	| 586.10  306.19 | 803/925 | 5000     2  0      nan  30     867  0      nan |       795604 | (30/2091)
o 12567458
o 12565577
o 12564043
o 12562979
o 12561281
o 12559400
o 12557866
o 12556802
1829.883u 6.286s 30:36.38 99.9%	0+0k 0+0io 3pf+0w