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