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