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