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