pkg=0
get_first_solution
initial_pkgs: [0]
going to run solver
SAT
first solution:
0:2018; 
pkg=1
get_first_solution
initial_pkgs: [1]
going to run solver
SAT
first solution:
0:2018; 1:2020; 
pkg=2
get_first_solution
initial_pkgs: [2]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 
pkg=3
get_first_solution
initial_pkgs: [3]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 
pkg=4
get_first_solution
initial_pkgs: [4]
going to run solver
SAT
first solution:
4:2020; 
pkg=5
get_first_solution
initial_pkgs: [5]
going to run solver
SAT
first solution:
0:2018; 5:2006; 
pkg=6
get_first_solution
initial_pkgs: [6]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 
pkg=7
get_first_solution
initial_pkgs: [7]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 7:2020; 
pkg=8
get_first_solution
initial_pkgs: [8]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 7:2020; 8:2014; 
pkg=9
get_first_solution
initial_pkgs: [9]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 
pkg=10
get_first_solution
initial_pkgs: [10]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 7:2020; 8:2014; 10:2015; 
pkg=11
get_first_solution
initial_pkgs: [11]
going to run solver
SAT
first solution:
11:2007; 
pkg=12
get_first_solution
initial_pkgs: [12]
going to run solver
SAT
first solution:
12:2019; 
pkg=13
get_first_solution
initial_pkgs: [13]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 
pkg=14
get_first_solution
initial_pkgs: [14]
going to run solver
SAT
first solution:
0:2018; 1:2020; 14:2004; 
pkg=15
get_first_solution
initial_pkgs: [15]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 
pkg=16
get_first_solution
initial_pkgs: [16]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 11:2018; 14:2012; 16:2017; 
pkg=17
get_first_solution
initial_pkgs: [17]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 14:2012; 17:2019; 
pkg=18
get_first_solution
initial_pkgs: [18]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 14:2012; 17:2019; 18:2020; 
pkg=19
get_first_solution
initial_pkgs: [19]
going to run solver
SAT
first solution:
19:2018; 
pkg=20
get_first_solution
initial_pkgs: [20]
going to run solver
SAT
first solution:
20:2017; 
pkg=21
get_first_solution
initial_pkgs: [21]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 14:2012; 15:2020; 21:2020; 
pkg=22
get_first_solution
initial_pkgs: [22]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 11:2018; 14:2012; 16:2017; 22:2016; 
pkg=23
get_first_solution
initial_pkgs: [23]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 14:2012; 16:2017; 17:2019; 18:2020; 19:2008; 22:2016; 23:2019; 
pkg=24
get_first_solution
initial_pkgs: [24]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 22:2016; 24:2001; 
pkg=25
get_first_solution
initial_pkgs: [25]
going to run solver
SAT
first solution:
25:2018; 
pkg=26
get_first_solution
initial_pkgs: [26]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2000; 14:2012; 17:2019; 18:2001; 26:2011; 
pkg=27
get_first_solution
initial_pkgs: [27]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 20:2017; 27:2020; 
pkg=28
get_first_solution
initial_pkgs: [28]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2001; 17:2019; 18:2020; 19:2008; 22:2002; 23:2019; 24:2000; 28:2018; 
pkg=29
get_first_solution
initial_pkgs: [29]
going to run solver
SAT
first solution:
29:2020; 
pkg=30
get_first_solution
initial_pkgs: [30]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 30:2015; 
pkg=31
get_first_solution
initial_pkgs: [31]
going to run solver
SAT
first solution:
25:2018; 31:2014; 
pkg=32
get_first_solution
initial_pkgs: [32]
going to run solver
SAT
first solution:
32:2020; 
pkg=33
get_first_solution
initial_pkgs: [33]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 17:2019; 20:2017; 22:2016; 24:2001; 27:2020; 29:2020; 33:2010; 
pkg=34
get_first_solution
initial_pkgs: [34]
going to run solver
SAT
first solution:
34:2020; 
pkg=35
get_first_solution
initial_pkgs: [35]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 29:2020; 35:2014; 
pkg=36
get_first_solution
initial_pkgs: [36]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 22:2016; 29:2020; 35:2014; 36:2019; 
pkg=37
get_first_solution
initial_pkgs: [37]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 14:2012; 17:2019; 18:2020; 19:2016; 20:2017; 32:2015; 37:2016; 
pkg=38
get_first_solution
initial_pkgs: [38]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2001; 19:2018; 21:2000; 22:2000; 23:2001; 25:2005; 28:2001; 31:2010; 38:2010; 
pkg=39
get_first_solution
initial_pkgs: [39]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2001; 17:2019; 18:2020; 19:2008; 21:2020; 22:2002; 23:2019; 24:2001; 28:2018; 39:2018; 
pkg=40
get_first_solution
initial_pkgs: [40]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 21:2020; 40:2020; 
pkg=41
get_first_solution
initial_pkgs: [41]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2016; 20:2017; 21:2020; 25:2018; 29:2020; 32:2015; 35:2014; 37:2016; 41:2019; 
pkg=42
get_first_solution
initial_pkgs: [42]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 20:2017; 21:2020; 22:2016; 24:2000; 27:2020; 29:2020; 33:2010; 42:2020; 
pkg=43
get_first_solution
initial_pkgs: [43]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 25:2000; 32:2020; 37:2019; 43:2000; 
pkg=44
get_first_solution
initial_pkgs: [44]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 20:2017; 25:2014; 44:2016; 
pkg=45
get_first_solution
initial_pkgs: [45]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2000; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2001; 20:2005; 22:2016; 25:2018; 26:2011; 44:2007; 45:2019; 
pkg=46
get_first_solution
initial_pkgs: [46]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2016; 20:2017; 27:2013; 32:2015; 37:2016; 46:2019; 
pkg=47
get_first_solution
initial_pkgs: [47]
going to run solver
SAT
first solution:
47:2001; 
pkg=48
get_first_solution
initial_pkgs: [48]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2000; 13:2020; 14:2012; 15:2001; 16:2017; 17:2019; 18:2001; 19:2018; 20:2017; 21:2020; 22:2016; 23:2019; 24:2001; 25:2018; 26:2011; 28:2018; 39:2018; 44:2019; 45:2019; 48:2016; 
pkg=49
get_first_solution
initial_pkgs: [49]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 11:2018; 14:2012; 16:2017; 49:2007; 
pkg=50
get_first_solution
initial_pkgs: [50]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2018; 21:2020; 22:2000; 23:2001; 28:2001; 29:2020; 34:2020; 35:2014; 36:2015; 50:2014; 
pkg=51
get_first_solution
initial_pkgs: [51]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2010; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2004; 17:2019; 18:2020; 19:2008; 20:2017; 21:2020; 22:2016; 23:2019; 24:2000; 27:2020; 28:2018; 29:2020; 30:2015; 33:2010; 34:2009; 35:2000; 36:2019; 39:2002; 50:2009; 51:2019; 
pkg=52
get_first_solution
initial_pkgs: [52]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2001; 19:2018; 20:2017; 21:2000; 22:2000; 23:2001; 25:2005; 27:2020; 28:2001; 29:2020; 31:2010; 35:2001; 38:2010; 44:2016; 52:2017; 
pkg=53
get_first_solution
initial_pkgs: [53]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2019; 13:2020; 14:2004; 15:2020; 16:2017; 17:2011; 19:2018; 21:2000; 34:2020; 40:2017; 53:2017; 
pkg=54
get_first_solution
initial_pkgs: [54]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 54:2020; 
pkg=55
get_first_solution
initial_pkgs: [55]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2006; 9:2017; 10:2009; 11:2018; 12:2019; 13:2020; 14:2004; 15:2020; 16:2013; 17:2011; 20:2017; 21:2020; 22:2016; 24:2000; 27:2013; 29:2010; 33:2014; 34:2012; 40:2020; 49:2007; 53:2012; 55:2016; 
pkg=56
get_first_solution
initial_pkgs: [56]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2006; 9:2017; 10:2009; 11:2018; 12:2019; 13:2020; 14:2004; 15:2020; 16:2013; 17:2011; 18:2001; 19:2018; 20:2008; 21:2020; 22:2016; 23:2019; 24:2000; 25:2018; 26:2012; 27:2013; 28:2018; 29:2010; 31:2014; 33:2014; 34:2012; 39:2018; 40:2020; 44:2011; 45:2019; 48:2016; 49:2014; 53:2012; 55:2016; 56:2001; 
pkg=57
get_first_solution
initial_pkgs: [57]
going to run solver
SAT
first solution:
57:2020; 
pkg=58
get_first_solution
initial_pkgs: [58]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2000; 13:2020; 14:2012; 15:2020; 16:2001; 17:2019; 18:2001; 19:2018; 20:2005; 21:2000; 22:2001; 23:2001; 25:2005; 26:2011; 27:2020; 28:2001; 29:2020; 31:2010; 35:2001; 36:2015; 38:2010; 44:2007; 45:2019; 52:2017; 54:2001; 58:2003; 
pkg=59
get_first_solution
initial_pkgs: [59]
going to run solver
SAT
first solution:
59:2020; 
pkg=60
get_first_solution
initial_pkgs: [60]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 25:2000; 32:2020; 37:2019; 43:2000; 57:2008; 60:2012; 
pkg=61
get_first_solution
initial_pkgs: [61]
going to run solver
SAT
first solution:
4:2020; 61:2013; 
pkg=62
get_first_solution
initial_pkgs: [62]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2011; 6:2011; 7:2006; 8:2019; 9:2017; 10:2013; 11:2014; 12:2009; 13:2015; 14:2013; 15:2020; 16:2017; 17:2019; 18:2020; 19:2018; 20:2017; 21:2020; 22:2000; 23:2001; 24:2011; 27:2013; 28:2001; 29:2007; 32:2020; 33:2014; 34:2009; 35:2007; 36:2015; 42:2020; 50:2014; 62:2017; 
pkg=63
get_first_solution
initial_pkgs: [63]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2012; 4:2020; 5:2011; 6:2012; 7:2017; 8:2010; 9:2017; 10:2001; 11:2018; 12:2019; 13:2020; 14:2013; 15:2018; 16:2017; 17:2013; 18:2001; 19:2018; 20:2005; 21:2010; 22:2016; 23:2019; 24:2000; 25:2018; 26:2005; 27:2020; 28:2018; 29:2020; 31:2014; 32:2020; 34:2020; 35:2000; 38:2018; 39:2002; 40:2017; 44:2007; 45:2019; 48:2016; 52:2017; 53:2017; 63:2018; 
pkg=64
get_first_solution
initial_pkgs: [64]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2016; 20:2013; 27:2020; 32:2015; 37:2016; 64:2019; 
pkg=65
get_first_solution
initial_pkgs: [65]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2012; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 17:2019; 18:2020; 20:2008; 21:2020; 22:2000; 23:2001; 24:2001; 25:2018; 27:2020; 28:2018; 29:2020; 31:2014; 35:2000; 38:2013; 44:2011; 52:2017; 61:2013; 65:2020; 
pkg=66
get_first_solution
initial_pkgs: [66]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2001; 17:2019; 18:2020; 19:2008; 22:2002; 23:2019; 24:2000; 28:2018; 29:2010; 61:2013; 66:2019; 
pkg=67
get_first_solution
initial_pkgs: [67]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 30:2015; 67:2019; 
pkg=68
get_first_solution
initial_pkgs: [68]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 9:2017; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 22:2016; 23:2019; 24:2000; 25:2000; 26:2020; 28:2016; 29:2020; 30:2015; 32:2020; 35:2000; 36:2019; 37:2019; 43:2000; 44:2016; 45:2019; 54:2020; 57:2008; 58:2002; 60:2012; 68:2020; 
pkg=69
get_first_solution
initial_pkgs: [69]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 25:2000; 32:2020; 37:2019; 43:2000; 57:2008; 60:2012; 69:2014; 
pkg=70
get_first_solution
initial_pkgs: [70]
going to run solver
SAT
first solution:
70:2014; 
pkg=71
get_first_solution
initial_pkgs: [71]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2009; 6:2016; 7:2020; 8:2010; 10:2001; 11:2018; 12:2019; 13:2020; 14:2013; 15:2020; 16:2004; 17:2019; 18:2020; 19:2018; 20:2005; 21:2020; 22:2014; 23:2019; 24:2000; 25:2005; 27:2020; 28:2018; 29:2020; 30:2015; 31:2003; 33:2010; 34:2009; 35:2000; 36:2019; 38:2003; 39:2002; 44:2007; 49:2012; 50:2009; 51:2019; 52:2017; 54:2001; 71:2002; 
pkg=72
get_first_solution
initial_pkgs: [72]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 25:2000; 32:2020; 37:2019; 43:2000; 72:2011; 
pkg=73
get_first_solution
initial_pkgs: [73]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 22:2016; 24:2001; 73:2019; 
pkg=74
get_first_solution
initial_pkgs: [74]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2011; 6:2011; 7:2020; 8:2014; 10:2015; 11:2007; 12:2019; 13:2019; 14:2012; 15:2020; 16:2001; 17:2019; 18:2020; 19:2008; 21:2020; 22:2002; 23:2019; 24:2011; 28:2020; 29:2020; 34:2009; 35:2000; 36:2019; 49:2007; 50:2009; 74:2020; 
pkg=75
get_first_solution
initial_pkgs: [75]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2001; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 22:2016; 29:2020; 35:2014; 36:2019; 70:2005; 75:2006; 
pkg=76
get_first_solution
initial_pkgs: [76]
going to run solver
SAT
first solution:
76:2011; 
pkg=77
get_first_solution
initial_pkgs: [77]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 20:2017; 27:2013; 30:2015; 47:2007; 49:2007; 77:2019; 
pkg=78
get_first_solution
initial_pkgs: [78]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2018; 20:2017; 21:2000; 25:2000; 27:2020; 30:2015; 32:2020; 37:2019; 43:2000; 47:2013; 49:2007; 57:2008; 60:2012; 77:2013; 78:2016; 
pkg=79
get_first_solution
initial_pkgs: [79]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 9:2017; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2001; 17:2019; 18:2001; 19:2018; 20:2017; 21:2000; 22:2001; 23:2001; 25:2000; 26:2020; 27:2020; 28:2001; 29:2020; 31:2010; 32:2020; 35:2001; 37:2019; 38:2010; 43:2000; 44:2016; 45:2019; 52:2017; 54:2020; 57:2008; 58:2001; 60:2012; 79:2001; 
pkg=80
get_first_solution
initial_pkgs: [80]
going to run solver
SAT
first solution:
80:2012; 
pkg=81
get_first_solution
initial_pkgs: [81]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2006; 9:2017; 10:2000; 11:2012; 12:2019; 13:2020; 14:2012; 15:2020; 16:2004; 17:2019; 18:2012; 19:2008; 20:2005; 21:2020; 22:2016; 23:2019; 24:2000; 25:2014; 26:2012; 27:2020; 28:2018; 29:2020; 30:2015; 31:2003; 32:2020; 33:2010; 34:2009; 35:2000; 36:2019; 37:2006; 38:2003; 39:2002; 44:2007; 45:2016; 49:2012; 50:2009; 51:2019; 52:2017; 54:2001; 58:2003; 64:2019; 67:2019; 71:2002; 81:2016; 
pkg=82
get_first_solution
initial_pkgs: [82]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 22:2016; 24:2001; 82:2015; 
pkg=83
get_first_solution
initial_pkgs: [83]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2002; 5:2011; 6:2002; 7:2006; 8:2019; 9:2017; 10:2001; 11:2014; 12:2000; 13:2015; 14:2013; 15:2017; 16:2016; 17:2013; 18:2001; 19:2018; 20:2017; 21:2000; 22:2000; 23:2001; 25:2000; 26:2011; 27:2020; 28:2001; 29:2020; 30:2015; 31:2010; 32:2020; 34:2020; 35:2014; 36:2015; 37:2019; 38:2010; 43:2000; 44:2016; 45:2019; 50:2004; 52:2017; 54:2020; 57:2008; 58:2018; 60:2012; 61:2014; 66:2016; 68:2020; 79:2020; 83:2020; 
pkg=84
get_first_solution
initial_pkgs: [84]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 9:2017; 10:2001; 11:2018; 12:2019; 13:2020; 14:2012; 15:2018; 16:2001; 17:2019; 18:2001; 19:2018; 20:2017; 21:2000; 22:2001; 23:2001; 25:2000; 26:2005; 27:2020; 28:2001; 29:2020; 30:2015; 31:2010; 32:2020; 35:2014; 36:2015; 37:2019; 38:2010; 43:2000; 44:2019; 45:2019; 52:2008; 54:2001; 57:2008; 58:2003; 60:2012; 61:2009; 68:2020; 70:2005; 75:2006; 76:2017; 84:2010; 
pkg=85
get_first_solution
initial_pkgs: [85]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2016; 20:2013; 27:2020; 30:2015; 32:2015; 37:2016; 61:2013; 64:2019; 67:2010; 85:2020; 
pkg=86
get_first_solution
initial_pkgs: [86]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2011; 6:2016; 7:2006; 8:2006; 9:2017; 10:2009; 11:2018; 12:2009; 13:2020; 14:2013; 15:2020; 16:2017; 17:2019; 18:2001; 19:2018; 20:2017; 21:2000; 22:2016; 23:2019; 24:2000; 25:2000; 26:2011; 27:2020; 28:2018; 29:2020; 30:2015; 32:2020; 35:2000; 36:2019; 37:2006; 40:2007; 43:2000; 44:2016; 45:2019; 54:2020; 57:2008; 58:2018; 60:2012; 61:2009; 64:2019; 67:2019; 68:2020; 70:2008; 73:2019; 75:2009; 76:2000; 84:2018; 85:2020; 86:2000; 
pkg=87
get_first_solution
initial_pkgs: [87]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 9:2017; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2001; 19:2018; 20:2017; 21:2000; 22:2000; 23:2001; 25:2000; 26:2020; 27:2020; 28:2001; 29:2010; 30:2015; 31:2010; 32:2020; 35:2001; 36:2015; 37:2019; 38:2010; 43:2000; 44:2016; 45:2019; 52:2017; 54:2001; 57:2008; 58:2003; 60:2012; 61:2013; 64:2019; 66:2019; 67:2010; 79:2020; 85:2020; 87:2020; 
pkg=88
get_first_solution
initial_pkgs: [88]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2002; 5:2011; 6:2002; 7:2006; 8:2019; 9:2017; 10:2001; 11:2014; 12:2000; 13:2015; 14:2013; 15:2017; 16:2016; 17:2013; 18:2001; 19:2018; 20:2017; 21:2000; 22:2000; 23:2001; 24:2000; 25:2000; 26:2011; 27:2020; 28:2001; 29:2020; 30:2015; 31:2010; 32:2000; 33:2015; 34:2020; 35:2014; 36:2015; 37:2019; 38:2010; 39:2001; 40:2007; 43:2000; 44:2019; 45:2019; 48:2016; 49:2009; 50:2004; 52:2008; 53:2017; 54:2020; 55:2018; 57:2008; 58:2018; 60:2012; 61:2014; 63:2000; 66:2016; 68:2020; 79:2005; 82:2015; 83:2012; 88:2019; 
pkg=89
get_first_solution
initial_pkgs: [89]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2018; 13:2020; 15:2020; 30:2015; 89:2020; 
pkg=90
get_first_solution
initial_pkgs: [90]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2001; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 20:2017; 22:2016; 27:2013; 29:2020; 30:2015; 35:2014; 36:2019; 47:2007; 49:2007; 70:2005; 75:2006; 77:2019; 90:2020; 
pkg=91
get_first_solution
initial_pkgs: [91]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2019; 13:2020; 14:2004; 15:2011; 16:2017; 17:2011; 18:2018; 20:2017; 21:2013; 22:2000; 23:2001; 24:2000; 25:2018; 28:2018; 29:2020; 31:2003; 34:2020; 38:2003; 40:2017; 44:2019; 47:2020; 53:2017; 91:2001; 
pkg=92
get_first_solution
initial_pkgs: [92]
going to run solver
SAT
first solution:
92:2009; 
pkg=93
get_first_solution
initial_pkgs: [93]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2009; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2001; 20:2005; 22:2016; 25:2018; 26:2011; 30:2015; 44:2007; 45:2019; 93:2011; 
pkg=94
get_first_solution
initial_pkgs: [94]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 10:2001; 11:2018; 12:2000; 13:2020; 14:2012; 15:2001; 16:2017; 17:2019; 18:2001; 19:2018; 20:2017; 21:2020; 22:2016; 23:2019; 24:2001; 25:2018; 26:2011; 28:2018; 32:2000; 39:2018; 44:2019; 45:2019; 48:2016; 94:2001; 
pkg=95
get_first_solution
initial_pkgs: [95]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2020; 16:2017; 17:2019; 18:2020; 19:2016; 20:2013; 27:2020; 30:2015; 32:2015; 37:2016; 61:2013; 64:2019; 67:2010; 85:2020; 95:2019; 
pkg=96
get_first_solution
initial_pkgs: [96]
going to run solver
SAT
first solution:
96:2020; 
pkg=97
get_first_solution
initial_pkgs: [97]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 9:2017; 97:2018; 
pkg=98
get_first_solution
initial_pkgs: [98]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2020; 8:2014; 10:2015; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2017; 22:2016; 24:2001; 30:2015; 34:2020; 61:2001; 73:2019; 89:2013; 98:2013; 
pkg=99
get_first_solution
initial_pkgs: [99]
going to run solver
SAT
first solution:
0:2018; 1:2020; 2:2019; 3:2019; 4:2020; 5:2015; 6:2016; 7:2006; 8:2019; 9:2017; 10:2020; 11:2018; 12:2019; 13:2020; 14:2012; 15:2001; 16:2001; 17:2019; 18:2020; 19:2016; 20:2008; 21:2020; 22:2002; 23:2019; 24:2001; 25:2018; 26:2020; 27:2020; 28:2016; 32:2015; 37:2016; 39:2002; 44:2019; 45:2002; 48:2004; 64:2000; 73:2019; 76:2000; 99:2007;