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