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