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