pkg=0
get_first_solution
initial_pkgs: [0]
going to run solver
SAT
first solution:
0:2019; 
pkg=1
get_first_solution
initial_pkgs: [1]
going to run solver
SAT
first solution:
0:2019; 1:2020; 
pkg=2
get_first_solution
initial_pkgs: [2]
going to run solver
SAT
first solution:
2:2014; 
pkg=3
get_first_solution
initial_pkgs: [3]
going to run solver
SAT
first solution:
2:2014; 3:2018; 
pkg=4
get_first_solution
initial_pkgs: [4]
going to run solver
SAT
first solution:
4:2007; 
pkg=5
get_first_solution
initial_pkgs: [5]
going to run solver
SAT
first solution:
2:2014; 5:2015; 
pkg=6
get_first_solution
initial_pkgs: [6]
going to run solver
SAT
first solution:
6:2019; 
pkg=7
get_first_solution
initial_pkgs: [7]
going to run solver
SAT
first solution:
7:2016; 
pkg=8
get_first_solution
initial_pkgs: [8]
going to run solver
SAT
first solution:
0:2019; 8:2020; 
pkg=9
get_first_solution
initial_pkgs: [9]
going to run solver
SAT
first solution:
0:2019; 2:2014; 5:2015; 7:2016; 9:2016; 
pkg=10
get_first_solution
initial_pkgs: [10]
going to run solver
SAT
first solution:
0:2019; 2:2014; 5:2015; 6:2019; 7:2016; 9:2016; 10:2019; 
pkg=11
get_first_solution
initial_pkgs: [11]
going to run solver
SAT
first solution:
0:2019; 2:2014; 4:2007; 5:2015; 7:2016; 9:2016; 11:2012; 
pkg=12
get_first_solution
initial_pkgs: [12]
going to run solver
SAT
first solution:
12:2018; 
pkg=13
get_first_solution
initial_pkgs: [13]
going to run solver
SAT
first solution:
13:2020; 
pkg=14
get_first_solution
initial_pkgs: [14]
going to run solver
SAT
first solution:
14:2013; 
pkg=15
get_first_solution
initial_pkgs: [15]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 11:2020; 14:2013; 15:2008; 
pkg=16
get_first_solution
initial_pkgs: [16]
going to run solver
SAT
first solution:
4:2007; 14:2013; 16:2020; 
pkg=17
get_first_solution
initial_pkgs: [17]
going to run solver
SAT
first solution:
17:2017; 
pkg=18
get_first_solution
initial_pkgs: [18]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 11:2020; 12:2018; 14:2013; 15:2008; 18:2018; 
pkg=19
get_first_solution
initial_pkgs: [19]
going to run solver
SAT
first solution:
2:2014; 3:2018; 13:2020; 19:2020; 
pkg=20
get_first_solution
initial_pkgs: [20]
going to run solver
SAT
first solution:
20:2006; 
pkg=21
get_first_solution
initial_pkgs: [21]
going to run solver
SAT
first solution:
0:2019; 12:2018; 21:2020; 
pkg=22
get_first_solution
initial_pkgs: [22]
going to run solver
SAT
first solution:
22:2017; 
pkg=23
get_first_solution
initial_pkgs: [23]
going to run solver
SAT
first solution:
0:2019; 23:2015; 
pkg=24
get_first_solution
initial_pkgs: [24]
going to run solver
SAT
first solution:
0:2019; 2:2014; 5:2015; 6:2019; 7:2016; 9:2016; 10:2019; 23:2015; 24:2020; 
pkg=25
get_first_solution
initial_pkgs: [25]
going to run solver
SAT
first solution:
0:2019; 1:2020; 12:2018; 21:2020; 25:2005; 
pkg=26
get_first_solution
initial_pkgs: [26]
going to run solver
SAT
first solution:
0:2019; 2:2014; 4:2007; 5:2015; 7:2016; 9:2016; 11:2012; 26:2020; 
pkg=27
get_first_solution
initial_pkgs: [27]
going to run solver
SAT
first solution:
27:2012; 
pkg=28
get_first_solution
initial_pkgs: [28]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 
pkg=29
get_first_solution
initial_pkgs: [29]
going to run solver
SAT
first solution:
29:2019; 
pkg=30
get_first_solution
initial_pkgs: [30]
going to run solver
SAT
first solution:
0:2019; 2:2014; 4:2007; 5:2015; 6:2019; 7:2016; 9:2016; 10:2019; 14:2013; 16:2020; 29:2019; 30:2020; 
pkg=31
get_first_solution
initial_pkgs: [31]
going to run solver
SAT
first solution:
17:2017; 31:2016; 
pkg=32
get_first_solution
initial_pkgs: [32]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 32:2013; 
pkg=33
get_first_solution
initial_pkgs: [33]
going to run solver
SAT
first solution:
6:2019; 7:2016; 14:2013; 33:2019; 
pkg=34
get_first_solution
initial_pkgs: [34]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 11:2020; 12:2018; 14:2013; 15:2008; 18:2018; 23:2006; 34:2008; 
pkg=35
get_first_solution
initial_pkgs: [35]
going to run solver
SAT
first solution:
2:2014; 3:2018; 13:2020; 19:2020; 35:2008; 
pkg=36
get_first_solution
initial_pkgs: [36]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 11:2020; 12:2018; 14:2013; 15:2008; 36:2018; 
pkg=37
get_first_solution
initial_pkgs: [37]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 13:2020; 14:2013; 15:2019; 16:2019; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 32:2013; 37:2017; 
pkg=38
get_first_solution
initial_pkgs: [38]
going to run solver
SAT
first solution:
0:2019; 2:2014; 4:2007; 5:2015; 6:2009; 7:2016; 9:2016; 10:2011; 14:2013; 16:2020; 29:2019; 30:2020; 38:2011; 
pkg=39
get_first_solution
initial_pkgs: [39]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2018; 14:2013; 15:2019; 16:2020; 17:2017; 18:2014; 23:2015; 24:2015; 27:2012; 28:2019; 31:2016; 34:2014; 39:2010; 
pkg=40
get_first_solution
initial_pkgs: [40]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 32:2013; 40:2005; 
pkg=41
get_first_solution
initial_pkgs: [41]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 21:2020; 23:2015; 24:2015; 25:2014; 27:2012; 28:2019; 41:2014; 
pkg=42
get_first_solution
initial_pkgs: [42]
going to run solver
SAT
first solution:
0:2019; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 9:2016; 10:2000; 11:2020; 13:2020; 14:2008; 16:2009; 19:2020; 29:2011; 30:2016; 35:2008; 38:2018; 42:2000; 
pkg=43
get_first_solution
initial_pkgs: [43]
going to run solver
SAT
first solution:
43:2016; 
pkg=44
get_first_solution
initial_pkgs: [44]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 43:2016; 44:2006; 
pkg=45
get_first_solution
initial_pkgs: [45]
going to run solver
SAT
first solution:
2:2014; 3:2018; 13:2020; 45:2011; 
pkg=46
get_first_solution
initial_pkgs: [46]
going to run solver
SAT
first solution:
12:2018; 13:2020; 46:2019; 
pkg=47
get_first_solution
initial_pkgs: [47]
going to run solver
SAT
first solution:
47:2018; 
pkg=48
get_first_solution
initial_pkgs: [48]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2018; 14:2013; 15:2019; 16:2020; 17:2017; 18:2014; 23:2015; 24:2015; 27:2012; 28:2019; 31:2016; 34:2014; 39:2010; 48:2006; 
pkg=49
get_first_solution
initial_pkgs: [49]
going to run solver
SAT
first solution:
0:2019; 1:2020; 2:2014; 3:2018; 4:2015; 5:2015; 7:2016; 8:2020; 9:2016; 10:2000; 11:2003; 12:2003; 14:2013; 15:2019; 16:2020; 18:2015; 23:2015; 24:2015; 27:2012; 28:2019; 32:2013; 40:2005; 49:2019; 
