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