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