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