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