(1,20) (2,17) (3,28) (4,26) (5,6) (7,24) (8,11) (9,23) (10,30) (12,14) (13,27) (15,29) (16,25) (18,19) (21,22) 
nodes: 306515  conflicts: 25  modelTime: 1433  solveTime: 1639239  totalTime: 1640683  modelSize: 72285  readTime: 11 size: 15