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