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_AUCTIONS_AUC_SCHEDULING_cat_sched_60_200_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0004.txt.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: 234 vars 9693 clauses
c 205 variables cloned. 17058 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 :cat_sched_60_200_0004.txt.wcnf.clone_ls_out.1984286140.txt
c ===========================
o 147061
c Initial LB: 13153
c 	| 1.17    1.17   | 184/205 | 9459     2  1      185  0      nan  0      nan |         2102 | (5/3231)
c 	| 2.17    1.00   | 181/205 | 9459     2  1      185  14     187  0      nan |         4416 | (28/3231)
c 	| 4.19    2.02   | 177/205 | 9459     2  1      185  33     185  11     181 |         9276 | (86/3231)
c 	| 7.59    3.40   | 174/205 | 9459     2  20     187  47     184  12     181 |        19480 | (213/3231)
c 	| 15.00   7.41   | 169/205 | 9459     2  48     187  58     183  81     179 |        40908 | (402/3231)
c 	| 30.11   15.11  | 161/205 | 9459     2  164    186  122    178  244    178 |        85909 | (895/3231)
c 	| 64.08   33.97  | 146/205 | 9459     2  462    186  351    170  571    171 |       180409 | (1978/3231)
c 	| 139.01  74.93  | 132/205 | 9459     2  1021   186  631    165  1305   165 |       378859 | (793/3554)
c 	| 308.35  169.34 | 106/205 | 9459     2  3264   185  2168   149  4307   150 |       795604 | (4182/4299)
o 146947