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